7.73/10.10 c SCIP version 1.1.0.7
7.73/10.10 c LP-Solver Clp 1.8.2
7.73/10.10 c user parameter file <scip.set> not found - using default parameters
7.73/10.10 c read problem <HOME/instance-1869693-1245183558.opb>
7.73/10.10 c original problem has 124856 variables (124856 bin, 0 int, 0 impl, 0 cont) and 521620 constraints
9.82/12.24 c start presolving problem
9.82/12.24 c presolving:
14.33/16.76 c (round 1) 61429 del vars, 126093 del conss, 80 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 746193 impls, 0 clqs
14.72/17.12 c (round 2) 61430 del vars, 132897 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 746193 impls, 0 clqs
18.72/21.10 c (round 3) 61430 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387364 upgd conss, 746193 impls, 0 clqs
19.52/21.93 c (round 4) 61430 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 746193 impls, 0 clqs
32.22/34.65 c (22.4s) probing: 551/63426 (0.9%) - 3 fixings, 26 aggregations, 25044 implications, 0 bound changes
32.22/34.65 c (22.4s) probing aborted: 100/100 successive totally useless probings
32.22/34.65 c (round 5) 61459 del vars, 134215 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 769491 impls, 0 clqs
32.62/35.03 c (round 6) 61459 del vars, 135698 del conss, 81 chg bounds, 0 chg sides, 0 chg coeffs, 387405 upgd conss, 769491 impls, 0 clqs
33.61/36.04 c (23.4s) probing: 561/63426 (0.9%) - 3 fixings, 26 aggregations, 25044 implications, 0 bound changes
33.61/36.04 c (23.4s) probing aborted: 100/100 successive totally useless probings
33.61/36.06 c presolving (7 rounds):
33.61/36.06 c 61459 deleted vars, 135700 deleted constraints, 81 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
33.61/36.06 c 769491 implications, 0 cliques
33.61/36.06 c presolved problem has 63397 variables (63397 bin, 0 int, 0 impl, 0 cont) and 385920 constraints
33.61/36.06 c 385920 constraints of type <logicor>
33.61/36.06 c transformed objective value is always integral (scale: 1)
33.61/36.06 c Presolving Time: 22.10
33.71/36.14 c strange?!, PURESAT with obj
33.71/36.14 c -----------------------------------------------------------------------------------------------
33.71/36.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.71/36.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.71/36.14 c limits/memory = c 1620
33.71/36.14 c # maximal time in seconds to run
33.71/36.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.71/36.14 c limits/time = c 1791
33.71/36.14 c # frequency for displaying node information lines
33.71/36.14 c # [type: int, range: [-1,2147483647], default: 100]
33.71/36.14 c display/freq = c 10000
33.71/36.14 c -----------------------------------------------------------------------------------------------
33.71/36.14 c start solving problem
33.71/36.14 c
45.51/47.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.51/47.97 c 35.0s| 1 | 0 | 964 | 762M| 0 | 304 | 63k| 385k| 385k| 63k| 385k| 0 | 0 | 0 | 2.225000e+01 | -- | Inf
45.91/48.33 o 34
45.91/48.33 c s35.4s| 1 | 0 | 964 | 766M| 0 | 304 | 63k| 385k| 385k| 63k| 385k| 0 | 0 | 0 | 2.225000e+01 | 3.400000e+01 | 52.81%
335.24/337.73 c 324s| 1 | 0 | 1241 | 766M| 0 | 166 | 63k| 385k| 385k| 63k| 385k| 13 | 0 | 0 | 2.300000e+01 | 3.400000e+01 | 47.83%
335.54/338.06 o 33
335.54/338.06 c s 325s| 1 | 0 | 1241 | 768M| 0 | 166 | 63k| 385k| 385k| 63k| 385k| 13 | 0 | 0 | 2.300000e+01 | 3.300000e+01 | 43.48%
700.84/703.41 c 690s| 1 | 0 | 1760 | 771M| 0 | 204 | 63k| 385k| 385k| 63k| 385k| 26 | 0 | 0 | 2.300000e+01 | 3.300000e+01 | 43.48%
1034.65/1037.35 c 1023s| 1 | 0 | 3386 | 771M| 0 | 173 | 63k| 385k| 385k| 63k| 385k| 30 | 0 | 0 | 2.300000e+01 | 3.300000e+01 | 43.48%
1421.63/1424.48 c 1410s| 1 | 0 | 4321 | 774M| 0 | 140 | 63k| 385k| 385k| 63k| 385k| 35 | 0 | 0 | 2.300000e+01 | 3.300000e+01 | 43.48%
1421.93/1424.78 o 32
1421.93/1424.78 c s1410s| 1 | 0 | 4321 | 775M| 0 | 140 | 63k| 385k| 385k| 63k| 385k| 35 | 0 | 0 | 2.300000e+01 | 3.200000e+01 | 39.13%
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869693-1245183558/watcher-1869693-1245183558 -o /tmp/evaluation-result-1869693-1245183558/solver-1869693-1245183558 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869693-1245183558.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6805
/proc/meminfo: memFree=1822608/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=5812 CPUtime=0
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 523 0 0 0 0 0 0 0 18 0 1 0 185955995 5951488 507 1992294400 4194304 9342243 548682068736 18446744073709551615 8142589 0 0 4096 0 0 0 0 17 1 0 0
/proc/6805/statm: 1454 517 345 1256 0 193 0
[startup+0.043759 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6805
/proc/meminfo: memFree=1822608/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=17212 CPUtime=0.03
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 3296 0 0 0 3 0 0 0 18 0 1 0 185955995 17625088 3276 1992294400 4194304 9342243 548682068736 18446744073709551615 5538389 0 0 4096 0 0 0 0 17 1 0 0
/proc/6805/statm: 4303 3276 374 1256 0 3042 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17212
[startup+0.102766 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6805
/proc/meminfo: memFree=1822608/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=30300 CPUtime=0.09
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 6565 0 0 0 7 2 0 0 18 0 1 0 185955995 31027200 6545 1992294400 4194304 9342243 548682068736 18446744073709551615 5544052 0 0 4096 0 0 0 0 17 1 0 0
/proc/6805/statm: 7575 6548 375 1256 0 6314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30300
[startup+0.302787 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6805
/proc/meminfo: memFree=1822608/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=59872 CPUtime=0.29
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 13934 0 0 0 24 5 0 0 19 0 1 0 185955995 61308928 13914 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6805/statm: 14968 13914 378 1256 0 13707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59872
[startup+0.702833 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6805
/proc/meminfo: memFree=1822608/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=82052 CPUtime=0.69
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 19483 0 0 0 61 8 0 0 22 0 1 0 185955995 84021248 19463 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6805/statm: 20513 19463 378 1256 0 19252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82052
[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=1731336/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=119556 CPUtime=1.48
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 28783 0 0 0 136 12 0 0 25 0 1 0 185955995 122425344 28763 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 0 0 0
/proc/6805/statm: 29889 28763 378 1256 0 28628 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 119556
[startup+3.12647 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=1731336/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=163552 CPUtime=3.12
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 39822 0 0 0 295 17 0 0 25 0 1 0 185955995 167477248 39802 1992294400 4194304 9342243 548682068736 18446744073709551615 8144840 0 0 4096 0 0 0 0 17 0 0 0
/proc/6805/statm: 41221 40079 378 1256 0 39960 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 163552
[startup+6.30228 s]
/proc/loadavg: 1.24 1.05 1.02 4/65 6806
/proc/meminfo: memFree=1597768/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=242952 CPUtime=6.27
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 59581 0 0 0 602 25 0 0 25 0 1 0 185955995 248782848 59561 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 0 0 0
/proc/6805/statm: 60738 59561 378 1256 0 59477 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 242952
[startup+12.7012 s]
/proc/loadavg: 1.46 1.10 1.03 2/65 6806
/proc/meminfo: memFree=1154056/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=683588 CPUtime=10.32
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 168649 0 0 0 956 76 0 0 25 0 1 0 185955995 699994112 168275 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 170897 168275 461 1256 0 169636 0
Current children cumulated CPU time (s) 10.32
Current children cumulated vsize (KiB) 683588
[startup+25.5017 s]
/proc/loadavg: 1.39 1.09 1.03 2/65 6806
/proc/meminfo: memFree=981000/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=855820 CPUtime=23.12
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 255345 0 0 0 2069 243 0 0 25 0 1 0 185955995 876359680 210411 1992294400 4194304 9342243 548682068736 18446744073709551615 5422761 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 213955 210411 489 1256 0 212694 0
Current children cumulated CPU time (s) 23.12
Current children cumulated vsize (KiB) 855820
[startup+51.1056 s]
/proc/loadavg: 1.24 1.08 1.03 2/65 6806
/proc/meminfo: memFree=718088/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1247960 CPUtime=48.71
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 341763 0 0 0 4561 310 0 0 25 0 1 0 185955995 1277911040 276187 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 311990 276187 634 1256 0 310729 0
Current children cumulated CPU time (s) 48.71
Current children cumulated vsize (KiB) 1247960
[startup+102.301 s]
/proc/loadavg: 1.10 1.07 1.02 2/65 6806
/proc/meminfo: memFree=717704/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1247960 CPUtime=99.89
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 341875 0 0 0 9678 311 0 0 25 0 1 0 185955995 1277911040 276299 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 311990 276299 637 1256 0 310729 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (KiB) 1247960
[startup+162.301 s]
/proc/loadavg: 1.04 1.05 1.02 2/65 6806
/proc/meminfo: memFree=717768/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1247960 CPUtime=159.88
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 341875 0 0 0 15672 316 0 0 25 0 1 0 185955995 1277911040 276299 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 311990 276299 637 1256 0 310729 0
Current children cumulated CPU time (s) 159.88
Current children cumulated vsize (KiB) 1247960
[startup+222.301 s]
/proc/loadavg: 1.01 1.04 1.01 2/65 6806
/proc/meminfo: memFree=715976/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1247960 CPUtime=219.86
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 342301 0 0 0 21669 317 0 0 25 0 1 0 185955995 1277911040 276725 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 311990 276725 639 1256 0 310729 0
Current children cumulated CPU time (s) 219.86
Current children cumulated vsize (KiB) 1247960
[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/65 6806
/proc/meminfo: memFree=715976/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1247960 CPUtime=279.85
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 342301 0 0 0 27668 317 0 0 25 0 1 0 185955995 1277911040 276725 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 311990 276725 639 1256 0 310729 0
Current children cumulated CPU time (s) 279.85
Current children cumulated vsize (KiB) 1247960
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6806
/proc/meminfo: memFree=670416/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1284660 CPUtime=339.83
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 365836 0 0 0 33638 345 0 0 25 0 1 0 185955995 1315491840 288080 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 321165 288080 657 1256 0 319904 0
Current children cumulated CPU time (s) 339.83
Current children cumulated vsize (KiB) 1284660
[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6806
/proc/meminfo: memFree=655376/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1293572 CPUtime=399.82
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 369598 0 0 0 39633 349 0 0 25 0 1 0 185955995 1324617728 291842 1992294400 4194304 9342243 548682068736 18446744073709551615 5575813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 323393 291842 657 1256 0 322132 0
Current children cumulated CPU time (s) 399.82
Current children cumulated vsize (KiB) 1293572
[startup+462.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6806
/proc/meminfo: memFree=655312/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1293572 CPUtime=459.81
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 369598 0 0 0 45627 354 0 0 25 0 1 0 185955995 1324617728 291842 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 323393 291842 657 1256 0 322132 0
Current children cumulated CPU time (s) 459.81
Current children cumulated vsize (KiB) 1293572
[startup+522.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 6806
/proc/meminfo: memFree=655376/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1293572 CPUtime=519.79
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 369598 0 0 0 51621 358 0 0 25 0 1 0 185955995 1324617728 291842 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 323393 291842 657 1256 0 322132 0
Current children cumulated CPU time (s) 519.79
Current children cumulated vsize (KiB) 1293572
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=655312/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1293572 CPUtime=579.77
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 369598 0 0 0 57618 359 0 0 25 0 1 0 185955995 1324617728 291842 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 323393 291842 657 1256 0 322132 0
Current children cumulated CPU time (s) 579.77
Current children cumulated vsize (KiB) 1293572
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=655376/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1293572 CPUtime=639.75
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 369598 0 0 0 63616 359 0 0 25 0 1 0 185955995 1324617728 291842 1992294400 4194304 9342243 548682068736 18446744073709551615 5597657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 323393 291842 657 1256 0 322132 0
Current children cumulated CPU time (s) 639.75
Current children cumulated vsize (KiB) 1293572
[startup+702.306 s]
################
# More data... #
################
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 406741 0 0 0 111566 396 0 0 25 0 1 0 185955995 1429975040 322469 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 349115 322469 657 1256 0 347854 0
Current children cumulated CPU time (s) 1119.62
Current children cumulated vsize (KiB) 1396460
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=532432/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1396460 CPUtime=1179.6
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 406741 0 0 0 117559 401 0 0 25 0 1 0 185955995 1429975040 322469 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 349115 322469 657 1256 0 347854 0
Current children cumulated CPU time (s) 1179.6
Current children cumulated vsize (KiB) 1396460
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=532432/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1396460 CPUtime=1239.59
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 406741 0 0 0 123554 405 0 0 25 0 1 0 185955995 1429975040 322469 1992294400 4194304 9342243 548682068736 18446744073709551615 5597697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 349115 322469 657 1256 0 347854 0
Current children cumulated CPU time (s) 1239.59
Current children cumulated vsize (KiB) 1396460
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=532432/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1396460 CPUtime=1299.57
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 406741 0 0 0 129552 405 0 0 25 0 1 0 185955995 1429975040 322469 1992294400 4194304 9342243 548682068736 18446744073709551615 5597657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 349115 322469 657 1256 0 347854 0
Current children cumulated CPU time (s) 1299.57
Current children cumulated vsize (KiB) 1396460
[startup+1362.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=532880/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1396464 CPUtime=1359.56
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 406905 0 0 0 135548 408 0 0 25 0 1 0 185955995 1429979136 322352 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 349116 322352 657 1256 0 347855 0
Current children cumulated CPU time (s) 1359.56
Current children cumulated vsize (KiB) 1396464
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531856/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1396672 CPUtime=1419.53
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407159 0 0 0 141545 408 0 0 25 0 1 0 185955995 1430192128 322601 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 349168 322601 657 1256 0 347907 0
Current children cumulated CPU time (s) 1419.53
Current children cumulated vsize (KiB) 1396672
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531856/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1371440 CPUtime=1479.53
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407168 0 0 0 147538 415 0 0 25 0 1 0 185955995 1404354560 322596 1992294400 4194304 9342243 548682068736 18446744073709551615 4271298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 342860 322596 657 1256 0 341599 0
Current children cumulated CPU time (s) 1479.53
Current children cumulated vsize (KiB) 1371440
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531856/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1371440 CPUtime=1539.5
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407168 0 0 0 153533 417 0 0 25 0 1 0 185955995 1404354560 322596 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 342860 322596 657 1256 0 341599 0
Current children cumulated CPU time (s) 1539.5
Current children cumulated vsize (KiB) 1371440
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531920/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1371440 CPUtime=1599.49
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407168 0 0 0 159529 420 0 0 25 0 1 0 185955995 1404354560 322596 1992294400 4194304 9342243 548682068736 18446744073709551615 4271256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 342860 322596 657 1256 0 341599 0
Current children cumulated CPU time (s) 1599.49
Current children cumulated vsize (KiB) 1371440
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531920/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1371440 CPUtime=1659.47
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407168 0 0 0 165525 422 0 0 25 0 1 0 185955995 1404354560 322596 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 342860 322596 657 1256 0 341599 0
Current children cumulated CPU time (s) 1659.47
Current children cumulated vsize (KiB) 1371440
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531920/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1371440 CPUtime=1719.46
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407168 0 0 0 171521 425 0 0 25 0 1 0 185955995 1404354560 322596 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 342860 322596 657 1256 0 341599 0
Current children cumulated CPU time (s) 1719.46
Current children cumulated vsize (KiB) 1371440
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531920/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1371440 CPUtime=1779.44
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407168 0 0 0 177513 431 0 0 25 0 1 0 185955995 1404354560 322596 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 342860 322596 657 1256 0 341599 0
Current children cumulated CPU time (s) 1779.44
Current children cumulated vsize (KiB) 1371440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6806
/proc/meminfo: memFree=531920/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1371440 CPUtime=1800.04
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407168 0 0 0 179572 432 0 0 25 0 1 0 185955995 1404354560 322596 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 342860 322596 657 1256 0 341599 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1371440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6805
Solver just ended. Dumping a history of the last processes samples
[startup+1803.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6807
/proc/meminfo: memFree=531912/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1415832 CPUtime=1800.73
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407446 0 0 0 179641 432 0 0 25 0 1 0 185955995 1449811968 322874 1992294400 4194304 9342243 548682068736 18446744073709551615 6038775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 353958 322874 657 1256 0 352697 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 1415832
[startup+1804.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6807
/proc/meminfo: memFree=530760/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1415832 CPUtime=1801.54
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407446 0 0 0 179722 432 0 0 25 0 1 0 185955995 1449811968 322874 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 353958 322874 657 1256 0 352697 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 1415832
[startup+1804.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6807
/proc/meminfo: memFree=530760/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=1415832 CPUtime=1801.93
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4194304 407446 0 0 0 179761 432 0 0 25 0 1 0 185955995 1449811968 322874 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 353958 322874 657 1256 0 352697 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 1415832
[startup+1805 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6807
/proc/meminfo: memFree=530760/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=0 CPUtime=1802.13
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4195332 407446 0 0 0 179772 441 0 0 25 0 1 0 185955995 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
[startup+1805.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6807
/proc/meminfo: memFree=530760/2055920 swapFree=4191900/4192956
[pid=6805] ppid=6803 vsize=0 CPUtime=1802.23
/proc/6805/stat : 6805 (pbscip.linux.x8) R 6803 6805 6523 0 -1 4195332 407446 0 0 0 179772 451 0 0 25 0 1 0 185955995 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6805/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1805.11
CPU time (s): 1802.25
CPU user time (s): 1797.73
CPU system time (s): 4.52731
CPU usage (%): 99.8417
Max. virtual memory (cumulated for all children) (KiB): 1415832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.73
system time used= 4.52731
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1196
runsolver used 2.30065 second user time and 6.73298 second system time
The end