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-3713492-1338175477/watcher-3713492-1338175477 -o /tmp/evaluation-result-3713492-1338175477/solver-3713492-1338175477 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713492-1338175477.wbo 895567977 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: 1.09 1.15 1.52 3/179 15544
/proc/meminfo: memFree=28978356/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[startup+0.0103519 s]
/proc/loadavg: 1.09 1.15 1.52 3/179 15544
/proc/meminfo: memFree=28978356/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100306 s]
/proc/loadavg: 1.09 1.15 1.52 3/179 15544
/proc/meminfo: memFree=28978356/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300255 s]
/proc/loadavg: 1.09 1.15 1.52 3/179 15544
/proc/meminfo: memFree=28978356/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 1.09 1.15 1.52 3/179 15544
/proc/meminfo: memFree=28978356/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.16 1.16 1.52 3/183 15565
/proc/meminfo: memFree=28969644/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=13572 CPUtime=1.21 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 2535 0 0 0 121 0 0 0 20 0 1 0 283673185 13897728 2406 33554432000 4194304 5208918 140733534696832 140733534694696 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 3393 2406 104 248 0 3142 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34496
[startup+3.10034 s]
/proc/loadavg: 1.16 1.16 1.52 3/183 15565
/proc/meminfo: memFree=28960604/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=13572 CPUtime=2.81 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 3101 0 0 0 281 0 0 0 20 0 1 0 283673185 13897728 2960 33554432000 4194304 5208918 140733534696832 140733534694776 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 3393 2960 104 248 0 3142 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34496
[startup+6.30033 s]
/proc/loadavg: 1.16 1.16 1.52 3/183 15565
/proc/meminfo: memFree=28954708/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=22492 CPUtime=6.01 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 4012 0 0 0 601 0 0 0 20 0 1 0 283673185 23031808 4202 33554432000 4194304 5208918 140733534696832 140733534694776 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 5623 4202 104 248 0 5372 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43416
[startup+12.7003 s]
/proc/loadavg: 1.29 1.19 1.52 3/183 15565
/proc/meminfo: memFree=28936520/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=26912 CPUtime=12.41 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 4082 0 0 0 1241 0 0 0 20 0 1 0 283673185 27557888 5803 33554432000 4194304 5208918 140733534696832 140733534694696 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 6728 5803 104 248 0 6477 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 47836
[startup+25.5004 s]
/proc/loadavg: 1.40 1.22 1.53 3/183 15565
/proc/meminfo: memFree=28928196/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=26912 CPUtime=25.21 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 4566 0 0 0 2520 1 0 0 20 0 1 0 283673185 27557888 6279 33554432000 4194304 5208918 140733534696832 140733534694696 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 6728 6279 104 248 0 6477 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47836
[startup+51.1003 s]
/proc/loadavg: 1.60 1.28 1.54 3/183 15565
/proc/meminfo: memFree=28900696/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=48940 CPUtime=50.8 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 7727 0 0 0 5078 2 0 0 20 0 1 0 283673185 50114560 11089 33554432000 4194304 5208918 140733534696832 140733534694776 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 12235 11089 104 248 0 11984 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69864
[startup+102.307 s]
/proc/loadavg: 1.84 1.40 1.56 3/183 15565
/proc/meminfo: memFree=28865504/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=72216 CPUtime=102 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 8086 0 0 0 10197 3 0 0 20 0 1 0 283673185 73949184 14874 33554432000 4194304 5208918 140733534696832 140733534694776 4205828 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 18054 14874 104 248 0 17803 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 93140
[startup+162.3 s]
/proc/loadavg: 1.94 1.50 1.59 3/183 15565
/proc/meminfo: memFree=28823548/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/183 15575
/proc/meminfo: memFree=28639100/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=153780 CPUtime=1361.81 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 19797 0 0 0 136161 20 0 0 20 0 1 0 283673185 157470720 33860 33554432000 4194304 5208918 140733534696832 140733534694824 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 38445 33860 104 248 0 38194 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 174704
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.86 3/183 15575
/proc/meminfo: memFree=28650588/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=104460 CPUtime=1421.8 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 19803 0 0 0 142160 20 0 0 20 0 1 0 283673185 106967040 25705 33554432000 4194304 5208918 140733534696832 140733534694920 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 26115 25705 104 248 0 25864 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 125384
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/183 15576
/proc/meminfo: memFree=28634752/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=104460 CPUtime=1481.79 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 20300 0 0 0 148158 21 0 0 20 0 1 0 283673185 106967040 25705 33554432000 4194304 5208918 140733534696832 140733534694920 4212212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 26115 25705 104 248 0 25864 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 125384
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/184 15579
/proc/meminfo: memFree=28638876/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=153780 CPUtime=1541.78 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 20795 0 0 0 154156 22 0 0 20 0 1 0 283673185 157470720 36420 33554432000 4194304 5208918 140733534696832 140733534694824 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 38445 36420 104 248 0 38194 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 174704
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/183 15579
/proc/meminfo: memFree=28632792/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=153780 CPUtime=1601.76 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 21288 0 0 0 160154 22 0 0 20 0 1 0 283673185 157470720 34884 33554432000 4194304 5208918 140733534696832 140733534694824 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 38445 34884 104 248 0 38194 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 174704
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/183 15579
/proc/meminfo: memFree=28663064/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=104460 CPUtime=1661.76 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 21293 0 0 0 166153 23 0 0 20 0 1 0 283673185 106967040 25705 33554432000 4194304 5208918 140733534696832 140733534694920 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 26115 25705 104 248 0 25864 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 125384
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/183 15579
/proc/meminfo: memFree=28610240/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=153780 CPUtime=1721.75 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 21791 0 0 0 172152 23 0 0 20 0 1 0 283673185 157470720 37956 33554432000 4194304 5208918 140733534696832 140733534694824 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 38445 37956 104 248 0 38194 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 174704
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/183 15580
/proc/meminfo: memFree=28612152/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=153780 CPUtime=1781.74 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 22286 0 0 0 178150 24 0 0 20 0 1 0 283673185 157470720 36420 33554432000 4194304 5208918 140733534696832 140733534694824 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 38445 36420 104 248 0 38194 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 174704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.97 1.90 3/183 15639
/proc/meminfo: memFree=28837576/32873844 swapFree=7384/7384
[pid=15544] ppid=15542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15544/stat : 15544 (npSolver-wbo.sh) S 15542 15544 12999 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283673157 9367552 275 33554432000 4194304 5064252 140734945331520 140734945330432 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15544/statm: 2287 275 233 213 0 72 0
[pid=15545] ppid=15544 vsize=2628 CPUtime=0.25 cores=1,3,5,7
/proc/15545/stat : 15545 (npSolver-wbo) S 15544 15544 12999 0 -1 4202496 1085 9817 0 0 1 0 21 3 20 0 1 0 283673157 2691072 309 33554432000 4194304 5990268 140736508774048 140736508765488 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15545/statm: 657 309 160 439 0 214 0
[pid=15564] ppid=15545 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15564/stat : 15564 (satsolver.sh) S 15545 15544 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283673185 9367552 267 33554432000 4194304 5064252 140733593979264 140733593978176 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15564/statm: 2287 267 226 213 0 72 0
[pid=15565] ppid=15564 vsize=104460 CPUtime=1799.84 cores=1,3,5,7
/proc/15565/stat : 15565 (glucose) R 15564 15544 12999 0 -1 4202496 22288 0 0 0 179960 24 0 0 20 0 1 0 283673185 106967040 25705 33554432000 4194304 5208918 140733534696832 140733534694920 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15565/statm: 26115 25705 104 248 0 25864 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 125384
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.13
CPU user time (s): 1799.84
CPU system time (s): 0.297954
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 174704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.297954
maximum resident set size= 151824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 1883
runsolver used 3.55546 second user time and 8.06377 second system time
The end