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-3714991-1338190830/watcher-3714991-1338190830 -o /tmp/evaluation-result-3714991-1338190830/solver-3714991-1338190830 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714991-1338190830.wbo 469204919 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.40 2.36 2.18 3/180 19203
/proc/meminfo: memFree=18726072/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[startup+0.0701929 s]
/proc/loadavg: 2.40 2.36 2.18 3/180 19203
/proc/meminfo: memFree=18726072/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100226 s]
/proc/loadavg: 2.40 2.36 2.18 3/180 19203
/proc/meminfo: memFree=18726072/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300238 s]
/proc/loadavg: 2.40 2.36 2.18 3/180 19203
/proc/meminfo: memFree=18726072/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700171 s]
/proc/loadavg: 2.40 2.36 2.18 3/180 19203
/proc/meminfo: memFree=18726072/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.37 2.35 2.18 3/182 19205
/proc/meminfo: memFree=18599084/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=100996 CPUtime=1.49 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) R 19203 19203 8283 0 -1 4202496 7373 0 0 0 147 2 0 0 20 0 1 0 285208995 103419904 22734 33554432000 4194304 5990268 140737070431184 140737070427064 4523230 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 25249 22734 145 439 0 24806 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110144
[startup+3.10027 s]
/proc/loadavg: 2.37 2.35 2.18 3/182 19205
/proc/meminfo: memFree=18558404/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=133764 CPUtime=2.6 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 8485 0 0 0 251 9 0 0 20 0 1 0 285208995 136974336 24800 33554432000 4194304 5990268 140737070431184 140737070424336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 33441 24800 153 439 0 32998 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 142912
[startup+6.3003 s]
/proc/loadavg: 2.42 2.36 2.18 3/185 19210
/proc/meminfo: memFree=23099196/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=133764 CPUtime=2.6 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 8485 0 0 0 251 9 0 0 20 0 1 0 285208995 136974336 24800 33554432000 4194304 5990268 140737070431184 140737070424336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 33441 24800 153 439 0 32998 0
[pid=19209] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19209/stat : 19209 (cp2_pre.sh) S 19204 19203 8283 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 285209257 9367552 276 33554432000 4194304 5064252 140736795292528 140736795291232 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19209/statm: 2287 276 234 213 0 72 0
[pid=19210] ppid=19209 vsize=529996 CPUtime=3.67 cores=1,3,5,7
/proc/19210/stat : 19210 (coprocessor) R 19209 19203 8283 0 -1 4202496 59529 0 0 0 353 14 0 0 20 0 1 0 285209257 542715904 130518 33554432000 4194304 6586260 140736148128320 140736148123640 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19210/statm: 132499 130518 189 584 0 131911 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 682056
[startup+12.7002 s]
/proc/loadavg: 2.39 2.36 2.18 3/184 19210
/proc/meminfo: memFree=22617520/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=133764 CPUtime=2.6 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 8485 0 0 0 251 9 0 0 20 0 1 0 285208995 136974336 24800 33554432000 4194304 5990268 140737070431184 140737070424336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 33441 24800 153 439 0 32998 0
[pid=19209] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19209/stat : 19209 (cp2_pre.sh) S 19204 19203 8283 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 285209257 9367552 276 33554432000 4194304 5064252 140736795292528 140736795291232 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19209/statm: 2287 276 234 213 0 72 0
[pid=19210] ppid=19209 vsize=781992 CPUtime=10.07 cores=1,3,5,7
/proc/19210/stat : 19210 (coprocessor) R 19209 19203 8283 0 -1 4202496 63190 0 0 0 765 242 0 0 20 0 1 0 285209257 800759808 167025 33554432000 4194304 6586260 140736148128320 140736148123944 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19210/statm: 195498 167025 196 584 0 194910 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 934052
[startup+25.5004 s]
/proc/loadavg: 2.41 2.36 2.18 3/184 19224
/proc/meminfo: memFree=20026984/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=17.85 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 15015 106044 0 0 332 66 1034 353 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19223] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19223/stat : 19223 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285210922 9367552 267 33554432000 4194304 5064252 140734086382112 140734086381024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19223/statm: 2287 267 226 213 0 72 0
[pid=19224] ppid=19223 vsize=293272 CPUtime=6.22 cores=1,3,5,7
/proc/19224/stat : 19224 (glucose) R 19223 19203 8283 0 -1 4202496 43395 0 0 0 610 12 0 0 20 0 1 0 285210922 300310528 58815 33554432000 4194304 5208918 140735002529648 140735002527480 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19224/statm: 73318 58815 104 248 0 73067 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 524680
[startup+51.1003 s]
/proc/loadavg: 2.42 2.37 2.19 3/183 19224
/proc/meminfo: memFree=18310196/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=17.85 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 15015 106044 0 0 332 66 1034 353 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19223] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19223/stat : 19223 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285210922 9367552 267 33554432000 4194304 5064252 140734086382112 140734086381024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19223/statm: 2287 267 226 213 0 72 0
[pid=19224] ppid=19223 vsize=293272 CPUtime=31.82 cores=1,3,5,7
/proc/19224/stat : 19224 (glucose) R 19223 19203 8283 0 -1 4202496 43461 0 0 0 3170 12 0 0 20 0 1 0 285210922 300310528 58881 33554432000 4194304 5208918 140735002529648 140735002527480 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19224/statm: 73318 58881 104 248 0 73067 0
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (KiB) 524680
[startup+102.3 s]
/proc/loadavg: 2.54 2.42 2.21 3/183 19232
/proc/meminfo: memFree=18470260/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=17.85 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 15015 106044 0 0 332 66 1034 353 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19223] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19223/stat : 19223 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285210922 9367552 267 33554432000 4194304 5064252 140734086382112 140734086381024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19223/statm: 2287 267 226 213 0 72 0
[pid=19224] ppid=19223 vsize=293272 CPUtime=83.01 cores=1,3,5,7
/proc/19224/stat : 19224 (glucose) R 19223 19203 8283 0 -1 4202496 43551 0 0 0 8289 12 0 0 20 0 1 0 285210922 300310528 60504 33554432000 4194304 5208918 140735002529648 140735002527480 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19224/statm: 73318 60504 104 248 0 73067 0
Current children cumulated CPU time (s) 100.86
Current children cumulated vsize (KiB) 524680
[startup+162.3 s]
/proc/loadavg: 2.20 2.34 2.20 3/183 19232
/proc/meminfo: memFree=18321092/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=17.85 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 15015 106044 0 0 332 66 1034 353 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19223] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19223/stat : 19223 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285210922 9367552 267 33554432000 4194304 5064252 140734086382112 140734086381024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19223/statm: 2287 267 226 213 0 72 0
[pid=19224] ppid=19223 vsize=293272 CPUtime=143 cores=1,3,5,7
/proc/19224/stat : 19224 (glucose) R 19223 19203 8283 0 -1 4202496 43553 0 0 0 14288 12 0 0 20 0 1 0 285210922 300310528 61528 33554432000 4194304 5208918 140735002529648 140735002527480 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19224/statm: 73318 61528 104 248 0 73067 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 524680
[startup+222.307 s]
/proc/loadavg: 2.26 2.34 2.20 3/183 19242
/proc/meminfo: memFree=22919272/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/19346/stat : 19346 (glucose) R 19345 19203 8283 0 -1 4202496 44669 0 0 0 20989 13 0 0 20 0 1 0 285330217 302088192 60910 33554432000 4194304 5208918 140736469785776 140736469783928 4205740 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19346/statm: 73752 60910 104 248 0 73501 0
Current children cumulated CPU time (s) 1420.64
Current children cumulated vsize (KiB) 526416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.10 2.16 3/183 19422
/proc/meminfo: memFree=27305464/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1210.62 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 28023 228028 0 0 477 84 120058 443 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19345] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19345/stat : 19345 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285330217 9367552 266 33554432000 4194304 5064252 140735492594800 140735492593712 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19345/statm: 2287 266 226 213 0 72 0
[pid=19346] ppid=19345 vsize=295008 CPUtime=270 cores=1,3,5,7
/proc/19346/stat : 19346 (glucose) R 19345 19203 8283 0 -1 4202496 44874 0 0 0 26987 13 0 0 20 0 1 0 285330217 302088192 61626 33554432000 4194304 5208918 140736469785776 140736469783928 4211094 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19346/statm: 73752 61626 104 248 0 73501 0
Current children cumulated CPU time (s) 1480.62
Current children cumulated vsize (KiB) 526416
[startup+1542.31 s]
/proc/loadavg: 2.04 2.10 2.16 3/183 19429
/proc/meminfo: memFree=27315724/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1490.26 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 34530 289786 0 0 549 93 147898 486 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19428] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19428/stat : 19428 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285358187 9367552 267 33554432000 4194304 5064252 140735609078736 140735609077648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19428/statm: 2287 267 226 213 0 72 0
[pid=19429] ppid=19428 vsize=275916 CPUtime=50.35 cores=1,3,5,7
/proc/19429/stat : 19429 (glucose) R 19428 19203 8283 0 -1 4202496 42531 0 0 0 5026 9 0 0 20 0 1 0 285358188 282537984 57862 33554432000 4194304 5208918 140734186771488 140734186769320 4211104 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19429/statm: 68979 57862 104 248 0 68728 0
Current children cumulated CPU time (s) 1540.61
Current children cumulated vsize (KiB) 507324
[startup+1602.3 s]
/proc/loadavg: 2.01 2.08 2.14 3/183 19430
/proc/meminfo: memFree=27309088/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1490.26 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 34530 289786 0 0 549 93 147898 486 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19428] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19428/stat : 19428 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285358187 9367552 267 33554432000 4194304 5064252 140735609078736 140735609077648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19428/statm: 2287 267 226 213 0 72 0
[pid=19429] ppid=19428 vsize=294884 CPUtime=110.34 cores=1,3,5,7
/proc/19429/stat : 19429 (glucose) R 19428 19203 8283 0 -1 4202496 42765 0 0 0 11024 10 0 0 20 0 1 0 285358188 301961216 58584 33554432000 4194304 5208918 140734186771488 140734186769640 4229328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19429/statm: 73721 58584 104 248 0 73470 0
Current children cumulated CPU time (s) 1600.6
Current children cumulated vsize (KiB) 526292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.06 2.13 3/183 19430
/proc/meminfo: memFree=27302148/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1490.26 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 34530 289786 0 0 549 93 147898 486 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19428] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19428/stat : 19428 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285358187 9367552 267 33554432000 4194304 5064252 140735609078736 140735609077648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19428/statm: 2287 267 226 213 0 72 0
[pid=19429] ppid=19428 vsize=294884 CPUtime=170.33 cores=1,3,5,7
/proc/19429/stat : 19429 (glucose) R 19428 19203 8283 0 -1 4202496 42824 0 0 0 17023 10 0 0 20 0 1 0 285358188 301961216 59154 33554432000 4194304 5208918 140734186771488 140734186767864 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19429/statm: 73721 59154 104 248 0 73470 0
Current children cumulated CPU time (s) 1660.59
Current children cumulated vsize (KiB) 526292
[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.12 3/183 19430
/proc/meminfo: memFree=27333632/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1490.26 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 34530 289786 0 0 549 93 147898 486 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19428] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19428/stat : 19428 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285358187 9367552 267 33554432000 4194304 5064252 140735609078736 140735609077648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19428/statm: 2287 267 226 213 0 72 0
[pid=19429] ppid=19428 vsize=300128 CPUtime=230.32 cores=1,3,5,7
/proc/19429/stat : 19429 (glucose) R 19428 19203 8283 0 -1 4202496 43518 0 0 0 23022 10 0 0 20 0 1 0 285358188 307331072 60870 33554432000 4194304 5208918 140734186771488 140734186769320 4210976 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19429/statm: 75032 60870 104 248 0 74781 0
Current children cumulated CPU time (s) 1720.58
Current children cumulated vsize (KiB) 531536
[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.12 3/184 19433
/proc/meminfo: memFree=27326224/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1490.26 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 34530 289786 0 0 549 93 147898 486 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19428] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19428/stat : 19428 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285358187 9367552 267 33554432000 4194304 5064252 140735609078736 140735609077648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19428/statm: 2287 267 226 213 0 72 0
[pid=19429] ppid=19428 vsize=300128 CPUtime=290.29 cores=1,3,5,7
/proc/19429/stat : 19429 (glucose) R 19428 19203 8283 0 -1 4202496 44103 0 0 0 29019 10 0 0 20 0 1 0 285358188 307331072 61465 33554432000 4194304 5208918 140734186771488 140734186769320 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19429/statm: 75032 61465 104 248 0 74781 0
Current children cumulated CPU time (s) 1780.55
Current children cumulated vsize (KiB) 531536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.8 s]
/proc/loadavg: 2.10 2.06 2.12 3/184 19433
/proc/meminfo: memFree=27323360/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1490.26 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 34530 289786 0 0 549 93 147898 486 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19428] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19428/stat : 19428 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285358187 9367552 267 33554432000 4194304 5064252 140735609078736 140735609077648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19428/statm: 2287 267 226 213 0 72 0
[pid=19429] ppid=19428 vsize=300128 CPUtime=309.8 cores=1,3,5,7
/proc/19429/stat : 19429 (glucose) R 19428 19203 8283 0 -1 4202496 44103 0 0 0 30970 10 0 0 20 0 1 0 285358188 307331072 61465 33554432000 4194304 5208918 140734186771488 140734186769320 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19429/statm: 75032 61465 104 248 0 74781 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 531536
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.8 s]
/proc/loadavg: 2.10 2.06 2.12 3/184 19433
/proc/meminfo: memFree=27323360/32873648 swapFree=6864/6864
[pid=19203] ppid=19201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19203/stat : 19203 (npSolver-wbo-It) S 19201 19203 8283 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285208995 9367552 274 33554432000 4194304 5064252 140733553306512 140733553305424 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19203/statm: 2287 274 233 213 0 72 0
[pid=19204] ppid=19203 vsize=213112 CPUtime=1490.26 cores=1,3,5,7
/proc/19204/stat : 19204 (npSolver-wbo) S 19203 19203 8283 0 -1 4202496 34530 289786 0 0 549 93 147898 486 20 0 1 0 285208995 218226688 40508 33554432000 4194304 5990268 140737070431184 140737070422608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19204/statm: 53278 40508 166 439 0 52835 0
[pid=19428] ppid=19204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19428/stat : 19428 (satsolver.sh) S 19204 19203 8283 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285358187 9367552 267 33554432000 4194304 5064252 140735609078736 140735609077648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19428/statm: 2287 267 226 213 0 72 0
[pid=19429] ppid=19428 vsize=300128 CPUtime=309.8 cores=1,3,5,7
/proc/19429/stat : 19429 (glucose) R 19428 19203 8283 0 -1 4202496 44103 0 0 0 30970 10 0 0 20 0 1 0 285358188 307331072 61465 33554432000 4194304 5208918 140734186771488 140734186769320 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19429/statm: 75032 61465 104 248 0 74781 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 531536
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19203 and gives
# childrusage.ru_utime.tv_sec=1484
# childrusage.ru_utime.tv_usec=475325
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=804117
# CPU time returned by wait4() is 1490.28
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.82
CPU time (s): 1800.06
CPU user time (s): 1794.17
CPU system time (s): 5.89
CPU usage (%): 99.9023
Max. virtual memory (cumulated for all children) (KiB): 934056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1484.48
system time used= 5.80412
maximum resident set size= 756476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 756536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8551
involuntary context switches= 2146
runsolver used 3.10953 second user time and 8.71867 second system time
The end