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-3752648-1339186449/watcher-3752648-1339186449 -o /tmp/evaluation-result-3752648-1339186449/solver-3752648-1339186449 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752648-1339186449.wbo 1433993053 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.03 2.00 2.00 3/179 15773
/proc/meminfo: memFree=29786160/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[startup+0.00690294 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 15773
/proc/meminfo: memFree=29786160/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100187 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 15773
/proc/meminfo: memFree=29786160/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 15773
/proc/meminfo: memFree=29786160/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 15773
/proc/meminfo: memFree=29786160/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/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.02 2.00 2.00 3/179 15783
/proc/meminfo: memFree=29688564/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183200 CPUtime=1.48 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) R 15773 15773 14220 0 -1 4202496 22679 0 0 0 143 5 0 0 20 0 1 0 384770844 187596800 37664 33554432000 4194304 6006132 140735778327600 140735778322952 4721274 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45800 37664 151 443 0 45353 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 192348
[startup+3.10028 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 15785
/proc/meminfo: memFree=29599992/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183200 CPUtime=2.81 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 22687 0 0 0 255 26 0 0 20 0 1 0 384770844 187596800 37671 33554432000 4194304 6006132 140735778327600 140735778320704 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45800 37671 158 443 0 45353 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 192348
[startup+6.30031 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 15787
/proc/meminfo: memFree=29321716/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183200 CPUtime=6.21 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 22694 38017 0 0 255 27 326 13 20 0 1 0 384770844 187596800 37671 33554432000 4194304 6006132 140735778327600 140735778321792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45800 37671 158 443 0 45353 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 192348
[startup+12.7003 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 15797
/proc/meminfo: memFree=29435056/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=8.35 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 30904 65634 0 0 285 107 421 22 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=15796] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15796/stat : 15796 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771681 9367552 267 33554432000 4194304 5064252 140735623740048 140735623738960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15796/statm: 2287 267 226 213 0 72 0
[pid=15797] ppid=15796 vsize=138124 CPUtime=4.31 cores=1,3,5,7
/proc/15797/stat : 15797 (glucose) R 15796 15773 14220 0 -1 4202496 27252 0 0 0 426 5 0 0 20 0 1 0 384771681 141438976 32548 33554432000 4194304 5208918 140735416915136 140735416913080 4211884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15797/statm: 34531 32548 95 248 0 34280 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 339624
[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 15797
/proc/meminfo: memFree=29434732/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=8.35 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 30904 65634 0 0 285 107 421 22 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=15796] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15796/stat : 15796 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771681 9367552 267 33554432000 4194304 5064252 140735623740048 140735623738960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15796/statm: 2287 267 226 213 0 72 0
[pid=15797] ppid=15796 vsize=138256 CPUtime=17.11 cores=1,3,5,7
/proc/15797/stat : 15797 (glucose) R 15796 15773 14220 0 -1 4202496 27326 0 0 0 1706 5 0 0 20 0 1 0 384771681 141574144 32620 33554432000 4194304 5208918 140735416915136 140735416913080 4211537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15797/statm: 34564 32620 95 248 0 34313 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 339756
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15804
/proc/meminfo: memFree=29434600/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=33.45 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 38172 102040 0 0 299 109 2894 43 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=15803] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15803/stat : 15803 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384774193 9367552 267 33554432000 4194304 5064252 140734761173616 140734761172528 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15803/statm: 2287 267 226 213 0 72 0
[pid=15804] ppid=15803 vsize=138248 CPUtime=17.59 cores=1,3,5,7
/proc/15804/stat : 15804 (glucose) R 15803 15773 14220 0 -1 4202496 27639 0 0 0 1754 5 0 0 20 0 1 0 384774193 141565952 32760 33554432000 4194304 5208918 140736612847360 140736612845304 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15804/statm: 34562 32760 95 248 0 34311 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 339748
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15818
/proc/meminfo: memFree=29434516/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=83.58 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 52710 174543 0 0 328 113 7830 87 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=15817] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15817/stat : 15817 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384779206 9367552 266 33554432000 4194304 5064252 140734214307920 140734214306832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15817/statm: 2287 266 226 213 0 72 0
[pid=15818] ppid=15817 vsize=138252 CPUtime=18.67 cores=1,3,5,7
/proc/15818/stat : 15818 (glucose) R 15817 15773 14220 0 -1 4202496 28806 0 0 0 1861 6 0 0 20 0 1 0 384779206 141570048 32441 33554432000 4194304 5208918 140736915691712 140736915689656 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15818/statm: 34563 32441 95 248 0 34312 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 339752
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15839
/proc/meminfo: memFree=29434828/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=158.89 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 74517 285368 0 0 371 119 15243 156 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=15838] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15838/stat : 15838 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384786738 9367552 267 33554432000 4194304 5064252 140735579239840 140735579238752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15838/statm: 2287 267 226 213 0 72 0
[pid=15839] ppid=15838 vsize=137260 CPUtime=3.34 cores=1,3,5,7
/proc/15839/stat : 15839 (glucose) R 15838 15773 14220 0 -1 4202496 27941 0 0 0 329 5 0 0 20 0 1 0 384786738 140554240 32103 33554432000 4194304 5208918 140735539282144 140735539280088 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15839/statm: 34315 32103 95 248 0 34064 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 338760
############
# WARNING:
# current cumulated CPU time (183.98 s) is less than in the last sample (208.23 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (24.25 s) to the 'lost time'.
[startup+208.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 15846
/proc/meminfo: memFree=29430168/32873648 swapFree=7112/7112
################
# More data... #
################
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1338.07 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 416150 1994299 0 0 1045 207 131381 1174 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16200] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16200/stat : 16200 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384904721 9367552 267 33554432000 4194304 5064252 140736280672736 140736280671648 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16200/statm: 2287 267 226 213 0 72 0
[pid=16201] ppid=16200 vsize=139304 CPUtime=23.51 cores=1,3,5,7
/proc/16201/stat : 16201 (glucose) R 16200 15773 14220 0 -1 4202496 27487 0 0 0 2347 4 0 0 20 0 1 0 384904721 142647296 32673 33554432000 4194304 5208918 140733318102128 140733318100072 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16201/statm: 34826 32673 103 248 0 34575 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 340804
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 16222
/proc/meminfo: memFree=29431132/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1413.15 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 437957 2101415 0 0 1088 212 138781 1234 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16221] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16221/stat : 16221 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384912231 9367552 266 33554432000 4194304 5064252 140735621151920 140735621150832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16221/statm: 2287 266 226 213 0 72 0
[pid=16222] ppid=16221 vsize=138252 CPUtime=8.42 cores=1,3,5,7
/proc/16222/stat : 16222 (glucose) R 16221 15773 14220 0 -1 4202496 28142 0 0 0 837 5 0 0 20 0 1 0 384912231 141570048 32304 33554432000 4194304 5208918 140733679570400 140733679568344 4211665 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16222/statm: 34563 32304 95 248 0 34312 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 339752
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 16243
/proc/meminfo: memFree=29433360/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1463.42 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 452495 2174428 0 0 1117 216 143731 1278 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16242] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16242/stat : 16242 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384917258 9367552 267 33554432000 4194304 5064252 140734632418912 140734632417824 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16242/statm: 2287 267 226 213 0 72 0
[pid=16243] ppid=16242 vsize=138256 CPUtime=18.14 cores=1,3,5,7
/proc/16243/stat : 16243 (glucose) R 16242 15773 14220 0 -1 4202496 27255 0 0 0 1809 5 0 0 20 0 1 0 384917258 141574144 32547 33554432000 4194304 5208918 140735789004272 140735789002216 4211635 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16243/statm: 34564 32547 95 248 0 34313 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 339756
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 16265
/proc/meminfo: memFree=29434652/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1538.75 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 474300 2283725 0 0 1160 221 151148 1346 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16264] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16264/stat : 16264 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384924793 9367552 267 33554432000 4194304 5064252 140736749509104 140736749508016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16264/statm: 2287 267 226 213 0 72 0
[pid=16265] ppid=16264 vsize=137260 CPUtime=2.79 cores=1,3,5,7
/proc/16265/stat : 16265 (glucose) R 16264 15773 14220 0 -1 4202496 27229 0 0 0 274 5 0 0 20 0 1 0 384924793 140554240 32030 33554432000 4194304 5208918 140735533928032 140735533925976 4211537 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16265/statm: 34315 32030 95 248 0 34064 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 338760
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 16282
/proc/meminfo: memFree=29432592/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1588.88 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 488838 2357869 0 0 1188 225 156085 1390 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16281] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16281/stat : 16281 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384929809 9367552 266 33554432000 4194304 5064252 140737078476768 140737078475680 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16281/statm: 2287 266 226 213 0 72 0
[pid=16282] ppid=16281 vsize=138248 CPUtime=12.62 cores=1,3,5,7
/proc/16282/stat : 16282 (glucose) R 16281 15773 14220 0 -1 4202496 26208 0 0 0 1257 5 0 0 20 0 1 0 384929810 141565952 32414 33554432000 4194304 5208918 140736275290464 140736275288408 4211744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16282/statm: 34562 32414 95 248 0 34311 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 339748
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 16296
/proc/meminfo: memFree=29432520/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1638.93 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 503376 2428259 0 0 1217 229 161013 1434 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16295] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16295/stat : 16295 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384934815 9367552 267 33554432000 4194304 5064252 140735117454592 140735117453504 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16295/statm: 2287 267 226 213 0 72 0
[pid=16296] ppid=16295 vsize=138252 CPUtime=22.56 cores=1,3,5,7
/proc/16296/stat : 16296 (glucose) R 16295 15773 14220 0 -1 4202496 28820 0 0 0 2251 5 0 0 20 0 1 0 384934816 141570048 32457 33554432000 4194304 5208918 140735374613968 140735374611912 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16296/statm: 34563 32457 95 248 0 34312 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 339752
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 16317
/proc/meminfo: memFree=29428916/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1714.09 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 525183 2539942 0 0 1260 234 168414 1501 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16316] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16316/stat : 16316 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384942333 9367552 266 33554432000 4194304 5064252 140736365130016 140736365128928 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16316/statm: 2287 266 226 213 0 72 0
[pid=16317] ppid=16316 vsize=138120 CPUtime=7.38 cores=1,3,5,7
/proc/16317/stat : 16317 (glucose) R 16316 15773 14220 0 -1 4202496 27204 0 0 0 733 5 0 0 20 0 1 0 384942334 141434880 32501 33554432000 4194304 5208918 140737280558176 140737280555848 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16317/statm: 34530 32501 95 248 0 34279 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 339620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1776.6 s]
/proc/loadavg: 2.03 1.99 1.99 3/183 16331
/proc/meminfo: memFree=29428784/32873648 swapFree=7112/7112
[pid=15773] ppid=15771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15773/stat : 15773 (npSolver-wbo-It) S 15771 15773 14220 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384770843 9367552 274 33554432000 4194304 5064252 140734256628048 140734256626960 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15773/statm: 2287 274 233 213 0 72 0
[pid=15774] ppid=15773 vsize=183204 CPUtime=1764.21 cores=1,3,5,7
/proc/15774/stat : 15774 (npSolver-wbo) S 15773 15773 14220 0 -1 4202496 539720 2612137 0 0 1289 238 173351 1543 20 0 1 0 384770844 187600896 37691 33554432000 4194304 6006132 140735778327600 140735778318960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 27 0 0
/proc/15774/statm: 45801 37691 177 443 0 45354 0
[pid=16330] ppid=15774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16330/stat : 16330 (satsolver.sh) S 15774 15773 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384947346 9367552 267 33554432000 4194304 5064252 140737094920752 140737094919664 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16330/statm: 2287 267 226 213 0 72 0
[pid=16331] ppid=16330 vsize=138248 CPUtime=11.56 cores=1,3,5,7
/proc/16331/stat : 16331 (glucose) R 16330 15773 14220 0 -1 4202496 26809 0 0 0 1150 6 0 0 20 0 1 0 384947346 141565952 32480 33554432000 4194304 5208918 140735288240688 140735288238632 4211641 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16331/statm: 34562 32480 95 248 0 34311 0
Current children cumulated CPU time (s) 1775.77
Current children cumulated vsize (KiB) 339748
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15773 and gives
# childrusage.ru_utime.tv_sec=1746
# childrusage.ru_utime.tv_usec=403506
# childrusage.ru_stime.tv_sec=17
# childrusage.ru_stime.tv_usec=830289
# CPU time returned by wait4() is 1764.23
# while last known CPU time is 1775.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 24.25
# lost CPU user time (s): 24.19
# lost CPU system time (s): 0.0599999
Real time (s): 1776.62
CPU time (s): 1800.02
CPU user time (s): 1782.09
CPU system time (s): 17.93
CPU usage (%): 101.317
Max. virtual memory (cumulated for all children) (KiB): 471576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.4
system time used= 17.8303
maximum resident set size= 274972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3152834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3971128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80192
involuntary context switches= 3482
runsolver used 3.45547 second user time and 8.77966 second system time
The end