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-3699603-1338052066/watcher-3699603-1338052066 -o /tmp/evaluation-result-3699603-1338052066/solver-3699603-1338052066 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699603-1338052066.opb 2037096811 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: 0.98 1.05 1.23 3/176 2321
/proc/meminfo: memFree=28465092/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[startup+0.03899 s]
/proc/loadavg: 0.98 1.05 1.23 3/176 2321
/proc/meminfo: memFree=28465092/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 0.98 1.05 1.23 3/176 2321
/proc/meminfo: memFree=28465092/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 0.98 1.05 1.23 3/176 2321
/proc/meminfo: memFree=28465092/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700234 s]
/proc/loadavg: 0.98 1.05 1.23 3/176 2321
/proc/meminfo: memFree=28465092/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 0.98 1.05 1.23 4/181 2338
/proc/meminfo: memFree=28421712/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=16296 CPUtime=0.65 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 2711 0 0 0 65 0 0 0 20 0 1 0 271333654 16687104 3182 33554432000 4194304 5654031 140733276396704 140733276394488 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2335/statm: 4074 3182 141 357 0 3714 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31856
[startup+3.1003 s]
/proc/loadavg: 1.06 1.06 1.23 4/181 2338
/proc/meminfo: memFree=28418436/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=21260 CPUtime=2.26 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 3815 0 0 0 225 1 0 0 20 0 1 0 271333654 21770240 4355 33554432000 4194304 5654031 140733276396704 140733276384520 4225728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2335/statm: 5315 4355 142 357 0 4955 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 36820
[startup+6.30031 s]
/proc/loadavg: 1.06 1.06 1.23 4/181 2338
/proc/meminfo: memFree=28400316/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=28488 CPUtime=5.45 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 4978 0 0 0 544 1 0 0 20 0 1 0 271333654 29171712 5863 33554432000 4194304 5654031 140733276396704 140733276384520 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2335/statm: 7122 5863 142 357 0 6762 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44048
[startup+12.7003 s]
/proc/loadavg: 1.20 1.09 1.24 4/181 2338
/proc/meminfo: memFree=28389764/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=28488 CPUtime=11.84 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 5160 0 0 0 1183 1 0 0 20 0 1 0 271333654 29171712 6558 33554432000 4194304 5654031 140733276396704 140733276384520 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2335/statm: 7122 6558 142 357 0 6762 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 44048
[startup+25.5004 s]
/proc/loadavg: 1.33 1.12 1.25 4/181 2338
/proc/meminfo: memFree=28382408/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=35632 CPUtime=24.64 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 6482 0 0 0 2462 2 0 0 20 0 1 0 271333654 36487168 8344 33554432000 4194304 5654031 140733276396704 140733276384520 4232659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 8908 8344 142 357 0 8548 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 51192
[startup+51.1004 s]
/proc/loadavg: 1.56 1.19 1.27 4/181 2338
/proc/meminfo: memFree=28356956/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=58924 CPUtime=50.24 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 7988 0 0 0 5021 3 0 0 20 0 1 0 271333654 60338176 11505 33554432000 4194304 5654031 140733276396704 140733276384520 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 14731 11505 142 357 0 14371 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 74484
[startup+102.307 s]
/proc/loadavg: 1.88 1.34 1.31 4/181 2338
/proc/meminfo: memFree=28331136/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=77780 CPUtime=101.43 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 8291 0 0 0 10140 3 0 0 20 0 1 0 271333654 79646720 12531 33554432000 4194304 5654031 140733276396704 140733276384520 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 19445 12531 142 357 0 19085 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 93340
[startup+162.3 s]
/proc/loadavg: 1.95 1.45 1.35 4/182 2342
/proc/meminfo: memFree=28299912/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=77780 CPUtime=161.42 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 8896 0 0 0 16138 4 0 0 20 0 1 0 271333654 79646720 18223 33554432000 4194304 5654031 140733276396704 140733276384520 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 19445 18223 142 357 0 19085 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 93340
[startup+222.3 s]
/proc/loadavg: 2.04 1.57 1.40 4/181 2342
/proc/meminfo: memFree=28271248/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=89684 CPUtime=221.42 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 9211 0 0 0 22137 5 0 0 20 0 1 0 271333654 91836416 21745 33554432000 4194304 5654031 140733276396704 140733276384520 4233181 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 22421 21745 142 357 0 22061 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 105244
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28125104/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=171368 CPUtime=1241.26 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 25602 0 0 0 124100 26 0 0 20 0 1 0 271333654 175480832 41635 33554432000 4194304 5654031 140733276396704 140733276384520 4232810 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 42842 41635 142 357 0 42482 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 186928
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.79 4/181 2349
/proc/meminfo: memFree=28108256/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=202188 CPUtime=1301.25 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 27242 0 0 0 130096 29 0 0 20 0 1 0 271333654 207040512 44262 33554432000 4194304 5654031 140733276396704 140733276384520 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 50547 44262 142 357 0 50187 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 217748
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.80 4/182 2353
/proc/meminfo: memFree=28094068/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=202188 CPUtime=1361.23 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 28283 0 0 0 136092 31 0 0 20 0 1 0 271333654 207040512 46310 33554432000 4194304 5654031 140733276396704 140733276384520 4232398 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 50547 46310 142 357 0 50187 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 217748
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.81 4/181 2353
/proc/meminfo: memFree=28156368/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=122048 CPUtime=1421.23 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 29325 0 0 0 142090 33 0 0 20 0 1 0 271333654 124977152 29948 33554432000 4194304 5654031 140733276396704 140733276384520 4215033 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 30512 29948 142 357 0 30152 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 137608
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.82 4/181 2353
/proc/meminfo: memFree=28120468/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=171368 CPUtime=1481.22 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 30807 0 0 0 148086 36 0 0 20 0 1 0 271333654 175480832 39075 33554432000 4194304 5654031 140733276396704 140733276384520 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 42842 39075 142 357 0 42482 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 186928
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/181 2353
/proc/meminfo: memFree=28123044/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=171368 CPUtime=1541.2 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 31853 0 0 0 154083 37 0 0 20 0 1 0 271333654 175480832 40099 33554432000 4194304 5654031 140733276396704 140733276384520 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 42842 40099 142 357 0 42482 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 186928
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/181 2353
/proc/meminfo: memFree=28110340/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=202188 CPUtime=1601.2 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 33484 0 0 0 160080 40 0 0 20 0 1 0 271333654 207040512 43238 33554432000 4194304 5654031 140733276396704 140733276384520 4232632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 50547 43238 142 357 0 50187 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 217748
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/182 2355
/proc/meminfo: memFree=28106128/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=202188 CPUtime=1661.19 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 34528 0 0 0 166077 42 0 0 20 0 1 0 271333654 207040512 43238 33554432000 4194304 5654031 140733276396704 140733276384520 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 50547 43238 142 357 0 50187 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 217748
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/181 2355
/proc/meminfo: memFree=28098892/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=171368 CPUtime=1721.17 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 34983 0 0 0 172074 43 0 0 20 0 1 0 271333654 175480832 42147 33554432000 4194304 5654031 140733276396704 140733276384520 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 42842 42147 142 357 0 42482 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 186928
[startup+1782.3 s]
/proc/loadavg: 2.05 1.99 1.86 4/181 2355
/proc/meminfo: memFree=28107300/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=171368 CPUtime=1781.16 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 36032 0 0 0 178071 45 0 0 20 0 1 0 271333654 175480832 42147 33554432000 4194304 5654031 140733276396704 140733276384520 4232932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 42842 42147 142 357 0 42482 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 186928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 1.99 1.86 4/181 2355
/proc/meminfo: memFree=28086700/32873844 swapFree=7100/7100
[pid=2321] ppid=2318 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2321/stat : 2321 (npSolver-pbo-I.) S 2318 2321 2277 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 271333571 9367552 274 33554432000 4194304 5064252 140734900956080 140734900954992 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2321/statm: 2287 274 233 213 0 72 0
[pid=2322] ppid=2321 vsize=6412 CPUtime=0.81 cores=0,2,4,6
/proc/2322/stat : 2322 (npSolver-pbo) S 2321 2321 2277 0 -1 4202496 2540 6622 0 0 38 10 31 2 20 0 1 0 271333571 6565888 1253 33554432000 4194304 5992684 140734345447728 140734345432632 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2322/statm: 1603 1253 180 440 0 1159 0
[pid=2335] ppid=2322 vsize=202188 CPUtime=1799.27 cores=0,2,4,6
/proc/2335/stat : 2335 (glucosInc) R 2322 2321 2277 0 -1 4202496 36618 0 0 0 179881 46 0 0 20 0 1 0 271333654 207040512 45286 33554432000 4194304 5654031 140733276396704 140733276384520 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2335/statm: 50547 45286 142 357 0 50187 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 217748
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.52
CPU system time (s): 0.600908
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 217748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.600908
maximum resident set size= 195480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 2019
runsolver used 5.99109 second user time and 19.916 second system time
The end