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-3695302-1338135287/watcher-3695302-1338135287 -o /tmp/evaluation-result-3695302-1338135287/solver-3695302-1338135287 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695302-1338135287.opb 1203337718 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.05 2.01 2.00 1/174 27149
/proc/meminfo: memFree=26855216/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[startup+0.062128 s]
/proc/loadavg: 2.05 2.01 2.00 1/174 27149
/proc/meminfo: memFree=26855216/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 2.05 2.01 2.00 1/174 27149
/proc/meminfo: memFree=26855216/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/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.05 2.01 2.00 1/174 27149
/proc/meminfo: memFree=26855216/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 2.05 2.01 2.00 1/174 27149
/proc/meminfo: memFree=26855216/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50016 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 27151
/proc/meminfo: memFree=26848952/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=15160 CPUtime=1.48 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) R 27149 27149 26234 0 -1 4202496 3190 0 0 0 148 0 0 0 20 0 1 0 279656046 15523840 3205 33554432000 4194304 5873084 140734993421216 140734993418584 4693147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 3790 3205 146 410 0 3372 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24308
[startup+3.10031 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 27179
/proc/meminfo: memFree=27425552/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=66056 CPUtime=3.09 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) R 27149 27149 26234 0 -1 4202496 10825 0 0 0 306 3 0 0 20 0 1 0 279656046 67641344 13894 33554432000 4194304 5873084 140734993421216 140734993418456 4392818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 16514 13894 157 410 0 16096 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75204
[startup+6.30021 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 27190
/proc/meminfo: memFree=27105604/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=361312 CPUtime=6.14 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 29716 0 0 0 574 40 0 0 20 0 1 0 279656046 369983488 75504 33554432000 4194304 5873084 140734993421216 140734993417640 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 90328 75504 171 410 0 89910 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 370460
[startup+12.7004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 27194
/proc/meminfo: memFree=25108312/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=361312 CPUtime=6.14 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 29716 0 0 0 574 40 0 0 20 0 1 0 279656046 369983488 75504 33554432000 4194304 5873084 140734993421216 140734993417640 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 90328 75504 171 410 0 89910 0
[pid=27191] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27191/stat : 27191 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279656662 9367552 266 33554432000 4194304 5064252 140734751404000 140734751402912 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27191/statm: 2287 266 226 213 0 72 0
[pid=27192] ppid=27191 vsize=652304 CPUtime=6.52 cores=0,2,4,6
/proc/27192/stat : 27192 (glucose_static) R 27191 27149 26234 0 -1 4202496 92927 0 0 0 625 27 0 0 20 0 1 0 279656662 667959296 136809 33554432000 4194304 4896791 140735880150608 140735880147656 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27192/statm: 163076 136809 78 172 0 162902 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1031912
[startup+25.5004 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 27194
/proc/meminfo: memFree=25005016/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=361312 CPUtime=6.14 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 29716 0 0 0 574 40 0 0 20 0 1 0 279656046 369983488 75504 33554432000 4194304 5873084 140734993421216 140734993417640 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 90328 75504 171 410 0 89910 0
[pid=27191] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27191/stat : 27191 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279656662 9367552 266 33554432000 4194304 5064252 140734751404000 140734751402912 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27191/statm: 2287 266 226 213 0 72 0
[pid=27192] ppid=27191 vsize=653568 CPUtime=19.33 cores=0,2,4,6
/proc/27192/stat : 27192 (glucose_static) R 27191 27149 26234 0 -1 4202496 96643 0 0 0 1905 28 0 0 20 0 1 0 279656662 669253632 137138 33554432000 4194304 4896791 140735880150608 140735880148120 4203091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27192/statm: 163392 137138 78 172 0 163218 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1033176
[startup+51.1068 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 27197
/proc/meminfo: memFree=24695840/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=361312 CPUtime=6.14 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 29716 0 0 0 574 40 0 0 20 0 1 0 279656046 369983488 75504 33554432000 4194304 5873084 140734993421216 140734993417640 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 90328 75504 171 410 0 89910 0
[pid=27191] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27191/stat : 27191 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279656662 9367552 266 33554432000 4194304 5064252 140734751404000 140734751402912 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27191/statm: 2287 266 226 213 0 72 0
[pid=27192] ppid=27191 vsize=653568 CPUtime=44.93 cores=0,2,4,6
/proc/27192/stat : 27192 (glucose_static) R 27191 27149 26234 0 -1 4202496 96643 0 0 0 4465 28 0 0 20 0 1 0 279656662 669253632 137138 33554432000 4194304 4896791 140735880150608 140735880148120 4223862 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27192/statm: 163392 137138 78 172 0 163218 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1033176
[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 27197
/proc/meminfo: memFree=24686996/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=361312 CPUtime=6.14 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 29716 0 0 0 574 40 0 0 20 0 1 0 279656046 369983488 75504 33554432000 4194304 5873084 140734993421216 140734993417640 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 90328 75504 171 410 0 89910 0
[pid=27191] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27191/stat : 27191 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279656662 9367552 266 33554432000 4194304 5064252 140734751404000 140734751402912 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27191/statm: 2287 266 226 213 0 72 0
[pid=27192] ppid=27191 vsize=653568 CPUtime=96.11 cores=0,2,4,6
/proc/27192/stat : 27192 (glucose_static) R 27191 27149 26234 0 -1 4202496 96643 0 0 0 9583 28 0 0 20 0 1 0 279656662 669253632 137138 33554432000 4194304 4896791 140735880150608 140735880148120 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27192/statm: 163392 137138 78 172 0 163218 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1033176
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 27197
/proc/meminfo: memFree=24665308/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=361312 CPUtime=6.14 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 29716 0 0 0 574 40 0 0 20 0 1 0 279656046 369983488 75504 33554432000 4194304 5873084 140734993421216 140734993417640 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 90328 75504 171 410 0 89910 0
[pid=27191] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27191/stat : 27191 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279656662 9367552 266 33554432000 4194304 5064252 140734751404000 140734751402912 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27191/statm: 2287 266 226 213 0 72 0
[pid=27192] ppid=27191 vsize=653568 CPUtime=156.09 cores=0,2,4,6
/proc/27192/stat : 27192 (glucose_static) R 27191 27149 26234 0 -1 4202496 96643 0 0 0 15581 28 0 0 20 0 1 0 279656662 669253632 137138 33554432000 4194304 4896791 140735880150608 140735880148120 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27192/statm: 163392 137138 78 172 0 163218 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1033176
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 27200
/proc/meminfo: memFree=24672472/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=361312 CPUtime=6.14 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 29716 0 0 0 574 40 0 0 20 0 1 0 279656046 369983488 75504 33554432000 4194304 5873084 140734993421216 140734993417640 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27150/statm: 90328 75504 171 410 0 89910 0
[pid=27191] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 104404 0 0 0 3664 31 0 0 20 0 1 0 279788580 674705408 138953 33554432000 4194304 4896791 140736483203168 140736483200312 4225002 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 164723 138953 77 172 0 164549 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1068072
[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 27214
/proc/meminfo: memFree=24400148/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=662972 CPUtime=96.94 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 116711 0 0 0 9660 34 0 0 20 0 1 0 279788580 678883328 141395 33554432000 4194304 4896791 140736483203168 140736483200680 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 165743 141395 77 172 0 165569 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1072152
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27215
/proc/meminfo: memFree=24384636/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=664392 CPUtime=156.93 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 117219 0 0 0 15659 34 0 0 20 0 1 0 279788580 680337408 141765 33554432000 4194304 4896791 140736483203168 140736483200808 4230486 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 166098 141765 77 172 0 165924 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1073572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27218
/proc/meminfo: memFree=24383436/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=664392 CPUtime=216.92 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 117219 0 0 0 21658 34 0 0 20 0 1 0 279788580 680337408 141765 33554432000 4194304 4896791 140736483203168 140736483200808 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 166098 141765 77 172 0 165924 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1073572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27218
/proc/meminfo: memFree=24380932/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=664392 CPUtime=276.91 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 117223 0 0 0 27657 34 0 0 20 0 1 0 279788580 680337408 141772 33554432000 4194304 4896791 140736483203168 140736483200808 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 166098 141772 77 172 0 165924 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1073572
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27218
/proc/meminfo: memFree=24372736/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=665268 CPUtime=336.89 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 117425 0 0 0 33655 34 0 0 20 0 1 0 279788580 681234432 142483 33554432000 4194304 4896791 140736483203168 140736483200456 4224844 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 166317 142483 77 172 0 166143 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1074448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27218
/proc/meminfo: memFree=24373156/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=665704 CPUtime=396.88 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 117493 0 0 0 39654 34 0 0 20 0 1 0 279788580 681680896 142551 33554432000 4194304 4896791 140736483203168 140736483200712 4224706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 166426 142551 77 172 0 166252 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1074884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27219
/proc/meminfo: memFree=24371136/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=665704 CPUtime=456.87 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 117494 0 0 0 45653 34 0 0 20 0 1 0 279788580 681680896 142829 33554432000 4194304 4896791 140736483203168 140736483200712 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 166426 142829 77 172 0 166252 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1074884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27219
/proc/meminfo: memFree=24371112/32873648 swapFree=6336/6336
[pid=27149] ppid=27147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27149/stat : 27149 (runPb2satCp2.sh) S 27147 27149 26234 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279656046 9367552 275 33554432000 4194304 5064252 140736397051808 140736397050720 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27149/statm: 2287 275 233 213 0 72 0
[pid=27150] ppid=27149 vsize=390884 CPUtime=1324.82 cores=0,2,4,6
/proc/27150/stat : 27150 (pb2sat) S 27149 27149 26234 0 -1 4202496 38856 99512 0 0 922 1056 130440 64 20 0 1 0 279656046 400265216 82883 33554432000 4194304 5873084 140734993421216 140734993415032 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/27150/statm: 97721 82883 180 410 0 97303 0
[pid=27213] ppid=27150 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27213/stat : 27213 (satsolver.sh) S 27150 27149 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279788579 9367552 267 33554432000 4194304 5064252 140734652295680 140734652294592 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27213/statm: 2287 267 226 213 0 72 0
[pid=27214] ppid=27213 vsize=665704 CPUtime=475.28 cores=0,2,4,6
/proc/27214/stat : 27214 (glucose_static) R 27213 27149 26234 0 -1 4202496 117494 0 0 0 47494 34 0 0 20 0 1 0 279788580 681680896 142829 33554432000 4194304 4896791 140736483203168 140736483200712 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27214/statm: 166426 142829 77 172 0 166252 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1074884
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27149 and gives
# childrusage.ru_utime.tv_sec=1313
# childrusage.ru_utime.tv_usec=627298
# childrusage.ru_stime.tv_sec=11
# childrusage.ru_stime.tv_usec=218294
# CPU time returned by wait4() is 1324.85
# 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): 1788.56
CPU system time (s): 11.54
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 1271364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1313.63
system time used= 11.2183
maximum resident set size= 675040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1260992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 1985
runsolver used 3.53746 second user time and 9.39057 second system time
The end