runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734649-1338719466/watcher-3734649-1338719466 -o /tmp/evaluation-result-3734649-1338719466/solver-3734649-1338719466 -C 1800 -W 1900 -M 15500 pbclasp instance-3734649-1338719466.opb HOME/temp
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) R 4749 4751 28789 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 338075230 26206208 476 33554432000 4194304 4198148 140734443883328 140734443880776 240430147365 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/4751/statm: 6398 478 355 1 0 193 0
[startup+0.0726121 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26136 CPUtime=0.03 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 728 0 0 0 3 0 0 0 20 0 1 0 338075230 26763264 639 33554432000 4194304 4198148 140734443883328 140734443882216 240430146800 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4751/statm: 6534 639 368 1 0 329 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26136
[startup+0.100356 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.06 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 902 2103 0 0 3 0 3 0 20 0 1 0 338075230 27033600 699 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4751/statm: 6600 699 387 1 0 395 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26400
[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.25 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1237 7232 0 0 3 0 20 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 26400
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4751
/proc/meminfo: memFree=27973332/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 26400
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4785
/proc/meminfo: memFree=27969068/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=5872 CPUtime=1.12 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1055 0 0 0 112 0 0 0 20 0 1 0 338075267 6012928 952 33554432000 134512640 134847168 4293066144 4293064828 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1468 952 270 82 0 709 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41420
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4785
/proc/meminfo: memFree=27967844/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=6384 CPUtime=2.72 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1175 0 0 0 272 0 0 0 20 0 1 0 338075267 6537216 1072 33554432000 134512640 134847168 4293066144 4293064784 134715276 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1596 1072 270 82 0 837 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41932
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4785
/proc/meminfo: memFree=27964744/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=7036 CPUtime=5.92 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1338 0 0 0 592 0 0 0 20 0 1 0 338075267 7204864 1235 33554432000 134512640 134847168 4293066144 4293064848 134616608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1759 1235 270 82 0 1000 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42584
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 4785
/proc/meminfo: memFree=27963560/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=7792 CPUtime=12.32 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1529 0 0 0 1232 0 0 0 20 0 1 0 338075267 7979008 1426 33554432000 134512640 134847168 4293066144 4293064784 134715308 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 1948 1426 270 82 0 1189 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43340
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4786
/proc/meminfo: memFree=27963064/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=8432 CPUtime=25.11 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 1703 0 0 0 2511 0 0 0 20 0 1 0 338075267 8634368 1600 33554432000 134512640 134847168 4293066144 4293064912 134617331 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 2108 1600 270 82 0 1349 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43980
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4786
/proc/meminfo: memFree=27961572/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=0.36 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1376 9828 0 0 4 0 30 2 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4783] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4783/stat : 4783 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338075267 9367552 264 33554432000 4194304 5064252 140734425793952 140734425792208 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4783/statm: 2287 264 223 213 0 72 0
[pid=4785] ppid=4783 vsize=9608 CPUtime=50.7 cores=1,3,5,7
/proc/4785/stat : 4785 (clasp-1.0) R 4783 4751 28789 0 -1 4202496 2002 0 0 0 5070 0 0 0 20 0 1 0 338075267 9838592 1873 33554432000 134512640 134847168 4293066144 4293064784 134715264 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4785/statm: 2402 1873 270 82 0 1643 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45156
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4902
/proc/meminfo: memFree=27978180/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=83.9 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1481 13930 0 0 4 0 8383 3 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4803] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4803/stat : 4803 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338083623 9367552 263 33554432000 4194304 5064252 140736063835872 140736063834128 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4803/statm: 2287 263 223 213 0 72 0
[pid=4805] ppid=4803 vsize=8184 CPUtime=18.36 cores=1,3,5,7
/proc/4805/stat : 4805 (clasp-1.0) R 4803 4751 28789 0 -1 4202496 1642 0 0 0 1836 0 0 0 20 0 1 0 338083623 8380416 1539 33554432000 134512640 134847168 4288511072 4288509696 134784526 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4805/statm: 2046 1539 270 82 0 1287 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43732
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4902
/proc/meminfo: memFree=27975952/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=83.9 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1481 13930 0 0 4 0 8383 3 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4803] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4803/stat : 4803 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338083623 9367552 263 33554432000 4194304 5064252 140736063835872 140736063834128 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4803/statm: 2287 263 223 213 0 72 0
[pid=4805] ppid=4803 vsize=10168 CPUtime=78.34 cores=1,3,5,7
/proc/4805/stat : 4805 (clasp-1.0) R 4803 4751 28789 0 -1 4202496 2162 0 0 0 7834 0 0 0 20 0 1 0 338083623 10412032 2032 33554432000 134512640 134847168 4288511072 4288509712 134782607 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4805/statm: 2542 2032 270 82 0 1783 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45716
[startup+222.3 s]
/proc/loadavg: 1.96 2.00 2.00 3/181 4968
/proc/meminfo: memFree=27975820/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=83.9 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1481 13930 0 0 4 0 8383 3 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4803] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4803/stat : 4803 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338083623 9367552 263 33554432000 4194304 5064252 140736063835872 140736063834128 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4803/statm: 2287 263 223 213 0 72 0
[pid=4805] ppid=4803 vsize=11420 CPUtime=138.33 cores=1,3,5,7
/proc/4805/stat : 4805 (clasp-1.0) R 4803 4751 28789 0 -1 4202496 2478 0 0 0 13833 0 0 0 20 0 1 0 338083623 11694080 2339 33554432000 134512640 134847168 4288511072 4288509764 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4805/statm: 2855 2339 270 82 0 2096 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46968
[startup+282.3 s]
################
# More data... #
################
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=17616 CPUtime=1195.81 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 5978 0 0 0 119579 2 0 0 20 0 1 0 338097860 18038784 3901 33554432000 134512640 134847168 4287603424 4287602048 134784656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4404 3901 270 82 0 3645 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 53164
[startup+1482.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/181 4994
/proc/meminfo: memFree=27968528/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=17632 CPUtime=1255.8 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 6042 0 0 0 125578 2 0 0 20 0 1 0 338097860 18055168 3905 33554432000 134512640 134847168 4287603424 4287602116 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4408 3905 270 82 0 3649 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 53180
[startup+1542.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/181 4995
/proc/meminfo: memFree=27968652/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=17632 CPUtime=1315.79 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 6110 0 0 0 131577 2 0 0 20 0 1 0 338097860 18055168 3905 33554432000 134512640 134847168 4287603424 4287602048 134784687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4408 3905 270 82 0 3649 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 53180
[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/181 4995
/proc/meminfo: memFree=27967784/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=18808 CPUtime=1375.78 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 6608 0 0 0 137576 2 0 0 20 0 1 0 338097860 19259392 4185 33554432000 134512640 134847168 4287603424 4287602156 134782304 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4702 4185 270 82 0 3943 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 54356
[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/181 4995
/proc/meminfo: memFree=27967412/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=18828 CPUtime=1435.76 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7120 0 0 0 143574 2 0 0 20 0 1 0 338097860 19279872 4204 33554432000 134512640 134847168 4287603424 4287602048 134784800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4707 4204 270 82 0 3948 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 54376
[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/181 4995
/proc/meminfo: memFree=27967536/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=19016 CPUtime=1495.75 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7316 0 0 0 149573 2 0 0 20 0 1 0 338097860 19472384 4235 33554432000 134512640 134847168 4287603424 4287602064 134715248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4754 4235 270 82 0 3995 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 54564
[startup+1782.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/182 4998
/proc/meminfo: memFree=27967092/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=18964 CPUtime=1555.74 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7560 0 0 0 155572 2 0 0 20 0 1 0 338097860 19419136 4238 33554432000 134512640 134847168 4287603424 4287602048 134784625 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4741 4238 270 82 0 3982 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 54512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.08 2.01 3/182 5021
/proc/meminfo: memFree=27966360/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=226.24 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1739 20961 0 0 4 0 22615 5 20 0 1 0 338075230 27033600 703 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4751/statm: 6600 703 387 1 0 395 0
[pid=4982] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (sh) S 4751 4751 28789 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 338097860 9367552 264 33554432000 4194304 5064252 140735489611120 140735489609376 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4982/statm: 2287 264 223 213 0 72 0
[pid=4984] ppid=4982 vsize=19000 CPUtime=1573.85 cores=1,3,5,7
/proc/4984/stat : 4984 (clasp-1.0) R 4982 4751 28789 0 -1 4202496 7614 0 0 0 157383 2 0 0 20 0 1 0 338097860 19456000 4247 33554432000 134512640 134847168 4287603424 4287602048 134784673 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4984/statm: 4750 4247 270 82 0 3991 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 54548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4751
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 5040
/proc/meminfo: memFree=27982632/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1917 31353 0 0 4 0 179998 9 20 0 1 0 338075230 27033600 704 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4751/statm: 6600 704 387 1 0 395 0
[pid=5032] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5032/stat : 5032 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338255272 9367552 263 33554432000 4194304 5064252 140733861288992 140733861287248 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5032/statm: 2287 263 223 213 0 72 0
[pid=5035] ppid=5032 vsize=5732 CPUtime=0.96 cores=1,3,5,7
/proc/5035/stat : 5035 (clasp-1.0) R 5032 4751 28789 0 -1 4202496 1015 0 0 0 96 0 0 0 20 0 1 0 338255273 5869568 913 33554432000 134512640 134847168 4292266112 4292264416 134791632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5035/statm: 1433 913 270 82 0 674 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 41280
[startup+1802.2 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 5040
/proc/meminfo: memFree=27980804/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1917 31353 0 0 4 0 179998 9 20 0 1 0 338075230 27033600 704 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4751/statm: 6600 704 387 1 0 395 0
[pid=5032] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5032/stat : 5032 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338255272 9367552 263 33554432000 4194304 5064252 140733861288992 140733861287248 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5032/statm: 2287 263 223 213 0 72 0
[pid=5035] ppid=5032 vsize=6136 CPUtime=1.76 cores=1,3,5,7
/proc/5035/stat : 5035 (clasp-1.0) R 5032 4751 28789 0 -1 4202496 1126 0 0 0 176 0 0 0 20 0 1 0 338255273 6283264 1024 33554432000 134512640 134847168 4292266112 4292264800 134616623 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5035/statm: 1534 1024 270 82 0 775 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 41684
[startup+1802.4 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 5040
/proc/meminfo: memFree=27980804/32873844 swapFree=7116/7116
[pid=4751] ppid=4749 vsize=26400 CPUtime=1800.11 cores=1,3,5,7
/proc/4751/stat : 4751 (pbclasp) S 4749 4751 28789 0 -1 4202496 1917 31353 0 0 4 0 179998 9 20 0 1 0 338075230 27033600 704 33554432000 4194304 4198148 140734443883328 140734443882256 240430149662 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4751/statm: 6600 704 387 1 0 395 0
[pid=5032] ppid=4751 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5032/stat : 5032 (sh) S 4751 4751 28789 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338255272 9367552 263 33554432000 4194304 5064252 140733861288992 140733861287248 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5032/statm: 2287 263 223 213 0 72 0
[pid=5035] ppid=5032 vsize=6268 CPUtime=1.96 cores=1,3,5,7
/proc/5035/stat : 5035 (clasp-1.0) R 5032 4751 28789 0 -1 4202496 1146 0 0 0 196 0 0 0 20 0 1 0 338255273 6418432 1044 33554432000 134512640 134847168 4292266112 4292264372 134792573 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5035/statm: 1567 1044 270 82 0 808 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 41816
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1802.01
CPU system time (s): 0.110983
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 54708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802.01
system time used= 0.110983
maximum resident set size= 17104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 295
involuntary context switches= 6146
runsolver used 5.57815 second user time and 20.8238 second system time
The end