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-3750893-1339220721/watcher-3750893-1339220721 -o /tmp/evaluation-result-3750893-1339220721/solver-3750893-1339220721 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750893-1339220721.opb 1485291102 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: 1.92 1.95 1.67 3/172 5579
/proc/meminfo: memFree=24803412/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[startup+0.0926281 s]
/proc/loadavg: 1.92 1.95 1.67 3/172 5579
/proc/meminfo: memFree=24803412/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100308 s]
/proc/loadavg: 1.92 1.95 1.67 3/172 5579
/proc/meminfo: memFree=24803412/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300164 s]
/proc/loadavg: 1.92 1.95 1.67 3/172 5579
/proc/meminfo: memFree=24803412/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700163 s]
/proc/loadavg: 1.92 1.95 1.67 3/172 5579
/proc/meminfo: memFree=24803412/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 1.92 1.95 1.67 3/182 5596
/proc/meminfo: memFree=24650512/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=1.29 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 8868 12534 0 0 26 2 91 10 20 0 1 0 388196503 11071488 2151 33554432000 4194304 6004724 140735486490784 140735486485920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5580/statm: 2703 2151 164 442 0 2257 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 19960
[startup+3.10035 s]
/proc/loadavg: 1.93 1.95 1.67 3/182 5599
/proc/meminfo: memFree=24561960/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=1.29 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 8868 12534 0 0 26 2 91 10 20 0 1 0 388196503 11071488 2151 33554432000 4194304 6004724 140735486490784 140735486485920 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5580/statm: 2703 2151 164 442 0 2257 0
[pid=5598] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5598/stat : 5598 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388196634 9367552 266 33554432000 4194304 5064252 140735617143584 140735617142496 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5598/statm: 2287 266 226 213 0 72 0
[pid=5599] ppid=5598 vsize=24560 CPUtime=1.77 cores=0,2,4,6
/proc/5599/stat : 5599 (glucose) R 5598 5579 5439 0 -1 4202496 4413 0 0 0 177 0 0 0 20 0 1 0 388196634 25149440 5235 33554432000 4194304 5208918 140734022204144 140734022202104 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5599/statm: 6140 5235 106 248 0 5889 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 53668
[startup+6.3004 s]
/proc/loadavg: 1.93 1.95 1.67 3/182 5609
/proc/meminfo: memFree=24633760/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=3.44 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 9681 21455 0 0 32 27 273 12 20 0 1 0 388196503 11071488 2160 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2160 173 442 0 2257 0
[pid=5608] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388196850 9367552 266 33554432000 4194304 5064252 140733644362384 140733644361296 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5608/statm: 2287 266 226 213 0 72 0
[pid=5609] ppid=5608 vsize=26220 CPUtime=2.82 cores=0,2,4,6
/proc/5609/stat : 5609 (glucose) R 5608 5579 5439 0 -1 4202496 5785 0 0 0 281 1 0 0 20 0 1 0 388196850 26849280 5987 33554432000 4194304 5208918 140735179639088 140735179636760 4229254 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5609/statm: 6555 5987 104 248 0 6304 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 55328
[startup+12.7004 s]
/proc/loadavg: 2.01 1.97 1.68 3/182 5609
/proc/meminfo: memFree=24629644/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=3.44 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 9681 21455 0 0 32 27 273 12 20 0 1 0 388196503 11071488 2160 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2160 173 442 0 2257 0
[pid=5608] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388196850 9367552 266 33554432000 4194304 5064252 140733644362384 140733644361296 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5608/statm: 2287 266 226 213 0 72 0
[pid=5609] ppid=5608 vsize=27196 CPUtime=9.21 cores=0,2,4,6
/proc/5609/stat : 5609 (glucose) R 5608 5579 5439 0 -1 4202496 6935 0 0 0 920 1 0 0 20 0 1 0 388196850 27848704 6330 33554432000 4194304 5208918 140735179639088 140735179637176 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5609/statm: 6799 6330 105 248 0 6548 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 56304
[startup+25.5004 s]
/proc/loadavg: 2.01 1.97 1.69 3/182 5609
/proc/meminfo: memFree=24616524/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=3.44 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 9681 21455 0 0 32 27 273 12 20 0 1 0 388196503 11071488 2160 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2160 173 442 0 2257 0
[pid=5608] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388196850 9367552 266 33554432000 4194304 5064252 140733644362384 140733644361296 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5608/statm: 2287 266 226 213 0 72 0
[pid=5609] ppid=5608 vsize=38796 CPUtime=22.01 cores=0,2,4,6
/proc/5609/stat : 5609 (glucose) R 5608 5579 5439 0 -1 4202496 8288 0 0 0 2199 2 0 0 20 0 1 0 388196850 39727104 9098 33554432000 4194304 5208918 140735179639088 140735179635464 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5609/statm: 9699 9098 105 248 0 9448 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 67904
[startup+51.1004 s]
/proc/loadavg: 2.00 1.97 1.69 3/183 5610
/proc/meminfo: memFree=24604100/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=3.44 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 9681 21455 0 0 32 27 273 12 20 0 1 0 388196503 11071488 2160 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2160 173 442 0 2257 0
[pid=5608] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388196850 9367552 266 33554432000 4194304 5064252 140733644362384 140733644361296 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5608/statm: 2287 266 226 213 0 72 0
[pid=5609] ppid=5608 vsize=45936 CPUtime=47.61 cores=0,2,4,6
/proc/5609/stat : 5609 (glucose) R 5608 5579 5439 0 -1 4202496 8666 0 0 0 4759 2 0 0 20 0 1 0 388196850 47038464 10977 33554432000 4194304 5208918 140735179639088 140735179634856 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5609/statm: 11484 10977 105 248 0 11233 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 75044
[startup+102.307 s]
/proc/loadavg: 2.04 1.99 1.71 3/183 5610
/proc/meminfo: memFree=24587408/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=3.44 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 9681 21455 0 0 32 27 273 12 20 0 1 0 388196503 11071488 2160 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2160 173 442 0 2257 0
[pid=5608] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388196850 9367552 266 33554432000 4194304 5064252 140733644362384 140733644361296 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5608/statm: 2287 266 226 213 0 72 0
[pid=5609] ppid=5608 vsize=70256 CPUtime=98.81 cores=0,2,4,6
/proc/5609/stat : 5609 (glucose) R 5608 5579 5439 0 -1 4202496 9926 0 0 0 9877 4 0 0 20 0 1 0 388196850 71942144 13998 33554432000 4194304 5208918 140735179639088 140735179635464 4229552 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5609/statm: 17564 13998 105 248 0 17313 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 99364
[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.73 3/183 5610
/proc/meminfo: memFree=24551728/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=3.44 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 9681 21455 0 0 32 27 273 12 20 0 1 0 388196503 11071488 2160 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2160 173 442 0 2257 0
[pid=5608] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5608/stat : 5608 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388196850 9367552 266 33554432000 4194304 5064252 140733644362384 140733644361296 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5608/statm: 2287 266 226 213 0 72 0
[pid=5609] ppid=5608 vsize=89112 CPUtime=158.79 cores=0,2,4,6
/proc/5609/stat : 5609 (glucose) R 5608 5579 5439 0 -1 4202496 10047 0 0 0 15875 4 0 0 20 0 1 0 388196850 91250688 17075 33554432000 4194304 5208918 140735179639088 140735179637032 4229377 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5609/statm: 22278 17075 105 248 0 22027 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/183 5650
/proc/meminfo: memFree=24362556/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=167836 CPUtime=609.95 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 17469 0 0 0 60983 12 0 0 20 0 1 0 388271726 171864064 39983 33554432000 4194304 5208918 140735034008640 140735034004328 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 41959 39983 105 248 0 41708 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 196944
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5651
/proc/meminfo: memFree=24407068/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=118516 CPUtime=669.94 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 18308 0 0 0 66981 13 0 0 20 0 1 0 388271726 121360384 28818 33554432000 4194304 5208918 140735034008640 140735034006728 4229151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 29629 28818 105 248 0 29378 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 147624
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/184 5654
/proc/meminfo: memFree=24407068/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=118516 CPUtime=729.93 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 19338 0 0 0 72978 15 0 0 20 0 1 0 388271726 121360384 28818 33554432000 4194304 5208918 140735034008640 140735034006728 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 29629 28818 105 248 0 29378 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 147624
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/183 5654
/proc/meminfo: memFree=24407768/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=167836 CPUtime=789.92 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 20198 0 0 0 78976 16 0 0 20 0 1 0 388271726 171864064 37935 33554432000 4194304 5208918 140735034008640 140735034006632 4229999 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 41959 37935 105 248 0 41708 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 196944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5654
/proc/meminfo: memFree=24445624/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=118516 CPUtime=849.91 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 20629 0 0 0 84974 17 0 0 20 0 1 0 388271726 121360384 28818 33554432000 4194304 5208918 140735034008640 140735034006728 4229704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 29629 28818 105 248 0 29378 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 147624
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5654
/proc/meminfo: memFree=24409940/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=167836 CPUtime=909.9 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 21497 0 0 0 90972 18 0 0 20 0 1 0 388271726 171864064 38959 33554432000 4194304 5208918 140735034008640 140735034005016 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 41959 38959 105 248 0 41708 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 196944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 5655
/proc/meminfo: memFree=24391464/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=167836 CPUtime=969.89 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 22527 0 0 0 96969 20 0 0 20 0 1 0 388271726 171864064 39471 33554432000 4194304 5208918 140735034008640 140735034005016 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 41959 39471 105 248 0 41708 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 196944
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/183 5655
/proc/meminfo: memFree=24383368/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=199964 CPUtime=1029.89 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 24488 0 0 0 102966 23 0 0 20 0 1 0 388271726 204763136 42426 33554432000 4194304 5208918 140735034008640 140735034006792 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 49991 42426 105 248 0 49740 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 229072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 1.92 3/183 5655
/proc/meminfo: memFree=24370460/32873844 swapFree=7628/7628
[pid=5579] ppid=5577 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5579/stat : 5579 (npSolver-pbo.sh) S 5577 5579 5439 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196503 9367552 275 33554432000 4194304 5064252 140735338823008 140735338821920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5579/statm: 2287 275 233 213 0 72 0
[pid=5580] ppid=5579 vsize=10812 CPUtime=752.1 cores=0,2,4,6
/proc/5580/stat : 5580 (npSolver-pbo) S 5579 5579 5439 0 -1 4202496 10115 39155 0 0 34 27 75126 23 20 0 1 0 388196503 11071488 2161 33554432000 4194304 6004724 140735486490784 140735486483136 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5580/statm: 2703 2161 174 442 0 2257 0
[pid=5621] ppid=5580 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5621/stat : 5621 (satsolver.sh) S 5580 5579 5439 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388271726 9367552 266 33554432000 4194304 5064252 140733572903664 140733572902576 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5621/statm: 2287 266 226 213 0 72 0
[pid=5622] ppid=5621 vsize=199964 CPUtime=1047.99 cores=0,2,4,6
/proc/5622/stat : 5622 (glucose) R 5621 5579 5439 0 -1 4202496 24494 0 0 0 104776 23 0 0 20 0 1 0 388271726 204763136 45498 33554432000 4194304 5208918 140735034008640 140735034004408 4229264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5622/statm: 49991 45498 105 248 0 49740 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 229072
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.37
CPU system time (s): 0.745886
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 229072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.745886
maximum resident set size= 181992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206
involuntary context switches= 2023
runsolver used 3.06753 second user time and 7.16591 second system time
The end