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-3754988-1339188836/watcher-3754988-1339188836 -o /tmp/evaluation-result-3754988-1339188836/solver-3754988-1339188836 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754988-1339188836.wbo 635562962 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.01 1.96 3/179 28200
/proc/meminfo: memFree=29582876/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[startup+0.095522 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 28200
/proc/meminfo: memFree=29582876/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100292 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 28200
/proc/meminfo: memFree=29582876/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300278 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 28200
/proc/meminfo: memFree=29582876/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700245 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 28200
/proc/meminfo: memFree=29582876/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 28214
/proc/meminfo: memFree=29539352/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20756 CPUtime=0.24 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 3961 6471 0 0 13 2 8 1 20 0 1 0 385012129 21254144 4617 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5189 4617 179 443 0 4742 0
[pid=28213] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28213/stat : 28213 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385012155 9367552 267 33554432000 4194304 5064252 140737361741616 140737361740528 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28213/statm: 2287 267 226 213 0 72 0
[pid=28214] ppid=28213 vsize=21040 CPUtime=1.22 cores=0,2,4,6
/proc/28214/stat : 28214 (glucose) R 28213 28200 26138 0 -1 4202496 5214 0 0 0 122 0 0 0 20 0 1 0 385012155 21544960 4659 33554432000 4194304 5208918 140737382004352 140737382002248 4213136 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28214/statm: 5260 4659 103 248 0 5009 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 60092
[startup+3.10038 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 28221
/proc/meminfo: memFree=29534772/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20756 CPUtime=1.77 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 6112 14909 0 0 22 3 147 5 20 0 1 0 385012129 21254144 4618 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5189 4618 179 443 0 4742 0
[pid=28220] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28220/stat : 28220 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385012308 9367552 267 33554432000 4194304 5064252 140734782675536 140734782674448 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28220/statm: 2287 267 226 213 0 72 0
[pid=28221] ppid=28220 vsize=19268 CPUtime=1.3 cores=0,2,4,6
/proc/28221/stat : 28221 (glucose) R 28220 28200 26138 0 -1 4202496 4512 0 0 0 129 1 0 0 20 0 1 0 385012308 19730432 4134 33554432000 4194304 5208918 140734250128016 140734250125864 4211147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28221/statm: 4817 4134 104 248 0 4566 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 58320
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 28228
/proc/meminfo: memFree=29456612/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=37348 CPUtime=3.45 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 8763 23102 0 0 34 4 297 10 20 0 1 0 385012129 38244352 7159 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 9337 7159 180 443 0 8890 0
[pid=28227] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28227/stat : 28227 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385012477 9367552 266 33554432000 4194304 5064252 140736640610880 140736640609792 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28227/statm: 2287 266 226 213 0 72 0
[pid=28228] ppid=28227 vsize=71116 CPUtime=2.81 cores=0,2,4,6
/proc/28228/stat : 28228 (glucose) R 28227 28200 26138 0 -1 4202496 15342 0 0 0 279 2 0 0 20 0 1 0 385012477 72822784 16319 33554432000 4194304 5208918 140735356429184 140735356427592 4211558 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28228/statm: 17779 16319 95 248 0 17528 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 126760
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 28228
/proc/meminfo: memFree=29435652/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=37348 CPUtime=3.45 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 8763 23102 0 0 34 4 297 10 20 0 1 0 385012129 38244352 7159 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 9337 7159 180 443 0 8890 0
[pid=28227] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28227/stat : 28227 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385012477 9367552 266 33554432000 4194304 5064252 140736640610880 140736640609792 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28227/statm: 2287 266 226 213 0 72 0
[pid=28228] ppid=28227 vsize=71248 CPUtime=9.21 cores=0,2,4,6
/proc/28228/stat : 28228 (glucose) R 28227 28200 26138 0 -1 4202496 15372 0 0 0 919 2 0 0 20 0 1 0 385012477 72957952 16860 33554432000 4194304 5208918 140735356429184 140735356427144 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28228/statm: 17812 16860 95 248 0 17561 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 126892
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 28228
/proc/meminfo: memFree=29453948/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=37348 CPUtime=3.45 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 8763 23102 0 0 34 4 297 10 20 0 1 0 385012129 38244352 7159 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 9337 7159 180 443 0 8890 0
[pid=28227] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28227/stat : 28227 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385012477 9367552 266 33554432000 4194304 5064252 140736640610880 140736640609792 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28227/statm: 2287 266 226 213 0 72 0
[pid=28228] ppid=28227 vsize=78700 CPUtime=22 cores=0,2,4,6
/proc/28228/stat : 28228 (glucose) R 28227 28200 26138 0 -1 4202496 15622 0 0 0 2198 2 0 0 20 0 1 0 385012477 80588800 17106 33554432000 4194304 5208918 140735356429184 140735356427144 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28228/statm: 19675 17106 95 248 0 19424 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 134344
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 28236
/proc/meminfo: memFree=29503596/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=48.32 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10401 45928 0 0 39 5 4757 31 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28235] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28235/stat : 28235 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385016964 9367552 267 33554432000 4194304 5064252 140733403743872 140733403742784 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28235/statm: 2287 267 226 213 0 72 0
[pid=28236] ppid=28235 vsize=26508 CPUtime=2.73 cores=0,2,4,6
/proc/28236/stat : 28236 (glucose) R 28235 28200 26138 0 -1 4202496 5272 0 0 0 272 1 0 0 20 0 1 0 385016964 27144192 6087 33554432000 4194304 5208918 140734841644384 140734841642232 4211712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28236/statm: 6627 6087 95 248 0 6376 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 65768
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 1.97 3/183 28236
/proc/meminfo: memFree=29469864/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=48.32 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10401 45928 0 0 39 5 4757 31 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28235] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28235/stat : 28235 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385016964 9367552 267 33554432000 4194304 5064252 140733403743872 140733403742784 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28235/statm: 2287 267 226 213 0 72 0
[pid=28236] ppid=28235 vsize=48500 CPUtime=53.93 cores=0,2,4,6
/proc/28236/stat : 28236 (glucose) R 28235 28200 26138 0 -1 4202496 7355 0 0 0 5391 2 0 0 20 0 1 0 385016964 49664000 11446 33554432000 4194304 5208918 140734841644384 140734841642328 4211570 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28236/statm: 12125 11446 96 248 0 11874 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 87760
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29492044/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=15.05 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 3844 0 0 0 1504 1 0 0 20 0 1 0 385026853 22695936 5011 33554432000 4194304 5208918 140735914201056 140735914199000 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5011 102 248 0 5290 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 61424
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29479756/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=19.05 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 3844 0 0 0 1904 1 0 0 20 0 1 0 385026853 22695936 5011 33554432000 4194304 5208918 140735914201056 140735914199000 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5011 102 248 0 5290 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 61424
[startup+172.707 s]
/proc/loadavg: 2.01 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29534044/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=25.45 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 3920 0 0 0 2544 1 0 0 20 0 1 0 385026853 22695936 5087 33554432000 4194304 5208918 140735914201056 140735914199000 4229770 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5087 103 248 0 5290 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 61424
[startup+175.9 s]
/proc/loadavg: 2.01 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29523372/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=28.65 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 4105 0 0 0 2864 1 0 0 20 0 1 0 385026853 22695936 5087 33554432000 4194304 5208918 140735914201056 140735914199144 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5087 103 248 0 5290 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 61424
[startup+177.5 s]
/proc/loadavg: 2.01 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29519152/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=30.24 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 4105 0 0 0 3023 1 0 0 20 0 1 0 385026853 22695936 5087 33554432000 4194304 5208918 140735914201056 140735914199144 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5087 103 248 0 5290 0
Current children cumulated CPU time (s) 177.43
Current children cumulated vsize (KiB) 61424
[startup+179.1 s]
/proc/loadavg: 2.01 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29515056/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=31.84 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 4105 0 0 0 3183 1 0 0 20 0 1 0 385026853 22695936 5087 33554432000 4194304 5208918 140735914201056 140735914199144 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5087 103 248 0 5290 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 61424
[startup+179.9 s]
/proc/loadavg: 2.01 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29510960/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=32.64 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 4116 0 0 0 3263 1 0 0 20 0 1 0 385026853 22695936 5098 33554432000 4194304 5208918 140735914201056 140735914199144 4213176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5098 103 248 0 5290 0
Current children cumulated CPU time (s) 179.83
Current children cumulated vsize (KiB) 61424
[startup+180.1 s]
/proc/loadavg: 2.01 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29510960/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=32.84 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 4119 0 0 0 3283 1 0 0 20 0 1 0 385026853 22695936 5101 33554432000 4194304 5208918 140735914201056 140735914199144 4229780 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5101 103 248 0 5290 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (KiB) 61424
[startup+180.2 s]
/proc/loadavg: 2.01 2.01 1.97 3/183 28243
/proc/meminfo: memFree=29510960/32873844 swapFree=7384/7384
[pid=28200] ppid=28198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28200/stat : 28200 (npSolver-wbo.sh) S 28198 28200 26138 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385012129 9367552 274 33554432000 4194304 5064252 140733644853520 140733644852432 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28200/statm: 2287 274 233 213 0 72 0
[pid=28201] ppid=28200 vsize=20964 CPUtime=147.19 cores=0,2,4,6
/proc/28201/stat : 28201 (npSolver-wbo) S 28200 28200 26138 0 -1 4202496 10503 57426 0 0 39 5 14634 41 20 0 1 0 385012129 21467136 4868 33554432000 4194304 6006132 140735163651392 140735163642800 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28201/statm: 5241 4868 180 443 0 4794 0
[pid=28242] ppid=28201 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28242/stat : 28242 (satsolver.sh) S 28201 28200 26138 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385026853 9367552 267 33554432000 4194304 5064252 140734228753808 140734228752720 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28242/statm: 2287 267 226 213 0 72 0
[pid=28243] ppid=28242 vsize=22164 CPUtime=32.94 cores=0,2,4,6
/proc/28243/stat : 28243 (glucose) R 28242 28200 26138 0 -1 4202496 4119 0 0 0 3293 1 0 0 20 0 1 0 385026853 22695936 5101 33554432000 4194304 5208918 140735914201056 140735914199144 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28243/statm: 5541 5101 103 248 0 5290 0
Current children cumulated CPU time (s) 180.13
Current children cumulated vsize (KiB) 61424
Child status: 0
Real time (s): 180.228
CPU time (s): 180.195
CPU user time (s): 179.691
CPU system time (s): 0.503923
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 134500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.691
system time used= 0.503923
maximum resident set size= 82392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 51560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 771
involuntary context switches= 273
runsolver used 0.760884 second user time and 1.85072 second system time
The end