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-3694259-1338232895/watcher-3694259-1338232895 -o /tmp/evaluation-result-3694259-1338232895/solver-3694259-1338232895 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694259-1338232895.opb 2120725543 HOME HOME
running on 4 cores: 1,3,5,7
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.10 2.03 1.99 3/177 26194
/proc/meminfo: memFree=30808788/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[startup+0.0474431 s]
/proc/loadavg: 2.10 2.03 1.99 3/177 26194
/proc/meminfo: memFree=30808788/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 2.10 2.03 1.99 3/177 26194
/proc/meminfo: memFree=30808788/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 2.10 2.03 1.99 3/177 26194
/proc/meminfo: memFree=30808788/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 2.10 2.03 1.99 3/177 26194
/proc/meminfo: memFree=30808788/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50018 s]
/proc/loadavg: 2.10 2.03 1.99 3/179 26196
/proc/meminfo: memFree=30780188/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=19660 CPUtime=1.5 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) R 26194 26194 25529 0 -1 4202496 3013 0 0 0 149 1 0 0 20 0 1 0 289415896 20131840 3496 33554432000 4194304 5873084 140734305360784 140734305358152 5127424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26195/statm: 4915 3496 145 410 0 4497 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 28808
[startup+3.10035 s]
/proc/loadavg: 2.10 2.03 1.99 2/180 26197
/proc/meminfo: memFree=30765356/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=36440 CPUtime=3.09 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) R 26194 26194 25529 0 -1 4202496 3636 0 0 0 307 2 0 0 20 0 1 0 289415896 37314560 6155 33554432000 4194304 5873084 140734305360784 140734305358152 5127424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26195/statm: 9110 6155 145 410 0 8692 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45588
[startup+6.30022 s]
/proc/loadavg: 2.09 2.03 1.99 3/181 26199
/proc/meminfo: memFree=30519464/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=70264 CPUtime=6.29 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) R 26194 26194 25529 0 -1 4202496 4430 0 0 0 625 4 0 0 20 0 1 0 289415896 71950336 12043 33554432000 4194304 5873084 140734305360784 140734305357736 5127424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26195/statm: 17566 12043 145 410 0 17148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79412
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 1.99 3/181 26201
/proc/meminfo: memFree=30368900/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=167916 CPUtime=12.68 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) R 26194 26194 25529 0 -1 4202496 12855 27627 0 0 1131 21 108 8 20 0 1 0 289415896 171945984 27791 33554432000 4194304 5873084 140734305360784 140734305355928 5127424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26195/statm: 41979 27791 168 410 0 41561 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 177064
[startup+25.5003 s]
/proc/loadavg: 2.14 2.04 2.00 2/181 26202
/proc/meminfo: memFree=30023564/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 316920
[startup+51.1003 s]
/proc/loadavg: 2.15 2.05 2.00 3/183 26204
/proc/meminfo: memFree=29593956/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=483168 CPUtime=25.94 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 75235 0 0 0 2570 24 0 0 20 0 1 0 289418411 494764032 104984 33554432000 4194304 4896791 140734791498096 140734791495304 4203820 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 120792 104984 77 172 0 120618 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (KiB) 809236
[startup+102.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 26204
/proc/meminfo: memFree=29569496/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=483300 CPUtime=77.13 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 75276 0 0 0 7689 24 0 0 20 0 1 0 289418411 494899200 106047 33554432000 4194304 4896791 140734791498096 140734791495304 4203765 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 120825 106047 77 172 0 120651 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 809368
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 26204
/proc/meminfo: memFree=29540064/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=483432 CPUtime=137.13 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 75300 0 0 0 13689 24 0 0 20 0 1 0 289418411 495034368 106582 33554432000 4194304 4896791 140734791498096 140734791495240 4203765 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 120858 106582 77 172 0 120684 0
Current children cumulated CPU time (s) 161.25
Current children cumulated vsize (KiB) 809500
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 26204
/proc/meminfo: memFree=29516516/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=483432 CPUtime=197.12 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 75319 0 0 0 19687 25 0 0 20 0 1 0 289418411 495034368 107623 33554432000 4194304 4896791 140734791498096 140734791495240 4203889 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 120858 107623 77 172 0 120684 0
Current children cumulated CPU time (s) 221.24
Current children cumulated vsize (KiB) 809500
[startup+282.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 26205
/proc/meminfo: memFree=29498228/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/26204/statm: 127111 117249 77 172 0 126937 0
Current children cumulated CPU time (s) 1361.06
Current children cumulated vsize (KiB) 834512
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26215
/proc/meminfo: memFree=29281356/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=517048 CPUtime=1396.92 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 85479 0 0 0 139657 35 0 0 20 0 1 0 289418411 529457152 116597 33554432000 4194304 4896791 140734791498096 140734791495320 4204016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 129262 116597 77 172 0 129088 0
Current children cumulated CPU time (s) 1421.04
Current children cumulated vsize (KiB) 843116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26215
/proc/meminfo: memFree=29226076/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=530044 CPUtime=1456.92 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 88986 0 0 0 145653 39 0 0 20 0 1 0 289418411 542765056 123119 33554432000 4194304 4896791 140734791498096 140734791495304 4224960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 132511 123119 77 172 0 132337 0
Current children cumulated CPU time (s) 1481.04
Current children cumulated vsize (KiB) 856112
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26216
/proc/meminfo: memFree=29213744/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=543036 CPUtime=1516.91 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 94130 0 0 0 151644 47 0 0 20 0 1 0 289418411 556068864 126184 33554432000 4194304 4896791 140734791498096 140734791495320 4203749 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 135759 126184 77 172 0 135585 0
Current children cumulated CPU time (s) 1541.03
Current children cumulated vsize (KiB) 869104
[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26216
/proc/meminfo: memFree=29177076/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=547156 CPUtime=1576.9 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 94895 0 0 0 157643 47 0 0 20 0 1 0 289418411 560287744 128993 33554432000 4194304 4896791 140734791498096 140734791495304 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 136789 128993 77 172 0 136615 0
Current children cumulated CPU time (s) 1601.02
Current children cumulated vsize (KiB) 873224
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26216
/proc/meminfo: memFree=29202468/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=554628 CPUtime=1636.89 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 98180 0 0 0 163636 53 0 0 20 0 1 0 289418411 567939072 130423 33554432000 4194304 4896791 140734791498096 140734791495304 4203064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 138657 130423 77 172 0 138483 0
Current children cumulated CPU time (s) 1661.01
Current children cumulated vsize (KiB) 880696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26219
/proc/meminfo: memFree=29159836/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=562544 CPUtime=1696.88 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 102924 0 0 0 169625 63 0 0 20 0 1 0 289418411 576045056 131485 33554432000 4194304 4896791 140734791498096 140734791493832 4225018 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 140636 131485 77 172 0 140462 0
Current children cumulated CPU time (s) 1721
Current children cumulated vsize (KiB) 888612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26219
/proc/meminfo: memFree=29151724/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=651312 CPUtime=1756.87 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 106864 0 0 0 175618 69 0 0 20 0 1 0 289418411 666943488 139679 33554432000 4194304 4896791 140734791498096 140734791495304 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 162828 139679 77 172 0 162654 0
Current children cumulated CPU time (s) 1780.99
Current children cumulated vsize (KiB) 977380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26259
/proc/meminfo: memFree=29696216/32873844 swapFree=7372/7372
[pid=26194] ppid=26192 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26194/stat : 26194 (runPb2satCp2.sh) S 26192 26194 25529 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 289415896 9367552 275 33554432000 4194304 5064252 140737290564784 140737290563696 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26194/statm: 2287 275 233 213 0 72 0
[pid=26195] ppid=26194 vsize=307772 CPUtime=24.12 cores=1,3,5,7
/proc/26195/stat : 26195 (pb2sat) S 26194 26194 25529 0 -1 4202496 21097 28139 0 0 1683 600 108 21 20 0 1 0 289415896 315158528 62730 33554432000 4194304 5873084 140734305360784 140734305354600 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 100 0 0
/proc/26195/statm: 76943 62730 178 410 0 76525 0
[pid=26203] ppid=26195 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26203/stat : 26203 (satsolver.sh) S 26195 26194 25529 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289418410 9367552 267 33554432000 4194304 5064252 140737247734256 140737247733168 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26203/statm: 2287 267 226 213 0 72 0
[pid=26204] ppid=26203 vsize=652004 CPUtime=1775.89 cores=1,3,5,7
/proc/26204/stat : 26204 (glucose_static) R 26203 26194 25529 0 -1 4202496 107039 0 0 0 177519 70 0 0 20 0 1 0 289418411 667652096 140876 33554432000 4194304 4896791 140734791498096 140734791495304 4203806 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26204/statm: 163001 140876 77 172 0 162827 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 978072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
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 26194 and gives
# childrusage.ru_utime.tv_sec=17
# childrusage.ru_utime.tv_usec=916276
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=228053
# CPU time returned by wait4() is 24.1443
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.01
CPU user time (s): 1793.1
CPU system time (s): 6.91
CPU usage (%): 99.9271
Max. virtual memory (cumulated for all children) (KiB): 1105048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.9163
system time used= 6.22805
maximum resident set size= 381368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 710384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 48
runsolver used 4.01939 second user time and 11.0453 second system time
The end