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-3702703-1338058076/watcher-3702703-1338058076 -o /tmp/evaluation-result-3702703-1338058076/solver-3702703-1338058076 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702703-1338058076.opb 404752724 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.02 2.03 2.00 1/174 2115
/proc/meminfo: memFree=27098504/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[startup+0.057645 s]
/proc/loadavg: 2.02 2.03 2.00 1/174 2115
/proc/meminfo: memFree=27098504/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100194 s]
/proc/loadavg: 2.02 2.03 2.00 1/174 2115
/proc/meminfo: memFree=27098504/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300163 s]
/proc/loadavg: 2.02 2.03 2.00 1/174 2115
/proc/meminfo: memFree=27098504/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700196 s]
/proc/loadavg: 2.02 2.03 2.00 1/174 2115
/proc/meminfo: memFree=27098504/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 2173
/proc/meminfo: memFree=27248328/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.89 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6252 20737 0 0 15 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=15112 CPUtime=0.56 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 2422 0 0 0 56 0 0 0 20 0 1 0 271936290 15474688 2835 33554432000 4194304 5654031 140737386693680 140737386681496 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2173/statm: 3778 2835 150 357 0 3418 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 33480
[startup+3.10027 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 2178
/proc/meminfo: memFree=27208456/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.91 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6296 20737 0 0 17 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=12864 CPUtime=2.14 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 2953 0 0 0 214 0 0 0 20 0 1 0 271936290 13172736 2657 33554432000 4194304 5654031 140737386693680 140737386681496 4232700 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2173/statm: 3216 2657 152 357 0 2856 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31232
[startup+6.30031 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 2178
/proc/meminfo: memFree=27204664/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.91 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6296 20737 0 0 17 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=17344 CPUtime=5.34 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 3941 0 0 0 534 0 0 0 20 0 1 0 271936290 17760256 3640 33554432000 4194304 5654031 140737386693680 140737386681496 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 4336 3640 152 357 0 3976 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 35712
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 2178
/proc/meminfo: memFree=27202820/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.93 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6297 20737 0 0 19 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=17344 CPUtime=11.72 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 4094 0 0 0 1172 0 0 0 20 0 1 0 271936290 17760256 3790 33554432000 4194304 5654031 140737386693680 140737386681496 4233036 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 4336 3790 152 357 0 3976 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 35712
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 2178
/proc/meminfo: memFree=27195880/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.93 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6297 20737 0 0 19 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=20048 CPUtime=24.52 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 4835 0 0 0 2452 0 0 0 20 0 1 0 271936290 20529152 4475 33554432000 4194304 5654031 140737386693680 140737386681496 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 5012 4475 152 357 0 4652 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 38416
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 2178
/proc/meminfo: memFree=27159680/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.93 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6297 20737 0 0 19 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=24600 CPUtime=50.12 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 5142 0 0 0 5011 1 0 0 20 0 1 0 271936290 25190400 5288 33554432000 4194304 5654031 140737386693680 140737386681496 4208683 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 6150 5288 152 357 0 5790 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 42968
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 2178
/proc/meminfo: memFree=27130384/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.93 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6297 20737 0 0 19 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=36108 CPUtime=101.32 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 6579 0 0 0 10130 2 0 0 20 0 1 0 271936290 36974592 8357 33554432000 4194304 5654031 140737386693680 140737386681496 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 9027 8357 152 357 0 8667 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 54476
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 2182
/proc/meminfo: memFree=27126028/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.93 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6297 20737 0 0 19 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=41008 CPUtime=161.3 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 7103 0 0 0 16128 2 0 0 20 0 1 0 271936290 41992192 9382 33554432000 4194304 5654031 140737386693680 140737386681496 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 10252 9382 152 357 0 9892 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 59376
[startup+222.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 2182
/proc/meminfo: memFree=27096868/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.93 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6297 20737 0 0 19 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=41008 CPUtime=221.29 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 7961 0 0 0 22127 2 0 0 20 0 1 0 271936290 41992192 9721 33554432000 4194304 5654031 140737386693680 140737386681496 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 10252 9721 152 357 0 9892 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 59376
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27083928/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.93 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6297 20737 0 0 19 5 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=281.29 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 28126 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 76972
Solver just ended. Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27079832/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.95 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6298 20737 0 0 20 6 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=293.37 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 29334 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4215913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 294.32
Current children cumulated vsize (KiB) 76972
[startup+300.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27079832/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.95 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6298 20737 0 0 20 6 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=299.77 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 29974 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 300.72
Current children cumulated vsize (KiB) 76972
[startup+302.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27079460/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.95 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6298 20737 0 0 20 6 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=301.37 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 30134 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 302.32
Current children cumulated vsize (KiB) 76972
[startup+304 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27078592/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.95 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6298 20737 0 0 20 6 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=302.97 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 30294 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 303.92
Current children cumulated vsize (KiB) 76972
[startup+304.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27078592/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.95 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6298 20737 0 0 20 6 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=303.37 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 30334 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 304.32
Current children cumulated vsize (KiB) 76972
[startup+304.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27078592/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.95 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6298 20737 0 0 20 6 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=303.57 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 30354 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4232997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 304.52
Current children cumulated vsize (KiB) 76972
[startup+304.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2182
/proc/meminfo: memFree=27078592/32873844 swapFree=6088/6088
[pid=2115] ppid=2113 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2115/stat : 2115 (npSolver-pbo-It) S 2113 2115 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271936198 9367552 274 33554432000 4194304 5064252 140734680681440 140734680680352 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2115/statm: 2287 274 233 213 0 72 0
[pid=2116] ppid=2115 vsize=9220 CPUtime=0.95 cores=0,2,4,6
/proc/2116/stat : 2116 (npSolver-pbo) S 2115 2115 1653 0 -1 4202496 6298 20737 0 0 20 6 65 4 20 0 1 0 271936199 9441280 1877 33554432000 4194304 5992684 140737202649920 140737202635752 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2116/statm: 2305 1877 195 440 0 1861 0
[pid=2173] ppid=2116 vsize=58604 CPUtime=303.67 cores=0,2,4,6
/proc/2173/stat : 2173 (glucosInc) R 2116 2115 1653 0 -1 4202496 8101 0 0 0 30364 3 0 0 20 0 1 0 271936290 60010496 13608 33554432000 4194304 5654031 140737386693680 140737386681496 4216105 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2173/statm: 14651 13608 152 357 0 14291 0
Current children cumulated CPU time (s) 304.62
Current children cumulated vsize (KiB) 76972
Child status: 0
Real time (s): 304.744
CPU time (s): 304.689
CPU user time (s): 304.537
CPU system time (s): 0.151976
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 78052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.537
system time used= 0.151976
maximum resident set size= 54440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 652
involuntary context switches= 386
runsolver used 0.661899 second user time and 1.70474 second system time
The end