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-3742489-1338788870/watcher-3742489-1338788870 -o /tmp/evaluation-result-3742489-1338788870/solver-3742489-1338788870 -C 1800 -W 1900 -M 15500 pbclasp instance-3742489-1338788870.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 2.00 3/179 21952
/proc/meminfo: memFree=27399064/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) R 21950 21952 4306 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 345013068 26492928 537 33554432000 4194304 4198148 140734095208800 140734423813672 251031687060 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6468 537 355 1 0 263 0
[startup+0.0616869 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21952
/proc/meminfo: memFree=27399064/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21952
/proc/meminfo: memFree=27399064/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21952
/proc/meminfo: memFree=27399064/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.700108 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21952
/proc/meminfo: memFree=27399064/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21957
/proc/meminfo: memFree=27391592/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=18832 CPUtime=0.54 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 4472 0 0 0 54 0 0 0 20 0 1 0 345013070 19283968 4059 33554432000 134512640 134847168 4291873104 4291871872 134617547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 4708 4059 270 82 0 3949 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 79836
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21957
/proc/meminfo: memFree=27380812/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=18832 CPUtime=2.14 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 4522 0 0 0 214 0 0 0 20 0 1 0 345013070 19283968 4109 33554432000 134512640 134847168 4291873104 4291871744 134782479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 4708 4109 270 82 0 3949 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 79836
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21957
/proc/meminfo: memFree=27380704/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=19216 CPUtime=5.34 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 4574 0 0 0 534 0 0 0 20 0 1 0 345013070 19677184 4161 33554432000 134512640 134847168 4291873104 4291871840 134741032 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 4804 4161 270 82 0 4045 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 80220
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21957
/proc/meminfo: memFree=27379604/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=19216 CPUtime=11.74 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 4646 0 0 0 1173 1 0 0 20 0 1 0 345013070 19677184 4233 33554432000 134512640 134847168 4291873104 4291871744 134782363 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 4804 4233 270 82 0 4045 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.81
Current children cumulated vsize (KiB) 80220
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21957
/proc/meminfo: memFree=27371716/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=23852 CPUtime=24.54 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 5803 0 0 0 2453 1 0 0 20 0 1 0 345013070 24424448 5390 33554432000 134512640 134847168 4291873104 4291871872 134737525 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 5963 5390 270 82 0 5204 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 84856
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 21957
/proc/meminfo: memFree=27354704/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=33804 CPUtime=50.12 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 8236 0 0 0 5011 1 0 0 20 0 1 0 345013070 34615296 7826 33554432000 134512640 134847168 4291873104 4291871872 134737421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 8451 7826 270 82 0 7692 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 94808
[startup+102.307 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 21957
/proc/meminfo: memFree=27274640/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=94628 CPUtime=101.32 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 23444 0 0 0 10127 5 0 0 20 0 1 0 345013070 96899072 23032 33554432000 134512640 134847168 4291873104 4291871872 134737597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 23657 23032 270 82 0 22898 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 155632
[startup+162.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/184 21961
/proc/meminfo: memFree=27251020/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=99728 CPUtime=161.28 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21994
/proc/meminfo: memFree=26819320/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=285944 CPUtime=1421.02 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 70750 0 0 0 142083 19 0 0 20 0 1 0 345013070 292806656 70876 33554432000 134512640 134847168 4291873104 4291871844 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 71486 70876 270 82 0 70727 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 346948
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21994
/proc/meminfo: memFree=26779888/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=326116 CPUtime=1481.01 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 80560 0 0 0 148079 22 0 0 20 0 1 0 345013070 333942784 80686 33554432000 134512640 134847168 4291873104 4291871744 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 81529 80686 270 82 0 80770 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.08
Current children cumulated vsize (KiB) 387120
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21994
/proc/meminfo: memFree=26778360/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=326796 CPUtime=1540.98 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 80715 0 0 0 154076 22 0 0 20 0 1 0 345013070 334639104 81042 33554432000 134512640 134847168 4291873104 4291871872 134737400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 81699 81042 270 82 0 80940 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 387800
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21994
/proc/meminfo: memFree=26778360/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=326796 CPUtime=1600.97 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 80725 0 0 0 160075 22 0 0 20 0 1 0 345013070 334639104 81052 33554432000 134512640 134847168 4291873104 4291871872 134737400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 81699 81052 270 82 0 80940 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 387800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21995
/proc/meminfo: memFree=26766332/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=339392 CPUtime=1660.96 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 83810 0 0 0 166073 23 0 0 20 0 1 0 345013070 347537408 84137 33554432000 134512640 134847168 4291873104 4291871860 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 84848 84137 270 82 0 84089 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 400396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21995
/proc/meminfo: memFree=26765892/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=339392 CPUtime=1720.95 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 83811 0 0 0 172072 23 0 0 20 0 1 0 345013070 347537408 84138 33554432000 134512640 134847168 4291873104 4291871744 134782483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 84848 84138 270 82 0 84089 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 400396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21995
/proc/meminfo: memFree=26765768/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=339392 CPUtime=1780.94 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 83811 0 0 0 178071 23 0 0 20 0 1 0 345013070 347537408 84138 33554432000 134512640 134847168 4291873104 4291871860 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 84848 84138 270 82 0 84089 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 400396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22048
/proc/meminfo: memFree=27069400/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=339392 CPUtime=1798.94 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 83815 0 0 0 179871 23 0 0 20 0 1 0 345013070 347537408 84142 33554432000 134512640 134847168 4291873104 4291871744 134782463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 84848 84142 270 82 0 84089 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 400396
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22048
/proc/meminfo: memFree=27069400/32873844 swapFree=7372/7372
[pid=21952] ppid=21950 vsize=26396 CPUtime=0.01 cores=0,2,4,6
/proc/21952/stat : 21952 (pbclasp) S 21950 21952 4306 0 -1 4202496 767 0 0 0 1 0 0 0 20 0 1 0 345013068 27029504 679 33554432000 4194304 4198148 140734095208800 140734095207688 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21952/statm: 6599 679 364 1 0 394 0
[pid=21954] ppid=21952 vsize=9148 CPUtime=1.06 cores=0,2,4,6
/proc/21954/stat : 21954 (sh) S 21952 21952 4306 0 -1 4202496 371 625 0 0 0 0 106 0 20 0 1 0 345013070 9367552 263 33554432000 4194304 5064252 140735720733536 140735720731792 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21954/statm: 2287 263 223 213 0 72 0
[pid=21956] ppid=21954 vsize=339392 CPUtime=1798.94 cores=0,2,4,6
/proc/21956/stat : 21956 (clasp-1.0) R 21954 21952 4306 0 -1 4202496 83815 0 0 0 179871 23 0 0 20 0 1 0 345013070 347537408 84142 33554432000 134512640 134847168 4291873104 4291871744 134782463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21956/statm: 84848 84142 270 82 0 84089 0
[pid=21957] ppid=21954 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/21957/stat : 21957 (pboutclasp.pl) S 21954 21952 4306 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 345013070 26071040 437 33554432000 4194304 4198148 140734849631424 140734849621960 251035444464 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21957/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 400396
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.05
CPU user time (s): 1799.8
CPU system time (s): 0.248962
CPU usage (%): 99.9856
Max. virtual memory (cumulated for all children) (KiB): 400396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.248962
maximum resident set size= 336568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 533
involuntary context switches= 1862
runsolver used 3.00554 second user time and 9.03163 second system time
The end