runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/inesct-1.0/randa9ba44.cudf.easy.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/easy//randa9ba44.cudf /home/misc2010/tmp/201007050905/inesct-1.0/randa9ba44.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.24 1.26 1.06 4/37 28707 /proc/meminfo: memFree=489528/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=3728 CPUtime=0.01 /proc/28707/stat : 28707 (cudf-solver.py) R 28706 28706 24102 769 24102 4202496 599 0 0 0 1 0 0 0 25 0 1 0 525121351 3817472 505 1283457024 134512640 135539072 4292733200 18446744073709551615 4159098526 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/28707/statm: 932 505 303 251 0 233 0 [startup+0.155757 s] /proc/loadavg: 1.24 1.26 1.06 4/37 28707 /proc/meminfo: memFree=489528/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=0.01 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.205768 s] /proc/loadavg: 1.24 1.26 1.06 4/37 28707 /proc/meminfo: memFree=489528/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=0.01 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.305785 s] /proc/loadavg: 1.24 1.26 1.06 4/37 28707 /proc/meminfo: memFree=489528/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=0.01 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.705909 s] /proc/loadavg: 1.24 1.26 1.06 4/37 28707 /proc/meminfo: memFree=489528/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=0.01 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+1.50621 s] /proc/loadavg: 1.24 1.26 1.06 2/47 28717 /proc/meminfo: memFree=453900/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=0.01 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 [pid=28709] ppid=28707 vsize=865016 CPUtime=1.49 /proc/28709/stat : 28709 (java) S 28707 28706 24102 769 24102 4202496 16606 0 1 0 141 8 0 0 25 0 9 0 525121352 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160480402 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28709/statm: 216254 14732 2717 10 0 210592 0 [pid=28709/tid=28710] ppid=28707 vsize=865016 CPUtime=0.94 /proc/28709/task/28710/stat : 28710 (java) R 28707 28706 24102 769 24102 4202560 3542 0 1 0 93 1 0 0 25 0 9 0 525121353 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 103796178 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28709/tid=28711] ppid=28707 vsize=865016 CPUtime=0.46 /proc/28709/task/28711/stat : 28711 (java) S 28707 28706 24102 769 24102 4202560 11540 0 0 0 41 5 0 0 17 0 9 0 525121353 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160494600 0 0 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=28709/tid=28712] ppid=28707 vsize=865016 CPUtime=0.01 /proc/28709/task/28712/stat : 28712 (java) S 28707 28706 24102 769 24102 4202560 16 0 0 0 0 1 0 0 15 0 9 0 525121354 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160493808 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=28709/tid=28713] ppid=28707 vsize=865016 CPUtime=0 /proc/28709/task/28713/stat : 28713 (java) S 28707 28706 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525121354 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160493808 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=28709/tid=28714] ppid=28707 vsize=865016 CPUtime=0 /proc/28709/task/28714/stat : 28714 (java) S 28707 28706 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525121354 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160502096 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=28709/tid=28715] ppid=28707 vsize=865016 CPUtime=0.06 /proc/28709/task/28715/stat : 28715 (java) S 28707 28706 24102 769 24102 4202560 409 0 0 0 6 0 0 0 16 0 9 0 525121355 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160493808 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=28709/tid=28716] ppid=28707 vsize=865016 CPUtime=0 /proc/28709/task/28716/stat : 28716 (java) S 28707 28706 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525121355 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160493808 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=28709/tid=28717] ppid=28707 vsize=865016 CPUtime=0 /proc/28709/task/28717/stat : 28717 (java) S 28707 28706 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 9 0 525121355 885776384 14732 1283457024 134512640 134550932 4292497424 18446744073709551615 4160494600 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 871404 [startup+3.11166 s] /proc/loadavg: 1.24 1.26 1.06 2/40 28720 /proc/meminfo: memFree=483708/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=2.22 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 807 19513 0 1 1 0 198 23 16 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 6388 heavy processes: [startup+6.31245 s] /proc/loadavg: 1.22 1.26 1.06 2/40 28722 /proc/meminfo: memFree=457544/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=2.22 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 807 19513 0 1 1 0 198 23 16 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 [pid=28721] ppid=28707 vsize=2900 CPUtime=0 /proc/28721/stat : 28721 (sh) S 28707 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 16 0 1 0 525121578 2969600 325 1283457024 134512640 135191968 4294749008 18446744073709551615 4158994846 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28721/statm: 725 325 221 166 0 157 0 [pid=28722] ppid=28721 vsize=29968 CPUtime=4.03 /proc/28722/stat : 28722 (msuncore) R 28721 28706 24102 769 24102 4202496 7671 0 0 0 397 6 0 0 25 0 1 0 525121578 30687232 7267 1283457024 134512640 135858300 4291381312 18446744073709551615 134614800 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/28722/statm: 7492 7267 137 329 0 7161 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 39256 [startup+12.714 s] /proc/loadavg: 1.20 1.25 1.06 2/40 28722 /proc/meminfo: memFree=456304/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=2.22 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 807 19513 0 1 1 0 198 23 16 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 [pid=28721] ppid=28707 vsize=2900 CPUtime=0 /proc/28721/stat : 28721 (sh) S 28707 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 16 0 1 0 525121578 2969600 325 1283457024 134512640 135191968 4294749008 18446744073709551615 4158994846 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28721/statm: 725 325 221 166 0 157 0 [pid=28722] ppid=28721 vsize=30628 CPUtime=10.41 /proc/28722/stat : 28722 (msuncore) R 28721 28706 24102 769 24102 4202496 7841 0 0 0 1034 7 0 0 25 0 1 0 525121578 31363072 7437 1283457024 134512640 135858300 4291381312 18446744073709551615 134626435 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/28722/statm: 7657 7437 137 329 0 7326 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 39916 Solver just ended. Dumping a history of the last processes samples [startup+12.814 s] /proc/loadavg: 1.20 1.25 1.06 2/40 28722 /proc/meminfo: memFree=456304/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=2.22 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 807 19513 0 1 1 0 198 23 16 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 [pid=28721] ppid=28707 vsize=2900 CPUtime=0 /proc/28721/stat : 28721 (sh) S 28707 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 16 0 1 0 525121578 2969600 325 1283457024 134512640 135191968 4294749008 18446744073709551615 4158994846 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28721/statm: 725 325 221 166 0 157 0 [pid=28722] ppid=28721 vsize=30628 CPUtime=10.51 /proc/28722/stat : 28722 (msuncore) R 28721 28706 24102 769 24102 4202496 7841 0 0 0 1044 7 0 0 25 0 1 0 525121578 31363072 7437 1283457024 134512640 135858300 4291381312 18446744073709551615 134625898 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/28722/statm: 7657 7437 137 329 0 7326 0 Current children cumulated CPU time (s) 12.73 Current children cumulated vsize (KiB) 39916 [startup+13.2142 s] /proc/loadavg: 1.20 1.25 1.06 2/40 28722 /proc/meminfo: memFree=456304/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) S 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=4004 CPUtime=2.22 /proc/28707/stat : 28707 (cudf-solver.py) S 28706 28706 24102 769 24102 4202496 807 19513 0 1 1 0 198 23 16 0 1 0 525121351 4100096 644 1283457024 134512640 135539072 4292733200 18446744073709551615 4158937502 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28707/statm: 1001 644 348 251 0 302 0 [pid=28721] ppid=28707 vsize=2900 CPUtime=0 /proc/28721/stat : 28721 (sh) S 28707 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 16 0 1 0 525121578 2969600 325 1283457024 134512640 135191968 4294749008 18446744073709551615 4158994846 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28721/statm: 725 325 221 166 0 157 0 [pid=28722] ppid=28721 vsize=30628 CPUtime=10.91 /proc/28722/stat : 28722 (msuncore) R 28721 28706 24102 769 24102 4202496 7841 0 0 0 1084 7 0 0 25 0 1 0 525121578 31363072 7437 1283457024 134512640 135858300 4291381312 18446744073709551615 135343300 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/28722/statm: 7657 7437 137 329 0 7326 0 Current children cumulated CPU time (s) 13.13 Current children cumulated vsize (KiB) 39916 [startup+13.3396 s] /proc/loadavg: 1.20 1.25 1.06 2/40 28722 /proc/meminfo: memFree=456304/1048576 swapFree=2095456/2097144 [pid=28706] ppid=28705 vsize=2384 CPUtime=0 /proc/28706/stat : 28706 (inesct-1.0) R 28705 28706 24102 769 24102 4194304 361 0 0 0 0 0 0 0 18 0 1 0 525121351 2441216 260 1283457024 134512640 135191968 4291428288 18446744073709551615 4159256990 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/28706/statm: 596 260 222 166 0 28 0 [pid=28707] ppid=28706 vsize=0 CPUtime=13.26 /proc/28707/stat : 28707 (cudf-solver.py) Z 28706 28706 24102 769 24102 4202508 2618 28210 0 1 10 0 1284 32 15 0 1 0 525121351 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/28707/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 13.26 Current children cumulated vsize (KiB) 2384 Child status: 0 Real time (s): 13.3401 CPU time (s): 13.2688 CPU user time (s): 12.9488 CPU system time (s): 0.32002 CPU usage (%): 99.4657 Max. virtual memory (cumulated for all children) (KiB): 872408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.9488 system time used= 0.32002 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31199 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1212 involuntary context switches= 1326 runsolver used 0 second user time and 0 second system time The end