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-2666255-1276687569.opb>
0.50/0.50 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29711 constraints
0.50/0.50 c problem read
0.50/0.50 c presolving settings loaded
0.59/0.61 o 0
0.59/0.61 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.61 c presolving:
0.69/0.75 c (round 1) 584 del vars, 584 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.00/1.00 c (round 2) 584 del vars, 4999 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24712 upgd conss, 2340 impls, 0 clqs
1.00/1.09 c (0.5s) probing: 101/1441 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.09 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.00/1.09 c presolving (3 rounds):
1.00/1.09 c 584 deleted vars, 4999 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.09 c 2340 implications, 0 cliques
1.00/1.09 c presolved problem has 1441 variables (1441 bin, 0 int, 0 impl, 0 cont) and 24712 constraints
1.00/1.09 c 24712 constraints of type <logicor>
1.00/1.09 c transformed objective value is always integral (scale: 1)
1.00/1.09 c Presolving Time: 0.40
1.00/1.09 c - non default parameters ----------------------------------------------------------------------
1.00/1.09 c # SCIP version 1.2.1.2
1.00/1.09 c
1.00/1.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.09 c conflict/interconss = 0
1.00/1.09 c
1.00/1.09 c # should binary conflicts be preferred?
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c conflict/preferbinary = TRUE
1.00/1.09 c
1.00/1.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.09 c constraints/agelimit = 1
1.00/1.09 c
1.00/1.09 c # should enforcement of pseudo solution be disabled?
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c constraints/disableenfops = TRUE
1.00/1.09 c
1.00/1.09 c # frequency for displaying node information lines
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.09 c display/freq = 10000
1.00/1.09 c
1.00/1.09 c # maximal time in seconds to run
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.09 c limits/time = 1799.5
1.00/1.09 c
1.00/1.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.09 c limits/memory = 1620
1.00/1.09 c
1.00/1.09 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.09 c lp/solvefreq = 0
1.00/1.09 c
1.00/1.09 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.00/1.09 c # [type: char, range: {lafpsqd}, default: l]
1.00/1.09 c lp/pricing = a
1.00/1.09 c
1.00/1.09 c # should presolving try to simplify inequalities
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c constraints/linear/simplifyinequalities = TRUE
1.00/1.09 c
1.00/1.09 c # should presolving try to simplify knapsacks
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.09 c
1.00/1.09 c # priority of node selection rule <dfs> in standard mode
1.00/1.09 c # [type: int, range: [-536870912,536870911], default: 0]
1.00/1.09 c nodeselection/dfs/stdpriority = 1000000
1.00/1.09 c
1.00/1.09 c -----------------------------------------------------------------------------------------------
1.00/1.09 c start solving
1.00/1.09 c
12.49/12.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.54 c t11.8s| 1 | 0 | 4992 | - | 33M| 0 |1380 |1441 | 24k|1441 | 24k| 0 | 0 | 0 |-2.500667e+02 | 0.000000e+00 | 100.00%
12.59/12.66 o -3
12.59/12.66 c R11.9s| 1 | 0 | 4992 | - | 33M| 0 |1380 |1441 | 24k|1441 | 24k| 0 | 0 | 0 |-2.500667e+02 |-3.000000e+00 | 98.80%
12.69/12.79 o -4
12.69/12.79 c s12.1s| 1 | 0 | 4992 | - | 33M| 0 |1380 |1441 | 24k|1441 | 24k| 0 | 0 | 0 |-2.500667e+02 |-4.000000e+00 | 98.40%
99.97/100.08 c 98.9s| 1 | 0 | 21589 | - | 34M| 0 |1438 |1441 | 24k|1441 | 24k| 23 | 0 | 0 |-2.424181e+02 |-4.000000e+00 | 98.35%
99.97/100.09 o -11
99.97/100.09 c b98.9s| 1 | 0 | 21589 | - | 34M| 0 |1438 |1441 | 24k|1441 | 24k| 23 | 0 | 0 |-2.424181e+02 |-1.100000e+01 | 95.46%
298.20/298.36 c 295s| 1 | 0 | 51151 | - | 38M| 0 |1436 |1441 | 24k|1441 | 24k| 35 | 0 | 0 |-2.392504e+02 |-1.100000e+01 | 95.40%
499.14/499.37 c 489s| 1 | 0 | 74400 | - | 39M| 0 |1438 |1441 | 24k|1441 | 24k| 43 | 0 | 0 |-2.362120e+02 |-1.100000e+01 | 95.34%
742.27/742.53 c 724s| 1 | 0 |102959 | - | 41M| 0 |1437 |1441 | 24k|1441 | 24k| 94 | 0 | 0 |-2.286905e+02 |-1.100000e+01 | 95.19%
955.29/955.65 c 929s| 1 | 0 |126584 | - | 41M| 0 |1428 |1441 | 24k|1441 | 24k| 124 | 0 | 0 |-2.226494e+02 |-1.100000e+01 | 95.06%
1146.34/1146.75 c 1114s| 1 | 0 |150064 | - | 45M| 0 |1428 |1441 | 24k|1441 | 24k| 132 | 0 | 0 |-2.189041e+02 |-1.100000e+01 | 94.97%
1415.95/1416.48 c 1378s| 1 | 0 |184283 | - | 47M| 0 |1434 |1441 | 24k|1441 | 24k| 157 | 0 | 0 |-2.167509e+02 |-1.100000e+01 | 94.93%
1549.52/1550.01 c 1505s| 1 | 0 |197150 | - | 47M| 0 |1425 |1441 | 24k|1441 | 24k| 180 | 0 | 0 |-2.140937e+02 |-1.100000e+01 | 94.86%
1655.59/1656.11 c 1603s| 1 | 0 |205709 | - | 47M| 0 |1426 |1441 | 24k|1441 | 24k| 181 | 0 | 0 |-2.140226e+02 |-1.100000e+01 | 94.86%
1655.59/1656.18 o -13
1655.59/1656.18 c R1604s| 1 | 0 |205709 | - | 47M| 0 |1426 |1441 | 24k|1441 | 24k| 181 | 0 | 0 |-2.140226e+02 |-1.300000e+01 | 93.93%
1795.55/1796.16 c 1737s| 1 | 0 |219337 | - | 47M| 0 |1423 |1441 | 24k|1441 | 24k| 183 | 0 | 0 |-2.139867e+02 |-1.300000e+01 | 93.92%
1795.55/1796.17 o -16
1795.55/1796.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.55/1796.17 c b1737s| 1 | 0 |219337 | - | 47M| 0 |1423 |1441 | 24k|1441 | 24k| 183 | 0 | 0 |-2.139867e+02 |-1.600000e+01 | 92.52%
1800.06/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-2666255-1276687569/watcher-2666255-1276687569 -o /tmp/evaluation-result-2666255-1276687569/solver-2666255-1276687569 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666255-1276687569.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: 0.88 0.97 0.99 3/105 15411
/proc/meminfo: memFree=1737980/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=7724 CPUtime=0
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 1080 0 0 0 0 0 0 0 25 0 1 0 10051028 7909376 1000 1992294400 4194304 8223781 140734495019360 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15411/statm: 1931 1010 348 984 0 944 0
[startup+0.02421 s]
/proc/loadavg: 0.88 0.97 0.99 3/105 15411
/proc/meminfo: memFree=1737980/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=10068 CPUtime=0.01
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 1813 0 0 0 1 0 0 0 25 0 1 0 10051028 10309632 1733 1992294400 4194304 8223781 140734495019360 18446744073709551615 5651222 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15411/statm: 2517 1733 365 984 0 1530 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10068
[startup+0.101217 s]
/proc/loadavg: 0.88 0.97 0.99 3/105 15411
/proc/meminfo: memFree=1737980/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=14228 CPUtime=0.09
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 2855 0 0 0 8 1 0 0 25 0 1 0 10051028 14569472 2775 1992294400 4194304 8223781 140734495019360 18446744073709551615 5647789 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15411/statm: 3557 2775 365 984 0 2570 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14228
[startup+0.301239 s]
/proc/loadavg: 0.88 0.97 0.99 3/105 15411
/proc/meminfo: memFree=1737980/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=18020 CPUtime=0.29
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 3821 0 0 0 28 1 0 0 25 0 1 0 10051028 18452480 3741 1992294400 4194304 8223781 140734495019360 18446744073709551615 4240582 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15411/statm: 4505 3741 365 984 0 3518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18020
[startup+0.701281 s]
/proc/loadavg: 0.88 0.97 0.99 3/105 15411
/proc/meminfo: memFree=1737980/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=47008 CPUtime=0.69
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 11148 0 0 0 64 5 0 0 25 0 1 0 10051028 48136192 10680 1992294400 4194304 8223781 140734495019360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 11752 10680 446 984 0 10765 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47008
[startup+1.50137 s]
/proc/loadavg: 0.88 0.97 0.99 2/106 15412
/proc/meminfo: memFree=1691348/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=83536 CPUtime=1.49
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 23707 0 0 0 133 16 0 0 25 0 1 0 10051028 85540864 18917 1992294400 4194304 8223781 140734495019360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 20884 18917 538 984 0 19897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83536
[startup+3.10153 s]
/proc/loadavg: 0.88 0.97 0.99 2/106 15412
/proc/meminfo: memFree=1661960/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=90108 CPUtime=3.09
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 25150 0 0 0 292 17 0 0 25 0 1 0 10051028 92270592 19568 1992294400 4194304 8223781 140734495019360 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 22527 19568 544 984 0 21540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90108
[startup+6.30087 s]
/proc/loadavg: 0.89 0.97 0.99 2/106 15412
/proc/meminfo: memFree=1660968/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=91796 CPUtime=6.29
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 26922 0 0 0 610 19 0 0 25 0 1 0 10051028 93999104 19639 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 22949 19639 544 984 0 21962 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91796
[startup+12.7016 s]
/proc/loadavg: 0.89 0.97 0.99 2/106 15412
/proc/meminfo: memFree=1660844/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=91936 CPUtime=12.69
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 30897 0 0 0 1246 23 0 0 25 0 1 0 10051028 94142464 19707 1992294400 4194304 8223781 140734495019360 18446744073709551615 7073867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 22984 19707 550 984 0 21997 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91936
[startup+25.5009 s]
/proc/loadavg: 0.99 0.99 1.00 2/106 15412
/proc/meminfo: memFree=1657620/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=95512 CPUtime=25.49
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 86907 0 0 0 2505 44 0 0 25 0 1 0 10051028 97804288 20521 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 23878 20521 568 984 0 22891 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95512
[startup+51.1006 s]
/proc/loadavg: 0.99 0.99 1.00 2/106 15412
/proc/meminfo: memFree=1657000/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=95656 CPUtime=51.08
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 98499 0 0 0 5054 54 0 0 25 0 1 0 10051028 97951744 20723 1992294400 4194304 8223781 140734495019360 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 23914 20723 568 984 0 22927 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 95656
[startup+102.308 s]
/proc/loadavg: 1.05 1.00 1.00 2/106 15414
/proc/meminfo: memFree=1655884/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=95932 CPUtime=102.27
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 222838 0 0 0 10120 107 0 0 25 0 1 0 10051028 98234368 20900 1992294400 4194304 8223781 140734495019360 18446744073709551615 6299976 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 23934 20851 568 984 0 22947 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 95932
[startup+162.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 15416
/proc/meminfo: memFree=1649808/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=101912 CPUtime=162.24
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 445481 0 0 0 16035 189 0 0 25 0 1 0 10051028 104357888 22390 1992294400 4194304 8223781 140734495019360 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 25478 22390 570 984 0 24491 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101912
[startup+222.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/106 15418
/proc/meminfo: memFree=1649188/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=101912 CPUtime=222.22
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 473146 0 0 0 22012 210 0 0 25 0 1 0 10051028 104357888 22577 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 25478 22577 570 984 0 24491 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 101912
[startup+282.301 s]
/proc/loadavg: 1.11 1.06 1.01 2/106 15418
/proc/meminfo: memFree=1649312/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=101912 CPUtime=282.2
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 499725 0 0 0 27990 230 0 0 25 0 1 0 10051028 104357888 22553 1992294400 4194304 8223781 140734495019360 18446744073709551615 6250733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 25478 22553 570 984 0 24491 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 101912
[startup+342.3 s]
/proc/loadavg: 1.04 1.04 1.01 2/106 15422
/proc/meminfo: memFree=1645592/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=104960 CPUtime=342.18
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 2389493 0 0 0 33365 853 0 0 25 0 1 0 10051028 107479040 23307 1992294400 4194304 8223781 140734495019360 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 26240 23307 570 984 0 25253 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 104960
[startup+402.301 s]
/proc/loadavg: 1.10 1.06 1.01 2/106 15425
/proc/meminfo: memFree=1644972/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=105676 CPUtime=402.17
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 2727301 0 0 0 39251 966 0 0 25 0 1 0 10051028 108212224 23503 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 26419 23503 569 984 0 25432 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 105676
[startup+462.301 s]
/proc/loadavg: 1.03 1.05 1.01 2/106 15427
/proc/meminfo: memFree=1643980/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=105872 CPUtime=462.15
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 2754751 0 0 0 45227 988 0 0 25 0 1 0 10051028 108412928 23739 1992294400 4194304 8223781 140734495019360 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 26468 23739 569 984 0 25481 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 105872
[startup+522.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/106 15429
/proc/meminfo: memFree=1643484/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=105880 CPUtime=522.13
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 3580866 0 0 0 50926 1287 0 0 25 0 1 0 10051028 108421120 23777 1992294400 4194304 8223781 140734495019360 18446744073709551615 6017375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 26470 23777 569 984 0 25483 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 105880
[startup+582.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 15429
/proc/meminfo: memFree=1639888/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=109772 CPUtime=582.11
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 4860812 0 0 0 56486 1725 0 0 25 0 1 0 10051028 112406528 24738 1992294400 4194304 8223781 140734495019360 18446744073709551615 6569946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 27443 24738 569 984 0 26456 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 109772
[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 15431
/proc/meminfo: memFree=1639888/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=109772 CPUtime=642.1
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 4888498 0 0 0 62462 1748 0 0 25 0 1 0 10051028 112406528 24736 1992294400 4194304 8223781 140734495019360 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 27443 24736 569 984 0 26456 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 109772
[startup+702.301 s]
################
# More data... #
################
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 8634873 0 0 0 97102 3096 0 0 25 0 1 0 10051028 119906304 26499 1992294400 4194304 8223781 140734495019360 18446744073709551615 6502677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29274 26499 570 984 0 28287 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 117096
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15443
/proc/meminfo: memFree=1632944/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117096 CPUtime=1061.97
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 8663001 0 0 0 103078 3119 0 0 25 0 1 0 10051028 119906304 26439 1992294400 4194304 8223781 140734495019360 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29274 26439 570 984 0 28287 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 117096
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15445
/proc/meminfo: memFree=1632820/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117292 CPUtime=1121.94
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 8689576 0 0 0 109055 3139 0 0 25 0 1 0 10051028 120107008 26489 1992294400 4194304 8223781 140734495019360 18446744073709551615 6250733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29323 26489 570 984 0 28336 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 117292
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15445
/proc/meminfo: memFree=1632200/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117776 CPUtime=1181.92
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 10194275 0 0 0 114568 3624 0 0 25 0 1 0 10051028 120602624 26544 1992294400 4194304 8223781 140734495019360 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29444 26544 570 984 0 28457 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 117776
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15447
/proc/meminfo: memFree=1633068/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117676 CPUtime=1241.91
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 10223408 0 0 0 120542 3649 0 0 25 0 1 0 10051028 120500224 26331 1992294400 4194304 8223781 140734495019360 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29419 26331 570 984 0 28432 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 117676
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15449
/proc/meminfo: memFree=1632820/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117868 CPUtime=1301.9
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 10251754 0 0 0 126518 3672 0 0 25 0 1 0 10051028 120696832 26354 1992294400 4194304 8223781 140734495019360 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29467 26354 570 984 0 28480 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 117868
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15451
/proc/meminfo: memFree=1632944/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117884 CPUtime=1361.88
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 10278233 0 0 0 132495 3693 0 0 25 0 1 0 10051028 120713216 26358 1992294400 4194304 8223781 140734495019360 18446744073709551615 6446989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29471 26358 570 984 0 28484 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 117884
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15453
/proc/meminfo: memFree=1632572/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=118088 CPUtime=1421.87
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 10508214 0 0 0 138403 3784 0 0 25 0 1 0 10051028 120922112 26408 1992294400 4194304 8223781 140734495019360 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29522 26420 570 984 0 28535 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 118088
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15453
/proc/meminfo: memFree=1631456/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117728 CPUtime=1481.84
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 12322061 0 0 0 143767 4417 0 0 25 0 1 0 10051028 120553472 26728 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29432 26728 570 984 0 28445 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 117728
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15455
/proc/meminfo: memFree=1631332/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117728 CPUtime=1541.82
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 12347520 0 0 0 149744 4438 0 0 25 0 1 0 10051028 120553472 26742 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29432 26742 570 984 0 28445 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 117728
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15457
/proc/meminfo: memFree=1631208/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117924 CPUtime=1601.8
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 14232929 0 0 0 155095 5085 0 0 25 0 1 0 10051028 120754176 26733 1992294400 4194304 8223781 140734495019360 18446744073709551615 7236399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29481 26747 570 984 0 28494 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 117924
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15459
/proc/meminfo: memFree=1632820/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=118224 CPUtime=1661.79
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 14666475 0 0 0 160942 5237 0 0 25 0 1 0 10051028 121061376 26316 1992294400 4194304 8223781 140734495019360 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29556 26330 570 984 0 28569 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 118224
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15461
/proc/meminfo: memFree=1633192/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=117832 CPUtime=1721.77
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 16432084 0 0 0 166361 5816 0 0 25 0 1 0 10051028 120659968 26227 1992294400 4194304 8223781 140734495019360 18446744073709551615 6567432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29458 26227 570 984 0 28471 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 117832
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15461
/proc/meminfo: memFree=1631580/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=118036 CPUtime=1781.75
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 16459110 0 0 0 172336 5839 0 0 25 0 1 0 10051028 120868864 26684 1992294400 4194304 8223781 140734495019360 18446744073709551615 6569863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29509 26684 570 984 0 28522 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 118036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15463
/proc/meminfo: memFree=1631208/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=118036 CPUtime=1800.06
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 16611407 0 0 0 174109 5897 0 0 25 0 1 0 10051028 120868864 26646 1992294400 4194304 8223781 140734495019360 18446744073709551615 6045516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29558 26653 572 984 0 28571 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 118036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15411
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 15463
/proc/meminfo: memFree=1631208/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=118052 CPUtime=1800.85
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 16612631 0 0 0 174187 5898 0 0 25 0 1 0 10051028 120885248 26071 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29513 26071 572 984 0 28526 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 118052
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15464
/proc/meminfo: memFree=1633060/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=118232 CPUtime=1801.64
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 16613249 0 0 0 174266 5898 0 0 25 0 1 0 10051028 121069568 26195 1992294400 4194304 8223781 140734495019360 18446744073709551615 6570430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29558 26195 572 984 0 28571 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 118232
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15464
/proc/meminfo: memFree=1633060/2059040 swapFree=4192956/4192956
[pid=15411] ppid=15409 vsize=118232 CPUtime=1802.04
/proc/15411/stat : 15411 (pbscip.linux.x8) R 15409 15411 14905 0 -1 4202496 16613253 0 0 0 174306 5898 0 0 25 0 1 0 10051028 121069568 26199 1992294400 4194304 8223781 140734495019360 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15411/statm: 29558 26199 572 984 0 28571 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 118232
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.08
CPU user time (s): 1743.09
CPU system time (s): 58.996
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 121140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.09
system time used= 58.996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16613254
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= 3094
runsolver used 3.05653 second user time and 8.42972 second system time
The end