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-3696107-1338134967/watcher-3696107-1338134967 -o /tmp/evaluation-result-3696107-1338134967/solver-3696107-1338134967 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696107-1338134967.opb 693777578 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.27 2.06 2.02 3/174 6591
/proc/meminfo: memFree=28186848/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[startup+0.0998349 s]
/proc/loadavg: 2.27 2.06 2.02 3/174 6591
/proc/meminfo: memFree=28186848/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100139 s]
/proc/loadavg: 2.27 2.06 2.02 3/174 6591
/proc/meminfo: memFree=28186848/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300103 s]
/proc/loadavg: 2.27 2.06 2.02 3/174 6591
/proc/meminfo: memFree=28186848/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70019 s]
/proc/loadavg: 2.27 2.06 2.02 3/174 6591
/proc/meminfo: memFree=28186848/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.27 2.06 2.02 3/180 6604
/proc/meminfo: memFree=28141136/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=15156 CPUtime=1.49 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) R 6591 6591 5701 0 -1 4202496 3043 0 0 0 149 0 0 0 20 0 1 0 279622798 15519744 3058 33554432000 4194304 5873084 140733396778112 140733396775064 5127424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6592/statm: 3789 3058 146 410 0 3371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24304
[startup+3.10032 s]
/proc/loadavg: 2.25 2.06 2.02 3/180 6604
/proc/meminfo: memFree=28107364/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=66048 CPUtime=3.09 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) R 6591 6591 5701 0 -1 4202496 10679 0 0 0 307 2 0 0 20 0 1 0 279622798 67633152 14259 33554432000 4194304 5873084 140733396778112 140733396775064 4708486 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6592/statm: 16512 14259 157 410 0 16094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75196
[startup+6.30021 s]
/proc/loadavg: 2.25 2.06 2.02 2/181 6605
/proc/meminfo: memFree=27520016/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=374812 CPUtime=6.29 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) R 6591 6591 5701 0 -1 4202496 32309 0 0 0 618 11 0 0 20 0 1 0 279622798 383807488 88410 33554432000 4194304 5873084 140733396778112 140733396774168 4420208 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6592/statm: 93703 88410 164 410 0 93285 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 383960
[startup+12.7003 s]
/proc/loadavg: 2.44 2.11 2.03 3/182 6646
/proc/meminfo: memFree=26575476/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=636956 CPUtime=7.31 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 33452 0 0 0 674 57 0 0 20 0 1 0 279622798 652242944 98188 33554432000 4194304 5873084 140733396778112 140733396774536 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 62 0 0
/proc/6592/statm: 159239 98188 171 410 0 158821 0
[pid=6606] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6606/stat : 6606 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 279623592 9367552 266 33554432000 4194304 5064252 140736921857440 140736921856352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6606/statm: 2287 266 226 213 0 72 0
[pid=6607] ppid=6606 vsize=723932 CPUtime=4.74 cores=1,3,5,7
/proc/6607/stat : 6607 (glucose_static) R 6606 6591 5701 0 -1 4202496 110166 0 0 0 440 34 0 0 20 0 1 0 279623593 741306368 171014 33554432000 4194304 4896791 140735773120240 140735773117896 4224921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6607/statm: 180983 171014 78 172 0 180809 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 1379184
[startup+25.5003 s]
/proc/loadavg: 2.52 2.14 2.04 2/183 6687
/proc/meminfo: memFree=26427332/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=636956 CPUtime=7.31 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 33452 0 0 0 674 57 0 0 20 0 1 0 279622798 652242944 98188 33554432000 4194304 5873084 140733396778112 140733396774536 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 62 0 0
/proc/6592/statm: 159239 98188 171 410 0 158821 0
[pid=6606] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6606/stat : 6606 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 279623592 9367552 266 33554432000 4194304 5064252 140736921857440 140736921856352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6606/statm: 2287 266 226 213 0 72 0
[pid=6607] ppid=6606 vsize=726844 CPUtime=17.54 cores=1,3,5,7
/proc/6607/stat : 6607 (glucose_static) R 6606 6591 5701 0 -1 4202496 110900 0 0 0 1719 35 0 0 20 0 1 0 279623593 744288256 173775 33554432000 4194304 4896791 140735773120240 140735773117384 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6607/statm: 181711 173775 78 172 0 181537 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 1382096
[startup+51.1003 s]
/proc/loadavg: 2.41 2.14 2.05 3/184 6733
/proc/meminfo: memFree=24988132/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=769908 CPUtime=4.07 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 108061 0 0 0 377 30 0 0 20 0 1 0 279627500 788385792 175764 33554432000 4194304 4896791 140734730194304 140734730191960 4404510 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 192477 175764 76 172 0 192303 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 1444328
[startup+102.3 s]
/proc/loadavg: 2.20 2.13 2.05 3/183 6736
/proc/meminfo: memFree=24668356/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=870636 CPUtime=55.27 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 127107 0 0 0 5490 37 0 0 20 0 1 0 279627500 891531264 187312 33554432000 4194304 4896791 140734730194304 140734730191512 4224864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 217659 187312 78 172 0 217485 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 1545056
[startup+162.3 s]
/proc/loadavg: 2.07 2.10 2.04 3/183 6736
/proc/meminfo: memFree=24644068/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=882856 CPUtime=115.25 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 130469 0 0 0 11483 42 0 0 20 0 1 0 279627500 904044544 193575 33554432000 4194304 4896791 140734730194304 140734730191512 4224640 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 220714 193575 78 172 0 220540 0
Current children cumulated CPU time (s) 161.44
Current children cumulated vsize (KiB) 1557276
[startup+222.307 s]
/proc/loadavg: 2.14 2.11 2.05 3/183 6736
/proc/meminfo: memFree=24643804/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/6733/statm: 277211 235559 78 172 0 277037 0
Current children cumulated CPU time (s) 1361.2
Current children cumulated vsize (KiB) 1783264
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6747
/proc/meminfo: memFree=24388116/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=1111704 CPUtime=1375 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 233575 0 0 0 137343 157 0 0 20 0 1 0 279627500 1138384896 232126 33554432000 4194304 4896791 140734730194304 140734730191832 4225191 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 277926 232126 78 172 0 277752 0
Current children cumulated CPU time (s) 1421.19
Current children cumulated vsize (KiB) 1786124
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6748
/proc/meminfo: memFree=24395212/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=981228 CPUtime=1434.99 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 236386 0 0 0 143331 168 0 0 20 0 1 0 279627500 1004777472 224539 33554432000 4194304 4896791 140734730194304 140734730191512 4224736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 245307 224539 78 172 0 245133 0
Current children cumulated CPU time (s) 1481.18
Current children cumulated vsize (KiB) 1655648
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6748
/proc/meminfo: memFree=24396424/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=983964 CPUtime=1494.99 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 237733 0 0 0 149325 174 0 0 20 0 1 0 279627500 1007579136 229864 33554432000 4194304 4896791 140734730194304 140734730190040 4204062 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 245991 229864 78 172 0 245817 0
Current children cumulated CPU time (s) 1541.18
Current children cumulated vsize (KiB) 1658384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6748
/proc/meminfo: memFree=24381860/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=985624 CPUtime=1554.97 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 243483 0 0 0 155316 181 0 0 20 0 1 0 279627500 1009278976 227232 33554432000 4194304 4896791 140734730194304 140734730191816 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 246406 227232 78 172 0 246232 0
Current children cumulated CPU time (s) 1601.16
Current children cumulated vsize (KiB) 1660044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6748
/proc/meminfo: memFree=24406936/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=987340 CPUtime=1614.96 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 249280 0 0 0 161308 188 0 0 20 0 1 0 279627500 1011036160 226143 33554432000 4194304 4896791 140734730194304 140734730190040 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 246835 226143 78 172 0 246661 0
Current children cumulated CPU time (s) 1661.15
Current children cumulated vsize (KiB) 1661760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6748
/proc/meminfo: memFree=24377860/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=991932 CPUtime=1674.95 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 250380 0 0 0 167301 194 0 0 20 0 1 0 279627500 1015738368 227643 33554432000 4194304 4896791 140734730194304 140734730190040 4225002 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 247983 227643 78 172 0 247809 0
Current children cumulated CPU time (s) 1721.14
Current children cumulated vsize (KiB) 1666352
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 6749
/proc/meminfo: memFree=24392936/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=994208 CPUtime=1734.94 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 253149 0 0 0 173295 199 0 0 20 0 1 0 279627500 1018068992 228233 33554432000 4194304 4896791 140734730194304 140734730191512 4203806 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 248552 228233 78 172 0 248378 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 1668628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 6749
/proc/meminfo: memFree=24369532/32873648 swapFree=6864/6864
[pid=6591] ppid=6589 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6591/stat : 6591 (runPb2sat.sh) S 6589 6591 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279622798 9367552 275 33554432000 4194304 5064252 140737108386240 140737108385152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6591/statm: 2287 275 233 213 0 72 0
[pid=6592] ppid=6591 vsize=656124 CPUtime=46.19 cores=1,3,5,7
/proc/6592/stat : 6592 (pb2sat) S 6591 6591 5701 0 -1 4202496 48857 114685 0 0 1105 1450 1978 86 20 0 1 0 279622798 671870976 102967 33554432000 4194304 5873084 140733396778112 140733396771928 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 78 0 0
/proc/6592/statm: 164031 102967 180 410 0 163613 0
[pid=6732] ppid=6592 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6592 6591 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 279627500 9367552 266 33554432000 4194304 5064252 140733863390336 140733863389248 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6732/statm: 2287 266 226 213 0 72 0
[pid=6733] ppid=6732 vsize=994472 CPUtime=1753.85 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose_static) R 6732 6591 5701 0 -1 4202496 253228 0 0 0 175185 200 0 0 20 0 1 0 279627500 1018339328 231889 33554432000 4194304 4896791 140734730194304 140734730191512 4205551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 248618 231889 78 172 0 248444 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1668892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6591 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.22
CPU time (s): 1800.04
CPU user time (s): 1782.68
CPU system time (s): 17.36
CPU usage (%): 99.9344
Max. virtual memory (cumulated for all children) (KiB): 2011968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.01139 second user time and 11.2533 second system time
The end