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-3750016-1339176827/watcher-3750016-1339176827 -o /tmp/evaluation-result-3750016-1339176827/solver-3750016-1339176827 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750016-1339176827.opb 1450722061 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.00 2.00 2.00 2/179 2892
/proc/meminfo: memFree=28385164/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[startup+0.031684 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2892
/proc/meminfo: memFree=28385164/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2892
/proc/meminfo: memFree=28385164/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2892
/proc/meminfo: memFree=28385164/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700324 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2892
/proc/meminfo: memFree=28385164/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/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.00 2.00 2.00 3/181 2894
/proc/meminfo: memFree=28243096/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=241516 CPUtime=1.49 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) R 2892 2892 2358 0 -1 4202496 22958 0 0 0 141 8 0 0 20 0 1 0 383807550 247312384 44290 33554432000 4194304 6004724 140736829567536 140736829562136 4582623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 60379 44290 154 442 0 59933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250664
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2894
/proc/meminfo: memFree=28164768/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=167848 CPUtime=2.71 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 23753 0 0 0 235 36 0 0 20 0 1 0 383807550 171876352 41621 33554432000 4194304 6004724 140736829567536 140736829561584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 41962 41621 163 442 0 41516 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 176996
[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2896
/proc/meminfo: memFree=27647848/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=167848 CPUtime=2.71 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 23753 0 0 0 235 36 0 0 20 0 1 0 383807550 171876352 41621 33554432000 4194304 6004724 140736829567536 140736829561584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 41962 41621 163 442 0 41516 0
[pid=2895] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2895/stat : 2895 (cp2_pre.sh) S 2893 2892 2358 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383807822 9367552 276 33554432000 4194304 5064252 140734679296720 140734679295424 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2895/statm: 2287 276 234 213 0 72 0
[pid=2896] ppid=2895 vsize=551620 CPUtime=3.56 cores=1,3,5,7
/proc/2896/stat : 2896 (coprocessor) R 2895 2892 2358 0 -1 4202496 52895 0 0 0 335 21 0 0 20 0 1 0 383807822 564858880 123335 33554432000 4194304 6586260 140734048430544 140734048426808 5512150 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/2896/statm: 137905 123336 164 584 0 137317 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 737764
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2896
/proc/meminfo: memFree=27415452/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=167848 CPUtime=2.71 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 23753 0 0 0 235 36 0 0 20 0 1 0 383807550 171876352 41621 33554432000 4194304 6004724 140736829567536 140736829561584 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 41962 41621 163 442 0 41516 0
[pid=2895] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2895/stat : 2895 (cp2_pre.sh) S 2893 2892 2358 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383807822 9367552 276 33554432000 4194304 5064252 140734679296720 140734679295424 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2895/statm: 2287 276 234 213 0 72 0
[pid=2896] ppid=2895 vsize=659844 CPUtime=9.85 cores=1,3,5,7
/proc/2896/stat : 2896 (coprocessor) R 2895 2892 2358 0 -1 4202496 71418 0 0 0 943 42 0 0 20 0 1 0 383807822 675680256 158972 33554432000 4194304 6586260 140734048430544 140734048426296 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 11 0 0
/proc/2896/statm: 164961 158972 199 584 0 164373 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 845988
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2899
/proc/meminfo: memFree=27936648/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=167848 CPUtime=12.68 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 23762 72320 0 0 235 36 948 49 20 0 1 0 383807550 171876352 41621 33554432000 4194304 6004724 140736829567536 140736829562672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 41962 41621 163 442 0 41516 0
[pid=2898] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383808831 9367552 266 33554432000 4194304 5064252 140735392750336 140735392749248 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2898/statm: 2287 266 226 213 0 72 0
[pid=2899] ppid=2898 vsize=265852 CPUtime=12.68 cores=1,3,5,7
/proc/2899/stat : 2899 (glucose) R 2898 2892 2358 0 -1 4202496 45026 0 0 0 1258 10 0 0 20 0 1 0 383808831 272232448 57808 33554432000 4194304 5208918 140735200905728 140735200903400 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2899/statm: 66463 57808 95 248 0 66212 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 451996
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2899
/proc/meminfo: memFree=27936896/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=167848 CPUtime=12.68 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 23762 72320 0 0 235 36 948 49 20 0 1 0 383807550 171876352 41621 33554432000 4194304 6004724 140736829567536 140736829562672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 41962 41621 163 442 0 41516 0
[pid=2898] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383808831 9367552 266 33554432000 4194304 5064252 140735392750336 140735392749248 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2898/statm: 2287 266 226 213 0 72 0
[pid=2899] ppid=2898 vsize=265852 CPUtime=38.28 cores=1,3,5,7
/proc/2899/stat : 2899 (glucose) R 2898 2892 2358 0 -1 4202496 45027 0 0 0 3818 10 0 0 20 0 1 0 383808831 272232448 57809 33554432000 4194304 5208918 140735200905728 140735200903400 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2899/statm: 66463 57809 95 248 0 66212 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 451996
[startup+102.308 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 2899
/proc/meminfo: memFree=27936892/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=167848 CPUtime=12.68 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 23762 72320 0 0 235 36 948 49 20 0 1 0 383807550 171876352 41621 33554432000 4194304 6004724 140736829567536 140736829562672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 41962 41621 163 442 0 41516 0
[pid=2898] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383808831 9367552 266 33554432000 4194304 5064252 140735392750336 140735392749248 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2898/statm: 2287 266 226 213 0 72 0
[pid=2899] ppid=2898 vsize=265984 CPUtime=89.47 cores=1,3,5,7
/proc/2899/stat : 2899 (glucose) R 2898 2892 2358 0 -1 4202496 45041 0 0 0 8937 10 0 0 20 0 1 0 383808831 272367616 57823 33554432000 4194304 5208918 140735200905728 140735200903576 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2899/statm: 66496 57823 95 248 0 66245 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 452128
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 2900
/proc/meminfo: memFree=27934004/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=167848 CPUtime=12.68 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 23762 72320 0 0 235 36 948 49 20 0 1 0 383807550 171876352 41621 33554432000 4194304 6004724 140736829567536 140736829562672 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 41962 41621 163 442 0 41516 0
[pid=2898] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2898/stat : 2898 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 383808831 9367552 266 33554432000 4194304 5064252 140735392750336 140735392749248 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2898/statm: 2287 266 226 213 0 72 0
[pid=2899] ppid=2898 vsize=265984 CPUtime=149.46 cores=1,3,5,7
/proc/2899/stat : 2899 (glucose) R 2898 2892 2358 0 -1 4202496 45059 0 0 0 14936 10 0 0 20 0 1 0 383808831 272367616 58352 33554432000 4194304 5208918 140735200905728 140735200903576 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2899/statm: 66496 58352 95 248 0 66245 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 452128
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2900
/proc/meminfo: memFree=27933772/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135534 0 0 0 106210 53 0 0 20 0 1 0 383843497 1014898688 224899 33554432000 4194304 5208918 140733387176576 140733387172952 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 224899 104 248 0 247527 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1722464
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 2917
/proc/meminfo: memFree=26554656/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1122.61 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135534 0 0 0 112208 53 0 0 20 0 1 0 383843497 1014898688 224899 33554432000 4194304 5208918 140733387176576 140733387172952 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 224899 104 248 0 247527 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1722464
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 2917
/proc/meminfo: memFree=26554484/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1182.6 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135537 0 0 0 118207 53 0 0 20 0 1 0 383843497 1014898688 224899 33554432000 4194304 5208918 140733387176576 140733387172952 4229469 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 224899 104 248 0 247527 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1722464
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 2920
/proc/meminfo: memFree=26551704/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1242.59 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135540 0 0 0 124206 53 0 0 20 0 1 0 383843497 1014898688 225527 33554432000 4194304 5208918 140733387176576 140733387172952 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 225527 104 248 0 247527 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1722464
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 2943
/proc/meminfo: memFree=26551456/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1302.58 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135540 0 0 0 130205 53 0 0 20 0 1 0 383843497 1014898688 225527 33554432000 4194304 5208918 140733387176576 140733387172952 4229039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 225527 104 248 0 247527 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1722464
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 2944
/proc/meminfo: memFree=26551712/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1362.57 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135540 0 0 0 136204 53 0 0 20 0 1 0 383843497 1014898688 225527 33554432000 4194304 5208918 140733387176576 140733387172952 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 225527 104 248 0 247527 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1722464
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 2984
/proc/meminfo: memFree=25873284/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1422.56 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135540 0 0 0 142203 53 0 0 20 0 1 0 383843497 1014898688 225527 33554432000 4194304 5208918 140733387176576 140733387172952 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 225527 104 248 0 247527 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1722464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 2984
/proc/meminfo: memFree=24482508/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1440.77 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135540 0 0 0 144024 53 0 0 20 0 1 0 383843497 1014898688 225527 33554432000 4194304 5208918 140733387176576 140733387172952 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 225527 104 248 0 247527 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1722464
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 2984
/proc/meminfo: memFree=24482508/32873844 swapFree=7120/7120
[pid=2892] ppid=2890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (npSolver-pbo.sh) S 2890 2892 2358 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383807550 9367552 275 33554432000 4194304 5064252 140735788583584 140735788582496 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2892/statm: 2287 275 233 213 0 72 0
[pid=2893] ppid=2892 vsize=713056 CPUtime=359.28 cores=1,3,5,7
/proc/2893/stat : 2893 (npSolver-pbo) S 2892 2892 2358 0 -1 4202496 37831 125340 0 0 770 411 34673 74 20 0 1 0 383807550 730169344 126515 33554432000 4194304 6004724 140736829567536 140736829559888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2893/statm: 178264 126515 175 442 0 177818 0
[pid=2906] ppid=2893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2906/stat : 2906 (satsolver.sh) S 2893 2892 2358 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383843497 9367552 267 33554432000 4194304 5064252 140735303409856 140735303408768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2906/statm: 2287 267 226 213 0 72 0
[pid=2907] ppid=2906 vsize=991112 CPUtime=1440.77 cores=1,3,5,7
/proc/2907/stat : 2907 (glucose) R 2906 2892 2358 0 -1 4202496 135540 0 0 0 144024 53 0 0 20 0 1 0 383843497 1014898688 225527 33554432000 4194304 5208918 140733387176576 140733387172952 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2907/statm: 247778 225527 104 248 0 247527 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1722464
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2892 and gives
# childrusage.ru_utime.tv_sec=354
# childrusage.ru_utime.tv_usec=446116
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=865260
# CPU time returned by wait4() is 359.311
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1794.67
CPU system time (s): 5.38
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 2026284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 354.446
system time used= 4.86526
maximum resident set size= 823316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1219128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1408
involuntary context switches= 392
runsolver used 2.89356 second user time and 8.5767 second system time
The end