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-3750410-1339120603/watcher-3750410-1339120603 -o /tmp/evaluation-result-3750410-1339120603/solver-3750410-1339120603 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750410-1339120603.opb 1752311758 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 12766
/proc/meminfo: memFree=31687852/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[startup+0.012775 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 12766
/proc/meminfo: memFree=31687852/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 12766
/proc/meminfo: memFree=31687852/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300204 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 12766
/proc/meminfo: memFree=31687852/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 12766
/proc/meminfo: memFree=31687852/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12780
/proc/meminfo: memFree=31649692/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=1.46 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 8785 12771 0 0 26 10 107 3 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31416
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12787
/proc/meminfo: memFree=31648824/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=1.46 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 8785 12771 0 0 26 10 107 3 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12786] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12786/stat : 12786 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378185944 9367552 266 33554432000 4194304 5064252 140737234448272 140737234447184 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12786/statm: 2287 266 226 213 0 72 0
[pid=12787] ppid=12786 vsize=19528 CPUtime=1.6 cores=0,2,4,6
/proc/12787/stat : 12787 (glucose) R 12786 12766 7832 0 -1 4202496 4125 0 0 0 160 0 0 0 20 0 1 0 378185944 19996672 4206 33554432000 4194304 5208918 140734842687632 140734842685464 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12787/statm: 4882 4206 103 248 0 4631 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60092
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12794
/proc/meminfo: memFree=31648312/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=3.49 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 9659 19899 0 0 29 10 305 5 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12793] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12793/stat : 12793 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 378186147 9367552 267 33554432000 4194304 5064252 140735367121344 140735367120256 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12793/statm: 2287 267 226 213 0 72 0
[pid=12794] ppid=12793 vsize=18088 CPUtime=2.78 cores=0,2,4,6
/proc/12794/stat : 12794 (glucose) R 12793 12766 7832 0 -1 4202496 4131 0 0 0 278 0 0 0 20 0 1 0 378186147 18522112 3931 33554432000 4194304 5208918 140734645769504 140734645767336 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12794/statm: 4522 3931 104 248 0 4271 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58652
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12815
/proc/meminfo: memFree=31649444/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=11.52 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 12310 41605 0 0 43 11 1083 15 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12814] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12814/stat : 12814 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378186950 9367552 266 33554432000 4194304 5064252 140737293233952 140737293232864 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12814/statm: 2287 266 226 213 0 72 0
[pid=12815] ppid=12814 vsize=19580 CPUtime=1.15 cores=0,2,4,6
/proc/12815/stat : 12815 (glucose) R 12814 12766 7832 0 -1 4202496 3668 0 0 0 114 1 0 0 20 0 1 0 378186951 20049920 3924 33554432000 4194304 5208918 140736356195744 140736356193576 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12815/statm: 4895 3924 95 248 0 4644 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 60144
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12815
/proc/meminfo: memFree=31630216/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=11.52 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 12310 41605 0 0 43 11 1083 15 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12814] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12814/stat : 12814 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378186950 9367552 266 33554432000 4194304 5064252 140737293233952 140737293232864 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12814/statm: 2287 266 226 213 0 72 0
[pid=12815] ppid=12814 vsize=34728 CPUtime=13.94 cores=0,2,4,6
/proc/12815/stat : 12815 (glucose) R 12814 12766 7832 0 -1 4202496 7428 0 0 0 1393 1 0 0 20 0 1 0 378186951 35561472 8164 33554432000 4194304 5208918 140736356195744 140736356193608 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12815/statm: 8682 8164 105 248 0 8431 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 75292
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12815
/proc/meminfo: memFree=31620288/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=11.52 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 12310 41605 0 0 43 11 1083 15 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12814] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12814/stat : 12814 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378186950 9367552 266 33554432000 4194304 5064252 140737293233952 140737293232864 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12814/statm: 2287 266 226 213 0 72 0
[pid=12815] ppid=12814 vsize=60776 CPUtime=39.54 cores=0,2,4,6
/proc/12815/stat : 12815 (glucose) R 12814 12766 7832 0 -1 4202496 8636 0 0 0 3952 2 0 0 20 0 1 0 378186951 62234624 10640 33554432000 4194304 5208918 140736356195744 140736356193688 4215337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12815/statm: 15194 10640 105 248 0 14943 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 101340
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12815
/proc/meminfo: memFree=31583100/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=11.52 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 12310 41605 0 0 43 11 1083 15 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12814] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12814/stat : 12814 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378186950 9367552 266 33554432000 4194304 5064252 140737293233952 140737293232864 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12814/statm: 2287 266 226 213 0 72 0
[pid=12815] ppid=12814 vsize=60776 CPUtime=90.73 cores=0,2,4,6
/proc/12815/stat : 12815 (glucose) R 12814 12766 7832 0 -1 4202496 9123 0 0 0 9071 2 0 0 20 0 1 0 378186951 62234624 14703 33554432000 4194304 5208918 140736356195744 140736356191512 4240930 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12815/statm: 15194 14703 105 248 0 14943 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 101340
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12815
/proc/meminfo: memFree=31562500/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=11.52 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 12310 41605 0 0 43 11 1083 15 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12814] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12814/stat : 12814 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378186950 9367552 266 33554432000 4194304 5064252 140737293233952 140737293232864 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12814/statm: 2287 266 226 213 0 72 0
[pid=12815] ppid=12814 vsize=79628 CPUtime=150.72 cores=0,2,4,6
/proc/12815/stat : 12815 (glucose) R 12814 12766 7832 0 -1 4202496 9848 0 0 0 15069 3 0 0 20 0 1 0 378186951 81539072 19373 33554432000 4194304 5208918 140736356195744 140736356192056 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12815/statm: 19907 19373 105 248 0 19656 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 12925
/proc/meminfo: memFree=30874888/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=94372 CPUtime=443.67 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 17268 0 0 0 44356 11 0 0 20 0 1 0 378277650 96636928 23101 33554432000 4194304 5208918 140736233741488 140736233739576 4229843 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 23593 23101 105 248 0 23342 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 134936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 12928
/proc/meminfo: memFree=30871620/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=94372 CPUtime=503.67 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 18414 0 0 0 50354 13 0 0 20 0 1 0 378277650 96636928 23101 33554432000 4194304 5208918 140736233741488 140736233737864 4229460 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 23593 23101 105 248 0 23342 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 134936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 12929
/proc/meminfo: memFree=30870696/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=94372 CPUtime=563.66 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 19181 0 0 0 56351 15 0 0 20 0 1 0 378277650 96636928 23101 33554432000 4194304 5208918 140736233741488 140736233737176 4212485 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 23593 23101 105 248 0 23342 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 134936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 12929
/proc/meminfo: memFree=30833276/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=162908 CPUtime=623.65 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 20469 0 0 0 62348 17 0 0 20 0 1 0 378277650 166817792 31791 33554432000 4194304 5208918 140736233741488 140736233739480 4229403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 40727 31791 105 248 0 40476 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 203472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 12929
/proc/meminfo: memFree=30827380/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=162908 CPUtime=683.64 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 21242 0 0 0 68346 18 0 0 20 0 1 0 378277650 166817792 33327 33554432000 4194304 5208918 140736233741488 140736233739480 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 40727 33327 105 248 0 40476 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 203472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12929
/proc/meminfo: memFree=30824340/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=162908 CPUtime=743.63 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 22013 0 0 0 74343 20 0 0 20 0 1 0 378277650 166817792 32815 33554432000 4194304 5208918 140736233741488 140736233739480 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 40727 32815 105 248 0 40476 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 203472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12929
/proc/meminfo: memFree=30857232/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=162908 CPUtime=803.62 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 22783 0 0 0 80341 21 0 0 20 0 1 0 378277650 166817792 31791 33554432000 4194304 5208918 140736233741488 140736233739480 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 40727 31791 105 248 0 40476 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 203472
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 12930
/proc/meminfo: memFree=30857008/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=113588 CPUtime=863.61 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 23762 0 0 0 86338 23 0 0 20 0 1 0 378277650 116314112 23748 33554432000 4194304 5208918 140736233741488 140736233739576 4229277 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 28397 23748 105 248 0 28146 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 154152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 12930
/proc/meminfo: memFree=30812752/32873852 swapFree=6864/6864
[pid=12766] ppid=12764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12766/stat : 12766 (npSolver-pbo.sh) S 12764 12766 7832 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378185796 9367552 275 33554432000 4194304 5064252 140734721859616 140734721858528 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12766/statm: 2287 275 233 213 0 72 0
[pid=12767] ppid=12766 vsize=22268 CPUtime=918.36 cores=0,2,4,6
/proc/12767/stat : 12767 (npSolver-pbo) S 12766 12766 7832 0 -1 4202496 14961 79463 0 0 57 12 91726 41 20 0 1 0 378185796 22802432 5238 33554432000 4194304 6004724 140733650786048 140733650778400 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12767/statm: 5567 5238 172 442 0 5121 0
[pid=12874] ppid=12767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12874/stat : 12874 (satsolver.sh) S 12767 12766 7832 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 378277650 9367552 266 33554432000 4194304 5064252 140736919575744 140736919574656 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12874/statm: 2287 266 226 213 0 72 0
[pid=12875] ppid=12874 vsize=162908 CPUtime=881.71 cores=0,2,4,6
/proc/12875/stat : 12875 (glucose) R 12874 12766 7832 0 -1 4202496 24146 0 0 0 88148 23 0 0 20 0 1 0 378277650 166817792 34863 33554432000 4194304 5208918 140736233741488 140736233739480 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12875/statm: 40727 34863 105 248 0 40476 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 203472
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.11
CPU user time (s): 1799.33
CPU system time (s): 0.78488
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 234292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.78488
maximum resident set size= 147912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 304
involuntary context switches= 2081
runsolver used 2.68159 second user time and 7.14791 second system time
The end