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-3694957-1338068629/watcher-3694957-1338068629 -o /tmp/evaluation-result-3694957-1338068629/solver-3694957-1338068629 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694957-1338068629.opb 581863073 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 13090
/proc/meminfo: memFree=28003940/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[startup+0.00974892 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13090
/proc/meminfo: memFree=28003940/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13090
/proc/meminfo: memFree=28003940/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13090
/proc/meminfo: memFree=28003940/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13090
/proc/meminfo: memFree=28003940/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13109
/proc/meminfo: memFree=28000468/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=0.81 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 1430 9845 0 0 2 1 76 2 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13108] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13108/stat : 13108 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272987330 9367552 267 33554432000 4194304 5064252 140735402087904 140735402086816 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13108/statm: 2287 267 226 213 0 72 0
[pid=13109] ppid=13108 vsize=6524 CPUtime=0.66 cores=0,2,4,6
/proc/13109/stat : 13109 (glucose_static) R 13108 13090 10094 0 -1 4202496 1730 0 0 0 66 0 0 0 20 0 1 0 272987330 6680576 1094 33554432000 4194304 4896791 140736857280144 140736857277720 4225195 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13109/statm: 1631 1094 76 172 0 1457 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27500
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13109
/proc/meminfo: memFree=27998352/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=0.81 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 1430 9845 0 0 2 1 76 2 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13108] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13108/stat : 13108 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272987330 9367552 267 33554432000 4194304 5064252 140735402087904 140735402086816 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13108/statm: 2287 267 226 213 0 72 0
[pid=13109] ppid=13108 vsize=7052 CPUtime=2.26 cores=0,2,4,6
/proc/13109/stat : 13109 (glucose_static) R 13108 13090 10094 0 -1 4202496 4187 0 0 0 226 0 0 0 20 0 1 0 272987330 7221248 1331 33554432000 4194304 4896791 140736857280144 140736857277672 4231978 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13109/statm: 1763 1332 76 172 0 1589 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 28028
############
# WARNING:
# current cumulated CPU time (0.81 s) is less than in the last sample (5.07 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.26 s) to the 'lost time'.
[startup+5.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13109
/proc/meminfo: memFree=27991904/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=0.81 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 1430 9845 0 0 2 1 76 2 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13108] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13108/stat : 13108 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272987330 9367552 267 33554432000 4194304 5064252 140735402087904 140735402086816 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13108/statm: 2287 267 226 213 0 72 0
[pid=13109] ppid=13108 vsize=11860 CPUtime=4.26 cores=0,2,4,6
/proc/13109/stat : 13109 (glucose_static) R 13108 13090 10094 0 -1 4202496 6867 0 0 0 425 1 0 0 20 0 1 0 272987330 12144640 2131 33554432000 4194304 4896791 140736857280144 140736857277352 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13109/statm: 2965 2131 76 172 0 2791 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 32836
[startup+5.20034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13109
/proc/meminfo: memFree=27991904/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=0.81 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) R 13090 13090 10094 0 -1 4202496 1430 9845 0 0 2 1 76 2 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 0 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 11828
#
############
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13112
/proc/meminfo: memFree=27996924/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=5.18 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 1643 17945 0 0 2 1 512 3 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13111] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13111/stat : 13111 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 272987772 9367552 266 33554432000 4194304 5064252 140733669223232 140733669222144 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13111/statm: 2287 266 226 213 0 72 0
[pid=13112] ppid=13111 vsize=8344 CPUtime=1.04 cores=0,2,4,6
/proc/13112/stat : 13112 (glucose_static) R 13111 13090 10094 0 -1 4202496 2112 0 0 0 104 0 0 0 20 0 1 0 272987772 8544256 1479 33554432000 4194304 4896791 140735539600768 140735539598296 4225445 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13112/statm: 2086 1479 76 172 0 1912 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 29320
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13115
/proc/meminfo: memFree=27989336/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=8.28 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 1855 23789 0 0 3 1 819 5 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13114] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13114/stat : 13114 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272988081 9367552 266 33554432000 4194304 5064252 140737031724112 140737031723024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13114/statm: 2287 266 226 213 0 72 0
[pid=13115] ppid=13114 vsize=8020 CPUtime=4.35 cores=0,2,4,6
/proc/13115/stat : 13115 (glucose_static) R 13114 13090 10094 0 -1 4202496 5612 0 0 0 434 1 0 0 20 0 1 0 272988081 8212480 1564 33554432000 4194304 4896791 140733238583168 140733238580376 4205602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13115/statm: 2005 1564 78 172 0 1831 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 28996
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13115
/proc/meminfo: memFree=27987776/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=8.28 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 1855 23789 0 0 3 1 819 5 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13114] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13114/stat : 13114 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272988081 9367552 266 33554432000 4194304 5064252 140737031724112 140737031723024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13114/statm: 2287 266 226 213 0 72 0
[pid=13115] ppid=13114 vsize=12464 CPUtime=17.15 cores=0,2,4,6
/proc/13115/stat : 13115 (glucose_static) R 13114 13090 10094 0 -1 4202496 13451 0 0 0 1712 3 0 0 20 0 1 0 272988081 12763136 2638 33554432000 4194304 4896791 140733238583168 140733238580744 4204496 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13115/statm: 3116 2638 78 172 0 2942 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 33440
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13116
/proc/meminfo: memFree=27981184/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
################
# More data... #
################
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=100616 CPUtime=637.25 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 74424 0 0 0 63687 38 0 0 20 0 1 0 273059737 103030784 20228 33554432000 4194304 4896791 140733848998256 140733848995464 4225191 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 25154 20228 78 172 0 24980 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 121592
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 13169
/proc/meminfo: memFree=27917200/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=85044 CPUtime=697.24 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 77290 0 0 0 69683 41 0 0 20 0 1 0 273059737 87085056 20123 33554432000 4194304 4896791 140733848998256 140733848995464 4224960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 21261 20123 78 172 0 21087 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 106020
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13169
/proc/meminfo: memFree=27916264/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=88112 CPUtime=757.22 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 80973 0 0 0 75679 43 0 0 20 0 1 0 273059737 90226688 19878 33554432000 4194304 4896791 140733848998256 140733848993272 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 22028 19878 78 172 0 21854 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 109088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13169
/proc/meminfo: memFree=27914992/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=90888 CPUtime=817.22 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 83332 0 0 0 81676 46 0 0 20 0 1 0 273059737 93069312 19267 33554432000 4194304 4896791 140733848998256 140733848995464 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 22722 19267 78 172 0 22548 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 111864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 13173
/proc/meminfo: memFree=27890060/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=112940 CPUtime=877.2 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 85939 0 0 0 87672 48 0 0 20 0 1 0 273059737 115650560 25726 33554432000 4194304 4896791 140733848998256 140733848995464 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 28235 25726 78 172 0 28061 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 133916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13173
/proc/meminfo: memFree=27900068/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=114260 CPUtime=937.19 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 89055 0 0 0 93668 51 0 0 20 0 1 0 273059737 117002240 22907 33554432000 4194304 4896791 140733848998256 140733848995464 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 28565 22907 78 172 0 28391 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 135236
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13215
/proc/meminfo: memFree=27910320/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=147804 CPUtime=997.19 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 92375 0 0 0 99666 53 0 0 20 0 1 0 273059737 151351296 28806 33554432000 4194304 4896791 140733848998256 140733848995464 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 36951 28806 78 172 0 36777 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 168780
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13215
/proc/meminfo: memFree=27930764/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=100240 CPUtime=1057.18 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 95801 0 0 0 105663 55 0 0 20 0 1 0 273059737 102645760 22096 33554432000 4194304 4896791 140733848998256 140733848995784 4225171 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 25060 22096 78 172 0 24886 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 121216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13215
/proc/meminfo: memFree=27919956/32873844 swapFree=7616/7616
[pid=13090] ppid=13088 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13090/stat : 13090 (runPb2satCp2.sh) S 13088 13090 10094 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272987247 9367552 274 33554432000 4194304 5064252 140734225464448 140734225463360 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13090/statm: 2287 274 233 213 0 72 0
[pid=13091] ppid=13090 vsize=2680 CPUtime=724.69 cores=0,2,4,6
/proc/13091/stat : 13091 (pb2sat) S 13090 13090 10094 0 -1 4202496 2068 108064 0 0 3 1 72416 49 20 0 1 0 272987247 2744320 363 33554432000 4194304 5873084 140735981075376 140735981069192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13091/statm: 670 363 174 410 0 252 0
[pid=13137] ppid=13091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13137/stat : 13137 (satsolver.sh) S 13091 13090 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273059737 9367552 267 33554432000 4194304 5064252 140737216224496 140737216223408 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13137/statm: 2287 267 226 213 0 72 0
[pid=13138] ppid=13137 vsize=119400 CPUtime=1071.08 cores=0,2,4,6
/proc/13138/stat : 13138 (glucose_static) R 13137 13090 10094 0 -1 4202496 96357 0 0 0 107053 55 0 0 20 0 1 0 273059737 122265600 24691 33554432000 4194304 4896791 140733848998256 140733848995784 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13138/statm: 29850 24691 78 172 0 29676 0
Current children cumulated CPU time (s) 1795.77
Current children cumulated vsize (KiB) 140376
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.26
# lost CPU user time (s): 4.25
# lost CPU system time (s): 0.01
Real time (s): 1796.22
CPU time (s): 1800.07
CPU user time (s): 1798.99
CPU system time (s): 1.07784
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 189680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 1.06784
maximum resident set size= 131228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160
involuntary context switches= 1971
runsolver used 10.1035 second user time and 15.0177 second system time
The end