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-3695279-1338123710/watcher-3695279-1338123710 -o /tmp/evaluation-result-3695279-1338123710/solver-3695279-1338123710 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695279-1338123710.opb 157241676 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.10 2.04 2.01 2/180 32015
/proc/meminfo: memFree=26794024/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[startup+0.066253 s]
/proc/loadavg: 2.10 2.04 2.01 2/180 32015
/proc/meminfo: memFree=26794024/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.10 2.04 2.01 2/180 32015
/proc/meminfo: memFree=26794024/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300181 s]
/proc/loadavg: 2.10 2.04 2.01 2/180 32015
/proc/meminfo: memFree=26794024/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700255 s]
/proc/loadavg: 2.10 2.04 2.01 2/180 32015
/proc/meminfo: memFree=26794024/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 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.10 2.04 2.01 3/184 32019
/proc/meminfo: memFree=26663964/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=61336 CPUtime=0.8 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 10122 0 0 0 74 6 0 0 20 0 1 0 278496477 62808064 13689 33554432000 4194304 5873084 140733320896864 140733320893288 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32016/statm: 15334 13689 171 410 0 14916 0
[pid=32018] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32018/stat : 32018 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278496557 9367552 266 33554432000 4194304 5064252 140735130123392 140735130122304 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32018/statm: 2287 266 226 213 0 72 0
[pid=32019] ppid=32018 vsize=91768 CPUtime=0.67 cores=0,2,4,6
/proc/32019/stat : 32019 (glucose_static) R 32018 32015 18002 0 -1 4202496 18587 0 0 0 63 4 0 0 20 0 1 0 278496557 93970432 18503 33554432000 4194304 4896791 140733234632976 140733233581768 4224755 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32019/statm: 22942 18503 78 172 0 22768 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 171400
[startup+3.10014 s]
/proc/loadavg: 2.10 2.04 2.01 3/182 32019
/proc/meminfo: memFree=26704516/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=64704 CPUtime=2.95 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) R 32015 32015 18002 0 -1 4202496 11462 19517 0 0 106 95 89 5 20 0 1 0 278496477 66256896 14569 33554432000 4194304 5873084 140733320896864 140733320892296 5127520 0 0 4096 0 0 0 0 17 4 0 0 12 0 0
/proc/32016/statm: 16176 14569 179 410 0 15758 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 73852
[startup+6.30041 s]
/proc/loadavg: 2.09 2.04 2.01 3/184 32022
/proc/meminfo: memFree=26594768/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=70848 CPUtime=3.68 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 12994 20030 0 0 122 147 89 10 20 0 1 0 278496477 72548352 15805 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 12 0 0
/proc/32016/statm: 17712 15805 180 410 0 17294 0
[pid=32021] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32021/stat : 32021 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278496859 9367552 267 33554432000 4194304 5064252 140735407092016 140735407090928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32021/statm: 2287 267 226 213 0 72 0
[pid=32022] ppid=32021 vsize=94772 CPUtime=2.46 cores=0,2,4,6
/proc/32022/stat : 32022 (glucose_static) R 32021 32015 18002 0 -1 4202496 19175 0 0 0 242 4 0 0 20 0 1 0 278496859 97046528 19662 33554432000 4194304 4896791 140733256102928 140733256100440 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32022/statm: 23693 19662 77 172 0 23519 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 183916
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.01 3/184 32025
/proc/meminfo: memFree=26593128/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=12.55 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 17751 63692 0 0 146 148 935 26 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320891176 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 83068
[startup+25.5004 s]
/proc/loadavg: 2.14 2.05 2.01 3/184 32028
/proc/meminfo: memFree=26587968/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=12.64 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 19280 64206 0 0 150 148 935 31 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32027] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32027/stat : 32027 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278497755 9367552 267 33554432000 4194304 5064252 140734076106608 140734076105520 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32027/statm: 2287 267 226 213 0 72 0
[pid=32028] ppid=32027 vsize=95804 CPUtime=12.69 cores=0,2,4,6
/proc/32028/stat : 32028 (glucose_static) R 32027 32015 18002 0 -1 4202496 22685 0 0 0 1265 4 0 0 20 0 1 0 278497756 98103296 21138 33554432000 4194304 4896791 140736770341568 140736770339080 4223862 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32028/statm: 23951 21138 78 172 0 23777 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 188020
[startup+51.1004 s]
/proc/loadavg: 2.09 2.04 2.01 3/184 32034
/proc/meminfo: memFree=26590280/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=49.91 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 25568 112628 0 0 178 150 4611 52 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32033] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32033/stat : 32033 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278501485 9367552 266 33554432000 4194304 5064252 140734813818016 140734813816928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32033/statm: 2287 266 226 213 0 72 0
[pid=32034] ppid=32033 vsize=94484 CPUtime=1.01 cores=0,2,4,6
/proc/32034/stat : 32034 (glucose_static) R 32033 32015 18002 0 -1 4202496 18897 0 0 0 97 4 0 0 20 0 1 0 278501485 96751616 19580 33554432000 4194304 4896791 140734421614624 140734421611832 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32034/statm: 23621 19580 77 172 0 23447 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 186700
[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 32034
/proc/meminfo: memFree=26597876/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=49.91 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 25568 112628 0 0 178 150 4611 52 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32033] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32033/stat : 32033 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278501485 9367552 266 33554432000 4194304 5064252 140734813818016 140734813816928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32033/statm: 2287 266 226 213 0 72 0
[pid=32034] ppid=32033 vsize=96260 CPUtime=52.2 cores=0,2,4,6
/proc/32034/stat : 32034 (glucose_static) R 32033 32015 18002 0 -1 4202496 22707 0 0 0 5215 5 0 0 20 0 1 0 278501485 98570240 20840 33554432000 4194304 4896791 140734421614624 140734421612136 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32034/statm: 24065 20840 78 172 0 23891 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 188476
[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 32035
/proc/meminfo: memFree=26582312/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=49.91 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 25568 112628 0 0 178 150 4611 52 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32033] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32033/stat : 32033 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278501485 9367552 266 33554432000 4194304 5064252 140734813818016 140734813816928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32033/statm: 2287 266 226 213 0 72 0
[pid=32034] ppid=32033 vsize=109816 CPUtime=112.18 cores=0,2,4,6
/proc/32034/stat : 32034 (glucose_static) R 32033 32015 18002 0 -1 4202496 29320 0 0 0 11211 7 0 0 20 0 1 0 278501485 112451584 22292 33554432000 4194304 4896791 140734421614624 140734421612152 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32034/statm: 27454 22292 78 172 0 27280 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 202032
[startup+222.307 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 32038
/proc/meminfo: memFree=26587244/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 40944 0 0 0 92789 12 0 0 20 0 1 0 278539889 137080832 27580 33554432000 4194304 4896791 140733750118624 140733750114296 4203889 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 33467 27580 78 172 0 33293 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 226084
[startup+1422.3 s]
/proc/loadavg: 2.12 2.03 2.01 2/178 32061
/proc/meminfo: memFree=28307904/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=134000 CPUtime=988 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 40961 0 0 0 98788 12 0 0 20 0 1 0 278539889 137216000 28108 33554432000 4194304 4896791 140733750118624 140733750115848 4203834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 33500 28108 78 172 0 33326 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 226216
[startup+1482.3 s]
/proc/loadavg: 1.41 1.84 1.94 2/174 32085
/proc/meminfo: memFree=28907824/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=134000 CPUtime=1048 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 40962 0 0 0 104787 13 0 0 20 0 1 0 278539889 137216000 28620 33554432000 4194304 4896791 140733750118624 140733750115848 4203968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 33500 28620 78 172 0 33326 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 226216
[startup+1542.31 s]
/proc/loadavg: 1.15 1.68 1.88 2/174 32085
/proc/meminfo: memFree=28907856/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=134000 CPUtime=1107.99 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 40971 0 0 0 110786 13 0 0 20 0 1 0 278539889 137216000 28622 33554432000 4194304 4896791 140733750118624 140733750115848 4203886 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 33500 28622 78 172 0 33326 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 226216
[startup+1602.3 s]
/proc/loadavg: 1.05 1.56 1.82 2/174 32085
/proc/meminfo: memFree=28905560/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=134112 CPUtime=1167.97 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 41215 0 0 0 116784 13 0 0 20 0 1 0 278539889 137330688 29176 33554432000 4194304 4896791 140733750118624 140733750116152 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 33528 29176 78 172 0 33354 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 226328
[startup+1662.3 s]
/proc/loadavg: 1.02 1.45 1.77 2/174 32086
/proc/meminfo: memFree=28901712/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=134484 CPUtime=1227.96 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 41251 0 0 0 122783 13 0 0 20 0 1 0 278539889 137711616 30234 33554432000 4194304 4896791 140733750118624 140733750116168 4203856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 33621 30234 78 172 0 33447 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 226700
[startup+1722.3 s]
/proc/loadavg: 1.00 1.37 1.72 2/175 32089
/proc/meminfo: memFree=28900024/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=134764 CPUtime=1287.95 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 41295 0 0 0 128782 13 0 0 20 0 1 0 278539889 137998336 31300 33554432000 4194304 4896791 140733750118624 140733750115768 4203856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 33691 31300 78 172 0 33517 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 226980
[startup+1782.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/174 32089
/proc/meminfo: memFree=28899548/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=165584 CPUtime=1347.95 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 41387 0 0 0 134781 14 0 0 20 0 1 0 278539889 169558016 31392 33554432000 4194304 4896791 140733750118624 140733750116152 4203834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 41396 31392 78 172 0 41222 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 257800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.28 1.65 2/174 32089
/proc/meminfo: memFree=28897500/32873648 swapFree=6864/6864
[pid=32015] ppid=32013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32015/stat : 32015 (runPb2satCp2.sh) S 32013 32015 18002 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278496476 9367552 275 33554432000 4194304 5064252 140736479610976 140736479609888 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32015/statm: 2287 275 233 213 0 72 0
[pid=32016] ppid=32015 vsize=73920 CPUtime=433.88 cores=0,2,4,6
/proc/32016/stat : 32016 (pb2sat) S 32015 32015 18002 0 -1 4202496 34950 224339 0 0 220 152 42911 105 20 0 1 0 278496477 75694080 16528 33554432000 4194304 5873084 140733320896864 140733320890680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 12 0 0
/proc/32016/statm: 18480 16528 180 410 0 18062 0
[pid=32047] ppid=32016 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32047/stat : 32047 (satsolver.sh) S 32016 32015 18002 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278539889 9367552 267 33554432000 4194304 5064252 140734176170688 140734176169600 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32047/statm: 2287 267 226 213 0 72 0
[pid=32048] ppid=32047 vsize=165584 CPUtime=1366.15 cores=0,2,4,6
/proc/32048/stat : 32048 (glucose_static) R 32047 32015 18002 0 -1 4202496 41389 0 0 0 136601 14 0 0 20 0 1 0 278539889 169558016 31905 33554432000 4194304 4896791 140733750118624 140733750116152 4204099 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32048/statm: 41396 31905 78 172 0 41222 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 257800
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 32015 and gives
# childrusage.ru_utime.tv_sec=431
# childrusage.ru_utime.tv_usec=324428
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=582607
# CPU time returned by wait4() is 433.907
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1797.32
CPU system time (s): 2.71
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 257800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 431.324
system time used= 2.58261
maximum resident set size= 129492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 599440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98
involuntary context switches= 714
runsolver used 2.92256 second user time and 7.38788 second system time
The end