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-3742242-1338785944/watcher-3742242-1338785944 -o /tmp/evaluation-result-3742242-1338785944/solver-3742242-1338785944 -C 1800 -W 1900 -M 15500 pbclasp instance-3742242-1338785944.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.93 3/177 7308
/proc/meminfo: memFree=22325964/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) R 7306 7308 6982 0 -1 4202496 559 0 0 0 0 0 0 0 20 0 1 0 344722992 26206208 490 33554432000 4194304 4198148 140737481245520 140737481242968 235374350228 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6398 490 355 1 0 193 0
[startup+0.060617 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7308
/proc/meminfo: memFree=22325964/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.100225 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7308
/proc/meminfo: memFree=22325964/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.300185 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7308
/proc/meminfo: memFree=22325964/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7308
/proc/meminfo: memFree=22325964/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26396
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 1.93 4/182 7313
/proc/meminfo: memFree=22316600/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=21256 CPUtime=0.27 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 5206 0 0 0 27 0 0 0 20 0 1 0 344722994 21766144 4624 33554432000 134512640 134847168 4292655632 4292653856 4016623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 5314 4624 270 82 0 4555 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 82260
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7313
/proc/meminfo: memFree=22302472/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=21692 CPUtime=1.87 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 5296 0 0 0 187 0 0 0 20 0 1 0 344722994 22212608 4714 33554432000 134512640 134847168 4292655632 4292654400 134617536 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 5423 4714 270 82 0 4664 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 82696
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7313
/proc/meminfo: memFree=22298752/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=21692 CPUtime=5.07 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 5373 0 0 0 507 0 0 0 20 0 1 0 344722994 22212608 4791 33554432000 134512640 134847168 4292655632 4292654400 134737530 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 5423 4791 270 82 0 4664 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 82696
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7313
/proc/meminfo: memFree=22293660/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=22160 CPUtime=11.47 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 5442 0 0 0 1147 0 0 0 20 0 1 0 344722994 22691840 4860 33554432000 134512640 134847168 4292655632 4292654092 134713914 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 5540 4860 270 82 0 4781 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.85
Current children cumulated vsize (KiB) 83164
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7313
/proc/meminfo: memFree=22292040/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=23580 CPUtime=24.27 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 5766 0 0 0 2427 0 0 0 20 0 1 0 344722994 24145920 5184 33554432000 134512640 134847168 4292655632 4292654256 134784656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 5895 5184 270 82 0 5136 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.65
Current children cumulated vsize (KiB) 84584
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 7313
/proc/meminfo: memFree=22286180/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=28844 CPUtime=49.87 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 7184 0 0 0 4986 1 0 0 20 0 1 0 344722994 29536256 6602 33554432000 134512640 134847168 4292655632 4292654400 134737597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 7211 6602 270 82 0 6452 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 89848
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 7316
/proc/meminfo: memFree=22249756/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=42384 CPUtime=101.06 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 10503 0 0 0 10104 2 0 0 20 0 1 0 344722994 43401216 9914 33554432000 134512640 134847168 4292655632 4292654208 134714504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 10596 9914 270 82 0 9837 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 103388
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 7339
/proc/meminfo: memFree=22219816/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=55172 CPUtime=161.03 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7351
/proc/meminfo: memFree=21746836/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1420.7 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99835 0 0 0 142046 24 0 0 20 0 1 0 344722994 413171712 99932 33554432000 134512640 134847168 4292655632 4292654372 134737633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 99932 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 464492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7351
/proc/meminfo: memFree=21725588/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1480.66 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99856 0 0 0 148042 24 0 0 20 0 1 0 344722994 413171712 100239 33554432000 134512640 134847168 4292655632 4292654272 134782452 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100239 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 464492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7351
/proc/meminfo: memFree=21711576/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1540.65 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99856 0 0 0 154041 24 0 0 20 0 1 0 344722994 413171712 100239 33554432000 134512640 134847168 4292655632 4292654272 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100239 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 464492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7351
/proc/meminfo: memFree=21710076/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1600.64 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99856 0 0 0 160040 24 0 0 20 0 1 0 344722994 413171712 100239 33554432000 134512640 134847168 4292655632 4292654400 134737644 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100239 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 464492
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7351
/proc/meminfo: memFree=21709684/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1660.63 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99856 0 0 0 166039 24 0 0 20 0 1 0 344722994 413171712 100239 33554432000 134512640 134847168 4292655632 4292654388 134737608 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100239 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 464492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 7351
/proc/meminfo: memFree=21709568/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1720.62 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99856 0 0 0 172038 24 0 0 20 0 1 0 344722994 413171712 100239 33554432000 134512640 134847168 4292655632 4292654272 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100239 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 464492
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7405
/proc/meminfo: memFree=21954656/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1780.62 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99866 0 0 0 178037 25 0 0 20 0 1 0 344722994 413171712 100249 33554432000 134512640 134847168 4292655632 4292654400 134737597 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100249 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 464492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 7405
/proc/meminfo: memFree=21949448/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1798.63 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99866 0 0 0 179838 25 0 0 20 0 1 0 344722994 413171712 100249 33554432000 134512640 134847168 4292655632 4292654400 134737260 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100249 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 464492
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 1.95 3/181 7405
/proc/meminfo: memFree=21949448/32873844 swapFree=7112/7112
[pid=7308] ppid=7306 vsize=26396 CPUtime=0.02 cores=0,2,4,6
/proc/7308/stat : 7308 (pbclasp) S 7306 7308 6982 0 -1 4202496 766 0 0 0 2 0 0 0 20 0 1 0 344722992 27029504 679 33554432000 4194304 4198148 140737481245520 140737481244408 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7308/statm: 6599 679 364 1 0 394 0
[pid=7310] ppid=7308 vsize=9148 CPUtime=1.36 cores=0,2,4,6
/proc/7310/stat : 7310 (sh) S 7308 7308 6982 0 -1 4202496 372 628 0 0 0 0 136 0 20 0 1 0 344722994 9367552 264 33554432000 4194304 5064252 140733703391632 140733703389888 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7310/statm: 2287 264 223 213 0 72 0
[pid=7312] ppid=7310 vsize=403488 CPUtime=1798.63 cores=0,2,4,6
/proc/7312/stat : 7312 (clasp-1.0) R 7310 7308 6982 0 -1 4202496 99866 0 0 0 179838 25 0 0 20 0 1 0 344722994 413171712 100249 33554432000 134512640 134847168 4292655632 4292654400 134737260 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7312/statm: 100872 100249 270 82 0 100113 0
[pid=7313] ppid=7310 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/7313/stat : 7313 (pboutclasp.pl) S 7310 7308 6982 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344722994 26071040 437 33554432000 4194304 4198148 140735601228320 140735601218856 235378107632 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7313/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 464492
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.77
CPU system time (s): 0.263959
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 464492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.263959
maximum resident set size= 400996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102427
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= 662
involuntary context switches= 1994
runsolver used 2.78958 second user time and 7.03993 second system time
The end