6.19/6.24 c SCIP version 1.1.0.7
6.19/6.24 c LP-Solver SoPlex 1.4.1
6.19/6.24 c user parameter file <scip.set> not found - using default parameters
6.19/6.24 c read problem <HOME/instance-1869592-1245180170.opb>
6.19/6.24 c original problem has 9457 variables (9457 bin, 0 int, 0 impl, 0 cont) and 449183 constraints
7.39/7.45 c start presolving problem
7.39/7.45 c presolving:
10.39/10.44 c (round 1) 5406 del vars, 396897 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
10.49/10.51 c (round 2) 5407 del vars, 401157 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
11.00/11.00 c (round 3) 5407 del vars, 401157 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 48026 upgd conss, 777226 impls, 0 clqs
15.39/15.45 c (8.5s) probing: 1000/4050 (24.7%) - 0 fixings, 0 aggregations, 1035 implications, 0 bound changes
20.18/20.28 c (13.3s) probing: 2000/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
20.18/20.29 c (13.3s) probing: 2001/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
20.18/20.29 c (13.3s) probing aborted: 2000/2000 successive useless probings
20.18/20.29 c presolving (4 rounds):
20.18/20.29 c 5407 deleted vars, 401157 deleted constraints, 5105 tightened bounds, 0 added holes, 96 changed sides, 192 changed coefficients
20.18/20.29 c 787356 implications, 0 cliques
20.18/20.29 c presolved problem has 4050 variables (4050 bin, 0 int, 0 impl, 0 cont) and 48026 constraints
20.18/20.29 c 48026 constraints of type <logicor>
20.18/20.29 c transformed objective value is always integral (scale: 1)
20.18/20.29 c Presolving Time: 12.37
20.18/20.29 c strange?!, PURESAT with obj
20.18/20.29 c -----------------------------------------------------------------------------------------------
20.18/20.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.18/20.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.18/20.29 c limits/memory = c 1620
20.18/20.29 c # maximal time in seconds to run
20.18/20.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.18/20.29 c limits/time = c 1791
20.18/20.29 c # frequency for displaying node information lines
20.18/20.29 c # [type: int, range: [-1,2147483647], default: 100]
20.18/20.29 c display/freq = c 10000
20.18/20.29 c -----------------------------------------------------------------------------------------------
20.18/20.29 c start solving problem
20.18/20.29 c
46.08/46.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.08/46.10 c 39.1s| 1 | 0 | 8268 | 262M| 0 |3694 |4050 | 48k| 48k|4050 | 48k| 0 | 0 | 0 | 7.000000e+00 | -- | Inf
284.08/284.20 c 277s| 1 | 0 | 30522 | 265M| 0 |2933 |4050 | 48k| 48k|4050 | 50k|2000 | 0 | 0 | 1.835921e+01 | -- | Inf
387.83/388.08 c 381s| 1 | 0 | 38926 | 265M| 0 |1855 |4050 | 48k| 48k|4050 | 51k|3422 | 0 | 0 | 2.500000e+01 | -- | Inf
623.04/623.36 c 615s| 1 | 0 | 40630 | 265M| 0 |1967 |4050 | 48k| 48k|4050 | 51k|3632 | 0 | 0 | 2.500000e+01 | -- | Inf
878.34/878.70 c 870s| 1 | 0 | 42436 | 265M| 0 |1727 |4050 | 48k| 48k|4050 | 51k|3638 | 0 | 0 | 2.500000e+01 | -- | Inf
1133.93/1134.49 c 1126s| 1 | 0 | 45764 | 265M| 0 |1628 |4050 | 48k| 48k|4050 | 51k|3648 | 0 | 0 | 2.500000e+01 | -- | Inf
1380.74/1381.32 c 1372s| 1 | 0 | 48312 | 265M| 0 |1678 |4050 | 48k| 48k|4050 | 51k|3680 | 0 | 0 | 2.500000e+01 | -- | Inf
1623.64/1624.31 c 1615s| 1 | 0 | 49583 | 265M| 0 |1649 |4050 | 48k| 48k|4050 | 51k|3692 | 0 | 0 | 2.500000e+01 | -- | Inf
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869592-1245180170/watcher-1869592-1245180170 -o /tmp/evaluation-result-1869592-1245180170/solver-1869592-1245180170 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869592-1245180170.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.01 1.04 1.00 3/64 5968
/proc/meminfo: memFree=1869248/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=6100 CPUtime=0
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 603 0 0 0 0 0 0 0 18 0 1 0 185614093 6246400 585 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/5968/statm: 1525 596 325 886 0 635 0
[startup+0.020678 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 5968
/proc/meminfo: memFree=1869248/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=10208 CPUtime=0.01
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 1865 0 0 0 1 0 0 0 18 0 1 0 185614093 10452992 1847 1992294400 4194304 7823515 548682068736 18446744073709551615 4807752 0 0 4096 0 0 0 0 17 0 0 0
/proc/5968/statm: 2552 1847 354 886 0 1662 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10208
[startup+0.101687 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 5968
/proc/meminfo: memFree=1869248/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=16640 CPUtime=0.09
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 3482 0 0 0 9 0 0 0 18 0 1 0 185614093 17039360 3464 1992294400 4194304 7823515 548682068736 18446744073709551615 6830472 0 0 4096 0 0 0 0 17 0 0 0
/proc/5968/statm: 4160 3464 354 886 0 3270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16640
[startup+0.301706 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 5968
/proc/meminfo: memFree=1869248/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=21548 CPUtime=0.29
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 4713 0 0 0 28 1 0 0 19 0 1 0 185614093 22065152 4695 1992294400 4194304 7823515 548682068736 18446744073709551615 5542759 0 0 4096 0 0 0 0 17 0 0 0
/proc/5968/statm: 5387 4695 354 886 0 4497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21548
[startup+0.701748 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 5968
/proc/meminfo: memFree=1869248/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=31992 CPUtime=0.69
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 7313 0 0 0 67 2 0 0 23 0 1 0 185614093 32759808 7295 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0
/proc/5968/statm: 7998 7295 354 886 0 7108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31992
[startup+1.50183 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 5969
/proc/meminfo: memFree=1833336/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=51704 CPUtime=1.49
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 12257 0 0 0 144 5 0 0 25 0 1 0 185614093 52944896 12239 1992294400 4194304 7823515 548682068736 18446744073709551615 4649571 0 0 4096 0 0 0 0 17 0 0 0
/proc/5968/statm: 12926 12239 354 886 0 12036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51704
[startup+3.10199 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 5969
/proc/meminfo: memFree=1805432/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=93228 CPUtime=3.09
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 22626 0 0 0 299 10 0 0 25 0 1 0 185614093 95465472 22608 1992294400 4194304 7823515 548682068736 18446744073709551615 4608832 0 0 4096 0 0 0 0 17 0 0 0
/proc/5968/statm: 23307 22608 354 886 0 22417 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93228
[startup+6.30132 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 5969
/proc/meminfo: memFree=1718648/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=196664 CPUtime=6.29
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 48696 0 0 0 608 21 0 0 25 0 1 0 185614093 201383936 48324 1992294400 4194304 7823515 548682068736 18446744073709551615 4213322 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 49166 48324 370 886 0 48276 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 196664
[startup+12.702 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 5969
/proc/meminfo: memFree=1368320/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507480 CPUtime=12.69
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127371 0 0 0 1178 91 0 0 25 0 1 0 185614093 519659520 125394 1992294400 4194304 7823515 548682068736 18446744073709551615 4207222 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126870 125394 448 886 0 125980 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 507480
[startup+25.5013 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 5969
/proc/meminfo: memFree=1371648/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=25.48
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127561 0 0 0 2455 93 0 0 25 0 1 0 185614093 515784704 124655 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124655 520 886 0 125034 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 503696
[startup+51.1019 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 5969
/proc/meminfo: memFree=1371456/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=51.07
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127572 0 0 0 5012 95 0 0 25 0 1 0 185614093 515784704 124666 1992294400 4194304 7823515 548682068736 18446744073709551615 6208537 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124666 531 886 0 125034 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 503696
[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5969
/proc/meminfo: memFree=1371456/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=102.25
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127574 0 0 0 10127 98 0 0 25 0 1 0 185614093 515784704 124668 1992294400 4194304 7823515 548682068736 18446744073709551615 6019508 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124668 531 886 0 125034 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 503696
[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5969
/proc/meminfo: memFree=1371456/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=162.23
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127574 0 0 0 16122 101 0 0 25 0 1 0 185614093 515784704 124668 1992294400 4194304 7823515 548682068736 18446744073709551615 6208544 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124668 531 886 0 125034 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 503696
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5969
/proc/meminfo: memFree=1371392/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=222.2
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127629 0 0 0 22114 106 0 0 25 0 1 0 185614093 515784704 124713 1992294400 4194304 7823515 548682068736 18446744073709551615 6263490 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124713 534 886 0 125034 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 503696
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5969
/proc/meminfo: memFree=1371328/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=282.18
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127629 0 0 0 28107 111 0 0 25 0 1 0 185614093 515784704 124713 1992294400 4194304 7823515 548682068736 18446744073709551615 6216197 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124713 534 886 0 125034 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 503696
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1371328/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=342.16
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127674 0 0 0 34085 131 0 0 25 0 1 0 185614093 515784704 124758 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124758 560 886 0 125034 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 503696
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1371264/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=402.13
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127674 0 0 0 40077 136 0 0 25 0 1 0 185614093 515784704 124758 1992294400 4194304 7823515 548682068736 18446744073709551615 4338941 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124758 560 886 0 125034 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 503696
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1371200/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=462.1
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127674 0 0 0 46067 143 0 0 25 0 1 0 185614093 515784704 124758 1992294400 4194304 7823515 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124758 560 886 0 125034 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 503696
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1371136/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=522.08
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127674 0 0 0 52058 150 0 0 25 0 1 0 185614093 515784704 124758 1992294400 4194304 7823515 548682068736 18446744073709551615 6722523 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124758 560 886 0 125034 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 503696
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1371136/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=582.06
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127674 0 0 0 58048 158 0 0 25 0 1 0 185614093 515784704 124758 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124758 560 886 0 125034 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 503696
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1371136/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=642.04
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 64042 162 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 503696
[startup+702.301 s]
################
# More data... #
################
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 105986 201 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 4272784 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 503696
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370880/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1121.84
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 111978 206 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 503696
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370880/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1181.81
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 117969 212 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 503696
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1241.79
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 123961 218 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 503696
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1301.77
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 129953 224 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 5965381 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 503696
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370624/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1361.75
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 135944 231 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 6212317 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 503696
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1421.73
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 141936 237 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 503696
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370624/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1481.69
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 147927 242 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 4338488 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 503696
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370624/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1541.67
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 153919 248 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 6908089 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 503696
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=503696 CPUtime=1601.65
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 127675 0 0 0 159909 256 0 0 25 0 1 0 185614093 515784704 124759 1992294400 4194304 7823515 548682068736 18446744073709551615 5965398 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 125924 124759 560 886 0 125034 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 503696
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1342400/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=533752 CPUtime=1661.62
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135226 0 0 0 165889 273 0 0 25 0 1 0 185614093 546562048 131868 1992294400 4194304 7823515 548682068736 18446744073709551615 6208544 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 133438 131868 570 886 0 132548 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 533752
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5969
/proc/meminfo: memFree=1366784/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507396 CPUtime=1721.6
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135264 0 0 0 171881 279 0 0 25 0 1 0 185614093 519573504 125720 1992294400 4194304 7823515 548682068736 18446744073709551615 6266861 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126849 125720 575 886 0 125959 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 507396
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5971
/proc/meminfo: memFree=1366584/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507396 CPUtime=1781.58
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135264 0 0 0 177876 282 0 0 25 0 1 0 185614093 519573504 125720 1992294400 4194304 7823515 548682068736 18446744073709551615 6180591 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126849 125720 575 886 0 125959 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 507396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5971
/proc/meminfo: memFree=1366656/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507396 CPUtime=1800.08
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135264 0 0 0 179724 284 0 0 25 0 1 0 185614093 519573504 125720 1992294400 4194304 7823515 548682068736 18446744073709551615 5924484 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126849 125720 575 886 0 125959 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 507396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5968
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5971
/proc/meminfo: memFree=1366656/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507396 CPUtime=1800.68
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135264 0 0 0 179784 284 0 0 25 0 1 0 185614093 519573504 125720 1992294400 4194304 7823515 548682068736 18446744073709551615 6212306 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126849 125720 575 886 0 125959 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 507396
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5972
/proc/meminfo: memFree=1366648/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507396 CPUtime=1801.48
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135264 0 0 0 179864 284 0 0 25 0 1 0 185614093 519573504 125720 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126849 125720 575 886 0 125959 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 507396
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5972
/proc/meminfo: memFree=1366648/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507396 CPUtime=1801.88
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135264 0 0 0 179904 284 0 0 25 0 1 0 185614093 519573504 125720 1992294400 4194304 7823515 548682068736 18446744073709551615 6206177 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126849 125720 575 886 0 125959 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 507396
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5972
/proc/meminfo: memFree=1366648/2055920 swapFree=4192812/4192956
[pid=5968] ppid=5966 vsize=507396 CPUtime=1802.08
/proc/5968/stat : 5968 (pbscip.linux.x8) R 5966 5968 5825 0 -1 4194304 135264 0 0 0 179924 284 0 0 25 0 1 0 185614093 519573504 125720 1992294400 4194304 7823515 548682068736 18446744073709551615 6150550 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5968/statm: 126849 125720 575 886 0 125959 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 507396
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.88
CPU time (s): 1802.16
CPU user time (s): 1799.25
CPU system time (s): 2.91456
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 533752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 2.91456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135264
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= 5854
runsolver used 1.86172 second user time and 4.70528 second system time
The end