0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666251-1276687080.opb>
0.49/0.54 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30658 constraints
0.49/0.54 c problem read
0.49/0.54 c presolving settings loaded
0.59/0.66 o 0
0.59/0.66 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.66 c presolving:
0.79/0.81 c (round 1) 569 del vars, 569 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.00/1.08 c (round 2) 569 del vars, 4804 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25854 upgd conss, 2340 impls, 0 clqs
1.10/1.18 c (0.5s) probing: 101/1456 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.18 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.18 c presolving (3 rounds):
1.10/1.18 c 569 deleted vars, 4804 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.18 c 2340 implications, 0 cliques
1.10/1.18 c presolved problem has 1456 variables (1456 bin, 0 int, 0 impl, 0 cont) and 25854 constraints
1.10/1.18 c 25854 constraints of type <logicor>
1.10/1.18 c transformed objective value is always integral (scale: 1)
1.10/1.18 c Presolving Time: 0.44
1.10/1.18 c - non default parameters ----------------------------------------------------------------------
1.10/1.18 c # SCIP version 1.2.1.2
1.10/1.18 c
1.10/1.18 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.18 c conflict/interconss = 0
1.10/1.18 c
1.10/1.18 c # should binary conflicts be preferred?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c conflict/preferbinary = TRUE
1.10/1.18 c
1.10/1.18 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.18 c constraints/agelimit = 1
1.10/1.18 c
1.10/1.18 c # should enforcement of pseudo solution be disabled?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/disableenfops = TRUE
1.10/1.18 c
1.10/1.18 c # frequency for displaying node information lines
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.18 c display/freq = 10000
1.10/1.18 c
1.10/1.18 c # maximal time in seconds to run
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/time = 1799.46
1.10/1.18 c
1.10/1.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/memory = 1620
1.10/1.18 c
1.10/1.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.18 c lp/solvefreq = 0
1.10/1.18 c
1.10/1.18 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.10/1.18 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.18 c lp/pricing = a
1.10/1.18 c
1.10/1.18 c # should presolving try to simplify inequalities
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/linear/simplifyinequalities = TRUE
1.10/1.18 c
1.10/1.18 c # should presolving try to simplify knapsacks
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.18 c
1.10/1.18 c # priority of node selection rule <dfs> in standard mode
1.10/1.18 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.18 c nodeselection/dfs/stdpriority = 1000000
1.10/1.18 c
1.10/1.18 c -----------------------------------------------------------------------------------------------
1.10/1.18 c start solving
1.10/1.18 c
12.10/12.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.10/12.15 c t11.4s| 1 | 0 | 4539 | - | 34M| 0 |1440 |1456 | 25k|1456 | 25k| 0 | 0 | 0 |-2.326541e+02 | 0.000000e+00 | 100.00%
12.19/12.28 o -2
12.19/12.28 c R11.5s| 1 | 0 | 4539 | - | 34M| 0 |1440 |1456 | 25k|1456 | 25k| 0 | 0 | 0 |-2.326541e+02 |-2.000000e+00 | 99.14%
12.39/12.42 o -4
12.39/12.42 c s11.7s| 1 | 0 | 4539 | - | 34M| 0 |1440 |1456 | 25k|1456 | 25k| 0 | 0 | 0 |-2.326541e+02 |-4.000000e+00 | 98.28%
52.57/52.67 c 51.6s| 1 | 0 | 14554 | - | 35M| 0 |1452 |1456 | 25k|1456 | 25k| 20 | 0 | 0 |-2.258876e+02 |-4.000000e+00 | 98.23%
52.57/52.68 o -11
52.57/52.68 c b51.6s| 1 | 0 | 14554 | - | 35M| 0 |1452 |1456 | 25k|1456 | 25k| 20 | 0 | 0 |-2.258876e+02 |-1.100000e+01 | 95.13%
176.54/176.66 c 175s| 1 | 0 | 33692 | - | 36M| 0 |1451 |1456 | 25k|1456 | 25k| 26 | 0 | 0 |-2.231546e+02 |-1.100000e+01 | 95.07%
176.64/176.71 o -14
176.64/176.71 c b 175s| 1 | 0 | 33692 | - | 36M| 0 |1451 |1456 | 25k|1456 | 25k| 26 | 0 | 0 |-2.231546e+02 |-1.400000e+01 | 93.73%
358.29/358.48 c 348s| 1 | 0 | 52590 | - | 36M| 0 |1453 |1456 | 25k|1456 | 25k| 141 | 0 | 0 |-2.176091e+02 |-1.400000e+01 | 93.57%
516.54/516.76 c 497s| 1 | 0 | 67298 | - | 36M| 0 |1451 |1456 | 25k|1456 | 25k| 144 | 0 | 0 |-2.171819e+02 |-1.400000e+01 | 93.55%
660.10/660.33 c 632s| 1 | 0 | 80139 | - | 36M| 0 |1448 |1456 | 25k|1456 | 25k| 145 | 0 | 0 |-2.170846e+02 |-1.400000e+01 | 93.55%
875.73/876.05 c 841s| 1 | 0 |102742 | - | 40M| 0 |1450 |1456 | 25k|1456 | 25k| 178 | 0 | 0 |-2.122435e+02 |-1.400000e+01 | 93.40%
1099.67/1100.03 c 1058s| 1 | 0 |127318 | - | 42M| 0 |1450 |1456 | 25k|1456 | 25k| 183 | 0 | 0 |-2.092392e+02 |-1.400000e+01 | 93.31%
1305.41/1305.83 c 1255s| 1 | 0 |148738 | - | 42M| 0 |1450 |1456 | 25k|1456 | 25k| 249 | 0 | 0 |-2.062209e+02 |-1.400000e+01 | 93.21%
1305.50/1305.92 o -15
1305.50/1305.92 c R1255s| 1 | 0 |148738 | - | 42M| 0 |1450 |1456 | 25k|1456 | 25k| 249 | 0 | 0 |-2.062209e+02 |-1.500000e+01 | 92.73%
1488.96/1489.42 c 1430s| 1 | 0 |166921 | - | 43M| 0 |1451 |1456 | 25k|1456 | 25k| 254 | 0 | 0 |-2.050130e+02 |-1.500000e+01 | 92.68%
1488.96/1489.43 o -16
1488.96/1489.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.96/1489.43 c b1430s| 1 | 0 |166921 | - | 43M| 0 |1451 |1456 | 25k|1456 | 25k| 254 | 0 | 0 |-2.050130e+02 |-1.600000e+01 | 92.20%
1489.05/1489.51 o -17
1489.05/1489.51 c R1430s| 1 | 0 |166921 | - | 43M| 0 |1451 |1456 | 25k|1456 | 25k| 254 | 0 | 0 |-2.050130e+02 |-1.700000e+01 | 91.71%
1643.91/1644.48 c 1580s| 1 | 0 |184454 | - | 49M| 0 |1450 |1456 | 25k|1456 | 25k| 256 | 0 | 0 |-2.047681e+02 |-1.700000e+01 | 91.70%
1644.01/1644.53 o -19
1644.01/1644.53 c b1580s| 1 | 0 |184454 | - | 49M| 0 |1450 |1456 | 25k|1456 | 25k| 256 | 0 | 0 |-2.047681e+02 |-1.900000e+01 | 90.72%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666251-1276687080/watcher-2666251-1276687080 -o /tmp/evaluation-result-2666251-1276687080/solver-2666251-1276687080 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666251-1276687080.opb -t 1800 -m 1800
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.08 1.02 1.00 3/106 16580
/proc/meminfo: memFree=1716100/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=7724 CPUtime=0
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 1028 0 0 0 0 0 0 0 18 0 1 0 9998985 7909376 947 1992294400 4194304 8223781 140734452360736 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16580/statm: 1931 955 348 984 0 944 0
[startup+0.0748219 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 16580
/proc/meminfo: memFree=1716100/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=12548 CPUtime=0.07
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 2456 0 0 0 6 1 0 0 20 0 1 0 9998985 12849152 2375 1992294400 4194304 8223781 140734452360736 18446744073709551615 6207760 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16580/statm: 3137 2375 365 984 0 2150 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12548
[startup+0.101824 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 16580
/proc/meminfo: memFree=1716100/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=13268 CPUtime=0.09
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 2615 0 0 0 8 1 0 0 20 0 1 0 9998985 13586432 2534 1992294400 4194304 8223781 140734452360736 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16580/statm: 3317 2535 365 984 0 2330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13268
[startup+0.301853 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 16580
/proc/meminfo: memFree=1716100/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=18024 CPUtime=0.29
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 3822 0 0 0 28 1 0 0 20 0 1 0 9998985 18456576 3741 1992294400 4194304 8223781 140734452360736 18446744073709551615 4240595 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16580/statm: 4506 3741 365 984 0 3519 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18024
[startup+0.700913 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 16580
/proc/meminfo: memFree=1716100/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=46872 CPUtime=0.69
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 11088 0 0 0 64 5 0 0 21 0 1 0 9998985 47996928 10643 1992294400 4194304 8223781 140734452360736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 11718 10643 446 984 0 10731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46872
[startup+1.50103 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 16581
/proc/meminfo: memFree=1666120/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=82892 CPUtime=1.49
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 23953 0 0 0 131 18 0 0 23 0 1 0 9998985 84881408 18895 1992294400 4194304 8223781 140734452360736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 20723 18895 532 984 0 19736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82892
[startup+3.10126 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 16581
/proc/meminfo: memFree=1639584/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=90988 CPUtime=3.09
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 25524 0 0 0 290 19 0 0 25 0 1 0 9998985 93171712 19663 1992294400 4194304 8223781 140734452360736 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 22747 19663 543 984 0 21760 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90988
[startup+6.30073 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 16581
/proc/meminfo: memFree=1638592/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=92204 CPUtime=6.29
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 26979 0 0 0 608 21 0 0 25 0 1 0 9998985 94416896 19744 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 23051 19744 543 984 0 22064 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92204
[startup+12.7007 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 16581
/proc/meminfo: memFree=1638476/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=92612 CPUtime=12.68
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 50107 0 0 0 1240 28 0 0 25 0 1 0 9998985 94834688 19704 1992294400 4194304 8223781 140734452360736 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 23153 19718 549 984 0 22166 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92612
[startup+25.5015 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 16581
/proc/meminfo: memFree=1636244/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=95492 CPUtime=25.49
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 94731 0 0 0 2506 43 0 0 25 0 1 0 9998985 97783808 20343 1992294400 4194304 8223781 140734452360736 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 23873 20343 570 984 0 22886 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95492
[startup+51.1013 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 16581
/proc/meminfo: memFree=1635996/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=95540 CPUtime=51.07
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 106215 0 0 0 5053 54 0 0 25 0 1 0 9998985 97832960 20380 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 23885 20380 570 984 0 22898 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95540
[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16583
/proc/meminfo: memFree=1632896/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=97228 CPUtime=102.27
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 235237 0 0 0 10122 105 0 0 25 0 1 0 9998985 99561472 21124 1992294400 4194304 8223781 140734452360736 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 24307 21124 569 984 0 23320 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 97228
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16585
/proc/meminfo: memFree=1632648/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=97236 CPUtime=162.24
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 259025 0 0 0 16098 126 0 0 25 0 1 0 9998985 99569664 21303 1992294400 4194304 8223781 140734452360736 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 24309 21303 569 984 0 23322 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 97236
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16587
/proc/meminfo: memFree=1632524/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=97236 CPUtime=222.23
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 2204797 0 0 0 21436 787 0 0 25 0 1 0 9998985 99569664 21189 1992294400 4194304 8223781 140734452360736 18446744073709551615 6054107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 24309 21189 569 984 0 23322 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 97236
[startup+282.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 16589
/proc/meminfo: memFree=1631036/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=98908 CPUtime=282.2
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 2710351 0 0 0 27259 961 0 0 25 0 1 0 9998985 101281792 21564 1992294400 4194304 8223781 140734452360736 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 24727 21564 571 984 0 23740 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 98908
[startup+342.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 16589
/proc/meminfo: memFree=1630912/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=98916 CPUtime=342.19
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 2735015 0 0 0 33233 986 0 0 25 0 1 0 9998985 101289984 21613 1992294400 4194304 8223781 140734452360736 18446744073709551615 6564760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 24729 21613 571 984 0 23742 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 98916
[startup+402.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 16591
/proc/meminfo: memFree=1630664/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=98792 CPUtime=402.17
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 4448330 0 0 0 38616 1601 0 0 25 0 1 0 9998985 101163008 21607 1992294400 4194304 8223781 140734452360736 18446744073709551615 7070900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 24698 21607 571 984 0 23711 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 98792
[startup+462.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 16593
/proc/meminfo: memFree=1628804/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=100624 CPUtime=462.15
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 5136868 0 0 0 44366 1849 0 0 25 0 1 0 9998985 103038976 22099 1992294400 4194304 8223781 140734452360736 18446744073709551615 6614319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 25156 22099 571 984 0 24169 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 100624
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 16595
/proc/meminfo: memFree=1628680/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=100624 CPUtime=522.14
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 5366489 0 0 0 50268 1946 0 0 25 0 1 0 9998985 103038976 22099 1992294400 4194304 8223781 140734452360736 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 25156 22099 571 984 0 24169 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 100624
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 16597
/proc/meminfo: memFree=1629920/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=100748 CPUtime=582.12
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 7459733 0 0 0 55530 2682 0 0 25 0 1 0 9998985 103165952 21784 1992294400 4194304 8223781 140734452360736 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 25187 21784 571 984 0 24200 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 100748
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 16597
/proc/meminfo: memFree=1629300/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=100756 CPUtime=642.11
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 7483947 0 0 0 61508 2703 0 0 25 0 1 0 9998985 103174144 21940 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 25189 21940 571 984 0 24202 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 100756
[startup+702.301 s]
################
# More data... #
################
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 11278469 0 0 0 96099 4100 0 0 25 0 1 0 9998985 115593216 25223 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28221 25223 573 984 0 27234 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 112884
[startup+1062.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 16612
/proc/meminfo: memFree=1615288/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=113072 CPUtime=1061.97
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 11304832 0 0 0 102074 4123 0 0 25 0 1 0 9998985 115785728 25277 1992294400 4194304 8223781 140734452360736 18446744073709551615 6503897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28268 25277 573 984 0 27281 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 113072
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16614
/proc/meminfo: memFree=1615164/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=113168 CPUtime=1121.96
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 12168071 0 0 0 107757 4439 0 0 25 0 1 0 9998985 115884032 25258 1992294400 4194304 8223781 140734452360736 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28241 25207 573 984 0 27254 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 113168
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16616
/proc/meminfo: memFree=1614420/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=113116 CPUtime=1181.94
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 13587662 0 0 0 113259 4935 0 0 25 0 1 0 9998985 115830784 25414 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28279 25414 573 984 0 27292 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 113116
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16616
/proc/meminfo: memFree=1614296/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=113116 CPUtime=1241.92
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 13613493 0 0 0 119233 4959 0 0 25 0 1 0 9998985 115830784 25415 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28279 25415 573 984 0 27292 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 113116
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16618
/proc/meminfo: memFree=1614420/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=113116 CPUtime=1301.9
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 13638575 0 0 0 125208 4982 0 0 25 0 1 0 9998985 115830784 25433 1992294400 4194304 8223781 140734452360736 18446744073709551615 6251381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28279 25433 573 984 0 27292 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 113116
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16620
/proc/meminfo: memFree=1614296/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=113320 CPUtime=1361.88
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 15820078 0 0 0 130427 5761 0 0 25 0 1 0 9998985 116039680 25472 1992294400 4194304 8223781 140734452360736 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28330 25472 573 984 0 27343 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 113320
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16622
/proc/meminfo: memFree=1613180/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=114816 CPUtime=1421.87
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 15925492 0 0 0 136376 5811 0 0 25 0 1 0 9998985 117571584 25741 1992294400 4194304 8223781 140734452360736 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28704 25741 573 984 0 27717 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 114816
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16624
/proc/meminfo: memFree=1613056/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=115008 CPUtime=1481.85
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 15950822 0 0 0 142350 5835 0 0 25 0 1 0 9998985 117768192 25793 1992294400 4194304 8223781 140734452360736 18446744073709551615 6503924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 28752 25793 573 984 0 27765 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 115008
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16624
/proc/meminfo: memFree=1608840/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=119140 CPUtime=1541.83
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 17199846 0 0 0 147887 6296 0 0 25 0 1 0 9998985 121999360 26832 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 29785 26832 573 984 0 28798 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 119140
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16626
/proc/meminfo: memFree=1608840/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=119140 CPUtime=1601.81
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 17224027 0 0 0 153862 6319 0 0 25 0 1 0 9998985 121999360 26813 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 29785 26813 573 984 0 28798 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 119140
[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 16628
/proc/meminfo: memFree=1608592/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=119016 CPUtime=1661.8
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 17884274 0 0 0 159613 6567 0 0 25 0 1 0 9998985 121872384 26835 1992294400 4194304 8223781 140734452360736 18446744073709551615 6044390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 29754 26835 573 984 0 28767 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 119016
[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16630
/proc/meminfo: memFree=1604376/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=125116 CPUtime=1721.78
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 18704664 0 0 0 165319 6859 0 0 25 0 1 0 9998985 128118784 27965 1992294400 4194304 8223781 140734452360736 18446744073709551615 6569902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 31279 27965 573 984 0 30292 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 125116
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16632
/proc/meminfo: memFree=1604128/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=125116 CPUtime=1781.76
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 18731911 0 0 0 171294 6882 0 0 25 0 1 0 9998985 128118784 27954 1992294400 4194304 8223781 140734452360736 18446744073709551615 6569748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 31279 27954 573 984 0 30292 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 125116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16632
/proc/meminfo: memFree=1603880/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=125308 CPUtime=1800.07
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 18738804 0 0 0 173118 6889 0 0 25 0 1 0 9998985 128315392 28025 1992294400 4194304 8223781 140734452360736 18446744073709551615 6567763 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 31327 28025 573 984 0 30340 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 125308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16580
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16632
/proc/meminfo: memFree=1603880/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=125308 CPUtime=1800.85
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 18739401 0 0 0 173196 6889 0 0 25 0 1 0 9998985 128315392 28011 1992294400 4194304 8223781 140734452360736 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 31327 28011 573 984 0 30340 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 125308
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16633
/proc/meminfo: memFree=1603872/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=125308 CPUtime=1801.66
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 18739964 0 0 0 173276 6890 0 0 25 0 1 0 9998985 128315392 27957 1992294400 4194304 8223781 140734452360736 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 31327 27957 573 984 0 30340 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 125308
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16633
/proc/meminfo: memFree=1603872/2059040 swapFree=4164948/4192956
[pid=16580] ppid=16578 vsize=125308 CPUtime=1802.06
/proc/16580/stat : 16580 (pbscip.linux.x8) R 16578 16580 15471 0 -1 4202496 18739976 0 0 0 173316 6890 0 0 25 0 1 0 9998985 128315392 27969 1992294400 4194304 8223781 140734452360736 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16580/statm: 31327 27969 573 984 0 30340 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 125308
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.09
CPU user time (s): 1733.18
CPU system time (s): 68.9145
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 128364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.18
system time used= 68.9145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18739977
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= 19187
runsolver used 2.87656 second user time and 8.62069 second system time
The end