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-3734946-1338721576/watcher-3734946-1338721576 -o /tmp/evaluation-result-3734946-1338721576/solver-3734946-1338721576 -C 1800 -W 1900 -M 15500 pbclasp instance-3734946-1338721576.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 1.94 3/178 26447
/proc/meminfo: memFree=28184796/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) D 26445 26447 8320 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 338283058 26071040 362 33554432000 4194304 4198148 140735274599328 140735274596776 260190322357 0 0 4224 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26447/statm: 6365 362 277 1 0 160 0
[startup+0.0530449 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26447
/proc/meminfo: memFree=28184796/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=0.02 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 886 5691 0 0 0 0 1 1 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598216 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25592
[startup+0.100162 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26447
/proc/meminfo: memFree=28184796/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=0.07 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 1466 17354 0 0 0 0 3 4 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598216 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25592
[startup+0.300123 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26447
/proc/meminfo: memFree=28184796/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=0.3 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 3928 66112 0 0 1 1 12 16 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 25592
[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26447
/proc/meminfo: memFree=28184796/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=0.73 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 8711 161023 0 0 2 4 28 39 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 25592
[startup+1.50013 s]
/proc/loadavg: 1.92 1.98 1.94 3/181 27097
/proc/meminfo: memFree=28182804/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1.52 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 11232 211020 0 0 2 4 96 50 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 25592
[startup+3.10016 s]
/proc/loadavg: 1.92 1.98 1.94 3/181 27225
/proc/meminfo: memFree=28182500/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=2.84 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 12779 242047 0 0 3 5 219 57 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 25592
[startup+6.3003 s]
/proc/loadavg: 1.92 1.98 1.94 3/181 27321
/proc/meminfo: memFree=28182196/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=5.32 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 13618 258797 0 0 3 5 464 60 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=27319] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27319/stat : 27319 (sh) S 26447 26447 8320 0 -1 4202496 369 215 0 0 0 0 0 0 20 0 1 0 338283589 9367552 263 33554432000 4194304 5064252 140736292965584 140736292963840 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27319/statm: 2287 263 223 213 0 72 0
[pid=27321] ppid=27319 vsize=3576 CPUtime=0.98 cores=1,3,5,7
/proc/27321/stat : 27321 (clasp-1.0) R 27319 26447 8320 0 -1 4202496 464 0 0 0 98 0 0 0 20 0 1 0 338283589 3661824 362 33554432000 134512640 134847168 4292593936 4292592704 134617536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27321/statm: 894 362 270 82 0 135 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 38316
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.94 3/181 27369
/proc/meminfo: memFree=28182316/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=9.96 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 14339 273181 0 0 3 5 925 63 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=27367] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27367/stat : 27367 (sh) S 26447 26447 8320 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338284055 9367552 264 33554432000 4194304 5064252 140736436252000 140736436250256 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27367/statm: 2287 264 223 213 0 72 0
[pid=27369] ppid=27367 vsize=3572 CPUtime=2.73 cores=1,3,5,7
/proc/27369/stat : 27369 (clasp-1.0) R 27367 26447 8320 0 -1 4202496 480 0 0 0 273 0 0 0 20 0 1 0 338284055 3657728 378 33554432000 134512640 134847168 4292191568 4292189856 134791680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27369/statm: 893 378 270 82 0 134 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38312
[startup+25.5002 s]
/proc/loadavg: 1.94 1.98 1.94 3/181 27465
/proc/meminfo: memFree=28182940/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=24.18 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 15773 301970 0 0 3 6 2338 71 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=27463] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27463/stat : 27463 (sh) S 26447 26447 8320 0 -1 4202496 371 216 0 0 0 0 0 0 20 0 1 0 338285476 9367552 264 33554432000 4194304 5064252 140733193844656 140733193842912 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27463/statm: 2287 264 223 213 0 72 0
[pid=27465] ppid=27463 vsize=3444 CPUtime=1.32 cores=1,3,5,7
/proc/27465/stat : 27465 (clasp-1.0) R 27463 26447 8320 0 -1 4202496 466 0 0 0 132 0 0 0 20 0 1 0 338285476 3526656 363 33554432000 134512640 134847168 4293176064 4293174748 134715930 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27465/statm: 861 363 272 82 0 102 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 38184
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.94 3/181 27506
/proc/meminfo: memFree=28182924/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=46.17 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 16373 314006 0 0 4 6 4534 73 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=27504] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27504/stat : 27504 (sh) S 26447 26447 8320 0 -1 4202496 372 215 0 0 0 0 0 0 20 0 1 0 338287675 9367552 264 33554432000 4194304 5064252 140735245800928 140735245799184 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27504/statm: 2287 264 223 213 0 72 0
[pid=27506] ppid=27504 vsize=3576 CPUtime=4.93 cores=1,3,5,7
/proc/27506/stat : 27506 (clasp-1.0) R 27504 26447 8320 0 -1 4202496 481 0 0 0 493 0 0 0 20 0 1 0 338287675 3661824 378 33554432000 134512640 134847168 4289862960 4289861600 134748367 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27506/statm: 894 378 270 82 0 135 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 38316
[startup+102.306 s]
/proc/loadavg: 1.94 1.97 1.93 3/181 28574
/proc/meminfo: memFree=28182688/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=86.59 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 16719 321302 0 0 4 6 8574 75 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28572] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28572/stat : 28572 (sh) S 26447 26447 8320 0 -1 4202496 370 214 0 0 0 0 0 0 20 0 1 0 338291717 9367552 264 33554432000 4194304 5064252 140736721900464 140736721898720 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28572/statm: 2287 264 223 213 0 72 0
[pid=28574] ppid=28572 vsize=3700 CPUtime=15.71 cores=1,3,5,7
/proc/28574/stat : 28574 (clasp-1.0) R 28572 26447 8320 0 -1 4202496 508 0 0 0 1571 0 0 0 20 0 1 0 338291717 3788800 406 33554432000 134512640 134847168 4291571664 4291570304 134715427 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28574/statm: 925 406 272 82 0 166 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38440
[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.93 3/181 28606
/proc/meminfo: memFree=28181972/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=149.87 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 17076 328612 0 0 4 7 14900 76 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28604] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28604/stat : 28604 (sh) S 26447 26447 8320 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338298048 9367552 264 33554432000 4194304 5064252 140737089314480 140737089312736 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28604/statm: 2287 264 223 213 0 72 0
[pid=28606] ppid=28604 vsize=3708 CPUtime=12.39 cores=1,3,5,7
/proc/28606/stat : 28606 (clasp-1.0) R 28604 26447 8320 0 -1 4202496 501 0 0 0 1239 0 0 0 20 0 1 0 338298048 3796992 399 33554432000 134512640 134847168 4294289904 4294288352 134713928 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28606/statm: 927 399 270 82 0 168 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 38448
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/181 28630
/proc/meminfo: memFree=28182116/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=201.79 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 17433 335944 0 0 4 7 20091 77 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28628] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28628/stat : 28628 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338303241 9367552 264 33554432000 4194304 5064252 140734588720848 140734588719104 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28628/statm: 2287 264 223 213 0 72 0
[pid=28630] ppid=28628 vsize=3708 CPUtime=20.45 cores=1,3,5,7
/proc/28630/stat : 28630 (clasp-1.0) R 28628 26447 8320 0 -1 4202496 520 0 0 0 2045 0 0 0 20 0 1 0 338303242 3796992 417 33554432000 134512640 134847168 4287191536 4287190256 134741435 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28630/statm: 927 417 272 82 0 168 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 38448
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/182 28657
/proc/meminfo: memFree=28182344/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=239.73 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 17673 340843 0 0 4 7 23884 78 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28655] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28655/stat : 28655 (sh) S 26447 26447 8320 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338307037 9367552 264 33554432000 4194304 5064252 140733598719712 140733598717968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28655/statm: 2287 264 223 213 0 72 0
[pid=28657] ppid=28655 vsize=3704 CPUtime=42.5 cores=1,3,5,7
/proc/28657/stat : 28657 (clasp-1.0) R 28655 26447 8320 0 -1 4202496 529 0 0 0 4250 0 0 0 20 0 1 0 338307037 3792896 427 33554432000 134512640 134847168 4289396432 4289395056 134784651 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28657/statm: 926 427 272 82 0 167 0
Current children cumulated CPU time (s) 282.23
################
# More data... #
################
[pid=26447] ppid=26445 vsize=25592 CPUtime=1184.79 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 17914 345953 0 0 4 7 118388 80 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28693] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28693/stat : 28693 (sh) S 26447 26447 8320 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338401559 9367552 264 33554432000 4194304 5064252 140735037132304 140735037130560 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28693/statm: 2287 264 223 213 0 72 0
[pid=28695] ppid=28693 vsize=3836 CPUtime=57.28 cores=1,3,5,7
/proc/28695/stat : 28695 (clasp-1.0) R 28693 26447 8320 0 -1 4202496 541 0 0 0 5728 0 0 0 20 0 1 0 338401559 3928064 439 33554432000 134512640 134847168 4288667040 4288665616 134714832 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28695/statm: 959 439 270 82 0 200 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 38576
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/181 28697
/proc/meminfo: memFree=28182276/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1184.79 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 17914 345953 0 0 4 7 118388 80 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28693] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28693/stat : 28693 (sh) S 26447 26447 8320 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338401559 9367552 264 33554432000 4194304 5064252 140735037132304 140735037130560 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28693/statm: 2287 264 223 213 0 72 0
[pid=28695] ppid=28693 vsize=3960 CPUtime=117.27 cores=1,3,5,7
/proc/28695/stat : 28695 (clasp-1.0) R 28693 26447 8320 0 -1 4202496 562 0 0 0 11727 0 0 0 20 0 1 0 338401559 4055040 460 33554432000 134512640 134847168 4288667040 4288665680 134715427 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28695/statm: 990 460 270 82 0 231 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 38700
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/181 28697
/proc/meminfo: memFree=28182152/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1184.79 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 17914 345953 0 0 4 7 118388 80 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28693] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28693/stat : 28693 (sh) S 26447 26447 8320 0 -1 4202496 370 215 0 0 0 0 0 0 20 0 1 0 338401559 9367552 264 33554432000 4194304 5064252 140735037132304 140735037130560 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28693/statm: 2287 264 223 213 0 72 0
[pid=28695] ppid=28693 vsize=3960 CPUtime=177.26 cores=1,3,5,7
/proc/28695/stat : 28695 (clasp-1.0) R 28693 26447 8320 0 -1 4202496 570 0 0 0 17726 0 0 0 20 0 1 0 338401559 4055040 468 33554432000 134512640 134847168 4288667040 4288665808 134737548 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28695/statm: 990 468 270 82 0 231 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 38700
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.93 3/181 28705
/proc/meminfo: memFree=28182788/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=3704 CPUtime=23.43 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 520 0 0 0 2343 0 0 0 20 0 1 0 338422944 3792896 417 33554432000 134512640 134847168 4289609824 4289608448 134784657 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 926 417 272 82 0 167 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 38444
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/182 28708
/proc/meminfo: memFree=28182024/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=3832 CPUtime=83.42 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 557 0 0 0 8342 0 0 0 20 0 1 0 338422944 3923968 454 33554432000 134512640 134847168 4289609824 4289608448 134784608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 958 454 272 82 0 199 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 38572
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/181 28708
/proc/meminfo: memFree=28181908/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=3956 CPUtime=143.41 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 570 0 0 0 14341 0 0 0 20 0 1 0 338422944 4050944 467 33554432000 134512640 134847168 4289609824 4289608448 134784576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 989 467 272 82 0 230 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 38696
[startup+1602.3 s]
/proc/loadavg: 2.04 1.99 1.94 3/181 28709
/proc/meminfo: memFree=28181788/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=3956 CPUtime=203.4 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 579 0 0 0 20340 0 0 0 20 0 1 0 338422944 4050944 476 33554432000 134512640 134847168 4289609824 4289608448 134784526 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 989 476 272 82 0 230 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 38696
[startup+1662.3 s]
/proc/loadavg: 2.01 1.99 1.94 3/181 28709
/proc/meminfo: memFree=28181912/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=3956 CPUtime=263.39 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 582 0 0 0 26339 0 0 0 20 0 1 0 338422944 4050944 479 33554432000 134512640 134847168 4289609824 4289608504 134789714 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 989 479 272 82 0 230 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 38696
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/181 28709
/proc/meminfo: memFree=28181792/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=4092 CPUtime=323.38 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 601 0 0 0 32338 0 0 0 20 0 1 0 338422944 4190208 498 33554432000 134512640 134847168 4289609824 4289608448 134784657 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 1023 498 272 82 0 264 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 38832
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/181 28709
/proc/meminfo: memFree=28181668/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=4092 CPUtime=383.37 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 607 0 0 0 38337 0 0 0 20 0 1 0 338422944 4190208 504 33554432000 134512640 134847168 4289609824 4289608400 134714260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 1023 504 272 82 0 264 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 38832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.94 3/181 28709
/proc/meminfo: memFree=28181796/32873648 swapFree=7116/7116
[pid=26447] ppid=26445 vsize=25592 CPUtime=1398.61 cores=1,3,5,7
/proc/26447/stat : 26447 (pbclasp) S 26445 26447 8320 0 -1 4202496 18034 348472 0 0 4 7 139769 81 20 0 1 0 338283058 26206208 522 33554432000 4194304 4198148 140735274599328 140735274598256 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 2 0 0
/proc/26447/statm: 6398 522 387 1 0 193 0
[pid=28703] ppid=26447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28703/stat : 28703 (sh) S 26447 26447 8320 0 -1 4202496 372 216 0 0 0 0 0 0 20 0 1 0 338422944 9367552 264 33554432000 4194304 5064252 140737195947456 140737195945712 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28703/statm: 2287 264 223 213 0 72 0
[pid=28705] ppid=28703 vsize=4092 CPUtime=401.47 cores=1,3,5,7
/proc/28705/stat : 28705 (clasp-1.0) R 28703 26447 8320 0 -1 4202496 609 0 0 0 40147 0 0 0 20 0 1 0 338422944 4190208 506 33554432000 134512640 134847168 4289609824 4289608448 134784811 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28705/statm: 1023 506 272 82 0 264 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 38832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.13
CPU user time (s): 1799.23
CPU system time (s): 0.907861
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 38836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.907861
maximum resident set size= 2172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3348
involuntary context switches= 7060
runsolver used 3.33049 second user time and 9.08462 second system time
The end