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/rand1bff33.cudf.easy.log.runsolver ./inesct-1.0 /home/misc2010/data/2010/easy//rand1bff33.cudf /home/misc2010/tmp/201007050905/inesct-1.0/rand1bff33.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.41 1.01 0.48 5/35 25222 /proc/meminfo: memFree=483268/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=3872 CPUtime=0.01 /proc/25222/stat : 25222 (cudf-solver.py) R 25221 25221 24102 769 24102 4202496 682 0 0 0 0 1 0 0 25 0 1 0 524968803 3964928 581 1283457024 134512640 135539072 4287609904 18446744073709551615 134800287 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/25222/statm: 968 581 330 251 0 269 0 [startup+0.147487 s] /proc/loadavg: 1.41 1.01 0.48 5/35 25222 /proc/meminfo: memFree=483268/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=0.01 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6396 [startup+0.207487 s] /proc/loadavg: 1.41 1.01 0.48 5/35 25222 /proc/meminfo: memFree=483268/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=0.01 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6396 [startup+0.307498 s] /proc/loadavg: 1.41 1.01 0.48 5/35 25222 /proc/meminfo: memFree=483268/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=0.01 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6396 [startup+0.707592 s] /proc/loadavg: 1.41 1.01 0.48 5/35 25222 /proc/meminfo: memFree=483268/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=0.01 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6396 [startup+1.50779 s] /proc/loadavg: 1.46 1.02 0.48 3/45 25232 /proc/meminfo: memFree=449128/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=0.01 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 749 0 0 0 0 1 0 0 25 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 [pid=25224] ppid=25222 vsize=865020 CPUtime=1.49 /proc/25224/stat : 25224 (java) S 25222 25221 24102 769 24102 4202496 16578 0 1 0 145 4 0 0 25 0 9 0 524968804 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159972498 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/25224/statm: 216255 14709 2716 10 0 210593 0 [pid=25224/tid=25225] ppid=25222 vsize=865020 CPUtime=0.93 /proc/25224/task/25225/stat : 25225 (java) R 25222 25221 24102 769 24102 4202560 3509 0 1 0 93 0 0 0 25 0 9 0 524968805 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4124595199 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=25224/tid=25226] ppid=25222 vsize=865020 CPUtime=0.47 /proc/25224/task/25226/stat : 25226 (java) S 25222 25221 24102 769 24102 4202560 11544 0 0 0 44 3 0 0 17 0 9 0 524968806 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159986696 0 0 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=25224/tid=25227] ppid=25222 vsize=865020 CPUtime=0 /proc/25224/task/25227/stat : 25227 (java) S 25222 25221 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 524968806 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159985904 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=25224/tid=25228] ppid=25222 vsize=865020 CPUtime=0 /proc/25224/task/25228/stat : 25228 (java) S 25222 25221 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 524968806 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159985904 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=25224/tid=25229] ppid=25222 vsize=865020 CPUtime=0 /proc/25224/task/25229/stat : 25229 (java) S 25222 25221 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 524968807 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159994192 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=25224/tid=25230] ppid=25222 vsize=865020 CPUtime=0.08 /proc/25224/task/25230/stat : 25230 (java) S 25222 25221 24102 769 24102 4202560 410 0 0 0 8 0 0 0 16 0 9 0 524968807 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159985904 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=25224/tid=25231] ppid=25222 vsize=865020 CPUtime=0 /proc/25224/task/25231/stat : 25231 (java) S 25222 25221 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 524968807 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159985904 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=25224/tid=25232] ppid=25222 vsize=865020 CPUtime=0 /proc/25224/task/25232/stat : 25232 (java) S 25222 25221 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 9 0 524968807 885780480 14709 1283457024 134512640 134550932 4291309296 18446744073709551615 4159986696 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 871416 [startup+3.11018 s] /proc/loadavg: 1.46 1.02 0.48 2/38 25235 /proc/meminfo: memFree=477324/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=2.23 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 807 19520 0 1 0 1 202 20 16 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 6396 heavy processes: [startup+6.31086 s] /proc/loadavg: 1.42 1.02 0.49 2/38 25237 /proc/meminfo: memFree=451408/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=2.23 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 807 19520 0 1 0 1 202 20 16 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 [pid=25236] ppid=25222 vsize=2896 CPUtime=0 /proc/25236/stat : 25236 (sh) S 25222 25221 24102 769 24102 4194304 361 0 0 0 0 0 0 0 16 0 1 0 524969028 2965504 325 1283457024 134512640 135191968 4294478592 18446744073709551615 4159162782 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25236/statm: 724 325 221 166 0 156 0 [pid=25237] ppid=25236 vsize=30532 CPUtime=4.05 /proc/25237/stat : 25237 (msuncore) R 25236 25221 24102 769 24102 4202496 8166 0 0 0 403 2 0 0 25 0 1 0 524969028 31264768 7412 1283457024 134512640 135858300 4289521264 18446744073709551615 135349937 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/25237/statm: 7633 7412 137 329 0 7302 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 39824 [startup+12.7024 s] /proc/loadavg: 1.39 1.02 0.49 2/38 25237 /proc/meminfo: memFree=450168/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=2.23 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 807 19520 0 1 0 1 202 20 16 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 [pid=25236] ppid=25222 vsize=2896 CPUtime=0 /proc/25236/stat : 25236 (sh) S 25222 25221 24102 769 24102 4194304 361 0 0 0 0 0 0 0 16 0 1 0 524969028 2965504 325 1283457024 134512640 135191968 4294478592 18446744073709551615 4159162782 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25236/statm: 724 325 221 166 0 156 0 [pid=25237] ppid=25236 vsize=30532 CPUtime=10.44 /proc/25237/stat : 25237 (msuncore) R 25236 25221 24102 769 24102 4202496 8166 0 0 0 1040 4 0 0 25 0 1 0 524969028 31264768 7412 1283457024 134512640 135858300 4289521264 18446744073709551615 134626789 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/25237/statm: 7633 7412 137 329 0 7302 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 39824 Solver just ended. Dumping a history of the last processes samples [startup+12.8124 s] /proc/loadavg: 1.39 1.02 0.49 2/38 25237 /proc/meminfo: memFree=450168/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) S 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=4008 CPUtime=2.23 /proc/25222/stat : 25222 (cudf-solver.py) S 25221 25221 24102 769 24102 4202496 807 19520 0 1 0 1 202 20 16 0 1 0 524968803 4104192 644 1283457024 134512640 135539072 4287609904 18446744073709551615 4159072670 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/25222/statm: 1002 644 348 251 0 303 0 [pid=25236] ppid=25222 vsize=2896 CPUtime=0 /proc/25236/stat : 25236 (sh) S 25222 25221 24102 769 24102 4194304 361 0 0 0 0 0 0 0 16 0 1 0 524969028 2965504 325 1283457024 134512640 135191968 4294478592 18446744073709551615 4159162782 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25236/statm: 724 325 221 166 0 156 0 [pid=25237] ppid=25236 vsize=30532 CPUtime=10.55 /proc/25237/stat : 25237 (msuncore) R 25236 25221 24102 769 24102 4202496 8179 0 0 0 1051 4 0 0 25 0 1 0 524969028 31264768 7425 1283457024 134512640 135858300 4289521264 18446744073709551615 135342507 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/25237/statm: 7633 7425 150 329 0 7302 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 39824 [startup+12.9239 s] /proc/loadavg: 1.39 1.02 0.49 2/38 25237 /proc/meminfo: memFree=450168/1048576 swapFree=2095456/2097144 [pid=25221] ppid=25220 vsize=2388 CPUtime=0 /proc/25221/stat : 25221 (inesct-1.0) R 25220 25221 24102 769 24102 4194304 363 0 0 0 0 0 0 0 18 0 1 0 524968803 2445312 261 1283457024 134512640 135191968 4292897072 18446744073709551615 4159494558 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/25221/statm: 597 261 222 166 0 29 0 [pid=25222] ppid=25221 vsize=0 CPUtime=12.89 /proc/25222/stat : 25222 (cudf-solver.py) Z 25221 25221 24102 769 24102 4202508 2614 28540 0 1 8 2 1253 26 15 0 1 0 524968803 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/25222/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.89 Current children cumulated vsize (KiB) 2388 Child status: 0 Real time (s): 12.9244 CPU time (s): 12.9088 CPU user time (s): 12.6168 CPU system time (s): 0.292018 CPU usage (%): 99.8793 Max. virtual memory (cumulated for all children) (KiB): 872420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.6168 system time used= 0.292018 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31528 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= 1319 runsolver used 0 second user time and 0 second system time The end