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-3752655-1339186425/watcher-3752655-1339186425 -o /tmp/evaluation-result-3752655-1339186425/solver-3752655-1339186425 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752655-1339186425.wbo 1623145982 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.89 2/174 12201
/proc/meminfo: memFree=29254900/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[startup+0.029246 s]
/proc/loadavg: 2.00 2.00 1.89 2/174 12201
/proc/meminfo: memFree=29254900/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100286 s]
/proc/loadavg: 2.00 2.00 1.89 2/174 12201
/proc/meminfo: memFree=29254900/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30029 s]
/proc/loadavg: 2.00 2.00 1.89 2/174 12201
/proc/meminfo: memFree=29254900/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 1.89 2/174 12201
/proc/meminfo: memFree=29254900/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.89 2/176 12203
/proc/meminfo: memFree=29121976/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=183772 CPUtime=1.49 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) R 12201 12201 10289 0 -1 4202496 22201 0 0 0 142 7 0 0 20 0 1 0 384768605 188182528 38621 33554432000 4194304 6006132 140733430710752 140733430705816 4721251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 45943 38621 151 443 0 45496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 192920
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.89 3/174 12226
/proc/meminfo: memFree=30880436/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=183772 CPUtime=3.04 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 22209 0 0 0 274 30 0 0 20 0 1 0 384768605 188182528 38628 33554432000 4194304 6006132 140733430710752 140733430703856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 45943 38628 158 443 0 45496 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 192920
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.89 3/183 12246
/proc/meminfo: memFree=30633240/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=183772 CPUtime=3.04 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 22209 0 0 0 274 30 0 0 20 0 1 0 384768605 188182528 38628 33554432000 4194304 6006132 140733430710752 140733430703856 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 45943 38628 158 443 0 45496 0
[pid=12243] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12243/stat : 12243 (cp2_pre.sh) S 12202 12201 10289 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 384768909 9367552 277 33554432000 4194304 5064252 140734426664608 140734426663312 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12243/statm: 2287 277 234 213 0 72 0
[pid=12244] ppid=12243 vsize=271520 CPUtime=3.24 cores=1,3,5,7
/proc/12244/stat : 12244 (coprocessor) R 12243 12201 10289 0 -1 4202496 37113 0 0 0 316 8 0 0 20 0 1 0 384768910 278036480 66192 33554432000 4194304 6586260 140735634037600 140735634032920 5599564 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/12244/statm: 67880 66192 191 584 0 67292 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 473588
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.89 3/181 12254
/proc/meminfo: memFree=30700528/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=395048 CPUtime=12.68 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) R 12201 12201 10289 0 -1 4202496 53945 66652 0 0 437 115 692 24 20 0 1 0 384768605 404529152 79842 33554432000 4194304 6006132 140733430710752 140733430703096 4535968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 98762 79842 192 443 0 98315 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 404196
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 12262
/proc/meminfo: memFree=29071992/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=1312552 CPUtime=25.48 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) R 12201 12201 10289 0 -1 4202496 56394 66652 0 0 1684 148 692 24 20 0 1 0 384768605 1344053248 319458 33554432000 4194304 6006132 140733430710752 140733430703096 4535954 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 328138 319458 192 443 0 327691 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1321700
[startup+51.1005 s]
/proc/loadavg: 2.44 2.10 1.93 3/183 12266
/proc/meminfo: memFree=22376364/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=21.06 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303850 0 0 0 1966 140 0 0 20 0 1 0 384771607 2856341504 615225 33554432000 4194304 5208918 140736463511760 140736463509720 4232845 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615225 96 248 0 697098 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 5072236
[startup+102.3 s]
/proc/loadavg: 2.64 2.23 1.98 3/183 12266
/proc/meminfo: memFree=22442332/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=72.26 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303858 0 0 0 7086 140 0 0 20 0 1 0 384771607 2856341504 615233 33554432000 4194304 5208918 140736463511760 140736463509720 4229512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615233 104 248 0 697098 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 5072236
[startup+162.3 s]
/proc/loadavg: 2.23 2.18 1.98 3/183 12267
/proc/meminfo: memFree=22437864/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=132.25 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303860 0 0 0 13085 140 0 0 20 0 1 0 384771607 2856341504 615746 33554432000 4194304 5208918 140736463511760 140736463509720 4210927 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615746 105 248 0 697098 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 5072236
[startup+222.301 s]
/proc/loadavg: 2.08 2.15 1.98 3/183 12267
/proc/meminfo: memFree=22439600/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=192.24 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303860 0 0 0 19084 140 0 0 20 0 1 0 384771607 2856341504 615746 33554432000 4194304 5208918 140736463511760 140736463509720 4211094 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615746 105 248 0 697098 0
Current children cumulated CPU time (s) 222.24
################
# More data... #
################
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 5072236
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 12278
/proc/meminfo: memFree=22439476/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1452.05 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 145065 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 5072236
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12278
/proc/meminfo: memFree=22439476/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1512.04 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 151064 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 5072236
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 12281
/proc/meminfo: memFree=22439220/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1572.03 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 157063 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 5072236
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12282
/proc/meminfo: memFree=22439352/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1632.02 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 163062 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 5072236
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12282
/proc/meminfo: memFree=22439476/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1692.01 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 169061 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229471 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 5072236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12282
/proc/meminfo: memFree=22439352/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1752 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 175060 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 5072236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12282
/proc/meminfo: memFree=22439600/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1770 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 176860 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 5072236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12282
/proc/meminfo: memFree=22439600/32873844 swapFree=7380/7380
[pid=12201] ppid=12199 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12201/stat : 12201 (npSolver-wbo-It) S 12199 12201 10289 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384768604 9367552 274 33554432000 4194304 5064252 140735449181280 140735449180192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12201/statm: 2287 274 233 213 0 72 0
[pid=12202] ppid=12201 vsize=2264544 CPUtime=30 cores=1,3,5,7
/proc/12202/stat : 12202 (npSolver-wbo) S 12201 12201 10289 0 -1 4202496 58591 66652 0 0 1936 348 692 24 20 0 1 0 384768605 2318893056 327568 33554432000 4194304 6006132 140733430710752 140733430702144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12202/statm: 566136 327568 192 443 0 565689 0
[pid=12265] ppid=12202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12265/stat : 12265 (satsolver.sh) S 12202 12201 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384771606 9367552 267 33554432000 4194304 5064252 140736549724144 140736549723056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12265/statm: 2287 267 226 213 0 72 0
[pid=12266] ppid=12265 vsize=2789396 CPUtime=1770 cores=1,3,5,7
/proc/12266/stat : 12266 (glucose) R 12265 12201 10289 0 -1 4202496 303940 0 0 0 176860 140 0 0 20 0 1 0 384771607 2856341504 615826 33554432000 4194304 5208918 140736463511760 140736463508136 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12266/statm: 697349 615826 105 248 0 697098 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 5072236
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12201 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.32
CPU time (s): 1800
CPU user time (s): 1794.88
CPU system time (s): 5.12
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 5943748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.50232 second user time and 11.9032 second system time
The end