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-3695345-1338086650/watcher-3695345-1338086650 -o /tmp/evaluation-result-3695345-1338086650/solver-3695345-1338086650 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695345-1338086650.opb 1743135451 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: 1.92 1.99 1.99 3/179 12614
/proc/meminfo: memFree=28793272/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[startup+0.0693931 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12614
/proc/meminfo: memFree=28793272/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100181 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12614
/proc/meminfo: memFree=28793272/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12614
/proc/meminfo: memFree=28793272/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700124 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 12614
/proc/meminfo: memFree=28793272/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 12621
/proc/meminfo: memFree=28767856/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7324 CPUtime=1.26 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 3112 9259 0 0 9 19 95 3 20 0 1 0 274789967 7499776 1485 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12615/statm: 1831 1485 175 410 0 1413 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 16472
[startup+3.10035 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 12624
/proc/meminfo: memFree=28764808/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=2.87 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 4446 18426 0 0 11 19 252 5 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 16996
[startup+6.30033 s]
/proc/loadavg: 1.93 1.99 1.99 3/183 12630
/proc/meminfo: memFree=28758852/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=5.49 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 5113 23637 0 0 13 19 509 8 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 16996
[startup+12.7004 s]
/proc/loadavg: 1.93 1.99 1.99 3/183 12633
/proc/meminfo: memFree=28749076/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=5.49 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 5113 23637 0 0 13 19 509 8 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12632] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12632/stat : 12632 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 274790518 9367552 265 33554432000 4194304 5064252 140733455123248 140733455122160 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12632/statm: 2287 265 226 213 0 72 0
[pid=12633] ppid=12632 vsize=20120 CPUtime=7.17 cores=0,2,4,6
/proc/12633/stat : 12633 (glucose_static) R 12632 12614 6780 0 -1 4202496 6056 0 0 0 716 1 0 0 20 0 1 0 274790518 20602880 4310 33554432000 4194304 4896791 140734343588080 140734343585288 4223862 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12633/statm: 5030 4310 78 172 0 4856 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 46264
[startup+25.5005 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 12633
/proc/meminfo: memFree=28728660/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=5.49 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 5113 23637 0 0 13 19 509 8 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12632] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12632/stat : 12632 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 274790518 9367552 265 33554432000 4194304 5064252 140733455123248 140733455122160 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12632/statm: 2287 265 226 213 0 72 0
[pid=12633] ppid=12632 vsize=28800 CPUtime=19.97 cores=0,2,4,6
/proc/12633/stat : 12633 (glucose_static) R 12632 12614 6780 0 -1 4202496 8606 0 0 0 1995 2 0 0 20 0 1 0 274790518 29491200 5643 33554432000 4194304 4896791 140734343588080 140734343585608 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12633/statm: 7200 5643 78 172 0 7026 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 54944
[startup+51.1004 s]
/proc/loadavg: 1.96 1.99 1.99 3/183 12633
/proc/meminfo: memFree=28776048/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=5.49 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 5113 23637 0 0 13 19 509 8 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12632] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12632/stat : 12632 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 274790518 9367552 265 33554432000 4194304 5064252 140733455123248 140733455122160 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12632/statm: 2287 265 226 213 0 72 0
[pid=12633] ppid=12632 vsize=30756 CPUtime=45.56 cores=0,2,4,6
/proc/12633/stat : 12633 (glucose_static) R 12632 12614 6780 0 -1 4202496 12269 0 0 0 4553 3 0 0 20 0 1 0 274790518 31494144 6990 33554432000 4194304 4896791 140734343588080 140734343585288 4225511 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12633/statm: 7689 6990 78 172 0 7515 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56900
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/183 12637
/proc/meminfo: memFree=28730228/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=67.09 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 5746 39157 0 0 14 19 6663 13 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12635] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12635/stat : 12635 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274796681 9367552 267 33554432000 4194304 5064252 140735971580592 140735971579504 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12635/statm: 2287 267 226 213 0 72 0
[pid=12636] ppid=12635 vsize=30056 CPUtime=35.13 cores=0,2,4,6
/proc/12636/stat : 12636 (glucose_static) R 12635 12614 6780 0 -1 4202496 9905 0 0 0 3510 3 0 0 20 0 1 0 274796681 30777344 5910 33554432000 4194304 4896791 140734400991920 140734400987656 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12636/statm: 7514 5910 78 172 0 7340 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 56200
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 12640
/proc/meminfo: memFree=28780680/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=17688 CPUtime=2.88 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 4549 0 0 0 287 1 0 0 20 0 1 0 274805908 18112512 3873 33554432000 4194304 4896791 140736892091600 140736892089176 4224802 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12640/statm: 4422 3873 78 172 0 4248 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 43832
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 12697
/proc/meminfo: memFree=28844332/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 82385 0 0 0 126192 58 0 0 20 0 1 0 274805908 113692672 23764 33554432000 4194304 4896791 140736892091600 140736892089032 4223840 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 27757 23764 78 172 0 27583 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 137172
[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 12732
/proc/meminfo: memFree=28730804/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=94816 CPUtime=1322.46 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 83773 0 0 0 132187 59 0 0 20 0 1 0 274805908 97091584 22010 33554432000 4194304 4896791 140736892091600 140736892088856 4225148 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 23704 22010 78 172 0 23530 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 120960
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 12732
/proc/meminfo: memFree=28686352/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=116464 CPUtime=1382.45 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 84887 0 0 0 138185 60 0 0 20 0 1 0 274805908 119259136 26167 33554432000 4194304 4896791 140736892091600 140736892089032 4225445 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 29116 26167 78 172 0 28942 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 142608
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/184 12735
/proc/meminfo: memFree=28685472/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=117624 CPUtime=1442.41 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 86534 0 0 0 144180 61 0 0 20 0 1 0 274805908 120446976 24454 33554432000 4194304 4896791 140736892091600 140736892089128 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 29406 24454 78 172 0 29232 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 143768
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12736
/proc/meminfo: memFree=28703944/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=99828 CPUtime=1502.39 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 87135 0 0 0 150177 62 0 0 20 0 1 0 274805908 102223872 23251 33554432000 4194304 4896791 140736892091600 140736892089032 4224623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 24957 23251 78 172 0 24783 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 125972
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12736
/proc/meminfo: memFree=28670720/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=119820 CPUtime=1562.38 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 87942 0 0 0 156175 63 0 0 20 0 1 0 274805908 122695680 28134 33554432000 4194304 4896791 140736892091600 140736892088808 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 29955 28134 78 172 0 29781 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 145964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12736
/proc/meminfo: memFree=28614164/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=201724 CPUtime=1622.37 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 90477 0 0 0 162170 67 0 0 20 0 1 0 274805908 206565376 42051 33554432000 4194304 4896791 140736892091600 140736892087272 4224929 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 50431 42051 78 172 0 50257 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 227868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12736
/proc/meminfo: memFree=28607588/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=201724 CPUtime=1640.78 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 90495 0 0 0 164011 67 0 0 20 0 1 0 274805908 206565376 48201 33554432000 4194304 4896791 140736892091600 140736892087336 4225191 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 50431 48201 78 172 0 50257 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 227868
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12736
/proc/meminfo: memFree=28607588/32873844 swapFree=7116/7116
[pid=12614] ppid=12612 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12614/stat : 12614 (runPb2satCp2.sh) S 12612 12614 6780 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274789967 9367552 275 33554432000 4194304 5064252 140737487586432 140737487585344 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12614/statm: 2287 275 233 213 0 72 0
[pid=12615] ppid=12614 vsize=7848 CPUtime=159.32 cores=0,2,4,6
/proc/12615/stat : 12615 (pb2sat) S 12614 12614 6780 0 -1 4202496 6413 57555 0 0 15 19 15876 22 20 0 1 0 274789967 8036352 1570 33554432000 4194304 5873084 140737400441392 140737400435208 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12615/statm: 1962 1570 175 410 0 1544 0
[pid=12639] ppid=12615 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12639/stat : 12639 (satsolver.sh) S 12615 12614 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274805908 9367552 267 33554432000 4194304 5064252 140733884466832 140733884465744 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12639/statm: 2287 267 226 213 0 72 0
[pid=12640] ppid=12639 vsize=201724 CPUtime=1640.78 cores=0,2,4,6
/proc/12640/stat : 12640 (glucose_static) R 12639 12614 6780 0 -1 4202496 90495 0 0 0 164011 67 0 0 20 0 1 0 274805908 206565376 48201 33554432000 4194304 4896791 140736892091600 140736892087336 4225191 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12640/statm: 50431 48201 78 172 0 50257 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 227868
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12614 and gives
# childrusage.ru_utime.tv_sec=158
# childrusage.ru_utime.tv_usec=919840
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=428934
# CPU time returned by wait4() is 159.349
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1799.02
CPU system time (s): 1.08
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 237972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.92
system time used= 0.428934
maximum resident set size= 48084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95
involuntary context switches= 306
runsolver used 3.24951 second user time and 7.66783 second system time
The end