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-3755041-1339187272/watcher-3755041-1339187272 -o /tmp/evaluation-result-3755041-1339187272/solver-3755041-1339187272 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755041-1339187272.wbo 711430301 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.00 2.00 2.00 3/179 896
/proc/meminfo: memFree=31309352/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[startup+0.0165219 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 896
/proc/meminfo: memFree=31309352/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 896
/proc/meminfo: memFree=31309352/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 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.00 2.00 2.00 3/179 896
/proc/meminfo: memFree=31309352/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 896
/proc/meminfo: memFree=31309352/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 903
/proc/meminfo: memFree=31263764/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/902/stat : 902 (satsolver.sh) S 897 896 31525 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384855763 9367552 266 33554432000 4194304 5064252 140736997555856 140736997554768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/902/statm: 2287 266 226 213 0 72 0
[pid=903] ppid=902 vsize=17436 CPUtime=1.46 cores=1,3,5,7
/proc/903/stat : 903 (glucose) R 902 896 31525 0 -1 4202496 3220 0 0 0 145 1 0 0 20 0 1 0 384855763 17854464 3809 33554432000 4194304 5208918 140736562948736 140736562946680 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/903/statm: 4359 3809 95 248 0 4108 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 37984
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 903
/proc/meminfo: memFree=31293060/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/902/stat : 902 (satsolver.sh) S 897 896 31525 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384855763 9367552 266 33554432000 4194304 5064252 140736997555856 140736997554768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/902/statm: 2287 266 226 213 0 72 0
[pid=903] ppid=902 vsize=17436 CPUtime=3.06 cores=1,3,5,7
/proc/903/stat : 903 (glucose) R 902 896 31525 0 -1 4202496 3313 0 0 0 305 1 0 0 20 0 1 0 384855763 17854464 3902 33554432000 4194304 5208918 140736562948736 140736562946680 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/903/statm: 4359 3902 95 248 0 4108 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37984
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 903
/proc/meminfo: memFree=31242296/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/902/stat : 902 (satsolver.sh) S 897 896 31525 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384855763 9367552 266 33554432000 4194304 5064252 140736997555856 140736997554768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/902/statm: 2287 266 226 213 0 72 0
[pid=903] ppid=902 vsize=20180 CPUtime=6.26 cores=1,3,5,7
/proc/903/stat : 903 (glucose) R 902 896 31525 0 -1 4202496 3474 0 0 0 625 1 0 0 20 0 1 0 384855763 20664320 4572 33554432000 4194304 5208918 140736562948736 140736562946600 4229688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/903/statm: 5045 4572 95 248 0 4794 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40728
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 903
/proc/meminfo: memFree=31250840/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/902/stat : 902 (satsolver.sh) S 897 896 31525 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384855763 9367552 266 33554432000 4194304 5064252 140736997555856 140736997554768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/902/statm: 2287 266 226 213 0 72 0
[pid=903] ppid=902 vsize=21852 CPUtime=12.66 cores=1,3,5,7
/proc/903/stat : 903 (glucose) R 902 896 31525 0 -1 4202496 3898 0 0 0 1265 1 0 0 20 0 1 0 384855763 22376448 4992 33554432000 4194304 5208918 140736562948736 140736562946600 4229354 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/903/statm: 5463 4992 95 248 0 5212 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42400
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 903
/proc/meminfo: memFree=31228152/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/902/stat : 902 (satsolver.sh) S 897 896 31525 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384855763 9367552 266 33554432000 4194304 5064252 140736997555856 140736997554768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/902/statm: 2287 266 226 213 0 72 0
[pid=903] ppid=902 vsize=36248 CPUtime=25.46 cores=1,3,5,7
/proc/903/stat : 903 (glucose) R 902 896 31525 0 -1 4202496 5461 0 0 0 2543 3 0 0 20 0 1 0 384855763 37117952 8119 33554432000 4194304 5208918 140736562948736 140736562946680 4229712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/903/statm: 9062 8119 95 248 0 8811 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 56796
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 903
/proc/meminfo: memFree=31194680/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/902/stat : 902 (satsolver.sh) S 897 896 31525 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384855763 9367552 266 33554432000 4194304 5064252 140736997555856 140736997554768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/902/statm: 2287 266 226 213 0 72 0
[pid=903] ppid=902 vsize=36248 CPUtime=51.05 cores=1,3,5,7
/proc/903/stat : 903 (glucose) R 902 896 31525 0 -1 4202496 5463 0 0 0 5102 3 0 0 20 0 1 0 384855763 37117952 8632 33554432000 4194304 5208918 140736562948736 140736562946680 4229734 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/903/statm: 9062 8632 95 248 0 8811 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56796
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 904
/proc/meminfo: memFree=31209452/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/902/stat : 902 (satsolver.sh) S 897 896 31525 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384855763 9367552 266 33554432000 4194304 5064252 140736997555856 140736997554768 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/902/statm: 2287 266 226 213 0 72 0
[pid=903] ppid=902 vsize=66596 CPUtime=102.25 cores=1,3,5,7
/proc/903/stat : 903 (glucose) R 902 896 31525 0 -1 4202496 6351 0 0 0 10221 4 0 0 20 0 1 0 384855763 68194304 15169 33554432000 4194304 5208918 140736562948736 140736562946680 4229692 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/903/statm: 16649 15169 95 248 0 16398 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 87144
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 907
/proc/meminfo: memFree=31154088/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2252 CPUtime=0 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 1783 1621 0 0 0 0 0 0 20 0 1 0 384855761 2306048 219 33554432000 4194304 6006132 140736656318080 140736656312272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 563 219 157 443 0 116 0
[pid=902] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 945
/proc/meminfo: memFree=30953868/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=90496 CPUtime=1013.26 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 16074 0 0 0 101298 28 0 0 20 0 1 0 384890648 92667904 22178 33554432000 4194304 5208918 140735980930640 140735980928728 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 22624 22178 105 248 0 22373 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 111220
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 945
/proc/meminfo: memFree=31015620/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=90496 CPUtime=1073.26 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 16822 0 0 0 107296 30 0 0 20 0 1 0 384890648 92667904 22178 33554432000 4194304 5208918 140735980930640 140735980927016 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 22624 22178 105 248 0 22373 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 111220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 945
/proc/meminfo: memFree=30963740/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=170636 CPUtime=1133.24 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 17562 0 0 0 113293 31 0 0 20 0 1 0 384890648 174731264 35176 33554432000 4194304 5208918 140735980930640 140735980928792 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 42659 35176 105 248 0 42408 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 191360
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 945
/proc/meminfo: memFree=31006872/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=90496 CPUtime=1193.23 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 18309 0 0 0 119289 34 0 0 20 0 1 0 384890648 92667904 22178 33554432000 4194304 5208918 140735980930640 140735980928792 4229717 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 22624 22178 105 248 0 22373 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 111220
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 945
/proc/meminfo: memFree=31009048/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=170636 CPUtime=1253.22 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 19058 0 0 0 125286 36 0 0 20 0 1 0 384890648 174731264 35176 33554432000 4194304 5208918 140735980930640 140735980928792 4229728 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 42659 35176 105 248 0 42408 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 191360
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 946
/proc/meminfo: memFree=31068616/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=140512 CPUtime=1313.21 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 19498 0 0 0 131284 37 0 0 20 0 1 0 384890648 143884288 34366 33554432000 4194304 5208918 140735980930640 140735980928632 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 35128 34366 105 248 0 34877 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 161236
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 946
/proc/meminfo: memFree=30842180/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=142884 CPUtime=1373.21 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 20738 0 0 0 137281 40 0 0 20 0 1 0 384890648 146313216 34340 33554432000 4194304 5208918 140735980930640 140735980928632 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 35721 34340 105 248 0 35470 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 163608
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 946
/proc/meminfo: memFree=30907768/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=174080 CPUtime=1433.19 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 22059 0 0 0 143277 42 0 0 20 0 1 0 384890648 178257920 35417 33554432000 4194304 5208918 140735980930640 140735980928792 4229469 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 43520 35417 105 248 0 43269 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 194804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 1007
/proc/meminfo: memFree=31152000/32873844 swapFree=7116/7116
[pid=896] ppid=894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/896/stat : 896 (npSolver-wbo.sh) S 894 896 31525 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384855760 9367552 274 33554432000 4194304 5064252 140735367826608 140735367825520 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/896/statm: 2287 274 233 213 0 72 0
[pid=897] ppid=896 vsize=2428 CPUtime=348.79 cores=1,3,5,7
/proc/897/stat : 897 (npSolver-wbo) S 896 896 31525 0 -1 4202496 2105 31519 0 0 0 1 34858 20 20 0 1 0 384855761 2486272 270 33554432000 4194304 6006132 140736656318080 140736656309488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/897/statm: 607 270 167 443 0 160 0
[pid=934] ppid=897 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/934/stat : 934 (satsolver.sh) S 897 896 31525 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384890647 9367552 267 33554432000 4194304 5064252 140736250670944 140736250669856 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/934/statm: 2287 267 226 213 0 72 0
[pid=935] ppid=934 vsize=174080 CPUtime=1451.3 cores=1,3,5,7
/proc/935/stat : 935 (glucose) R 934 896 31525 0 -1 4202496 22171 0 0 0 145087 43 0 0 20 0 1 0 384890648 178257920 37061 33554432000 4194304 5208918 140735980930640 140735980928792 4229512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/935/statm: 43520 37061 105 248 0 43269 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 194804
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.46
CPU system time (s): 0.6539
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 194804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.6539
maximum resident set size= 149920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 1901
runsolver used 3.16652 second user time and 8.75467 second system time
The end