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-3735720-1338726160/watcher-3735720-1338726160 -o /tmp/evaluation-result-3735720-1338726160/solver-3735720-1338726160 -C 1800 -W 1900 -M 15500 pbclasp instance-3735720-1338726160.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/176 22457
/proc/meminfo: memFree=23411328/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) D 22455 22457 27890 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 338744521 26071040 362 33554432000 4194304 4198148 140736979509072 140736979506520 235374722741 0 0 4224 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22457/statm: 6365 362 277 1 0 160 0
[startup+0.0509441 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22457
/proc/meminfo: memFree=23411328/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26280 CPUtime=0.04 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) R 22455 22457 27890 0 -1 4202496 715 0 0 0 4 0 0 0 20 0 1 0 338744521 26910720 646 33554432000 4194304 4198148 140736979509072 140736979506520 235387485440 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/22457/statm: 6570 646 361 1 0 365 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26280
[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22457
/proc/meminfo: memFree=23411328/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26676 CPUtime=0.07 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 837 0 0 0 7 0 0 0 20 0 1 0 338744521 27316224 751 33554432000 4194304 4198148 140736979509072 140736979507960 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22457/statm: 6669 751 368 1 0 464 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26676
[startup+0.300203 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22457
/proc/meminfo: memFree=23411328/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26676 CPUtime=0.07 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 837 0 0 0 7 0 0 0 20 0 1 0 338744521 27316224 751 33554432000 4194304 4198148 140736979509072 140736979507960 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22457/statm: 6669 751 368 1 0 464 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26676
[startup+0.700187 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22457
/proc/meminfo: memFree=23411328/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26676 CPUtime=0.07 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 837 0 0 0 7 0 0 0 20 0 1 0 338744521 27316224 751 33554432000 4194304 4198148 140736979509072 140736979507960 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/22457/statm: 6669 751 368 1 0 464 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26676
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22467
/proc/meminfo: memFree=23396432/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1.23 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 1218 7508 0 0 8 0 113 2 20 0 1 0 338744521 27586560 844 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22457/statm: 6735 844 387 1 0 530 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 26940
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22491
/proc/meminfo: memFree=23403236/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=2.82 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 1674 29385 0 0 9 0 265 8 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 26940
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22539
/proc/meminfo: memFree=23394952/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=4.41 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2130 51263 0 0 10 0 416 15 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22537] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22537/stat : 22537 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338744966 9367552 264 33554432000 4194304 5064252 140735632974880 140735632973136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22537/statm: 2287 264 223 213 0 72 0
[pid=22539] ppid=22537 vsize=15028 CPUtime=1.84 cores=1,3,5,7
/proc/22539/stat : 22539 (clasp-1.0) R 22537 22457 27890 0 -1 4202496 3518 0 0 0 184 0 0 0 20 0 1 0 338744966 15388672 3189 33554432000 134512640 134847168 4288352272 4288350964 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22539/statm: 3757 3189 272 82 0 2998 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 51116
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22547
/proc/meminfo: memFree=23393960/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=11.7 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2268 57229 0 0 10 0 1143 17 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22545] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22545/stat : 22545 (sh) S 22457 22457 27890 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 338745696 9367552 264 33554432000 4194304 5064252 140735055308960 140735055307216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22545/statm: 2287 264 223 213 0 72 0
[pid=22547] ppid=22545 vsize=15028 CPUtime=0.93 cores=1,3,5,7
/proc/22547/stat : 22547 (clasp-1.0) R 22545 22457 27890 0 -1 4202496 3517 0 0 0 93 0 0 0 20 0 1 0 338745696 15388672 3187 33554432000 134512640 134847168 4292768176 4292766752 134714133 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22547/statm: 3757 3187 270 82 0 2998 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 51116
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22563
/proc/meminfo: memFree=23391772/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=19.58 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2527 68190 0 0 10 1 1927 20 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22561] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22561/stat : 22561 (sh) S 22457 22457 27890 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 338746484 9367552 264 33554432000 4194304 5064252 140737232439280 140737232437536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22561/statm: 2287 264 223 213 0 72 0
[pid=22563] ppid=22561 vsize=15556 CPUtime=5.85 cores=1,3,5,7
/proc/22563/stat : 22563 (clasp-1.0) R 22561 22457 27890 0 -1 4202496 3645 0 0 0 585 0 0 0 20 0 1 0 338746484 15929344 3315 33554432000 134512640 134847168 4289781952 4289780720 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22563/statm: 3889 3315 272 82 0 3130 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 51644
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22571
/proc/meminfo: memFree=23384524/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=29.64 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2654 74290 0 0 10 1 2931 22 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22569] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22569/stat : 22569 (sh) S 22457 22457 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338747490 9367552 264 33554432000 4194304 5064252 140734794396976 140734794395232 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22569/statm: 2287 264 223 213 0 72 0
[pid=22571] ppid=22569 vsize=21836 CPUtime=21.38 cores=1,3,5,7
/proc/22571/stat : 22571 (clasp-1.0) R 22569 22457 27890 0 -1 4202496 5222 0 0 0 2137 1 0 0 20 0 1 0 338747491 22360064 4931 33554432000 134512640 134847168 4293613792 4293612476 134789696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22571/statm: 5459 4931 272 82 0 4700 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 57924
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22571
/proc/meminfo: memFree=23376204/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=29.64 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2654 74290 0 0 10 1 2931 22 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22569] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22569/stat : 22569 (sh) S 22457 22457 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338747490 9367552 264 33554432000 4194304 5064252 140734794396976 140734794395232 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22569/statm: 2287 264 223 213 0 72 0
[pid=22571] ppid=22569 vsize=27412 CPUtime=72.57 cores=1,3,5,7
/proc/22571/stat : 22571 (clasp-1.0) R 22569 22457 27890 0 -1 4202496 6635 0 0 0 7255 2 0 0 20 0 1 0 338747491 28069888 6350 33554432000 134512640 134847168 4293613792 4293612560 134617501 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22571/statm: 6853 6350 272 82 0 6094 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 63500
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22571
/proc/meminfo: memFree=23369068/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=29.64 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2654 74290 0 0 10 1 2931 22 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22569] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22569/stat : 22569 (sh) S 22457 22457 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338747490 9367552 264 33554432000 4194304 5064252 140734794396976 140734794395232 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22569/statm: 2287 264 223 213 0 72 0
[pid=22571] ppid=22569 vsize=31712 CPUtime=132.56 cores=1,3,5,7
/proc/22571/stat : 22571 (clasp-1.0) R 22569 22457 27890 0 -1 4202496 7692 0 0 0 13253 3 0 0 20 0 1 0 338747491 32473088 7411 33554432000 134512640 134847168 4293613792 4293612484 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 7928 7411 272 82 0 7169 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 67800
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22571
/proc/meminfo: memFree=23366028/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=29.64 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2654 74290 0 0 10 1 2931 22 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22569] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22569/stat : 22569 (sh) S 22457 22457 27890 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338747490 9367552 264 33554432000 4194304 5064252 140734794396976 140734794395232 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22569/statm: 2287 264 223 213 0 72 0
[pid=22571] ppid=22569 vsize=34536 CPUtime=192.55 cores=1,3,5,7
/proc/22571/stat : 22571 (clasp-1.0) R 22569 22457 27890 0 -1 4202496 8378 0 0 0 19252 3 0 0 20 0 1 0 338747491 35364864 8097 33554432000 134512640 134847168 4293613792 4293612480 134616828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22571/statm: 8634 8097 272 82 0 7875 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 70624
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22579
/proc/meminfo: memFree=23374772/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=248.36 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 2793 85288 0 0 11 1 24797 27 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22577] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22577/stat : 22577 (sh) S 22457 22457 27890 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338769368 9367552 264 33554432000 4194304 5064252 140737008975568 140737008973824 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22577/statm: 2287 264 223 213 0 72 0
[pid=22579] ppid=22577 vsize=24916 CPUtime=33.8 cores=1,3,5,7
/proc/22579/stat : 22579 (clasp-1.0) R 22577 22457 27890 0 -1 4202496 5996 0 0 0 3378 2 0 0 20 0 1 0 338769368 25513984 5668 33554432000 134512640 134847168 4291713680 4291712372 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22579/statm: 6229 5668 270 82 0 5470 0
Current children cumulated CPU time (s) 282.16
################
# More data... #
################
/proc/22614/stat : 22614 (sh) S 22457 22457 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338812025 9367552 263 33554432000 4194304 5064252 140736645020784 140736645019040 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22614/statm: 2287 263 223 213 0 72 0
[pid=22616] ppid=22614 vsize=48312 CPUtime=807.11 cores=1,3,5,7
/proc/22616/stat : 22616 (clasp-1.0) R 22614 22457 27890 0 -1 4202496 11769 0 0 0 80705 6 0 0 20 0 1 0 338812025 49471488 11514 33554432000 134512640 134847168 4288051488 4288050180 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22616/statm: 12078 11514 270 82 0 11319 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 84400
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22622
/proc/meminfo: memFree=23336908/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=674.79 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3328 122413 0 0 12 1 67424 42 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22614] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22614/stat : 22614 (sh) S 22457 22457 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338812025 9367552 263 33554432000 4194304 5064252 140736645020784 140736645019040 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22614/statm: 2287 263 223 213 0 72 0
[pid=22616] ppid=22614 vsize=48312 CPUtime=867.1 cores=1,3,5,7
/proc/22616/stat : 22616 (clasp-1.0) R 22614 22457 27890 0 -1 4202496 11769 0 0 0 86704 6 0 0 20 0 1 0 338812025 49471488 11514 33554432000 134512640 134847168 4288051488 4288050180 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22616/statm: 12078 11514 270 82 0 11319 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 84400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22786
/proc/meminfo: memFree=23383460/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1569.24 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3425 136654 0 0 12 1 156861 50 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22639] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22639/stat : 22639 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338901486 9367552 264 33554432000 4194304 5064252 140737322434096 140737322432352 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22639/statm: 2287 264 223 213 0 72 0
[pid=22641] ppid=22639 vsize=24940 CPUtime=32.62 cores=1,3,5,7
/proc/22641/stat : 22641 (clasp-1.0) R 22639 22457 27890 0 -1 4202496 5949 0 0 0 3261 1 0 0 20 0 1 0 338901486 25538560 5638 33554432000 134512640 134847168 4294490976 4294489656 134784582 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22641/statm: 6235 5638 272 82 0 5476 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 61028
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22789
/proc/meminfo: memFree=23372032/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1569.24 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3425 136654 0 0 12 1 156861 50 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22639] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22639/stat : 22639 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338901486 9367552 264 33554432000 4194304 5064252 140737322434096 140737322432352 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22639/statm: 2287 264 223 213 0 72 0
[pid=22641] ppid=22639 vsize=32396 CPUtime=92.61 cores=1,3,5,7
/proc/22641/stat : 22641 (clasp-1.0) R 22639 22457 27890 0 -1 4202496 7822 0 0 0 9259 2 0 0 20 0 1 0 338901486 33173504 7532 33554432000 134512640 134847168 4294490976 4294489668 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22641/statm: 8099 7532 272 82 0 7340 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 68484
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22789
/proc/meminfo: memFree=23368068/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1569.24 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3425 136654 0 0 12 1 156861 50 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22639] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22639/stat : 22639 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338901486 9367552 264 33554432000 4194304 5064252 140737322434096 140737322432352 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22639/statm: 2287 264 223 213 0 72 0
[pid=22641] ppid=22639 vsize=35172 CPUtime=152.59 cores=1,3,5,7
/proc/22641/stat : 22641 (clasp-1.0) R 22639 22457 27890 0 -1 4202496 8504 0 0 0 15257 2 0 0 20 0 1 0 338901486 36016128 8215 33554432000 134512640 134847168 4294490976 4294489648 134784580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22641/statm: 8793 8215 272 82 0 8034 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 71260
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 22789
/proc/meminfo: memFree=23365896/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1569.24 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3425 136654 0 0 12 1 156861 50 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22639] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22639/stat : 22639 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338901486 9367552 264 33554432000 4194304 5064252 140737322434096 140737322432352 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22639/statm: 2287 264 223 213 0 72 0
[pid=22641] ppid=22639 vsize=35700 CPUtime=212.58 cores=1,3,5,7
/proc/22641/stat : 22641 (clasp-1.0) R 22639 22457 27890 0 -1 4202496 8636 0 0 0 21256 2 0 0 20 0 1 0 338901486 36556800 8369 33554432000 134512640 134847168 4294490976 4294489744 134737262 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22641/statm: 8925 8369 272 82 0 8166 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 71788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/179 22789
/proc/meminfo: memFree=23365584/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1569.24 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3425 136654 0 0 12 1 156861 50 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22639] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22639/stat : 22639 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338901486 9367552 264 33554432000 4194304 5064252 140737322434096 140737322432352 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22639/statm: 2287 264 223 213 0 72 0
[pid=22641] ppid=22639 vsize=35700 CPUtime=230.78 cores=1,3,5,7
/proc/22641/stat : 22641 (clasp-1.0) R 22639 22457 27890 0 -1 4202496 8636 0 0 0 23076 2 0 0 20 0 1 0 338901486 36556800 8369 33554432000 134512640 134847168 4294490976 4294489660 134789720 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22641/statm: 8925 8369 272 82 0 8166 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 71788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22457
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.10 2.04 2.00 3/181 22808
/proc/meminfo: memFree=23400672/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1800.07 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3589 148066 0 0 12 2 179939 54 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22800] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22800/stat : 22800 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338924573 9367552 264 33554432000 4194304 5064252 140734012467728 140734012465984 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22800/statm: 2287 264 223 213 0 72 0
[pid=22803] ppid=22800 vsize=15032 CPUtime=0.86 cores=1,3,5,7
/proc/22803/stat : 22803 (clasp-1.0) R 22800 22457 27890 0 -1 4202496 3518 0 0 0 86 0 0 0 20 0 1 0 338924573 15392768 3189 33554432000 134512640 134847168 4292368544 4292367312 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22803/statm: 3758 3189 270 82 0 2999 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 51120
[startup+1802.2 s]
/proc/loadavg: 2.10 2.04 2.00 3/180 22808
/proc/meminfo: memFree=23393860/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1800.07 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3589 148066 0 0 12 2 179939 54 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22800] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22800/stat : 22800 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338924573 9367552 264 33554432000 4194304 5064252 140734012467728 140734012465984 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22800/statm: 2287 264 223 213 0 72 0
[pid=22803] ppid=22800 vsize=15032 CPUtime=1.66 cores=1,3,5,7
/proc/22803/stat : 22803 (clasp-1.0) R 22800 22457 27890 0 -1 4202496 3518 0 0 0 166 0 0 0 20 0 1 0 338924573 15392768 3189 33554432000 134512640 134847168 4292368544 4292367312 134738064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22803/statm: 3758 3189 270 82 0 2999 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 51120
[startup+1802.4 s]
/proc/loadavg: 2.10 2.04 2.00 3/180 22808
/proc/meminfo: memFree=23393860/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1800.07 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3589 148066 0 0 12 2 179939 54 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22800] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22800/stat : 22800 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338924573 9367552 264 33554432000 4194304 5064252 140734012467728 140734012465984 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22800/statm: 2287 264 223 213 0 72 0
[pid=22803] ppid=22800 vsize=15032 CPUtime=1.86 cores=1,3,5,7
/proc/22803/stat : 22803 (clasp-1.0) R 22800 22457 27890 0 -1 4202496 3518 0 0 0 186 0 0 0 20 0 1 0 338924573 15392768 3189 33554432000 134512640 134847168 4292368544 4292367312 134737421 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22803/statm: 3758 3189 270 82 0 2999 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 51120
[startup+1802.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/180 22808
/proc/meminfo: memFree=23393860/32873844 swapFree=7112/7112
[pid=22457] ppid=22455 vsize=26940 CPUtime=1800.07 cores=1,3,5,7
/proc/22457/stat : 22457 (pbclasp) S 22455 22457 27890 0 -1 4202496 3589 148066 0 0 12 2 179939 54 20 0 1 0 338744521 27586560 845 33554432000 4194304 4198148 140736979509072 140736979508000 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22457/statm: 6735 845 387 1 0 530 0
[pid=22800] ppid=22457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22800/stat : 22800 (sh) S 22457 22457 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338924573 9367552 264 33554432000 4194304 5064252 140734012467728 140734012465984 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22800/statm: 2287 264 223 213 0 72 0
[pid=22803] ppid=22800 vsize=15032 CPUtime=1.96 cores=1,3,5,7
/proc/22803/stat : 22803 (clasp-1.0) R 22800 22457 27890 0 -1 4202496 3518 0 0 0 196 0 0 0 20 0 1 0 338924573 15392768 3189 33554432000 134512640 134847168 4292368544 4292367312 134738064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22803/statm: 3758 3189 270 82 0 2999 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 51120
Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.07
CPU user time (s): 1801.49
CPU system time (s): 0.581911
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 86548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.49
system time used= 0.581911
maximum resident set size= 48192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4663
involuntary context switches= 2680
runsolver used 2.71659 second user time and 7.2359 second system time
The end