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-3742359-1338787588/watcher-3742359-1338787588 -o /tmp/evaluation-result-3742359-1338787588/solver-3742359-1338787588 -C 1800 -W 1900 -M 15500 pbclasp instance-3742359-1338787588.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.01 2.03 2.00 3/179 25050
/proc/meminfo: memFree=28541532/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) R 25048 25050 20179 0 -1 4202496 548 0 0 0 0 0 0 0 20 0 1 0 344883191 26206208 478 33554432000 4194304 4198148 140736393247264 140736393244712 239250569794 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6398 479 355 1 0 193 0
[startup+0.087358 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25050
/proc/meminfo: memFree=28541532/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26136
[startup+0.100287 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25050
/proc/meminfo: memFree=28541532/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26136
[startup+0.300229 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25050
/proc/meminfo: memFree=28541532/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26136
[startup+0.700234 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25050
/proc/meminfo: memFree=28541532/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26136
[startup+1.5003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 25055
/proc/meminfo: memFree=28530596/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=16560 CPUtime=0.66 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 3863 0 0 0 65 1 0 0 20 0 1 0 344883193 16957440 3495 33554432000 134512640 134847168 4293600352 4293598976 134784656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25054/statm: 4140 3495 272 82 0 3381 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 77304
[startup+3.10031 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 25055
/proc/meminfo: memFree=28527008/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=16560 CPUtime=2.26 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 3906 0 0 0 225 1 0 0 20 0 1 0 344883193 16957440 3538 33554432000 134512640 134847168 4293600352 4293598992 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25054/statm: 4140 3538 272 82 0 3381 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 77304
[startup+6.30033 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 25055
/proc/meminfo: memFree=28526760/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=16896 CPUtime=5.46 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 3947 0 0 0 545 1 0 0 20 0 1 0 344883193 17301504 3579 33554432000 134512640 134847168 4293600352 4293599120 134737492 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25054/statm: 4224 3579 272 82 0 3465 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 77640
[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 25055
/proc/meminfo: memFree=28526272/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=17556 CPUtime=11.86 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 4193 0 0 0 1185 1 0 0 20 0 1 0 344883193 17977344 3825 33554432000 134512640 134847168 4293600352 4293599088 134741030 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25054/statm: 4389 3825 272 82 0 3630 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 78300
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25055
/proc/meminfo: memFree=28515608/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=28192 CPUtime=24.65 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 6819 0 0 0 2463 2 0 0 20 0 1 0 344883193 28868608 6451 33554432000 134512640 134847168 4293600352 4293598992 134782435 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25054/statm: 7048 6451 272 82 0 6289 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 88936
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25055
/proc/meminfo: memFree=28495272/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=47696 CPUtime=50.24 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 11724 0 0 0 5021 3 0 0 20 0 1 0 344883193 48840704 11356 33554432000 134512640 134847168 4293600352 4293599120 134737597 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 11924 11356 272 82 0 11165 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 108440
[startup+102.307 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 25055
/proc/meminfo: memFree=28455840/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=82008 CPUtime=101.44 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 20176 0 0 0 10137 7 0 0 20 0 1 0 344883193 83976192 19808 33554432000 134512640 134847168 4293600352 4293599120 134737503 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 20502 19808 272 82 0 19743 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 142752
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 25055
/proc/meminfo: memFree=28426440/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=110288 CPUtime=161.41 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 25121
/proc/meminfo: memFree=28304000/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=271820 CPUtime=1421.14 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 66211 0 0 0 142092 22 0 0 20 0 1 0 344883193 278343680 67364 33554432000 134512640 134847168 4293600352 4293598992 134782682 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 67955 67364 272 82 0 67196 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 332564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25121
/proc/meminfo: memFree=28304016/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=271820 CPUtime=1481.13 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 66211 0 0 0 148091 22 0 0 20 0 1 0 344883193 278343680 67364 33554432000 134512640 134847168 4293600352 4293598992 134782432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 67955 67364 272 82 0 67196 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 332564
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25122
/proc/meminfo: memFree=28304016/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=271820 CPUtime=1541.12 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 66211 0 0 0 154090 22 0 0 20 0 1 0 344883193 278343680 67364 33554432000 134512640 134847168 4293600352 4293598992 134782432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 67955 67364 272 82 0 67196 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 332564
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 25122
/proc/meminfo: memFree=28304016/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=271820 CPUtime=1601.11 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 66211 0 0 0 160089 22 0 0 20 0 1 0 344883193 278343680 67364 33554432000 134512640 134847168 4293600352 4293599108 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 67955 67364 272 82 0 67196 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 332564
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25122
/proc/meminfo: memFree=28286468/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=289748 CPUtime=1661.1 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 70554 0 0 0 166086 24 0 0 20 0 1 0 344883193 296701952 71707 33554432000 134512640 134847168 4293600352 4293599120 134737676 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 72437 71707 272 82 0 71678 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 350492
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 25122
/proc/meminfo: memFree=28279084/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=297800 CPUtime=1721.1 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 72392 0 0 0 172085 25 0 0 20 0 1 0 344883193 304947200 73545 33554432000 134512640 134847168 4293600352 4293598620 134793560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 74450 73545 272 82 0 73691 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 358544
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 25122
/proc/meminfo: memFree=28278960/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=298112 CPUtime=1781.09 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 72440 0 0 0 178084 25 0 0 20 0 1 0 344883193 305266688 73593 33554432000 134512640 134847168 4293600352 4293598992 134782437 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 74528 73593 272 82 0 73769 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 358856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 25123
/proc/meminfo: memFree=28278836/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=298112 CPUtime=1799.09 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 72440 0 0 0 179884 25 0 0 20 0 1 0 344883193 305266688 73593 33554432000 134512640 134847168 4293600352 4293598992 134782437 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 74528 73593 272 82 0 73769 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 358856
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.10 2.05 2.00 3/183 25123
/proc/meminfo: memFree=28278836/32873844 swapFree=7644/7644
[pid=25050] ppid=25048 vsize=26136 CPUtime=0.01 cores=1,3,5,7
/proc/25050/stat : 25050 (pbclasp) S 25048 25050 20179 0 -1 4202496 700 0 0 0 1 0 0 0 20 0 1 0 344883191 26763264 611 33554432000 4194304 4198148 140736393247264 140736393246152 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25050/statm: 6534 611 364 1 0 329 0
[pid=25052] ppid=25050 vsize=9148 CPUtime=0.93 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25050 25050 20179 0 -1 4202496 371 624 0 0 0 0 93 0 20 0 1 0 344883193 9367552 263 33554432000 4194304 5064252 140733617474592 140733617472848 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25052/statm: 2287 263 223 213 0 72 0
[pid=25054] ppid=25052 vsize=298112 CPUtime=1799.09 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25050 20179 0 -1 4202496 72440 0 0 0 179884 25 0 0 20 0 1 0 344883193 305266688 73593 33554432000 134512640 134847168 4293600352 4293598992 134782437 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25054/statm: 74528 73593 272 82 0 73769 0
[pid=25055] ppid=25052 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (pboutclasp.pl) S 25052 25050 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344883193 26071040 438 33554432000 4194304 4198148 140735598735568 140735598726104 239241061616 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25055/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 358856
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.06
CPU user time (s): 1799.8
CPU system time (s): 0.263959
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 358856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.263959
maximum resident set size= 294372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74881
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= 467
involuntary context switches= 1884
runsolver used 3.89041 second user time and 8.77567 second system time
The end