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-3735034-1338722207/watcher-3735034-1338722207 -o /tmp/evaluation-result-3735034-1338722207/solver-3735034-1338722207 -C 1800 -W 1900 -M 15500 pbclasp instance-3735034-1338722207.opb HOME/temp
running on 4 cores: 0,2,4,6
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.98 3/178 16095
/proc/meminfo: memFree=29813192/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) D 16093 16095 32725 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 338349305 26071040 362 33554432000 4194304 4198148 140735962857040 140735962854488 245294251701 0 0 4224 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6365 362 277 1 0 160 0
[startup+0.0233991 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16095
/proc/meminfo: memFree=29813192/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 628 0 0 0 0 0 0 0 20 0 1 0 338349305 26357760 540 33554432000 4194304 4198148 140735962857040 140735962855928 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 540 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16095
/proc/meminfo: memFree=29813192/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 628 0 0 0 0 0 0 0 20 0 1 0 338349305 26357760 540 33554432000 4194304 4198148 140735962857040 140735962855928 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 540 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16095
/proc/meminfo: memFree=29813192/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 628 0 0 0 0 0 0 0 20 0 1 0 338349305 26357760 540 33554432000 4194304 4198148 140735962857040 140735962855928 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 540 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700184 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16095
/proc/meminfo: memFree=29813192/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 628 0 0 0 0 0 0 0 20 0 1 0 338349305 26357760 540 33554432000 4194304 4198148 140735962857040 140735962855928 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 540 368 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 16098
/proc/meminfo: memFree=29811432/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 628 0 0 0 0 0 0 0 20 0 1 0 338349305 26357760 540 33554432000 4194304 4198148 140735962857040 140735962855928 245297636592 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 540 368 1 0 230 0
[pid=16097] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16097/stat : 16097 (sh) S 16095 16095 32725 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 338349307 9367552 267 33554432000 4194304 5064252 140734670488496 140734670487376 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16097/statm: 2287 267 226 213 0 72 0
[pid=16098] ppid=16097 vsize=25592 CPUtime=1.47 cores=0,2,4,6
/proc/16098/stat : 16098 (pb2clasp1) R 16097 16095 32725 0 -1 4202496 603 0 0 0 147 0 0 0 20 0 1 0 338349307 26206208 512 33554432000 4194304 4198148 140737060490560 140737060481096 245319156560 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/16098/statm: 6398 512 378 1 0 193 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 60480
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 16105
/proc/meminfo: memFree=29794032/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=1.58 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 705 2094 0 0 0 0 157 1 20 0 1 0 338349305 26357760 559 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 559 387 1 0 230 0
[pid=16103] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16103/stat : 16103 (sh) S 16095 16095 32725 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 338349466 9367552 263 33554432000 4194304 5064252 140736666272048 140736666270304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16103/statm: 2287 263 223 213 0 72 0
[pid=16105] ppid=16103 vsize=18060 CPUtime=1.48 cores=0,2,4,6
/proc/16105/stat : 16105 (clasp-1.0) R 16103 16095 32725 0 -1 4202496 4100 0 0 0 148 0 0 0 20 0 1 0 338349466 18493440 3944 33554432000 134512640 134847168 4287093424 4287092000 134714478 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16105/statm: 4515 3944 272 82 0 3756 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 52948
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 16105
/proc/meminfo: memFree=29793544/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=1.58 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 705 2094 0 0 0 0 157 1 20 0 1 0 338349305 26357760 559 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 559 387 1 0 230 0
[pid=16103] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16103/stat : 16103 (sh) S 16095 16095 32725 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 338349466 9367552 263 33554432000 4194304 5064252 140736666272048 140736666270304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16103/statm: 2287 263 223 213 0 72 0
[pid=16105] ppid=16103 vsize=18060 CPUtime=4.68 cores=0,2,4,6
/proc/16105/stat : 16105 (clasp-1.0) R 16103 16095 32725 0 -1 4202496 4103 0 0 0 468 0 0 0 20 0 1 0 338349466 18493440 3947 33554432000 134512640 134847168 4287093424 4287092000 134714173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16105/statm: 4515 3947 272 82 0 3756 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 52948
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.98 2/177 16124
/proc/meminfo: memFree=29794188/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=11.55 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 799 8130 0 0 0 0 1152 3 20 0 1 0 338349305 26357760 559 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 559 387 1 0 230 0
[pid=16122] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16122/stat : 16122 (sh) S 16095 16095 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338350463 9367552 264 33554432000 4194304 5064252 140733583099136 140733583097392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16122/statm: 2287 264 223 213 0 72 0
[pid=16124] ppid=16122 vsize=18060 CPUtime=1.11 cores=0,2,4,6
/proc/16124/stat : 16124 (clasp-1.0) R 16122 16095 32725 0 -1 4202496 4098 0 0 0 111 0 0 0 20 0 1 0 338350463 18493440 3942 33554432000 134512640 134847168 4294547824 4294546580 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16124/statm: 4515 3942 270 82 0 3756 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52948
[startup+25.5003 s]
/proc/loadavg: 1.93 1.98 1.97 3/181 16304
/proc/meminfo: memFree=29765296/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=11.55 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 799 8130 0 0 0 0 1152 3 20 0 1 0 338349305 26357760 559 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 559 387 1 0 230 0
[pid=16122] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16122/stat : 16122 (sh) S 16095 16095 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338350463 9367552 264 33554432000 4194304 5064252 140733583099136 140733583097392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16122/statm: 2287 264 223 213 0 72 0
[pid=16124] ppid=16122 vsize=18356 CPUtime=13.91 cores=0,2,4,6
/proc/16124/stat : 16124 (clasp-1.0) R 16122 16095 32725 0 -1 4202496 4183 0 0 0 1390 1 0 0 20 0 1 0 338350463 18796544 4023 33554432000 134512640 134847168 4294547824 4294546400 134714497 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16124/statm: 4589 4023 270 82 0 3830 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53244
[startup+51.1003 s]
/proc/loadavg: 1.95 1.98 1.97 3/181 16304
/proc/meminfo: memFree=29763144/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=11.55 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 799 8130 0 0 0 0 1152 3 20 0 1 0 338349305 26357760 559 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 559 387 1 0 230 0
[pid=16122] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16122/stat : 16122 (sh) S 16095 16095 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338350463 9367552 264 33554432000 4194304 5064252 140733583099136 140733583097392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16122/statm: 2287 264 223 213 0 72 0
[pid=16124] ppid=16122 vsize=20540 CPUtime=39.51 cores=0,2,4,6
/proc/16124/stat : 16124 (clasp-1.0) R 16122 16095 32725 0 -1 4202496 4712 0 0 0 3950 1 0 0 20 0 1 0 338350463 21032960 4551 33554432000 134512640 134847168 4294547824 4294546400 134714492 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16124/statm: 5135 4551 270 82 0 4376 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 55428
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.97 3/181 16304
/proc/meminfo: memFree=29756624/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25740 CPUtime=11.55 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 799 8130 0 0 0 0 1152 3 20 0 1 0 338349305 26357760 559 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6435 559 387 1 0 230 0
[pid=16122] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16122/stat : 16122 (sh) S 16095 16095 32725 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338350463 9367552 264 33554432000 4194304 5064252 140733583099136 140733583097392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16122/statm: 2287 264 223 213 0 72 0
[pid=16124] ppid=16122 vsize=23532 CPUtime=90.7 cores=0,2,4,6
/proc/16124/stat : 16124 (clasp-1.0) R 16122 16095 32725 0 -1 4202496 5422 0 0 0 9069 1 0 0 20 0 1 0 338350463 24096768 5310 33554432000 134512640 134847168 4294547824 4294546400 134714115 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16124/statm: 5883 5310 270 82 0 5124 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 58420
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/181 16328
/proc/meminfo: memFree=29764628/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=154.96 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1058 22093 0 0 2 0 15487 7 20 0 1 0 338349305 26501120 579 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 579 387 1 0 265 0
[pid=16326] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16326/stat : 16326 (sh) S 16095 16095 32725 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 338364808 9367552 263 33554432000 4194304 5064252 140735885274112 140735885272368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16326/statm: 2287 263 223 213 0 72 0
[pid=16328] ppid=16326 vsize=18060 CPUtime=7.26 cores=0,2,4,6
/proc/16328/stat : 16328 (clasp-1.0) R 16326 16095 32725 0 -1 4202496 4107 0 0 0 726 0 0 0 20 0 1 0 338364808 18493440 3947 33554432000 134512640 134847168 4289519216 4289517972 134737608 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16328/statm: 4515 3947 270 82 0 3756 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 53088
[startup+222.3 s]
/proc/loadavg: 2.10 2.01 1.98 3/182 16331
/proc/meminfo: memFree=29755804/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=154.96 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1058 22093 0 0 2 0 15487 7 20 0 1 0 338349305 26501120 579 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 579 387 1 0 265 0
[pid=16326] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16326/stat : 16326 (sh) S 16095 16095 32725 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 338364808 9367552 263 33554432000 4194304 5064252 140735885274112 140735885272368 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16326/statm: 2287 263 223 213 0 72 0
[pid=16328] ppid=16326 vsize=23000 CPUtime=67.25 cores=0,2,4,6
/proc/16328/stat : 16328 (clasp-1.0) R 16326 16095 32725 0 -1 4202496 5296 0 0 0 6724 1 0 0 20 0 1 0 338364808 23552000 5160 33554432000 134512640 134847168 4289519216 4289517900 134715803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16328/statm: 5750 5160 270 82 0 4991 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 58028
[startup+282.3 s]
################
# More data... #
################
/proc/16398/stat : 16398 (sh) S 16095 16095 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338442208 9367552 264 33554432000 4194304 5064252 140734495991760 140734495990016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16398/statm: 2287 264 223 213 0 72 0
[pid=16400] ppid=16398 vsize=31624 CPUtime=553.15 cores=0,2,4,6
/proc/16400/stat : 16400 (clasp-1.0) R 16398 16095 32725 0 -1 4202496 7149 0 0 0 55314 1 0 0 20 0 1 0 338442208 32382976 7333 33554432000 134512640 134847168 4290166384 4290164960 134714254 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16400/statm: 7906 7333 270 82 0 7147 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 66652
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16422
/proc/meminfo: memFree=29743004/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=928.78 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1580 54218 0 0 6 0 92856 16 20 0 1 0 338349305 26501120 581 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 581 387 1 0 265 0
[pid=16398] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16398/stat : 16398 (sh) S 16095 16095 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338442208 9367552 264 33554432000 4194304 5064252 140734495991760 140734495990016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16398/statm: 2287 264 223 213 0 72 0
[pid=16400] ppid=16398 vsize=32416 CPUtime=613.14 cores=0,2,4,6
/proc/16400/stat : 16400 (clasp-1.0) R 16398 16095 32725 0 -1 4202496 7326 0 0 0 61313 1 0 0 20 0 1 0 338442208 33193984 7510 33554432000 134512640 134847168 4290166384 4290165068 134715962 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16400/statm: 8104 7510 270 82 0 7345 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 67444
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16423
/proc/meminfo: memFree=29740452/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=928.78 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1580 54218 0 0 6 0 92856 16 20 0 1 0 338349305 26501120 581 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 581 387 1 0 265 0
[pid=16398] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16398/stat : 16398 (sh) S 16095 16095 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338442208 9367552 264 33554432000 4194304 5064252 140734495991760 140734495990016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16398/statm: 2287 264 223 213 0 72 0
[pid=16400] ppid=16398 vsize=32416 CPUtime=673.13 cores=0,2,4,6
/proc/16400/stat : 16400 (clasp-1.0) R 16398 16095 32725 0 -1 4202496 7328 0 0 0 67312 1 0 0 20 0 1 0 338442208 33193984 7512 33554432000 134512640 134847168 4290166384 4290165076 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16400/statm: 8104 7512 270 82 0 7345 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 67444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16431
/proc/meminfo: memFree=29744612/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=928.78 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1580 54218 0 0 6 0 92856 16 20 0 1 0 338349305 26501120 581 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 581 387 1 0 265 0
[pid=16398] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16398/stat : 16398 (sh) S 16095 16095 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338442208 9367552 264 33554432000 4194304 5064252 140734495991760 140734495990016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16398/statm: 2287 264 223 213 0 72 0
[pid=16400] ppid=16398 vsize=33080 CPUtime=733.11 cores=0,2,4,6
/proc/16400/stat : 16400 (clasp-1.0) R 16398 16095 32725 0 -1 4202496 7461 0 0 0 73310 1 0 0 20 0 1 0 338442208 33873920 7645 33554432000 134512640 134847168 4290166384 4290165008 134784634 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16400/statm: 8270 7645 270 82 0 7511 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 68108
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16431
/proc/meminfo: memFree=29743432/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=928.78 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1580 54218 0 0 6 0 92856 16 20 0 1 0 338349305 26501120 581 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 581 387 1 0 265 0
[pid=16398] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16398/stat : 16398 (sh) S 16095 16095 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338442208 9367552 264 33554432000 4194304 5064252 140734495991760 140734495990016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16398/statm: 2287 264 223 213 0 72 0
[pid=16400] ppid=16398 vsize=33936 CPUtime=793.1 cores=0,2,4,6
/proc/16400/stat : 16400 (clasp-1.0) R 16398 16095 32725 0 -1 4202496 7636 0 0 0 79309 1 0 0 20 0 1 0 338442208 34750464 7887 33554432000 134512640 134847168 4290166384 4290164960 134714247 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16400/statm: 8484 7887 270 82 0 7725 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 68964
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 16431
/proc/meminfo: memFree=29740144/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=928.78 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1580 54218 0 0 6 0 92856 16 20 0 1 0 338349305 26501120 581 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 581 387 1 0 265 0
[pid=16398] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16398/stat : 16398 (sh) S 16095 16095 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338442208 9367552 264 33554432000 4194304 5064252 140734495991760 140734495990016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16398/statm: 2287 264 223 213 0 72 0
[pid=16400] ppid=16398 vsize=35340 CPUtime=853.09 cores=0,2,4,6
/proc/16400/stat : 16400 (clasp-1.0) R 16398 16095 32725 0 -1 4202496 7928 0 0 0 85308 1 0 0 20 0 1 0 338442208 36188160 8179 33554432000 134512640 134847168 4290166384 4290165076 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16400/statm: 8835 8179 270 82 0 8076 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 70368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 16431
/proc/meminfo: memFree=29739400/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=928.78 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1580 54218 0 0 6 0 92856 16 20 0 1 0 338349305 26501120 581 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16095/statm: 6470 581 387 1 0 265 0
[pid=16398] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16398/stat : 16398 (sh) S 16095 16095 32725 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338442208 9367552 264 33554432000 4194304 5064252 140734495991760 140734495990016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16398/statm: 2287 264 223 213 0 72 0
[pid=16400] ppid=16398 vsize=35340 CPUtime=871.29 cores=0,2,4,6
/proc/16400/stat : 16400 (clasp-1.0) R 16398 16095 32725 0 -1 4202496 7932 0 0 0 87128 1 0 0 20 0 1 0 338442208 36188160 8183 33554432000 134512640 134847168 4290166384 4290164960 134714363 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16400/statm: 8835 8183 270 82 0 8076 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 70368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16095
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 2.00 4/184 16450
/proc/meminfo: memFree=29795644/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=1800.11 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1751 64922 0 0 6 0 179985 20 20 0 1 0 338349305 26501120 582 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6470 582 387 1 0 265 0
[pid=16440] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16440/stat : 16440 (sh) S 16095 16095 32725 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338529358 9367552 264 33554432000 4194304 5064252 140733810339776 140733810338032 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16440/statm: 2287 264 223 213 0 72 0
[pid=16443] ppid=16440 vsize=18060 CPUtime=0.86 cores=0,2,4,6
/proc/16443/stat : 16443 (clasp-1.0) R 16440 16095 32725 0 -1 4202496 4097 0 0 0 86 0 0 0 20 0 1 0 338529358 18493440 3941 33554432000 134512640 134847168 4293208624 4293207308 134715821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16443/statm: 4515 3941 270 82 0 3756 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 53088
[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 16450
/proc/meminfo: memFree=29764584/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=1800.11 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1751 64922 0 0 6 0 179985 20 20 0 1 0 338349305 26501120 582 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6470 582 387 1 0 265 0
[pid=16440] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16440/stat : 16440 (sh) S 16095 16095 32725 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338529358 9367552 264 33554432000 4194304 5064252 140733810339776 140733810338032 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16440/statm: 2287 264 223 213 0 72 0
[pid=16443] ppid=16440 vsize=18060 CPUtime=1.66 cores=0,2,4,6
/proc/16443/stat : 16443 (clasp-1.0) R 16440 16095 32725 0 -1 4202496 4098 0 0 0 166 0 0 0 20 0 1 0 338529358 18493440 3942 33554432000 134512640 134847168 4293208624 4293207308 134715812 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16443/statm: 4515 3942 270 82 0 3756 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 53088
[startup+1802.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 16450
/proc/meminfo: memFree=29764584/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=1800.11 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1751 64922 0 0 6 0 179985 20 20 0 1 0 338349305 26501120 582 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6470 582 387 1 0 265 0
[pid=16440] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16440/stat : 16440 (sh) S 16095 16095 32725 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338529358 9367552 264 33554432000 4194304 5064252 140733810339776 140733810338032 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16440/statm: 2287 264 223 213 0 72 0
[pid=16443] ppid=16440 vsize=18060 CPUtime=1.86 cores=0,2,4,6
/proc/16443/stat : 16443 (clasp-1.0) R 16440 16095 32725 0 -1 4202496 4099 0 0 0 186 0 0 0 20 0 1 0 338529358 18493440 3943 33554432000 134512640 134847168 4293208624 4293207392 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16443/statm: 4515 3943 270 82 0 3756 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 53088
[startup+1802.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 16450
/proc/meminfo: memFree=29764584/32873844 swapFree=7372/7372
[pid=16095] ppid=16093 vsize=25880 CPUtime=1800.11 cores=0,2,4,6
/proc/16095/stat : 16095 (pbclasp) S 16093 16095 32725 0 -1 4202496 1751 64922 0 0 6 0 179985 20 20 0 1 0 338349305 26501120 582 33554432000 4194304 4198148 140735962857040 140735962855968 245297639454 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16095/statm: 6470 582 387 1 0 265 0
[pid=16440] ppid=16095 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16440/stat : 16440 (sh) S 16095 16095 32725 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 338529358 9367552 264 33554432000 4194304 5064252 140733810339776 140733810338032 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16440/statm: 2287 264 223 213 0 72 0
[pid=16443] ppid=16440 vsize=18060 CPUtime=1.96 cores=0,2,4,6
/proc/16443/stat : 16443 (clasp-1.0) R 16440 16095 32725 0 -1 4202496 4099 0 0 0 196 0 0 0 20 0 1 0 338529358 18493440 3943 33554432000 134512640 134847168 4293208624 4293207356 134740921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16443/statm: 4515 3943 270 82 0 3756 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 53088
Child status: 0
Real time (s): 1802.52
CPU time (s): 1802.13
CPU user time (s): 1801.91
CPU system time (s): 0.223965
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 70368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.91
system time used= 0.223965
maximum resident set size= 32732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3927
involuntary context switches= 2447
runsolver used 3.63245 second user time and 10.3024 second system time
The end