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-3701732-1338079091/watcher-3701732-1338079091 -o /tmp/evaluation-result-3701732-1338079091/solver-3701732-1338079091 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701732-1338079091.opb 1122444205 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 3/179 14884
/proc/meminfo: memFree=30482524/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[startup+0.0461049 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14884
/proc/meminfo: memFree=30482524/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14884
/proc/meminfo: memFree=30482524/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300166 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14884
/proc/meminfo: memFree=30482524/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700164 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14884
/proc/meminfo: memFree=30482524/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/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/183 14891
/proc/meminfo: memFree=30459480/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=11024 CPUtime=0.96 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 3556 13152 0 0 9 1 75 11 20 0 1 0 274033537 11288576 2233 33554432000 4194304 5992684 140736923480912 140736923476032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14885/statm: 2756 2233 169 440 0 2312 0
[pid=14890] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14890/stat : 14890 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274033635 9367552 266 33554432000 4194304 5064252 140734301199856 140734301198768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14890/statm: 2287 266 226 213 0 72 0
[pid=14891] ppid=14890 vsize=23840 CPUtime=0.51 cores=0,2,4,6
/proc/14891/stat : 14891 (glucose) R 14890 14884 9087 0 -1 4202496 4655 0 0 0 50 1 0 0 20 0 1 0 274033635 24412160 4828 33554432000 4194304 5208918 140734082749696 140734082747640 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14891/statm: 5960 4828 103 248 0 5709 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 53160
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14891
/proc/meminfo: memFree=30451356/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 22024
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14898
/proc/meminfo: memFree=30441940/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
[pid=14897] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274033815 9367552 266 33554432000 4194304 5064252 140734684385616 140734684384528 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14897/statm: 2287 266 226 213 0 72 0
[pid=14898] ppid=14897 vsize=26500 CPUtime=3.51 cores=0,2,4,6
/proc/14898/stat : 14898 (glucose) R 14897 14884 9087 0 -1 4202496 5966 0 0 0 350 1 0 0 20 0 1 0 274033815 27136000 6101 33554432000 4194304 5208918 140734642693424 140734642691272 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14898/statm: 6625 6101 103 248 0 6374 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 57672
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14898
/proc/meminfo: memFree=30439676/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
[pid=14897] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274033815 9367552 266 33554432000 4194304 5064252 140734684385616 140734684384528 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14897/statm: 2287 266 226 213 0 72 0
[pid=14898] ppid=14897 vsize=30216 CPUtime=9.91 cores=0,2,4,6
/proc/14898/stat : 14898 (glucose) R 14897 14884 9087 0 -1 4202496 7294 0 0 0 989 2 0 0 20 0 1 0 274033815 30941184 6527 33554432000 4194304 5208918 140734642693424 140734642691272 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14898/statm: 7554 6527 104 248 0 7303 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 61388
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14898
/proc/meminfo: memFree=30393320/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
[pid=14897] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274033815 9367552 266 33554432000 4194304 5064252 140734684385616 140734684384528 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14897/statm: 2287 266 226 213 0 72 0
[pid=14898] ppid=14897 vsize=39508 CPUtime=22.7 cores=0,2,4,6
/proc/14898/stat : 14898 (glucose) R 14897 14884 9087 0 -1 4202496 9572 0 0 0 2268 2 0 0 20 0 1 0 274033815 40456192 9234 33554432000 4194304 5208918 140734642693424 140734642689800 4228942 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14898/statm: 9877 9234 104 248 0 9626 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 70680
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14898
/proc/meminfo: memFree=30421248/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
[pid=14897] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274033815 9367552 266 33554432000 4194304 5064252 140734684385616 140734684384528 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14897/statm: 2287 266 226 213 0 72 0
[pid=14898] ppid=14897 vsize=46648 CPUtime=48.3 cores=0,2,4,6
/proc/14898/stat : 14898 (glucose) R 14897 14884 9087 0 -1 4202496 9978 0 0 0 4827 3 0 0 20 0 1 0 274033815 47767552 11157 33554432000 4194304 5208918 140734642693424 140734642689112 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14898/statm: 11662 11157 104 248 0 11411 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 77820
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 14898
/proc/meminfo: memFree=30408756/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
[pid=14897] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274033815 9367552 266 33554432000 4194304 5064252 140734684385616 140734684384528 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14897/statm: 2287 266 226 213 0 72 0
[pid=14898] ppid=14897 vsize=69888 CPUtime=99.5 cores=0,2,4,6
/proc/14898/stat : 14898 (glucose) R 14897 14884 9087 0 -1 4202496 11249 0 0 0 9946 4 0 0 20 0 1 0 274033815 71565312 14087 33554432000 4194304 5208918 140734642693424 140734642689800 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14898/statm: 17472 14087 104 248 0 17221 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 101060
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 14902
/proc/meminfo: memFree=30346940/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
[pid=14897] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274033815 9367552 266 33554432000 4194304 5064252 140734684385616 140734684384528 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14897/statm: 2287 266 226 213 0 72 0
[pid=14898] ppid=14897 vsize=88744 CPUtime=159.48 cores=0,2,4,6
/proc/14898/stat : 14898 (glucose) R 14897 14884 9087 0 -1 4202496 12407 0 0 0 15943 5 0 0 20 0 1 0 274033815 90873856 21653 33554432000 4194304 5208918 140734642693424 140734642689800 4211668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14898/statm: 22186 21653 104 248 0 21935 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14971
/proc/meminfo: memFree=30305240/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=2.75 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4385 22477 0 0 15 25 221 14 20 0 1 0 274033537 13185024 2672 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2672 179 440 0 2775 0
[pid=14897] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274033815 9367552 266 33554432000 4194304 5064252 140734684385616 140734684384528 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14897/statm: 2287 266 226 213 0 72 0
[pid=14898] ppid=14897 vsize=163772 CPUtime=1359.29 cores=0,2,4,6
/proc/14898/stat : 14898 (glucose) R 14897 14884 9087 0 -1 4202496 25422 0 0 0 135899 30 0 0 20 0 1 0 274033815 167702528 38696 33554432000 4194304 5208918 140734642693424 140734642691416 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14898/statm: 40943 38696 104 248 0 40692 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 194944
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15001
/proc/meminfo: memFree=30406152/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=42064 CPUtime=29.25 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 8788 0 0 0 2923 2 0 0 20 0 1 0 274172841 43073536 9133 33554432000 4194304 5208918 140733581290096 140733581286408 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 10516 9133 105 248 0 10265 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 73236
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15001
/proc/meminfo: memFree=30382444/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=72740 CPUtime=89.23 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 10975 0 0 0 8920 3 0 0 20 0 1 0 274172841 74485760 13964 33554432000 4194304 5208918 140733581290096 140733581286472 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 18185 13964 105 248 0 17934 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 103912
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15001
/proc/meminfo: memFree=30368416/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=72740 CPUtime=149.22 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 11332 0 0 0 14918 4 0 0 20 0 1 0 274172841 74485760 17424 33554432000 4194304 5208918 140733581290096 140733581286472 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 18185 17424 105 248 0 17934 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 103912
[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/184 15001
/proc/meminfo: memFree=30314672/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=91596 CPUtime=209.21 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 12320 0 0 0 20917 4 0 0 20 0 1 0 274172841 93794304 22094 33554432000 4194304 5208918 140733581290096 140733581286408 4211162 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 22899 22094 105 248 0 22648 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 122768
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 15002
/proc/meminfo: memFree=30336640/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=121944 CPUtime=269.21 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 12393 0 0 0 26916 5 0 0 20 0 1 0 274172841 124870656 25276 33554432000 4194304 5208918 140733581290096 140733581286472 4229084 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 30486 25276 105 248 0 30235 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 153116
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 15002
/proc/meminfo: memFree=30285628/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=121944 CPUtime=329.19 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 13420 0 0 0 32913 6 0 0 20 0 1 0 274172841 124870656 25788 33554432000 4194304 5208918 140733581290096 140733581285784 4229347 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 30486 25788 105 248 0 30235 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 153116
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/184 15002
/proc/meminfo: memFree=30236476/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=171264 CPUtime=389.18 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 14448 0 0 0 38911 7 0 0 20 0 1 0 274172841 175374336 36013 33554432000 4194304 5208918 140733581290096 140733581286408 4212892 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 42816 36013 105 248 0 42565 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 202436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 15002
/proc/meminfo: memFree=30320256/32873844 swapFree=7388/7388
[pid=14884] ppid=14882 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14884/stat : 14884 (npSolver-pbo.sh) S 14882 14884 9087 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274033537 9367552 275 33554432000 4194304 5064252 140737447261392 140737447260304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14884/statm: 2287 275 233 213 0 72 0
[pid=14885] ppid=14884 vsize=12876 CPUtime=1392.79 cores=0,2,4,6
/proc/14885/stat : 14885 (npSolver-pbo) S 14884 14884 9087 0 -1 4202496 4780 53051 0 0 16 26 139189 48 20 0 1 0 274033537 13185024 2682 33554432000 4194304 5992684 140736923480912 140736923473232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14885/statm: 3219 2682 179 440 0 2775 0
[pid=15000] ppid=14885 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15000/stat : 15000 (satsolver.sh) S 14885 14884 9087 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274172841 9367552 267 33554432000 4194304 5064252 140735539984320 140735539983232 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15000/statm: 2287 267 226 213 0 72 0
[pid=15001] ppid=15000 vsize=121944 CPUtime=407.29 cores=0,2,4,6
/proc/15001/stat : 15001 (glucose) R 15000 14884 9087 0 -1 4202496 14448 0 0 0 40721 8 0 0 20 0 1 0 274172841 124870656 25788 33554432000 4194304 5208918 140733581290096 140733581286408 4212476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15001/statm: 30486 25788 105 248 0 30235 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 153116
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.29
CPU system time (s): 0.833873
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 225764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.833873
maximum resident set size= 171016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236
involuntary context switches= 2254
runsolver used 8.47571 second user time and 17.6943 second system time
The end