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-3750580-1339128454/watcher-3750580-1339128454 -o /tmp/evaluation-result-3750580-1339128454/solver-3750580-1339128454 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750580-1339128454.opb 1692517177 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 12821
/proc/meminfo: memFree=27265588/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[startup+0.0677321 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 12821
/proc/meminfo: memFree=27265588/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 12821
/proc/meminfo: memFree=27265588/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300221 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 12821
/proc/meminfo: memFree=27265588/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700214 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 12821
/proc/meminfo: memFree=27265588/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.08 2.04 2.01 3/185 12835
/proc/meminfo: memFree=27204968/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=32740 CPUtime=0.81 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 6684 0 0 0 80 1 0 0 20 0 1 0 22812535 33525760 6962 33554432000 4194304 5208918 140735706049328 140735706047272 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 8185 6962 95 248 0 7934 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 82176
[startup+3.10043 s]
/proc/loadavg: 2.08 2.04 2.01 3/185 12835
/proc/meminfo: memFree=27203844/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=35592 CPUtime=2.41 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 6822 0 0 0 240 1 0 0 20 0 1 0 22812535 36446208 7098 33554432000 4194304 5208918 140735706049328 140735706047480 4211712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 8898 7098 95 248 0 8647 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 85028
[startup+6.30045 s]
/proc/loadavg: 2.08 2.04 2.01 3/185 12835
/proc/meminfo: memFree=27202852/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=33004 CPUtime=5.61 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 7721 0 0 0 560 1 0 0 20 0 1 0 22812535 33796096 7096 33554432000 4194304 5208918 140735706049328 140735706047416 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 8251 7096 96 248 0 8000 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 82440
[startup+12.7004 s]
/proc/loadavg: 2.06 2.03 2.00 3/185 12835
/proc/meminfo: memFree=27202052/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=35988 CPUtime=12.01 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 8216 0 0 0 1200 1 0 0 20 0 1 0 22812535 36851712 7584 33554432000 4194304 5208918 140735706049328 140735706047176 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 8997 7584 96 248 0 8746 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 85424
[startup+25.5005 s]
/proc/loadavg: 2.05 2.03 2.00 3/185 12835
/proc/meminfo: memFree=27194340/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=44340 CPUtime=24.81 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 9902 0 0 0 2479 2 0 0 20 0 1 0 22812535 45404160 9533 33554432000 4194304 5208918 140735706049328 140735706047192 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 11085 9533 105 248 0 10834 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 93776
[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 2.00 3/185 12835
/proc/meminfo: memFree=27191872/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=44344 CPUtime=50.4 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 11033 0 0 0 5037 3 0 0 20 0 1 0 22812535 45408256 9554 33554432000 4194304 5208918 140735706049328 140735706047416 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 11086 9554 105 248 0 10835 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 93780
[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/185 12835
/proc/meminfo: memFree=27176776/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=55836 CPUtime=101.61 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 12101 0 0 0 10156 5 0 0 20 0 1 0 22812535 57176064 12735 33554432000 4194304 5208918 140735706049328 140735706047272 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 13959 12735 105 248 0 13708 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 105272
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/186 12838
/proc/meminfo: memFree=27170964/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/185 13369
/proc/meminfo: memFree=30474772/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=109936 CPUtime=1421.39 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 15577 0 0 0 142132 7 0 0 20 0 1 0 22812535 112574464 25052 33554432000 4194304 5208918 140735706049328 140735706045704 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 27484 25052 105 248 0 27233 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 159372
[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/185 13370
/proc/meminfo: memFree=30474648/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=109936 CPUtime=1481.37 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 15577 0 0 0 148130 7 0 0 20 0 1 0 22812535 112574464 25052 33554432000 4194304 5208918 140735706049328 140735706045640 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 27484 25052 105 248 0 27233 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 159372
[startup+1542.31 s]
/proc/loadavg: 2.06 2.05 2.00 3/185 13370
/proc/meminfo: memFree=30470552/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=109936 CPUtime=1541.37 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 15577 0 0 0 154130 7 0 0 20 0 1 0 22812535 112574464 25052 33554432000 4194304 5208918 140735706049328 140735706045704 4213115 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 27484 25052 105 248 0 27233 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 159372
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/185 13370
/proc/meminfo: memFree=30461744/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=109936 CPUtime=1601.36 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 15578 0 0 0 160128 8 0 0 20 0 1 0 22812535 112574464 25564 33554432000 4194304 5208918 140735706049328 140735706045640 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 27484 25564 105 248 0 27233 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 159372
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/185 13370
/proc/meminfo: memFree=30462004/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=109936 CPUtime=1661.35 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 15578 0 0 0 166127 8 0 0 20 0 1 0 22812535 112574464 25564 33554432000 4194304 5208918 140735706049328 140735706045704 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 27484 25564 105 248 0 27233 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 159372
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/185 13370
/proc/meminfo: memFree=30441092/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=128612 CPUtime=1721.34 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 16196 0 0 0 172125 9 0 0 20 0 1 0 22812535 131698688 30745 33554432000 4194304 5208918 140735706049328 140735706045704 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 32153 30745 105 248 0 31902 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 178048
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/185 13371
/proc/meminfo: memFree=30439600/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=128612 CPUtime=1781.33 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 16197 0 0 0 178124 9 0 0 20 0 1 0 22812535 131698688 31087 33554432000 4194304 5208918 140735706049328 140735706045096 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 32153 31087 105 248 0 31902 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 178048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/185 13371
/proc/meminfo: memFree=30439848/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=128612 CPUtime=1799.44 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 16197 0 0 0 179935 9 0 0 20 0 1 0 22812535 131698688 31087 33554432000 4194304 5208918 140735706049328 140735706045096 4229288 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 32153 31087 105 248 0 31902 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 178048
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.04 2.05 2.00 3/185 13371
/proc/meminfo: memFree=30439848/32873844 swapFree=7108/7108
[pid=12821] ppid=12819 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12821/stat : 12821 (npSolver-pbo.sh) S 12819 12821 8711 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 22812467 9367552 275 33554432000 4194304 5064252 140734495938128 140734495937040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 2287 275 233 213 0 72 0
[pid=12822] ppid=12821 vsize=31140 CPUtime=0.65 cores=1,3,5,7
/proc/12822/stat : 12822 (npSolver-pbo) S 12821 12821 8711 0 -1 4202496 7842 9534 0 0 28 9 25 3 20 0 1 0 22812467 31887360 7442 33554432000 4194304 6004724 140734829157808 140734829150160 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12822/statm: 7785 7442 162 442 0 7339 0
[pid=12834] ppid=12822 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12834/stat : 12834 (satsolver.sh) S 12822 12821 8711 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 22812534 9367552 266 33554432000 4194304 5064252 140734858353888 140734858352800 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12834/statm: 2287 266 226 213 0 72 0
[pid=12835] ppid=12834 vsize=128612 CPUtime=1799.44 cores=1,3,5,7
/proc/12835/stat : 12835 (glucose) R 12834 12821 8711 0 -1 4202496 16197 0 0 0 179935 9 0 0 20 0 1 0 22812535 131698688 31087 33554432000 4194304 5208918 140735706049328 140735706045096 4229288 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12835/statm: 32153 31087 105 248 0 31902 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 178048
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.9
CPU system time (s): 0.232964
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 178048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.232964
maximum resident set size= 124348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 1870
runsolver used 5.18921 second user time and 11.8812 second system time
The end