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-3714971-1338184974/watcher-3714971-1338184974 -o /tmp/evaluation-result-3714971-1338184974/solver-3714971-1338184974 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714971-1338184974.wbo 1593100126 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 22941
/proc/meminfo: memFree=27257432/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[startup+0.0293841 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 22941
/proc/meminfo: memFree=27257432/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 22941
/proc/meminfo: memFree=27257432/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300169 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 22941
/proc/meminfo: memFree=27257432/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70012 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 22941
/proc/meminfo: memFree=27257432/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 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.01 2.00 2.00 3/183 22948
/proc/meminfo: memFree=27243060/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=7504 CPUtime=1.47 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) R 22941 22941 17655 0 -1 4202496 2875 16910 0 0 12 1 120 14 20 0 1 0 284624293 7684096 1162 33554432000 4194304 5990268 140737111177360 140737111171088 5177872 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 1876 1162 160 439 0 1433 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16652
[startup+3.10026 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22955
/proc/meminfo: memFree=27216412/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=2.6 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 6511 30424 0 0 19 4 214 23 20 0 1 0 284624293 13234176 2468 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2468 164 439 0 2788 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 22072
[startup+6.30026 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22976
/proc/meminfo: memFree=27215780/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=5.62 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 10606 64826 0 0 26 5 490 41 20 0 1 0 284624293 13234176 2468 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2468 164 439 0 2788 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 22072
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23011
/proc/meminfo: memFree=27213596/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=10.79 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 13268 105014 0 0 31 6 988 54 20 0 1 0 284624293 13234176 2468 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2468 164 439 0 2788 0
[pid=23010] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23010/stat : 23010 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284625379 9367552 267 33554432000 4194304 5064252 140734775611376 140734775610288 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23010/statm: 2287 267 226 213 0 72 0
[pid=23011] ppid=23010 vsize=21664 CPUtime=1.82 cores=0,2,4,6
/proc/23011/stat : 23011 (glucose) R 23010 22941 17655 0 -1 4202496 5701 0 0 0 182 0 0 0 20 0 1 0 284625380 22183936 4744 33554432000 4194304 5208918 140736968962224 140736968960312 4212601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23011/statm: 5416 4744 104 248 0 5165 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 52884
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23081
/proc/meminfo: memFree=27236956/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=17544 CPUtime=1.36 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 4083 0 0 0 136 0 0 0 20 0 1 0 284626705 17965056 3634 33554432000 4194304 5208918 140733325474800 140733325472648 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 4386 3634 105 248 0 4135 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 48764
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23081
/proc/meminfo: memFree=27208348/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=40492 CPUtime=26.96 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 6914 0 0 0 2694 2 0 0 20 0 1 0 284626705 41463808 9533 33554432000 4194304 5208918 140733325474800 140733325470536 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 10123 9533 105 248 0 9872 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 71712
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23081
/proc/meminfo: memFree=27218480/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=106884 CPUtime=78.15 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 9571 0 0 0 7811 4 0 0 20 0 1 0 284626705 109449216 20657 33554432000 4194304 5208918 140733325474800 140733325471176 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 26721 20657 105 248 0 26470 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 138104
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23083
/proc/meminfo: memFree=27153160/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=64936 CPUtime=138.14 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 10640 0 0 0 13809 5 0 0 20 0 1 0 284626705 66494464 15174 33554432000 4194304 5208918 140733325474800 140733325472744 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 16234 15174 105 248 0 15983 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 96156
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23083
/proc/meminfo: memFree=27119400/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 24996
/proc/meminfo: memFree=27181820/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=256420 CPUtime=1337.95 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 37493 0 0 0 133730 65 0 0 20 0 1 0 284626705 262574080 56328 33554432000 4194304 5208918 140733325474800 140733325471176 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 64105 56328 105 248 0 63854 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 287640
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 25039
/proc/meminfo: memFree=27144588/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=306508 CPUtime=1397.94 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 37821 0 0 0 139728 66 0 0 20 0 1 0 284626705 313864192 65333 33554432000 4194304 5208918 140733325474800 140733325472952 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 76627 65333 105 248 0 76376 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 337728
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 25690
/proc/meminfo: memFree=27198380/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=225600 CPUtime=1457.93 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 39347 0 0 0 145723 70 0 0 20 0 1 0 284626705 231014400 53701 33554432000 4194304 5208918 140733325474800 140733325470616 4228924 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 56400 53701 105 248 0 56149 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 256820
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25987
/proc/meminfo: memFree=27168580/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=256420 CPUtime=1517.92 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 40392 0 0 0 151718 74 0 0 20 0 1 0 284626705 262574080 57864 33554432000 4194304 5208918 140733325474800 140733325471176 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 64105 57864 105 248 0 63854 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 287640
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26716
/proc/meminfo: memFree=27167160/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=256420 CPUtime=1577.9 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 41374 0 0 0 157713 77 0 0 20 0 1 0 284626705 262574080 59912 33554432000 4194304 5208918 140733325474800 140733325471176 4229710 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 64105 59912 105 248 0 63854 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 287640
[startup+1662.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/184 26860
/proc/meminfo: memFree=27132848/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=256420 CPUtime=1637.89 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 42328 0 0 0 163709 80 0 0 20 0 1 0 284626705 262574080 61960 33554432000 4194304 5208918 140733325474800 140733325471176 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 64105 61960 105 248 0 63854 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 287640
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 26952
/proc/meminfo: memFree=27116400/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=306508 CPUtime=1697.89 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 43589 0 0 0 169705 84 0 0 20 0 1 0 284626705 313864192 66869 33554432000 4194304 5208918 140733325474800 140733325471176 4229757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 76627 66869 105 248 0 76376 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 337728
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 27267
/proc/meminfo: memFree=27178724/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=225600 CPUtime=1757.88 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 45119 0 0 0 175700 88 0 0 20 0 1 0 284626705 231014400 54213 33554432000 4194304 5208918 140733325474800 140733325472888 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 56400 54213 105 248 0 56149 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 256820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 27345
/proc/meminfo: memFree=27140276/32873648 swapFree=6848/6848
[pid=22941] ppid=22939 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22941/stat : 22941 (npSolver-wbo-It) S 22939 22941 17655 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284624293 9367552 274 33554432000 4194304 5064252 140733961026832 140733961025744 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22941/statm: 2287 274 233 213 0 72 0
[pid=22942] ppid=22941 vsize=12924 CPUtime=24.05 cores=0,2,4,6
/proc/22942/stat : 22942 (npSolver-wbo) S 22941 22941 17655 0 -1 4202496 17033 187178 0 0 34 7 2289 75 20 0 1 0 284624293 13234176 2469 33554432000 4194304 5990268 140737111177360 140737111168784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22942/statm: 3231 2469 165 439 0 2788 0
[pid=23080] ppid=22942 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23080/stat : 23080 (satsolver.sh) S 22942 22941 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284626705 9367552 267 33554432000 4194304 5064252 140736382056512 140736382055424 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23080/statm: 2287 267 226 213 0 72 0
[pid=23081] ppid=23080 vsize=256420 CPUtime=1775.98 cores=0,2,4,6
/proc/23081/stat : 23081 (glucose) R 23080 22941 17655 0 -1 4202496 45199 0 0 0 177510 88 0 0 20 0 1 0 284626705 262574080 60424 33554432000 4194304 5208918 140733325474800 140733325471176 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23081/statm: 64105 60424 105 248 0 63854 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 287640
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.07
CPU user time (s): 1798.34
CPU system time (s): 1.72774
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 387048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.34
system time used= 1.72774
maximum resident set size= 314524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1974
involuntary context switches= 2285
runsolver used 2.92156 second user time and 6.94194 second system time
The end