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-3694904-1338074663/watcher-3694904-1338074663 -o /tmp/evaluation-result-3694904-1338074663/solver-3694904-1338074663 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694904-1338074663.opb 756832509 HOME HOME
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 13593
/proc/meminfo: memFree=26526756/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[startup+0.077047 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13593
/proc/meminfo: memFree=26526756/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13593
/proc/meminfo: memFree=26526756/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13593
/proc/meminfo: memFree=26526756/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13593
/proc/meminfo: memFree=26526756/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13595
/proc/meminfo: memFree=26509668/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=36760 CPUtime=1.49 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) R 13593 13593 10094 0 -1 4202496 3404 0 0 0 149 0 0 0 20 0 1 0 273590674 37642240 6939 33554432000 4194304 5873084 140735800784928 140735800780696 4664112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 9190 6939 146 410 0 8772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45908
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13595
/proc/meminfo: memFree=26490608/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=69528 CPUtime=3.09 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) R 13593 13593 10094 0 -1 4202496 3951 0 0 0 308 1 0 0 20 0 1 0 273590674 71196672 13091 33554432000 4194304 5873084 140735800784928 140735800782296 4746480 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 17382 13091 146 410 0 16964 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78676
[startup+6.30031 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 13595
/proc/meminfo: memFree=26437424/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=149808 CPUtime=6.29 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) R 13593 13593 10094 0 -1 4202496 8286 0 0 0 625 4 0 0 20 0 1 0 273590674 153403392 31102 33554432000 4194304 5873084 140735800784928 140735800782296 4664146 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13594/statm: 37452 31102 155 410 0 37034 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158956
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 13597
/proc/meminfo: memFree=25704824/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=335844 CPUtime=7.55 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 23453 0 0 0 726 29 0 0 20 0 1 0 273590674 343904256 56640 33554432000 4194304 5873084 140735800784928 140735800781352 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/13594/statm: 83961 56640 162 410 0 83543 0
[pid=13596] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13596/stat : 13596 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273591432 9367552 267 33554432000 4194304 5064252 140733198591648 140733198590560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13596/statm: 2287 267 226 213 0 72 0
[pid=13597] ppid=13596 vsize=512140 CPUtime=5.11 cores=0,2,4,6
/proc/13597/stat : 13597 (glucose_static) R 13596 13593 10094 0 -1 4202496 62243 0 0 0 492 19 0 0 20 0 1 0 273591432 524431360 108548 33554432000 4194304 4896791 140735309517488 140735309514920 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13597/statm: 128035 108548 76 172 0 127861 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 866280
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 13597
/proc/meminfo: memFree=25701456/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=335844 CPUtime=7.55 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 23453 0 0 0 726 29 0 0 20 0 1 0 273590674 343904256 56640 33554432000 4194304 5873084 140735800784928 140735800781352 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/13594/statm: 83961 56640 162 410 0 83543 0
[pid=13596] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13596/stat : 13596 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273591432 9367552 267 33554432000 4194304 5064252 140733198591648 140733198590560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13596/statm: 2287 267 226 213 0 72 0
[pid=13597] ppid=13596 vsize=521888 CPUtime=17.91 cores=0,2,4,6
/proc/13597/stat : 13597 (glucose_static) R 13596 13593 10094 0 -1 4202496 64274 0 0 0 1771 20 0 0 20 0 1 0 273591432 534413312 110579 33554432000 4194304 4896791 140735309517488 140735309514920 4224680 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13597/statm: 130472 110579 76 172 0 130298 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 876028
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 13597
/proc/meminfo: memFree=25673588/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=335844 CPUtime=7.55 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 23453 0 0 0 726 29 0 0 20 0 1 0 273590674 343904256 56640 33554432000 4194304 5873084 140735800784928 140735800781352 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/13594/statm: 83961 56640 162 410 0 83543 0
[pid=13596] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13596/stat : 13596 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273591432 9367552 267 33554432000 4194304 5064252 140733198591648 140733198590560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13596/statm: 2287 267 226 213 0 72 0
[pid=13597] ppid=13596 vsize=554920 CPUtime=43.5 cores=0,2,4,6
/proc/13597/stat : 13597 (glucose_static) R 13596 13593 10094 0 -1 4202496 71415 0 0 0 4328 22 0 0 20 0 1 0 273591432 568238080 117659 33554432000 4194304 4896791 140735309517488 140735309514920 4223862 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13597/statm: 138730 117659 78 172 0 138556 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 909060
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13597
/proc/meminfo: memFree=26003136/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=360548 CPUtime=102.13 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) R 13593 13593 10094 0 -1 4202496 25614 74132 0 0 827 413 8946 27 20 0 1 0 273590674 369201152 62361 33554432000 4194304 5873084 140735800784928 140735800780360 5127520 0 0 4096 0 0 0 0 17 0 0 0 13 0 0
/proc/13594/statm: 90137 62361 171 410 0 89719 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 369696
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 13601
/proc/meminfo: memFree=25515420/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=360548 CPUtime=105.75 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 25642 74645 0 0 889 688 8946 52 20 0 1 0 273590674 369201152 62363 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/13594/statm: 90137 62363 173 410 0 89719 0
[pid=13599] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13599/stat : 13599 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273601266 9367552 267 33554432000 4194304 5064252 140736395124320 140736395123232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13599/statm: 2287 267 226 213 0 72 0
[pid=13600] ppid=13599 vsize=527624 CPUtime=56.35 cores=0,2,4,6
/proc/13600/stat : 13600 (glucose_static) R 13599 13593 10094 0 -1 4202496 64719 0 0 0 5617 18 0 0 20 0 1 0 273601267 540286976 111633 33554432000 4194304 4896791 140736396475488 140736396472920 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13600/statm: 131906 111633 76 172 0 131732 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 906468
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13601
/proc/meminfo: memFree=25504768/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=360548 CPUtime=105.75 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 25642 74645 0 0 889 688 8946 52 20 0 1 0 273590674 369201152 62363 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/13594/statm: 90137 62363 173 410 0 89719 0
[pid=13599] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13599/stat : 13599 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273601266 9367552 267 33554432000 4194304 5064252 140736395124320 140736395123232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13599/statm: 2287 267 226 213 0 72 0
[pid=13600] ppid=13599 vsize=533900 CPUtime=116.33 cores=0,2,4,6
/proc/13600/stat : 13600 (glucose_static) R 13599 13593 10094 0 -1 4202496 66095 0 0 0 11615 18 0 0 20 0 1 0 273601267 546713600 113520 33554432000 4194304 4896791 140736396475488 140736396472920 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13600/statm: 133475 113520 76 172 0 133301 0
Current children cumulated CPU time (s) 222.08
################
# More data... #
################
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 68735 0 0 0 42039 21 0 0 20 0 1 0 273690830 561614848 119219 33554432000 4194304 4896791 140737484295984 140737484293416 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137113 119219 78 172 0 136939 0
Current children cumulated CPU time (s) 1421.52
Current children cumulated vsize (KiB) 936976
[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 13924
/proc/meminfo: memFree=26978992/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551376 CPUtime=480.58 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69383 0 0 0 48037 21 0 0 20 0 1 0 273690830 564609024 120378 33554432000 4194304 4896791 140737484295984 140737484293416 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137844 120378 78 172 0 137670 0
Current children cumulated CPU time (s) 1481.5
Current children cumulated vsize (KiB) 939900
[startup+1542.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/184 13927
/proc/meminfo: memFree=26976108/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551376 CPUtime=540.57 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69387 0 0 0 54036 21 0 0 20 0 1 0 273690830 564609024 120382 33554432000 4194304 4896791 140737484295984 140737484293416 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137844 120382 78 172 0 137670 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 939900
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 13927
/proc/meminfo: memFree=26969316/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551376 CPUtime=600.56 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69396 0 0 0 60035 21 0 0 20 0 1 0 273690830 564609024 120902 33554432000 4194304 4896791 140737484295984 140737484293416 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137844 120902 78 172 0 137670 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 939900
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 13930
/proc/meminfo: memFree=26978352/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551376 CPUtime=660.56 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69399 0 0 0 66035 21 0 0 20 0 1 0 273690830 564609024 120905 33554432000 4194304 4896791 140737484295984 140737484293416 4205066 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137844 120905 78 172 0 137670 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 939900
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 13931
/proc/meminfo: memFree=26973824/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551376 CPUtime=720.55 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69400 0 0 0 72034 21 0 0 20 0 1 0 273690830 564609024 121417 33554432000 4194304 4896791 140737484295984 140737484293416 4223840 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137844 121417 78 172 0 137670 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 939900
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13931
/proc/meminfo: memFree=26970228/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551592 CPUtime=780.54 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69439 0 0 0 78033 21 0 0 20 0 1 0 273690830 564830208 121456 33554432000 4194304 4896791 140737484295984 140737484293352 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137898 121456 78 172 0 137724 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 940116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13931
/proc/meminfo: memFree=26967312/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551592 CPUtime=799.14 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69439 0 0 0 79893 21 0 0 20 0 1 0 273690830 564830208 121456 33554432000 4194304 4896791 140737484295984 140737484293352 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137898 121456 78 172 0 137724 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 940116
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13931
/proc/meminfo: memFree=26967312/32873844 swapFree=7616/7616
[pid=13593] ppid=13591 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13593/stat : 13593 (runPb2satCp2.sh) S 13591 13593 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273590674 9367552 275 33554432000 4194304 5064252 140737158996320 140737158995232 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13593/statm: 2287 275 233 213 0 72 0
[pid=13594] ppid=13593 vsize=370228 CPUtime=1000.92 cores=0,2,4,6
/proc/13594/stat : 13594 (pb2sat) S 13593 13593 10094 0 -1 4202496 42320 507760 0 0 957 693 98098 344 20 0 1 0 273590674 379113472 64411 33554432000 4194304 5873084 140735800784928 140735800778744 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/13594/statm: 92557 64411 173 410 0 92139 0
[pid=13627] ppid=13594 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13627/stat : 13627 (satsolver.sh) S 13594 13593 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273690829 9367552 267 33554432000 4194304 5064252 140733983742496 140733983741408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13627/statm: 2287 267 226 213 0 72 0
[pid=13628] ppid=13627 vsize=551592 CPUtime=799.14 cores=0,2,4,6
/proc/13628/stat : 13628 (glucose_static) R 13627 13593 10094 0 -1 4202496 69439 0 0 0 79893 21 0 0 20 0 1 0 273690830 564830208 121456 33554432000 4194304 4896791 140737484295984 140737484293352 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13628/statm: 137898 121456 78 172 0 137724 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 940116
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13593 and gives
# childrusage.ru_utime.tv_sec=990
# childrusage.ru_utime.tv_usec=562411
# childrusage.ru_stime.tv_sec=10
# childrusage.ru_stime.tv_usec=383421
# CPU time returned by wait4() is 1000.95
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.92
CPU time (s): 1800.06
CPU user time (s): 1789.48
CPU system time (s): 10.58
CPU usage (%): 99.9523
Max. virtual memory (cumulated for all children) (KiB): 940380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 990.562
system time used= 10.3834
maximum resident set size= 482784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551059
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2842480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 442
involuntary context switches= 1233
runsolver used 5.05523 second user time and 20.4089 second system time
The end