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-3754465-1339204139/watcher-3754465-1339204139 -o /tmp/evaluation-result-3754465-1339204139/solver-3754465-1339204139 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754465-1339204139.wbo 1740653965 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.77 2.79 2.58 3/180 13701
/proc/meminfo: memFree=28951584/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[startup+0.042788 s]
/proc/loadavg: 2.77 2.79 2.58 3/180 13701
/proc/meminfo: memFree=28951584/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100299 s]
/proc/loadavg: 2.77 2.79 2.58 3/180 13701
/proc/meminfo: memFree=28951584/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.77 2.79 2.58 3/180 13701
/proc/meminfo: memFree=28951584/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 2.77 2.79 2.58 3/180 13701
/proc/meminfo: memFree=28951584/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.77 2.79 2.58 3/185 13718
/proc/meminfo: memFree=29649384/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=9320 CPUtime=1.43 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 2437 0 0 0 143 0 0 0 20 0 1 0 386540907 9543680 1782 33554432000 4194304 5208918 140733824095776 140733824093864 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13715/statm: 2330 1782 96 248 0 2079 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 31272
[startup+3.10034 s]
/proc/loadavg: 2.77 2.79 2.58 4/190 13726
/proc/meminfo: memFree=29618076/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=11984 CPUtime=3.03 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 2991 0 0 0 303 0 0 0 20 0 1 0 386540907 12271616 2288 33554432000 4194304 5208918 140733824095776 140733824093720 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13715/statm: 2996 2288 96 248 0 2745 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 33936
[startup+6.30034 s]
/proc/loadavg: 2.71 2.78 2.58 3/182 13921
/proc/meminfo: memFree=29632616/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=13648 CPUtime=6.23 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 3810 0 0 0 623 0 0 0 20 0 1 0 386540907 13975552 3021 33554432000 4194304 5208918 140733824095776 140733824093640 4229717 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 3412 3021 96 248 0 3161 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 35600
[startup+12.7003 s]
/proc/loadavg: 2.65 2.77 2.57 3/182 13922
/proc/meminfo: memFree=29080772/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=15392 CPUtime=12.63 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 3924 0 0 0 1263 0 0 0 20 0 1 0 386540907 15761408 3130 33554432000 4194304 5208918 140733824095776 140733824093720 4229897 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 3848 3130 96 248 0 3597 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 37344
[startup+25.5004 s]
/proc/loadavg: 2.51 2.73 2.56 3/182 13922
/proc/meminfo: memFree=25076760/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=18068 CPUtime=25.43 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 4912 0 0 0 2543 0 0 0 20 0 1 0 386540907 18501632 4056 33554432000 4194304 5208918 140733824095776 140733824093640 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 4517 4056 96 248 0 4266 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 40020
[startup+51.1004 s]
/proc/loadavg: 2.33 2.67 2.54 3/182 13922
/proc/meminfo: memFree=23102556/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=27132 CPUtime=51.03 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 6305 0 0 0 5102 1 0 0 20 0 1 0 386540907 27783168 5976 33554432000 4194304 5208918 140733824095776 140733824093640 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 6783 5976 96 248 0 6532 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49084
[startup+102.301 s]
/proc/loadavg: 2.14 2.56 2.52 3/182 13924
/proc/meminfo: memFree=21296784/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=35124 CPUtime=102.23 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 7335 0 0 0 10222 1 0 0 20 0 1 0 386540907 35966976 7505 33554432000 4194304 5208918 140733824095776 140733824093720 4229532 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 8781 7505 102 248 0 8530 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 57076
[startup+162.3 s]
/proc/loadavg: 2.10 2.47 2.49 3/181 13925
/proc/meminfo: memFree=21288212/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 1.00 1.02 1.40 2/174 13963
/proc/meminfo: memFree=31258804/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=105992 CPUtime=1422.02 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 11196 0 0 0 142198 4 0 0 20 0 1 0 386540907 108535808 25603 33554432000 4194304 5208918 140733824095776 140733824092088 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 26498 25603 103 248 0 26247 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 127944
[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.37 2/174 13963
/proc/meminfo: memFree=31258680/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=105992 CPUtime=1482 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 11196 0 0 0 148196 4 0 0 20 0 1 0 386540907 108535808 25603 33554432000 4194304 5208918 140733824095776 140733824092088 4212371 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 26498 25603 103 248 0 26247 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 127944
[startup+1542.31 s]
/proc/loadavg: 1.00 1.01 1.34 2/174 13963
/proc/meminfo: memFree=31258556/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=105992 CPUtime=1542 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 11196 0 0 0 154196 4 0 0 20 0 1 0 386540907 108535808 25603 33554432000 4194304 5208918 140733824095776 140733824092088 4229728 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 26498 25603 103 248 0 26247 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 127944
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.32 2/174 13963
/proc/meminfo: memFree=31258556/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=105992 CPUtime=1601.98 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 11196 0 0 0 160194 4 0 0 20 0 1 0 386540907 108535808 25603 33554432000 4194304 5208918 140733824095776 140733824092088 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 26498 25603 103 248 0 26247 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 127944
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.30 2/174 13964
/proc/meminfo: memFree=31258680/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=105992 CPUtime=1661.97 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 11196 0 0 0 166193 4 0 0 20 0 1 0 386540907 108535808 25603 33554432000 4194304 5208918 140733824095776 140733824092088 4229493 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 26498 25603 103 248 0 26247 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 127944
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.27 2/174 13964
/proc/meminfo: memFree=31258556/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=3656 CPUtime=0.02 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 1671 5820 0 0 1 0 0 1 20 0 1 0 386540901 3743744 555 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 914 555 165 443 0 467 0
[pid=13714] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13714/stat : 13714 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386540906 9367552 266 33554432000 4194304 5064252 140737487809344 140737487808256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13714/statm: 2287 266 226 213 0 72 0
[pid=13715] ppid=13714 vsize=105992 CPUtime=1721.96 cores=1,3,5,7
/proc/13715/stat : 13715 (glucose) R 13714 13701 7523 0 -1 4202496 11196 0 0 0 172192 4 0 0 20 0 1 0 386540907 108535808 25603 33554432000 4194304 5208918 140733824095776 140733824092152 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13715/statm: 26498 25603 103 248 0 26247 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 127944
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.25 2/174 13985
/proc/meminfo: memFree=31348364/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=4588 CPUtime=1779.09 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 3154 31523 0 0 4 1 177891 13 20 0 1 0 386540901 4698112 742 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 1147 742 178 443 0 700 0
[pid=13984] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13984/stat : 13984 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386718841 9367552 266 33554432000 4194304 5064252 140733431692080 140733431690992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13984/statm: 2287 266 226 213 0 72 0
[pid=13985] ppid=13984 vsize=13516 CPUtime=2.89 cores=1,3,5,7
/proc/13985/stat : 13985 (glucose) R 13984 13701 7523 0 -1 4202496 3572 0 0 0 289 0 0 0 20 0 1 0 386718841 13840384 2728 33554432000 4194304 5208918 140733795131424 140733795129368 4205672 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13985/statm: 3379 2728 96 248 0 3128 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 36400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.25 2/174 13992
/proc/meminfo: memFree=31344824/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=4588 CPUtime=1791.87 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 3507 39628 0 0 5 1 179165 16 20 0 1 0 386540901 4698112 742 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 1147 742 178 443 0 700 0
[pid=13991] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13991/stat : 13991 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386720119 9367552 267 33554432000 4194304 5064252 140737298071600 140737298070512 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13991/statm: 2287 267 226 213 0 72 0
[pid=13992] ppid=13991 vsize=15236 CPUtime=8.21 cores=1,3,5,7
/proc/13992/stat : 13992 (glucose) R 13991 13701 7523 0 -1 4202496 4208 0 0 0 821 0 0 0 20 0 1 0 386720119 15601664 3417 33554432000 4194304 5208918 140735242211360 140735242209224 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 3809 3417 96 248 0 3558 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 38120
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.25 2/174 13992
/proc/meminfo: memFree=31344824/32873844 swapFree=7116/7116
[pid=13701] ppid=13699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13701/stat : 13701 (npSolver-wbo-I.) S 13699 13701 7523 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386540901 9367552 275 33554432000 4194304 5064252 140736291117216 140736291116128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13701/statm: 2287 275 233 213 0 72 0
[pid=13702] ppid=13701 vsize=4588 CPUtime=1791.87 cores=1,3,5,7
/proc/13702/stat : 13702 (npSolver-wbo) S 13701 13701 7523 0 -1 4202496 3507 39628 0 0 5 1 179165 16 20 0 1 0 386540901 4698112 742 33554432000 4194304 6006132 140736107998800 140736107990208 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 1147 742 178 443 0 700 0
[pid=13991] ppid=13702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13991/stat : 13991 (satsolver.sh) S 13702 13701 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386720119 9367552 267 33554432000 4194304 5064252 140737298071600 140737298070512 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13991/statm: 2287 267 226 213 0 72 0
[pid=13992] ppid=13991 vsize=15236 CPUtime=8.21 cores=1,3,5,7
/proc/13992/stat : 13992 (glucose) R 13991 13701 7523 0 -1 4202496 4208 0 0 0 821 0 0 0 20 0 1 0 386720119 15601664 3417 33554432000 4194304 5208918 140735242211360 140735242209224 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13992/statm: 3809 3417 96 248 0 3558 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 38120
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.93
CPU system time (s): 0.186971
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 135492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.186971
maximum resident set size= 104468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 1917
runsolver used 4.5783 second user time and 8.5597 second system time
The end