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-3754446-1339204220/watcher-3754446-1339204220 -o /tmp/evaluation-result-3754446-1339204220/solver-3754446-1339204220 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754446-1339204220.wbo 737057955 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.00 2.22 2.34 3/181 31696
/proc/meminfo: memFree=26909492/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[startup+0.0385269 s]
/proc/loadavg: 2.00 2.22 2.34 3/181 31696
/proc/meminfo: memFree=26909492/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 2.00 2.22 2.34 3/181 31696
/proc/meminfo: memFree=26909492/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30016 s]
/proc/loadavg: 2.00 2.22 2.34 3/181 31696
/proc/meminfo: memFree=26909492/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70016 s]
/proc/loadavg: 2.00 2.22 2.34 3/181 31696
/proc/meminfo: memFree=26909492/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.22 2.34 3/185 31710
/proc/meminfo: memFree=26856376/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=0.2 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 5416 7015 0 0 12 2 5 1 20 0 1 0 386546366 18825216 4044 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4044 177 443 0 4149 0
[pid=31709] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31709/stat : 31709 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386546388 9367552 267 33554432000 4194304 5064252 140736999450528 140736999449440 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31709/statm: 2287 267 226 213 0 72 0
[pid=31710] ppid=31709 vsize=40960 CPUtime=1.26 cores=0,2,4,6
/proc/31710/stat : 31710 (glucose) R 31709 31696 26543 0 -1 4202496 8415 0 0 0 125 1 0 0 20 0 1 0 386546388 41943040 8593 33554432000 4194304 5208918 140734434327344 140734434325016 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31710/statm: 10240 8593 103 248 0 9989 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 77640
[startup+3.10035 s]
/proc/loadavg: 2.00 2.22 2.34 3/185 31710
/proc/meminfo: memFree=26853080/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=0.2 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 5416 7015 0 0 12 2 5 1 20 0 1 0 386546366 18825216 4044 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4044 177 443 0 4149 0
[pid=31709] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31709/stat : 31709 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386546388 9367552 267 33554432000 4194304 5064252 140736999450528 140736999449440 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31709/statm: 2287 267 226 213 0 72 0
[pid=31710] ppid=31709 vsize=43680 CPUtime=2.86 cores=0,2,4,6
/proc/31710/stat : 31710 (glucose) R 31709 31696 26543 0 -1 4202496 8649 0 0 0 285 1 0 0 20 0 1 0 386546388 44728320 8826 33554432000 4194304 5208918 140734434327344 140734434325496 4211558 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31710/statm: 10920 8826 103 248 0 10669 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 80360
[startup+6.30028 s]
/proc/loadavg: 2.00 2.22 2.34 3/185 31717
/proc/meminfo: memFree=26857756/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=4.92 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 7538 20769 0 0 16 3 459 14 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=31716] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386546860 9367552 267 33554432000 4194304 5064252 140734330062272 140734330061184 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 267 226 213 0 72 0
[pid=31717] ppid=31716 vsize=31048 CPUtime=1.34 cores=0,2,4,6
/proc/31717/stat : 31717 (glucose) R 31716 31696 26543 0 -1 4202496 5972 0 0 0 133 1 0 0 20 0 1 0 386546860 31793152 6306 33554432000 4194304 5208918 140734739624480 140734739622888 4211635 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31717/statm: 7762 6306 95 248 0 7511 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 67728
[startup+12.7003 s]
/proc/loadavg: 2.00 2.21 2.34 3/185 31717
/proc/meminfo: memFree=26851396/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=4.92 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 7538 20769 0 0 16 3 459 14 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=31716] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386546860 9367552 267 33554432000 4194304 5064252 140734330062272 140734330061184 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 267 226 213 0 72 0
[pid=31717] ppid=31716 vsize=31180 CPUtime=7.74 cores=0,2,4,6
/proc/31717/stat : 31717 (glucose) R 31716 31696 26543 0 -1 4202496 6044 0 0 0 773 1 0 0 20 0 1 0 386546860 31928320 6377 33554432000 4194304 5208918 140734739624480 140734739622152 4211632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31717/statm: 7795 6377 95 248 0 7544 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 67860
[startup+25.5004 s]
/proc/loadavg: 2.08 2.22 2.34 3/185 31717
/proc/meminfo: memFree=26836340/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=4.92 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 7538 20769 0 0 16 3 459 14 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=31716] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386546860 9367552 267 33554432000 4194304 5064252 140734330062272 140734330061184 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 267 226 213 0 72 0
[pid=31717] ppid=31716 vsize=31180 CPUtime=20.54 cores=0,2,4,6
/proc/31717/stat : 31717 (glucose) R 31716 31696 26543 0 -1 4202496 6207 0 0 0 2053 1 0 0 20 0 1 0 386546860 31928320 6540 33554432000 4194304 5208918 140734739624480 140734739622152 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31717/statm: 7795 6540 95 248 0 7544 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 67860
[startup+51.1003 s]
/proc/loadavg: 2.05 2.20 2.33 3/184 31717
/proc/meminfo: memFree=26804264/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=4.92 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 7538 20769 0 0 16 3 459 14 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=31716] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386546860 9367552 267 33554432000 4194304 5064252 140734330062272 140734330061184 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 267 226 213 0 72 0
[pid=31717] ppid=31716 vsize=34032 CPUtime=46.13 cores=0,2,4,6
/proc/31717/stat : 31717 (glucose) R 31716 31696 26543 0 -1 4202496 6544 0 0 0 4612 1 0 0 20 0 1 0 386546860 34848768 6875 33554432000 4194304 5208918 140734739624480 140734739622152 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31717/statm: 8508 6875 95 248 0 8257 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70712
[startup+102.307 s]
/proc/loadavg: 2.02 2.17 2.31 3/189 31725
/proc/meminfo: memFree=26877656/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=4.92 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 7538 20769 0 0 16 3 459 14 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=31716] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31716/stat : 31716 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386546860 9367552 267 33554432000 4194304 5064252 140734330062272 140734330061184 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31716/statm: 2287 267 226 213 0 72 0
[pid=31717] ppid=31716 vsize=34168 CPUtime=97.33 cores=0,2,4,6
/proc/31717/stat : 31717 (glucose) R 31716 31696 26543 0 -1 4202496 7681 0 0 0 9732 1 0 0 20 0 1 0 386546860 34988032 6981 33554432000 4194304 5208918 140734739624480 140734739622328 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31717/statm: 8542 6981 96 248 0 8291 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 70848
[startup+162.3 s]
/proc/loadavg: 2.62 2.31 2.35 3/189 932
/proc/meminfo: memFree=26625020/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=161.79 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 8730 33426 0 0 19 3 16132 25 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
Current children cumulated CPU time (s) 161.79
Current children cumulated vsize (KiB) 27532
[startup+222.3 s]
/proc/loadavg: 2.33 2.30 2.34 3/184 973
/proc/meminfo: memFree=26712628/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=161.79 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 8730 33426 0 0 19 3 16132 25 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=938] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386562549 9367552 267 33554432000 4194304 5064252 140735634266304 140735634265216 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/938/statm: 2287 267 226 213 0 72 0
[pid=939] ppid=938 vsize=18472 CPUtime=60.44 cores=0,2,4,6
/proc/939/stat : 939 (glucose) R 938 31696 26543 0 -1 4202496 4959 0 0 0 6044 0 0 0 20 0 1 0 386562549 18915328 3952 33554432000 4194304 5208918 140736641647280 140736641645432 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/939/statm: 4618 3952 96 248 0 4367 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 55152
[startup+282.3 s]
/proc/loadavg: 2.12 2.24 2.32 3/183 973
/proc/meminfo: memFree=26636876/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=161.79 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 8730 33426 0 0 19 3 16132 25 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=938] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386562549 9367552 267 33554432000 4194304 5064252 140735634266304 140735634265216 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/938/statm: 2287 267 226 213 0 72 0
[pid=939] ppid=938 vsize=21456 CPUtime=120.43 cores=0,2,4,6
/proc/939/stat : 939 (glucose) R 938 31696 26543 0 -1 4202496 5868 0 0 0 12042 1 0 0 20 0 1 0 386562549 21970944 4859 33554432000 4194304 5208918 140736641647280 140736641645128 4211518 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/939/statm: 5364 4859 96 248 0 5113 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 58136
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (287.66 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (287.66 s) to the 'lost time'.
[startup+288 s]
/proc/loadavg: 2.11 2.24 2.32 3/183 982
/proc/meminfo: memFree=26620328/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=6392 CPUtime=287.66 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 53433 56113 0 0 33 10 28684 39 20 0 1 0 386546366 6545408 1277 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 1598 1277 180 443 0 1151 0
Current children cumulated CPU time (s) 287.66
Current children cumulated vsize (KiB) 15540
[startup+288.1 s]
/proc/loadavg: 2.11 2.24 2.32 3/182 1000
/proc/meminfo: memFree=26659908/32873844 swapFree=7628/7628
[pid=31696] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/31696/stat : -- couldn't open stat file --/proc/31696/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+284.7 s]
/proc/loadavg: 2.12 2.24 2.32 3/183 973
/proc/meminfo: memFree=26632408/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=18384 CPUtime=161.79 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 8730 33426 0 0 19 3 16132 25 20 0 1 0 386546366 18825216 4137 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 4596 4137 179 443 0 4149 0
[pid=938] ppid=31697 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/938/stat : 938 (satsolver.sh) S 31697 31696 26543 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386562549 9367552 267 33554432000 4194304 5064252 140735634266304 140735634265216 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/938/statm: 2287 267 226 213 0 72 0
[pid=939] ppid=938 vsize=21456 CPUtime=122.83 cores=0,2,4,6
/proc/939/stat : 939 (glucose) R 938 31696 26543 0 -1 4202496 5916 0 0 0 12282 1 0 0 20 0 1 0 386562549 21970944 4907 33554432000 4194304 5208918 140736641647280 140736641645128 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/939/statm: 5364 4907 96 248 0 5113 0
Current children cumulated CPU time (s) 284.62
Current children cumulated vsize (KiB) 58136
[startup+286.3 s]
/proc/loadavg: 2.11 2.24 2.32 3/183 976
/proc/meminfo: memFree=26644300/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=31708 CPUtime=285.96 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 23607 43042 0 0 25 5 28536 30 20 0 1 0 386546366 32468992 7381 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 7927 7381 179 443 0 7480 0
Current children cumulated CPU time (s) 285.96
Current children cumulated vsize (KiB) 40856
[startup+287.107 s]
/proc/loadavg: 2.11 2.24 2.32 3/183 982
/proc/meminfo: memFree=26620328/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=31708 CPUtime=287.02 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 23614 47186 0 0 25 5 28640 32 20 0 1 0 386546366 32468992 7381 33554432000 4194304 6006132 140736733252032 140736733242928 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 7927 7381 179 443 0 7480 0
Current children cumulated CPU time (s) 287.02
Current children cumulated vsize (KiB) 40856
[startup+287.9 s]
/proc/loadavg: 2.11 2.24 2.32 3/183 982
/proc/meminfo: memFree=26620328/32873844 swapFree=7628/7628
[pid=31696] ppid=31694 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31696/stat : 31696 (npSolver-wbo-I.) S 31694 31696 26543 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386546366 9367552 274 33554432000 4194304 5064252 140734889876752 140734889875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31696/statm: 2287 274 233 213 0 72 0
[pid=31697] ppid=31696 vsize=6392 CPUtime=287.66 cores=0,2,4,6
/proc/31697/stat : 31697 (npSolver-wbo) S 31696 31696 26543 0 -1 4202496 53433 56113 0 0 33 10 28684 39 20 0 1 0 386546366 6545408 1277 33554432000 4194304 6006132 140736733252032 140736733243440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31697/statm: 1598 1277 180 443 0 1151 0
Current children cumulated CPU time (s) 287.66
Current children cumulated vsize (KiB) 15540
[startup+288.1 s]
/proc/loadavg: 2.11 2.24 2.32 3/182 1000
/proc/meminfo: memFree=26659908/32873844 swapFree=7628/7628
[pid=31696] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/31696/stat : -- couldn't open stat file --/proc/31696/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31696 and gives
# childrusage.ru_utime.tv_sec=287
# childrusage.ru_utime.tv_usec=538287
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=512922
# CPU time returned by wait4() is 288.051
# while last known CPU time is 0
#
# 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): 287.66
# lost CPU user time (s): 287.17
# lost CPU system time (s): 0.49
Real time (s): 288.106
CPU time (s): 287.66
CPU user time (s): 287.17
CPU system time (s): 0.49
CPU usage (%): 99.8454
Max. virtual memory (cumulated for all children) (KiB): 96196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 287.538
system time used= 0.512922
maximum resident set size= 123124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 697
involuntary context switches= 472
runsolver used 0.460929 second user time and 1.21981 second system time
The end