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-3754828-1339203629/watcher-3754828-1339203629 -o /tmp/evaluation-result-3754828-1339203629/solver-3754828-1339203629 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754828-1339203629.wbo 1735385973 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: 4.81 3.29 2.49 3/180 30201
/proc/meminfo: memFree=25729376/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[startup+0.088732 s]
/proc/loadavg: 4.81 3.29 2.49 3/180 30201
/proc/meminfo: memFree=25729376/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.102189 s]
/proc/loadavg: 4.81 3.29 2.49 3/180 30201
/proc/meminfo: memFree=25729376/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.602259 s]
/proc/loadavg: 4.81 3.29 2.49 3/180 30201
/proc/meminfo: memFree=25729376/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.702347 s]
/proc/loadavg: 4.81 3.29 2.49 3/180 30201
/proc/meminfo: memFree=25729376/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+4.68182 s]
/proc/loadavg: 4.81 3.29 2.49 3/180 30201
/proc/meminfo: memFree=25729376/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
heavy processes:
[startup+5.51386 s]
/proc/loadavg: 4.58 3.27 2.48 4/184 30215
/proc/meminfo: memFree=25538364/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=90340 CPUtime=0.74 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 7294 5728 0 0 58 9 3 4 20 0 1 0 386491502 92508160 15530 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 22585 15530 178 443 0 22138 0
[pid=30214] ppid=30202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30214/stat : 30214 (satsolver.sh) S 30202 30201 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386491575 9367552 267 33554432000 4194304 5064252 140735921952976 140735921951888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30214/statm: 2287 267 226 213 0 72 0
[pid=30215] ppid=30214 vsize=106548 CPUtime=4.76 cores=0,2,4,6
/proc/30215/stat : 30215 (glucose) R 30214 30201 23680 0 -1 4202496 21138 0 0 0 471 5 0 0 20 0 1 0 386491575 109105152 23037 33554432000 4194304 5208918 140735220142928 140735220140888 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30215/statm: 26637 23037 105 248 0 26386 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 215184
[startup+11.0641 s]
/proc/loadavg: 4.58 3.27 2.48 4/184 30215
/proc/meminfo: memFree=25538364/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=90340 CPUtime=0.74 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 7294 5728 0 0 58 9 3 4 20 0 1 0 386491502 92508160 15530 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 22585 15530 178 443 0 22138 0
[pid=30214] ppid=30202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30214/stat : 30214 (satsolver.sh) S 30202 30201 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386491575 9367552 267 33554432000 4194304 5064252 140735921952976 140735921951888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30214/statm: 2287 267 226 213 0 72 0
[pid=30215] ppid=30214 vsize=106548 CPUtime=10.31 cores=0,2,4,6
/proc/30215/stat : 30215 (glucose) R 30214 30201 23680 0 -1 4202496 21138 0 0 0 1026 5 0 0 20 0 1 0 386491575 109105152 23037 33554432000 4194304 5208918 140735220142928 140735220140888 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30215/statm: 26637 23037 105 248 0 26386 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 215184
[startup+17.2962 s]
/proc/loadavg: 4.38 3.25 2.48 3/184 30215
/proc/meminfo: memFree=25540584/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=90340 CPUtime=0.74 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 7294 5728 0 0 58 9 3 4 20 0 1 0 386491502 92508160 15530 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 22585 15530 178 443 0 22138 0
[pid=30214] ppid=30202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30214/stat : 30214 (satsolver.sh) S 30202 30201 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386491575 9367552 267 33554432000 4194304 5064252 140735921952976 140735921951888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30214/statm: 2287 267 226 213 0 72 0
[pid=30215] ppid=30214 vsize=106548 CPUtime=16.55 cores=0,2,4,6
/proc/30215/stat : 30215 (glucose) R 30214 30201 23680 0 -1 4202496 21158 0 0 0 1650 5 0 0 20 0 1 0 386491575 109105152 23057 33554432000 4194304 5208918 140735220142928 140735220140888 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30215/statm: 26637 23057 105 248 0 26386 0
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (KiB) 215184
[startup+31.7112 s]
/proc/loadavg: 4.38 3.25 2.48 3/184 30215
/proc/meminfo: memFree=25540584/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=90340 CPUtime=0.74 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 7294 5728 0 0 58 9 3 4 20 0 1 0 386491502 92508160 15530 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 22585 15530 178 443 0 22138 0
[pid=30214] ppid=30202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30214/stat : 30214 (satsolver.sh) S 30202 30201 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386491575 9367552 267 33554432000 4194304 5064252 140735921952976 140735921951888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30214/statm: 2287 267 226 213 0 72 0
[pid=30215] ppid=30214 vsize=107864 CPUtime=30.96 cores=0,2,4,6
/proc/30215/stat : 30215 (glucose) R 30214 30201 23680 0 -1 4202496 21507 0 0 0 3091 5 0 0 20 0 1 0 386491575 110452736 23406 33554432000 4194304 5208918 140735220142928 140735220140776 4210976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30215/statm: 26966 23406 105 248 0 26715 0
Current children cumulated CPU time (s) 31.7
Current children cumulated vsize (KiB) 216500
[startup+51.2493 s]
/proc/loadavg: 3.32 3.11 2.46 3/185 30237
/proc/meminfo: memFree=25536748/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=90340 CPUtime=0.74 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 7294 5728 0 0 58 9 3 4 20 0 1 0 386491502 92508160 15530 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 22585 15530 178 443 0 22138 0
[pid=30214] ppid=30202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30214/stat : 30214 (satsolver.sh) S 30202 30201 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386491575 9367552 267 33554432000 4194304 5064252 140735921952976 140735921951888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30214/statm: 2287 267 226 213 0 72 0
[pid=30215] ppid=30214 vsize=109272 CPUtime=50.49 cores=0,2,4,6
/proc/30215/stat : 30215 (glucose) R 30214 30201 23680 0 -1 4202496 21864 0 0 0 5044 5 0 0 20 0 1 0 386491575 111894528 24274 33554432000 4194304 5208918 140735220142928 140735220140888 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30215/statm: 27318 24274 105 248 0 27067 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 217908
Solver just ended. Dumping a history of the last processes samples
[startup+55.9042 s]
/proc/loadavg: 3.22 3.09 2.46 3/185 30237
/proc/meminfo: memFree=25536260/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=90340 CPUtime=0.74 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 7294 5728 0 0 58 9 3 4 20 0 1 0 386491502 92508160 15530 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 22585 15530 178 443 0 22138 0
[pid=30214] ppid=30202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30214/stat : 30214 (satsolver.sh) S 30202 30201 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386491575 9367552 267 33554432000 4194304 5064252 140735921952976 140735921951888 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30214/statm: 2287 267 226 213 0 72 0
[pid=30215] ppid=30214 vsize=109432 CPUtime=55.14 cores=0,2,4,6
/proc/30215/stat : 30215 (glucose) R 30214 30201 23680 0 -1 4202496 21972 0 0 0 5509 5 0 0 20 0 1 0 386491575 112058368 24381 33554432000 4194304 5208918 140735220142928 140735220140600 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30215/statm: 27358 24381 105 248 0 27107 0
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (KiB) 218068
[startup+76.8471 s]
/proc/loadavg: 2.80 3.00 2.44 3/185 30244
/proc/meminfo: memFree=25578980/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=40816 CPUtime=65.61 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 12006 33405 0 0 107 15 6406 33 20 0 1 0 386491502 41795584 9837 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 10204 9837 178 443 0 9757 0
[pid=30243] ppid=30202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30243/stat : 30243 (satsolver.sh) S 30202 30201 23680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386498059 9367552 267 33554432000 4194304 5064252 140735107705536 140735107704448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30243/statm: 2287 267 226 213 0 72 0
[pid=30244] ppid=30243 vsize=95400 CPUtime=11.27 cores=0,2,4,6
/proc/30244/stat : 30244 (glucose) R 30243 30201 23680 0 -1 4202496 20555 0 0 0 1122 5 0 0 20 0 1 0 386498059 97689600 20475 33554432000 4194304 5208918 140735034740352 140735034738184 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30244/statm: 23850 20475 105 248 0 23599 0
Current children cumulated CPU time (s) 76.88
Current children cumulated vsize (KiB) 154512
[startup+81.6067 s]
/proc/loadavg: 2.74 2.98 2.44 3/185 30247
/proc/meminfo: memFree=25652428/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=40816 CPUtime=81.33 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 12012 54710 0 0 107 15 7972 39 20 0 1 0 386491502 41795584 9837 33554432000 4194304 6006132 140733567326208 140733567317104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 10204 9837 178 443 0 9757 0
[pid=30245] ppid=30202 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/30245/stat : 30245 (cp2_post.sh) S 30202 30201 23680 0 -1 4202496 612 225 0 0 0 0 0 2 20 0 1 0 386499631 9367552 266 33554432000 4194304 5064252 140735128028432 140735128026720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30245/statm: 2287 266 225 213 0 72 0
[pid=30247] ppid=30245 vsize=10384 CPUtime=0.29 cores=0,2,4,6
/proc/30247/stat : 30247 (coprocessor) R 30245 30201 23680 0 -1 4202496 2760 0 0 0 17 12 0 0 20 0 1 0 386499631 10633216 1852 33554432000 4194304 6586260 140733583348144 140733583344712 5482459 0 0 4096 8404994 0 0 0 17 6 0 0 0 0 0
/proc/30247/statm: 2596 1852 148 584 0 2008 0
Current children cumulated CPU time (s) 81.64
Current children cumulated vsize (KiB) 69496
[startup+85.5011 s]
/proc/loadavg: 2.68 2.97 2.44 3/184 30294
/proc/meminfo: memFree=25725028/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=8364 CPUtime=85.74 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 23057 112562 0 0 133 20 8329 92 20 0 1 0 386491502 8564736 1671 33554432000 4194304 6006132 140733567326208 140733567317104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 2091 1671 178 443 0 1644 0
Current children cumulated CPU time (s) 85.74
Current children cumulated vsize (KiB) 17512
[startup+89.2032 s]
/proc/loadavg: 2.62 2.95 2.44 4/184 30334
/proc/meminfo: memFree=25724740/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=8364 CPUtime=89.16 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 27415 134332 0 0 143 22 8646 105 20 0 1 0 386491502 8564736 1671 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30202/statm: 2091 1671 178 443 0 1644 0
Current children cumulated CPU time (s) 89.16
Current children cumulated vsize (KiB) 17512
[startup+89.7038 s]
/proc/loadavg: 2.62 2.95 2.44 4/184 30334
/proc/meminfo: memFree=25724740/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=8364 CPUtime=90.06 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 29641 145888 0 0 148 23 8721 114 20 0 1 0 386491502 8564736 1671 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30202/statm: 2091 1671 178 443 0 1644 0
Current children cumulated CPU time (s) 90.06
Current children cumulated vsize (KiB) 17512
[startup+91.3028 s]
/proc/loadavg: 2.62 2.95 2.44 4/184 30334
/proc/meminfo: memFree=25724740/32873844 swapFree=7372/7372
[pid=30201] ppid=30199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30201/stat : 30201 (npSolver-wbo.sh) S 30199 30201 23680 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386491502 9367552 274 33554432000 4194304 5064252 140734850764880 140734850763792 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30201/statm: 2287 274 233 213 0 72 0
[pid=30202] ppid=30201 vsize=8364 CPUtime=90.06 cores=0,2,4,6
/proc/30202/stat : 30202 (npSolver-wbo) S 30201 30201 23680 0 -1 4202496 29641 145888 0 0 148 23 8721 114 20 0 1 0 386491502 8564736 1671 33554432000 4194304 6006132 140733567326208 140733567317616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30202/statm: 2091 1671 178 443 0 1644 0
Current children cumulated CPU time (s) 90.06
Current children cumulated vsize (KiB) 17512
Child status: 0
Real time (s): 91.3153
CPU time (s): 91.7201
CPU user time (s): 90.2973
CPU system time (s): 1.42278
CPU usage (%): 100.443
Max. virtual memory (cumulated for all children) (KiB): 230708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.2973
system time used= 1.42278
maximum resident set size= 121964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 203544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1111
involuntary context switches= 355
runsolver used 0.031995 second user time and 0.12898 second system time
The end