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-3750089-1339181550/watcher-3750089-1339181550 -o /tmp/evaluation-result-3750089-1339181550/solver-3750089-1339181550 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750089-1339181550.opb 1283555224 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: 1.09 1.68 1.88 4/176 17495
/proc/meminfo: memFree=28976048/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[startup+0.06492 s]
/proc/loadavg: 1.09 1.68 1.88 4/176 17495
/proc/meminfo: memFree=28976048/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100399 s]
/proc/loadavg: 1.09 1.68 1.88 4/176 17495
/proc/meminfo: memFree=28976048/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300281 s]
/proc/loadavg: 1.09 1.68 1.88 4/176 17495
/proc/meminfo: memFree=28976048/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700325 s]
/proc/loadavg: 1.09 1.68 1.88 4/176 17495
/proc/meminfo: memFree=28976048/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 1.09 1.68 1.88 4/183 17502
/proc/meminfo: memFree=28712108/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=37596 CPUtime=0.51 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 8676 0 0 0 46 5 0 0 20 0 1 0 384279520 38498304 7754 33554432000 4194304 6004724 140735511815728 140735511809776 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17496/statm: 9399 7754 164 442 0 8953 0
[pid=17501] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17501/stat : 17501 (cp2_pre.sh) S 17496 17495 16567 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 384279572 9367552 277 33554432000 4194304 5064252 140736697917136 140736697915840 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17501/statm: 2287 277 234 213 0 72 0
[pid=17502] ppid=17501 vsize=163032 CPUtime=0.97 cores=1,3,5,7
/proc/17502/stat : 17502 (coprocessor) R 17501 17495 16567 0 -1 4202496 28948 0 0 0 91 6 0 0 20 0 1 0 384279572 166944768 39193 33554432000 4194304 6586260 140735272531088 140735272527016 4752160 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17502/statm: 40758 39193 182 584 0 40170 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 218924
[startup+3.10043 s]
/proc/loadavg: 1.09 1.68 1.88 4/183 17502
/proc/meminfo: memFree=28647948/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=37596 CPUtime=0.51 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 8676 0 0 0 46 5 0 0 20 0 1 0 384279520 38498304 7754 33554432000 4194304 6004724 140735511815728 140735511809776 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17496/statm: 9399 7754 164 442 0 8953 0
[pid=17501] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17501/stat : 17501 (cp2_pre.sh) S 17496 17495 16567 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 384279572 9367552 277 33554432000 4194304 5064252 140736697917136 140736697915840 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17501/statm: 2287 277 234 213 0 72 0
[pid=17502] ppid=17501 vsize=188432 CPUtime=2.57 cores=1,3,5,7
/proc/17502/stat : 17502 (coprocessor) R 17501 17495 16567 0 -1 4202496 32936 0 0 0 250 7 0 0 20 0 1 0 384279572 192954368 45736 33554432000 4194304 6586260 140735272531088 140735272526456 4676532 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17502/statm: 47108 45736 192 584 0 46520 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 244324
[startup+6.30026 s]
/proc/loadavg: 1.16 1.69 1.88 4/183 17508
/proc/meminfo: memFree=28800912/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=37596 CPUtime=6.27 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) R 17495 17495 16567 0 -1 4202496 10317 59304 0 0 54 21 528 24 20 0 1 0 384279520 38498304 7760 33554432000 4194304 6004724 140735511815728 140735511810352 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17496/statm: 9399 7760 170 442 0 8953 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 46744
[startup+12.7003 s]
/proc/loadavg: 1.23 1.69 1.88 4/183 17515
/proc/meminfo: memFree=28273924/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=182844 CPUtime=12.36 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 17610 117628 0 0 214 100 872 50 20 0 1 0 384279520 187232256 37152 33554432000 4194304 6004724 140735511815728 140735511807568 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/17496/statm: 45711 37152 180 442 0 45265 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 191992
[startup+25.5004 s]
/proc/loadavg: 1.62 1.76 1.90 4/183 17522
/proc/meminfo: memFree=28343964/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=165388 CPUtime=14.98 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 26589 125610 0 0 350 120 937 91 20 0 1 0 384279520 169357312 29749 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 41347 29749 181 442 0 40901 0
[pid=17521] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17521/stat : 17521 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384281106 9367552 267 33554432000 4194304 5064252 140735316262128 140735316261040 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17521/statm: 2287 267 226 213 0 72 0
[pid=17522] ppid=17521 vsize=341028 CPUtime=9.62 cores=1,3,5,7
/proc/17522/stat : 17522 (glucose) R 17521 17495 16567 0 -1 4202496 55278 0 0 0 946 16 0 0 20 0 1 0 384281106 349212672 71577 33554432000 4194304 5208918 140736837672880 140736837670552 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17522/statm: 85257 71577 103 248 0 85006 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 524712
[startup+51.1004 s]
/proc/loadavg: 1.75 1.77 1.90 4/183 17536
/proc/meminfo: memFree=28195736/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=165388 CPUtime=14.98 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 26589 125610 0 0 350 120 937 91 20 0 1 0 384279520 169357312 29749 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 41347 29749 181 442 0 40901 0
[pid=17521] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17521/stat : 17521 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384281106 9367552 267 33554432000 4194304 5064252 140735316262128 140735316261040 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17521/statm: 2287 267 226 213 0 72 0
[pid=17522] ppid=17521 vsize=348100 CPUtime=35.22 cores=1,3,5,7
/proc/17522/stat : 17522 (glucose) R 17521 17495 16567 0 -1 4202496 55956 0 0 0 3505 17 0 0 20 0 1 0 384281106 356454400 74299 33554432000 4194304 5208918 140736837672880 140736837670712 4212757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17522/statm: 87025 74299 104 248 0 86774 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 531784
[startup+102.307 s]
/proc/loadavg: 1.93 1.82 1.91 4/183 17557
/proc/meminfo: memFree=28313792/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=163576 CPUtime=55.13 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 35141 190465 0 0 460 137 4767 149 20 0 1 0 384279520 167501824 24688 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 40894 24688 181 442 0 40448 0
[pid=17542] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384285121 9367552 267 33554432000 4194304 5064252 140734841541296 140734841540208 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17542/statm: 2287 267 226 213 0 72 0
[pid=17543] ppid=17542 vsize=348528 CPUtime=46.28 cores=1,3,5,7
/proc/17543/stat : 17543 (glucose) R 17542 17495 16567 0 -1 4202496 49561 0 0 0 4609 19 0 0 20 0 1 0 384285121 356892672 70374 33554432000 4194304 5208918 140734551196704 140734551194856 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 87132 70374 105 248 0 86881 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 530400
[startup+162.3 s]
/proc/loadavg: 1.97 1.85 1.91 3/183 17564
/proc/meminfo: memFree=28282188/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=163576 CPUtime=55.13 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 35141 190465 0 0 460 137 4767 149 20 0 1 0 384279520 167501824 24688 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 40894 24688 181 442 0 40448 0
[pid=17542] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17542/stat : 17542 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384285121 9367552 267 33554432000 4194304 5064252 140734841541296 140734841540208 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17542/statm: 2287 267 226 213 0 72 0
[pid=17543] ppid=17542 vsize=299828 CPUtime=106.24 cores=1,3,5,7
/proc/17543/stat : 17543 (glucose) R 17542 17495 16567 0 -1 4202496 50490 0 0 0 10600 24 0 0 20 0 1 0 384285121 307023872 66867 33554432000 4194304 5208918 140734551196704 140734551194552 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 74957 66867 105 248 0 74706 0
Current children cumulated CPU time (s) 161.37
Current children cumulated vsize (KiB) 481700
[startup+222.3 s]
/proc/loadavg: 1.99 1.87 1.91 3/183 17564
/proc/meminfo: memFree=28280420/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 88576 0 0 0 111191 220 0 0 20 0 1 0 384310315 560054272 121520 33554432000 4194304 5208918 140733954559856 140733954557944 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 136732 121520 104 248 0 136481 0
Current children cumulated CPU time (s) 1421.1
Current children cumulated vsize (KiB) 661928
[startup+1482.3 s]
/proc/loadavg: 2.22 2.06 1.95 3/183 17603
/proc/meminfo: memFree=27695260/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=762408 CPUtime=1174.09 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 89688 0 0 0 117181 228 0 0 20 0 1 0 384310315 780705792 187663 33554432000 4194304 5208918 140733954559856 140733954557704 4617370 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 190602 187663 104 248 0 190351 0
Current children cumulated CPU time (s) 1481.08
Current children cumulated vsize (KiB) 877408
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 1.95 3/183 17604
/proc/meminfo: memFree=27854636/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=762724 CPUtime=1234.08 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 90851 0 0 0 123165 243 0 0 20 0 1 0 384310315 781029376 155571 33554432000 4194304 5208918 140733954559856 140733954558008 4211577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 190681 155571 104 248 0 190430 0
Current children cumulated CPU time (s) 1541.07
Current children cumulated vsize (KiB) 877724
[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 1.95 3/183 17604
/proc/meminfo: memFree=27637424/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=1456432 CPUtime=1294.07 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 92007 0 0 0 129153 254 0 0 20 0 1 0 384310315 1491386368 260960 33554432000 4194304 5208918 140733954559856 140733954557704 4222526 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 364108 260960 104 248 0 363857 0
Current children cumulated CPU time (s) 1601.06
Current children cumulated vsize (KiB) 1571432
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 1.95 3/184 17607
/proc/meminfo: memFree=27725372/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=763440 CPUtime=1354.06 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 92630 0 0 0 135140 266 0 0 20 0 1 0 384310315 781762560 183862 33554432000 4194304 5208918 140733954559856 140733954557704 4229532 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 190860 183862 104 248 0 190609 0
Current children cumulated CPU time (s) 1661.05
Current children cumulated vsize (KiB) 878440
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/183 17607
/proc/meminfo: memFree=27916960/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=763620 CPUtime=1414.05 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 94218 0 0 0 141121 284 0 0 20 0 1 0 384310315 781946880 144485 33554432000 4194304 5208918 140733954559856 140733954558008 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 190905 144485 104 248 0 190654 0
Current children cumulated CPU time (s) 1721.04
Current children cumulated vsize (KiB) 878620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 17607
/proc/meminfo: memFree=27585624/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=1113364 CPUtime=1474.04 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 95152 0 0 0 147112 292 0 0 20 0 1 0 384310315 1140084736 213893 33554432000 4194304 5208918 140733954559856 140733954557704 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 278341 213893 104 248 0 278090 0
Current children cumulated CPU time (s) 1781.03
Current children cumulated vsize (KiB) 1228364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 17607
/proc/meminfo: memFree=27488968/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=1113364 CPUtime=1493.05 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 95223 0 0 0 149011 294 0 0 20 0 1 0 384310315 1140084736 235504 33554432000 4194304 5208918 140733954559856 140733954557704 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 278341 235504 104 248 0 278090 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1228364
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 17607
/proc/meminfo: memFree=27488968/32873844 swapFree=7900/7900
[pid=17495] ppid=17492 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17495/stat : 17495 (npSolver-pbo.sh) S 17492 17495 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384279520 9367552 275 33554432000 4194304 5064252 140734415636752 140734415635664 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17495/statm: 2287 275 233 213 0 72 0
[pid=17496] ppid=17495 vsize=96704 CPUtime=306.99 cores=1,3,5,7
/proc/17496/stat : 17496 (npSolver-pbo) S 17495 17495 16567 0 -1 4202496 42398 252204 0 0 551 149 29782 217 20 0 1 0 384279520 99024896 21794 33554432000 4194304 6004724 140735511815728 140735511808080 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 18 0 0
/proc/17496/statm: 24176 21794 181 442 0 23730 0
[pid=17571] ppid=17496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17571/stat : 17571 (satsolver.sh) S 17496 17495 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384310315 9367552 267 33554432000 4194304 5064252 140734205223888 140734205222800 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17571/statm: 2287 267 226 213 0 72 0
[pid=17572] ppid=17571 vsize=1113364 CPUtime=1493.05 cores=1,3,5,7
/proc/17572/stat : 17572 (glucose) R 17571 17495 16567 0 -1 4202496 95223 0 0 0 149011 294 0 0 20 0 1 0 384310315 1140084736 235504 33554432000 4194304 5208918 140733954559856 140733954557704 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17572/statm: 278341 235504 104 248 0 278090 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1228364
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17495 and gives
# childrusage.ru_utime.tv_sec=303
# childrusage.ru_utime.tv_usec=341885
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=678440
# CPU time returned by wait4() is 307.02
# 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.31
CPU time (s): 1800.04
CPU user time (s): 1793.44
CPU system time (s): 6.6
CPU usage (%): 99.9292
Max. virtual memory (cumulated for all children) (KiB): 1571744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.342
system time used= 3.67844
maximum resident set size= 389032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 852216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4634
involuntary context switches= 397
runsolver used 3.2855 second user time and 9.16361 second system time
The end