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-3738347-1338752783/watcher-3738347-1338752783 -o /tmp/evaluation-result-3738347-1338752783/solver-3738347-1338752783 -C 1800 -W 1900 -M 15500 pbclasp instance-3738347-1338752783.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: 1.99 2.00 1.81 3/178 11693
/proc/meminfo: memFree=26110728/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 584 0 0 0 0 0 0 0 20 0 1 0 341406814 26206208 497 33554432000 4194304 4198148 140734870145328 140734870144216 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 497 368 1 0 193 0
[startup+0.0442911 s]
/proc/loadavg: 1.99 2.00 1.81 3/178 11693
/proc/meminfo: memFree=26110728/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 584 0 0 0 0 0 0 0 20 0 1 0 341406814 26206208 497 33554432000 4194304 4198148 140734870145328 140734870144216 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 497 368 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100193 s]
/proc/loadavg: 1.99 2.00 1.81 3/178 11693
/proc/meminfo: memFree=26110728/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25592
[startup+0.300179 s]
/proc/loadavg: 1.99 2.00 1.81 3/178 11693
/proc/meminfo: memFree=26110728/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25592
[startup+0.700179 s]
/proc/loadavg: 1.99 2.00 1.81 3/178 11693
/proc/meminfo: memFree=26110728/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25592
[startup+1.50025 s]
/proc/loadavg: 1.99 2.00 1.81 3/181 11703
/proc/meminfo: memFree=26108372/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=4800 CPUtime=1.41 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 804 0 0 0 141 0 0 0 20 0 1 0 341406822 4915200 702 33554432000 134512640 134847168 4290233312 4290231776 134713933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 1200 702 272 82 0 441 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39540
[startup+3.10026 s]
/proc/loadavg: 1.99 2.00 1.81 3/181 11703
/proc/meminfo: memFree=26108272/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=5188 CPUtime=3.01 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 888 0 0 0 301 0 0 0 20 0 1 0 341406822 5312512 786 33554432000 134512640 134847168 4290233312 4290232080 134737674 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 1297 786 272 82 0 538 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39928
[startup+6.30025 s]
/proc/loadavg: 1.99 2.00 1.82 3/181 11703
/proc/meminfo: memFree=26107536/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=5832 CPUtime=6.21 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 1032 0 0 0 621 0 0 0 20 0 1 0 341406822 5971968 930 33554432000 134512640 134847168 4290233312 4290231792 134782912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 1458 930 272 82 0 699 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40572
[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 1.82 3/181 11703
/proc/meminfo: memFree=26106592/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=6608 CPUtime=12.61 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 1231 0 0 0 1261 0 0 0 20 0 1 0 341406822 6766592 1129 33554432000 134512640 134847168 4290233312 4290231952 134715314 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 1652 1129 272 82 0 893 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41348
[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 1.82 3/181 11703
/proc/meminfo: memFree=26102312/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=7620 CPUtime=25.41 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 1480 0 0 0 2541 0 0 0 20 0 1 0 341406822 7802880 1378 33554432000 134512640 134847168 4290233312 4290231936 134784634 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 1905 1378 272 82 0 1146 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42360
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 1.82 3/181 11703
/proc/meminfo: memFree=26101380/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=8256 CPUtime=51 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 1682 0 0 0 5100 0 0 0 20 0 1 0 341406822 8454144 1567 33554432000 134512640 134847168 4290233312 4290231952 134782472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 2064 1567 272 82 0 1305 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42996
[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.83 3/181 11703
/proc/meminfo: memFree=26096784/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=8844 CPUtime=102.2 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 1816 0 0 0 10220 0 0 0 20 0 1 0 341406822 9056256 1700 33554432000 134512640 134847168 4290233312 4290231952 134782437 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 2211 1700 272 82 0 1452 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43584
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.84 3/181 11703
/proc/meminfo: memFree=26076436/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=11484 CPUtime=162.18 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 2474 0 0 0 16218 0 0 0 20 0 1 0 341406822 11759616 2359 33554432000 134512640 134847168 4290233312 4290231936 134784714 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 2871 2359 272 82 0 2112 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46224
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.84 3/182 11706
/proc/meminfo: memFree=26076360/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=11484 CPUtime=222.17 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 2478 0 0 0 22217 0 0 0 20 0 1 0 341406822 11759616 2363 33554432000 134512640 134847168 4290233312 4290231588 134792553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11703/statm: 2871 2363 272 82 0 2112 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 46224
[startup+282.3 s]
################
# More data... #
################
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=17108 CPUtime=1241.98 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 3945 0 0 0 124198 0 0 0 20 0 1 0 341406822 17518592 3755 33554432000 134512640 134847168 4290233312 4290231776 134713637 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4277 3755 272 82 0 3518 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 51848
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 11736
/proc/meminfo: memFree=26012264/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=18704 CPUtime=1301.97 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4337 0 0 0 130197 0 0 0 20 0 1 0 341406822 19152896 4147 33554432000 134512640 134847168 4290233312 4290232052 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4676 4147 272 82 0 3917 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 53444
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/181 11736
/proc/meminfo: memFree=26011704/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=18752 CPUtime=1361.96 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4341 0 0 0 136196 0 0 0 20 0 1 0 341406822 19202048 4181 33554432000 134512640 134847168 4290233312 4290232032 134742032 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4688 4181 272 82 0 3929 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 53492
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/182 11739
/proc/meminfo: memFree=26011540/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=18752 CPUtime=1421.95 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4341 0 0 0 142195 0 0 0 20 0 1 0 341406822 19202048 4181 33554432000 134512640 134847168 4290233312 4290231996 134715815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4688 4181 272 82 0 3929 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 53492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 11740
/proc/meminfo: memFree=26011704/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=18752 CPUtime=1481.94 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4341 0 0 0 148194 0 0 0 20 0 1 0 341406822 19202048 4181 33554432000 134512640 134847168 4290233312 4290232032 134741450 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4688 4181 272 82 0 3929 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 53492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 11740
/proc/meminfo: memFree=26012076/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=18752 CPUtime=1541.93 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4341 0 0 0 154193 0 0 0 20 0 1 0 341406822 19202048 4181 33554432000 134512640 134847168 4290233312 4290231936 134784634 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4688 4181 272 82 0 3929 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 53492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 11740
/proc/meminfo: memFree=25993280/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=18880 CPUtime=1601.93 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4379 0 0 0 160192 1 0 0 20 0 1 0 341406822 19333120 4219 33554432000 134512640 134847168 4290233312 4290231952 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4720 4219 272 82 0 3961 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 53620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 11740
/proc/meminfo: memFree=25972696/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=19748 CPUtime=1661.92 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4695 0 0 0 166191 1 0 0 20 0 1 0 341406822 20221952 4436 33554432000 134512640 134847168 4290233312 4290231952 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4937 4436 272 82 0 4178 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 54488
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/181 11740
/proc/meminfo: memFree=25972672/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=0.07 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 663 2103 0 0 0 0 7 0 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11701] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11701/stat : 11701 (sh) S 11693 11693 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 341406822 9367552 264 33554432000 4194304 5064252 140736580735536 140736580733792 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11701/statm: 2287 264 223 213 0 72 0
[pid=11703] ppid=11701 vsize=19748 CPUtime=1721.91 cores=0,2,4,6
/proc/11703/stat : 11703 (clasp-1.0) R 11701 11693 14893 0 -1 4202496 4695 0 0 0 172190 1 0 0 20 0 1 0 341406822 20221952 4436 33554432000 134512640 134847168 4290233312 4290231952 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11703/statm: 4937 4436 272 82 0 4178 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 54488
[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 1.93 3/181 11883
/proc/meminfo: memFree=26113136/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=1752.38 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 763 8723 0 0 0 0 175236 2 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11757] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11757/stat : 11757 (sh) S 11693 11693 14893 0 -1 4202496 368 220 0 0 0 0 0 0 20 0 1 0 341582084 9367552 263 33554432000 4194304 5064252 140736546717568 140736546715824 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11757/statm: 2287 263 223 213 0 72 0
[pid=11759] ppid=11757 vsize=7604 CPUtime=29.59 cores=0,2,4,6
/proc/11759/stat : 11759 (clasp-1.0) R 11757 11693 14893 0 -1 4202496 1478 0 0 0 2959 0 0 0 20 0 1 0 341582084 7786496 1375 33554432000 134512640 134847168 4293787280 4293785964 134715803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11759/statm: 1901 1375 270 82 0 1142 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 42344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 1.93 3/181 11883
/proc/meminfo: memFree=26110532/32873844 swapFree=7628/7628
[pid=11693] ppid=11691 vsize=25592 CPUtime=1752.38 cores=0,2,4,6
/proc/11693/stat : 11693 (pbclasp) S 11691 11693 14893 0 -1 4202496 763 8723 0 0 0 0 175236 2 20 0 1 0 341406814 26206208 516 33554432000 4194304 4198148 140734870145328 140734870144256 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11693/statm: 6398 516 387 1 0 193 0
[pid=11757] ppid=11693 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11757/stat : 11757 (sh) S 11693 11693 14893 0 -1 4202496 368 220 0 0 0 0 0 0 20 0 1 0 341582084 9367552 263 33554432000 4194304 5064252 140736546717568 140736546715824 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11757/statm: 2287 263 223 213 0 72 0
[pid=11759] ppid=11757 vsize=8256 CPUtime=47.69 cores=0,2,4,6
/proc/11759/stat : 11759 (clasp-1.0) R 11757 11693 14893 0 -1 4202496 1680 0 0 0 4769 0 0 0 20 0 1 0 341582084 8454144 1564 33554432000 134512640 134847168 4293787280 4293785904 134784517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11759/statm: 2064 1564 270 82 0 1305 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 42996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.12
CPU user time (s): 1800.07
CPU system time (s): 0.042993
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 54748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.042993
maximum resident set size= 17880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 2702
runsolver used 3.75943 second user time and 8.97463 second system time
The end