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-3754696-1339194961/watcher-3754696-1339194961 -o /tmp/evaluation-result-3754696-1339194961/solver-3754696-1339194961 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754696-1339194961.wbo 2144276614 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 2.00 3/179 10215
/proc/meminfo: memFree=29902552/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[startup+0.0741859 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10215
/proc/meminfo: memFree=29902552/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.244866 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10215
/proc/meminfo: memFree=29902552/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300316 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10215
/proc/meminfo: memFree=29902552/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10215
/proc/meminfo: memFree=29902552/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10229
/proc/meminfo: memFree=29777356/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=92300 CPUtime=0.87 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 8628 7098 0 0 62 11 12 2 20 0 1 0 385620470 94515200 15920 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 23075 15920 179 443 0 22628 0
[pid=10228] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10228/stat : 10228 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385620571 9367552 267 33554432000 4194304 5064252 140736762880704 140736762879616 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10228/statm: 2287 267 226 213 0 72 0
[pid=10229] ppid=10228 vsize=134700 CPUtime=0.48 cores=1,3,5,7
/proc/10229/stat : 10229 (glucose) R 10228 10215 24896 0 -1 4202496 20333 0 0 0 43 5 0 0 20 0 1 0 385620571 137932800 25807 33554432000 4194304 5208918 140737127646496 140736762879640 4206114 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10229/statm: 33675 25807 91 248 0 33424 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 245296
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10229
/proc/meminfo: memFree=29700364/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=92300 CPUtime=0.87 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 8628 7098 0 0 62 11 12 2 20 0 1 0 385620470 94515200 15920 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 23075 15920 179 443 0 22628 0
[pid=10228] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10228/stat : 10228 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385620571 9367552 267 33554432000 4194304 5064252 140736762880704 140736762879616 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10228/statm: 2287 267 226 213 0 72 0
[pid=10229] ppid=10228 vsize=120288 CPUtime=2.08 cores=1,3,5,7
/proc/10229/stat : 10229 (glucose) R 10228 10215 24896 0 -1 4202496 22175 0 0 0 202 6 0 0 20 0 1 0 385620571 123174912 24770 33554432000 4194304 5208918 140737127646496 140737127644344 4211605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10229/statm: 30072 24770 104 248 0 29821 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 230884
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 10229
/proc/meminfo: memFree=29697828/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=92300 CPUtime=0.87 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 8628 7098 0 0 62 11 12 2 20 0 1 0 385620470 94515200 15920 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 23075 15920 179 443 0 22628 0
[pid=10228] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10228/stat : 10228 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385620571 9367552 267 33554432000 4194304 5064252 140736762880704 140736762879616 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10228/statm: 2287 267 226 213 0 72 0
[pid=10229] ppid=10228 vsize=120460 CPUtime=5.28 cores=1,3,5,7
/proc/10229/stat : 10229 (glucose) R 10228 10215 24896 0 -1 4202496 22222 0 0 0 522 6 0 0 20 0 1 0 385620571 123351040 25328 33554432000 4194304 5208918 140737127646496 140737127644456 4211659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10229/statm: 30115 25328 104 248 0 29864 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 231056
[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 10230
/proc/meminfo: memFree=29694532/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=92300 CPUtime=0.87 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 8628 7098 0 0 62 11 12 2 20 0 1 0 385620470 94515200 15920 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 23075 15920 179 443 0 22628 0
[pid=10228] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10228/stat : 10228 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385620571 9367552 267 33554432000 4194304 5064252 140736762880704 140736762879616 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10228/statm: 2287 267 226 213 0 72 0
[pid=10229] ppid=10228 vsize=122100 CPUtime=11.68 cores=1,3,5,7
/proc/10229/stat : 10229 (glucose) R 10228 10215 24896 0 -1 4202496 22618 0 0 0 1162 6 0 0 20 0 1 0 385620571 125030400 26235 33554432000 4194304 5208918 140737127646496 140737127644168 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10229/statm: 30525 26235 104 248 0 30274 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 232696
[startup+25.5005 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 10230
/proc/meminfo: memFree=29693416/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=92300 CPUtime=0.87 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 8628 7098 0 0 62 11 12 2 20 0 1 0 385620470 94515200 15920 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 23075 15920 179 443 0 22628 0
[pid=10228] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10228/stat : 10228 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385620571 9367552 267 33554432000 4194304 5064252 140736762880704 140736762879616 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10228/statm: 2287 267 226 213 0 72 0
[pid=10229] ppid=10228 vsize=122920 CPUtime=24.48 cores=1,3,5,7
/proc/10229/stat : 10229 (glucose) R 10228 10215 24896 0 -1 4202496 22816 0 0 0 2442 6 0 0 20 0 1 0 385620571 125870080 26433 33554432000 4194304 5208918 140737127646496 140737127644456 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10229/statm: 30730 26433 104 248 0 30479 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 233516
[startup+51.1005 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 10230
/proc/meminfo: memFree=29690796/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=92300 CPUtime=0.87 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 8628 7098 0 0 62 11 12 2 20 0 1 0 385620470 94515200 15920 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 23075 15920 179 443 0 22628 0
[pid=10228] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10228/stat : 10228 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385620571 9367552 267 33554432000 4194304 5064252 140736762880704 140736762879616 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10228/statm: 2287 267 226 213 0 72 0
[pid=10229] ppid=10228 vsize=123448 CPUtime=50.08 cores=1,3,5,7
/proc/10229/stat : 10229 (glucose) R 10228 10215 24896 0 -1 4202496 22973 0 0 0 5001 7 0 0 20 0 1 0 385620571 126410752 27101 33554432000 4194304 5208918 140737127646496 140737127644344 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10229/statm: 30862 27101 104 248 0 30611 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 234044
[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 10230
/proc/meminfo: memFree=29685240/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=92300 CPUtime=0.87 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 8628 7098 0 0 62 11 12 2 20 0 1 0 385620470 94515200 15920 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 23075 15920 179 443 0 22628 0
[pid=10228] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10228/stat : 10228 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385620571 9367552 267 33554432000 4194304 5064252 140736762880704 140736762879616 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10228/statm: 2287 267 226 213 0 72 0
[pid=10229] ppid=10228 vsize=124456 CPUtime=101.27 cores=1,3,5,7
/proc/10229/stat : 10229 (glucose) R 10228 10215 24896 0 -1 4202496 23214 0 0 0 10120 7 0 0 20 0 1 0 385620571 127442944 27342 33554432000 4194304 5208918 140737127646496 140737127644248 4211027 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10229/statm: 31114 27342 105 248 0 30863 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 235052
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 10244
/proc/meminfo: memFree=29745804/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42536 CPUtime=151.7 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 18576 61388 0 0 159 26 14937 48 20 0 1 0 385620470 43556864 9657 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10634 9657 180 443 0 10187 0
[pid=10243] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+219.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10272
/proc/meminfo: memFree=29843612/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42532 CPUtime=219.02 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 31589 147102 0 0 253 37 21501 111 20 0 1 0 385620470 43552768 10172 33554432000 4194304 6006132 140736947467168 140736947458064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10633 10172 181 443 0 10186 0
Current children cumulated CPU time (s) 219.02
Current children cumulated vsize (KiB) 51680
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+179.401 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 10244
/proc/meminfo: memFree=29742876/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42536 CPUtime=151.7 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 18576 61388 0 0 159 26 14937 48 20 0 1 0 385620470 43556864 9657 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10634 9657 180 443 0 10187 0
[pid=10243] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10243/stat : 10243 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385635656 9367552 265 33554432000 4194304 5064252 140733764608832 140733764607744 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10243/statm: 2287 265 226 213 0 72 0
[pid=10244] ppid=10243 vsize=99140 CPUtime=27.52 cores=1,3,5,7
/proc/10244/stat : 10244 (glucose) R 10243 10215 24896 0 -1 4202496 19427 0 0 0 2746 6 0 0 20 0 1 0 385635656 101519360 20541 33554432000 4194304 5208918 140736237366240 140736237364088 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10244/statm: 24785 20541 103 248 0 24534 0
Current children cumulated CPU time (s) 179.22
Current children cumulated vsize (KiB) 159972
[startup+205 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 10251
/proc/meminfo: memFree=29728356/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=75300 CPUtime=191.36 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 22438 85573 0 0 199 31 18838 68 20 0 1 0 385620470 77107200 16841 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 18825 16841 180 443 0 18378 0
[pid=10250] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10250/stat : 10250 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385639622 9367552 267 33554432000 4194304 5064252 140735245002032 140735245000944 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10250/statm: 2287 267 226 213 0 72 0
[pid=10251] ppid=10250 vsize=80616 CPUtime=13.46 cores=1,3,5,7
/proc/10251/stat : 10251 (glucose) R 10250 10215 24896 0 -1 4202496 17648 0 0 0 1342 4 0 0 20 0 1 0 385639623 82550784 17981 33554432000 4194304 5208918 140733699373376 140733699371224 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10251/statm: 20154 17981 104 248 0 19903 0
Current children cumulated CPU time (s) 204.82
Current children cumulated vsize (KiB) 174212
[startup+211.4 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 10258
/proc/meminfo: memFree=29741740/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=75300 CPUtime=207.42 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 26143 108361 0 0 233 35 20389 85 20 0 1 0 385620470 77107200 15817 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 18825 15817 180 443 0 18378 0
[pid=10257] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10257/stat : 10257 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385641230 9367552 266 33554432000 4194304 5064252 140735688668064 140735688666976 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10257/statm: 2287 266 226 213 0 72 0
[pid=10258] ppid=10257 vsize=76368 CPUtime=3.8 cores=1,3,5,7
/proc/10258/stat : 10258 (glucose) R 10257 10215 24896 0 -1 4202496 14633 0 0 0 376 4 0 0 20 0 1 0 385641230 78200832 16558 33554432000 4194304 5208918 140735391544752 140735391542504 4229483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10258/statm: 19092 16558 104 248 0 18841 0
Current children cumulated CPU time (s) 211.22
Current children cumulated vsize (KiB) 169964
[startup+214.601 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 10258
/proc/meminfo: memFree=29741492/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=75300 CPUtime=207.42 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 26143 108361 0 0 233 35 20389 85 20 0 1 0 385620470 77107200 15817 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 18825 15817 180 443 0 18378 0
[pid=10257] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10257/stat : 10257 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385641230 9367552 266 33554432000 4194304 5064252 140735688668064 140735688666976 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10257/statm: 2287 266 226 213 0 72 0
[pid=10258] ppid=10257 vsize=76368 CPUtime=6.99 cores=1,3,5,7
/proc/10258/stat : 10258 (glucose) R 10257 10215 24896 0 -1 4202496 14695 0 0 0 695 4 0 0 20 0 1 0 385641230 78200832 16620 33554432000 4194304 5208918 140735391544752 140735391542584 4211042 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10258/statm: 19092 16620 104 248 0 18841 0
Current children cumulated CPU time (s) 214.41
Current children cumulated vsize (KiB) 169964
[startup+217.8 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10261
/proc/meminfo: memFree=29799912/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42532 CPUtime=217.08 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 29511 127837 0 0 249 37 21321 101 20 0 1 0 385620470 43552768 10171 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10633 10171 180 443 0 10186 0
Current children cumulated CPU time (s) 217.08
Current children cumulated vsize (KiB) 51680
[startup+218.6 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10265
/proc/meminfo: memFree=29810484/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42532 CPUtime=217.08 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 29511 127837 0 0 249 37 21321 101 20 0 1 0 385620470 43552768 10171 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10633 10171 180 443 0 10186 0
[pid=10264] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10264/stat : 10264 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385642196 9367552 267 33554432000 4194304 5064252 140736550372432 140736550371344 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10264/statm: 2287 267 226 213 0 72 0
[pid=10265] ppid=10264 vsize=35632 CPUtime=1.33 cores=1,3,5,7
/proc/10265/stat : 10265 (glucose) R 10264 10215 24896 0 -1 4202496 8806 0 0 0 131 2 0 0 20 0 1 0 385642196 36487168 8020 33554432000 4194304 5208918 140734939156400 140734939154152 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10265/statm: 8908 8020 96 248 0 8657 0
Current children cumulated CPU time (s) 218.41
Current children cumulated vsize (KiB) 96460
[startup+219 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10265
/proc/meminfo: memFree=29810484/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42532 CPUtime=218.74 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 29519 137285 0 0 249 37 21484 104 20 0 1 0 385620470 43552768 10171 33554432000 4194304 6006132 140736947467168 140736947458064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10633 10171 180 443 0 10186 0
Current children cumulated CPU time (s) 218.74
Current children cumulated vsize (KiB) 51680
[startup+219.207 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10272
/proc/meminfo: memFree=29843612/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42532 CPUtime=218.91 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 31581 140752 0 0 253 37 21491 110 20 0 1 0 385620470 43552768 10172 33554432000 4194304 6006132 140736947467168 140736947458576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10633 10172 181 443 0 10186 0
[pid=10271] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10271/stat : 10271 (satsolver.sh) S 10216 10215 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385642379 9367552 267 33554432000 4194304 5064252 140737163098384 140737163097296 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10271/statm: 2287 267 226 213 0 72 0
[pid=10272] ppid=10271 vsize=0 CPUtime=0.11 cores=1,3,5,7
/proc/10272/stat : 10272 (glucose) R 10271 10215 24896 0 -1 4202500 5744 0 0 0 10 1 0 0 20 0 1 0 385642379 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10272/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 219.02
Current children cumulated vsize (KiB) 60828
[startup+219.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10272
/proc/meminfo: memFree=29843612/32873844 swapFree=7644/7644
[pid=10215] ppid=10213 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10215/stat : 10215 (npSolver-wbo.sh) S 10213 10215 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385620470 9367552 274 33554432000 4194304 5064252 140734122814656 140734122813568 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10215/statm: 2287 274 233 213 0 72 0
[pid=10216] ppid=10215 vsize=42532 CPUtime=219.02 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-wbo) S 10215 10215 24896 0 -1 4202496 31589 147102 0 0 253 37 21501 111 20 0 1 0 385620470 43552768 10172 33554432000 4194304 6006132 140736947467168 140736947458064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/10216/statm: 10633 10172 181 443 0 10186 0
Current children cumulated CPU time (s) 219.02
Current children cumulated vsize (KiB) 51680
Child status: 0
# 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): 1.52588e-05
# lost CPU user time (s): 1.52588e-05
# lost CPU system time (s): 0
Real time (s): 219.39
CPU time (s): 219.238
CPU user time (s): 217.669
CPU system time (s): 1.56876
CPU usage (%): 99.9304
Max. virtual memory (cumulated for all children) (KiB): 245296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.669
system time used= 1.56876
maximum resident set size= 125940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188046
page faults= 0
swaps= 0
block input operations= 0
block output operations= 347952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1975
involuntary context switches= 322
runsolver used 0.501923 second user time and 1.42478 second system time
The end