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-2666239-1276685263.opb>
1.00/1.03 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63250 constraints
1.00/1.03 c problem read
1.00/1.03 c presolving settings loaded
1.19/1.24 o 0
1.19/1.24 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.19/1.24 c presolving:
1.39/1.50 c (round 1) 193 del vars, 193 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.99/2.04 c (round 2) 193 del vars, 879 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62371 upgd conss, 2340 impls, 0 clqs
2.20/2.25 c (1.0s) probing: 101/1832 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.20/2.25 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.20/2.25 c presolving (3 rounds):
2.20/2.25 c 193 deleted vars, 879 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.20/2.25 c 2340 implications, 0 cliques
2.20/2.25 c presolved problem has 1832 variables (1832 bin, 0 int, 0 impl, 0 cont) and 62371 constraints
2.20/2.25 c 62371 constraints of type <logicor>
2.20/2.25 c transformed objective value is always integral (scale: 1)
2.20/2.25 c Presolving Time: 0.84
2.20/2.25 c - non default parameters ----------------------------------------------------------------------
2.20/2.25 c # SCIP version 1.2.1.2
2.20/2.25 c
2.20/2.25 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.20/2.25 c # [type: int, range: [-1,2147483647], default: -1]
2.20/2.25 c conflict/interconss = 0
2.20/2.25 c
2.20/2.25 c # should binary conflicts be preferred?
2.20/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.25 c conflict/preferbinary = TRUE
2.20/2.25 c
2.20/2.25 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.20/2.25 c # [type: int, range: [-1,2147483647], default: 0]
2.20/2.25 c constraints/agelimit = 1
2.20/2.25 c
2.20/2.25 c # should enforcement of pseudo solution be disabled?
2.20/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.25 c constraints/disableenfops = TRUE
2.20/2.25 c
2.20/2.25 c # frequency for displaying node information lines
2.20/2.25 c # [type: int, range: [-1,2147483647], default: 100]
2.20/2.25 c display/freq = 10000
2.20/2.25 c
2.20/2.25 c # maximal time in seconds to run
2.20/2.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.25 c limits/time = 1798.97
2.20/2.25 c
2.20/2.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.20/2.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.25 c limits/memory = 1620
2.20/2.25 c
2.20/2.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.20/2.25 c # [type: int, range: [-1,2147483647], default: 1]
2.20/2.25 c lp/solvefreq = 0
2.20/2.25 c
2.20/2.25 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)
2.20/2.25 c # [type: char, range: {lafpsqd}, default: l]
2.20/2.25 c lp/pricing = a
2.20/2.25 c
2.20/2.25 c # should presolving try to simplify inequalities
2.20/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.25 c constraints/linear/simplifyinequalities = TRUE
2.20/2.25 c
2.20/2.25 c # should presolving try to simplify knapsacks
2.20/2.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.25 c constraints/knapsack/simplifyinequalities = TRUE
2.20/2.25 c
2.20/2.25 c # priority of node selection rule <dfs> in standard mode
2.20/2.25 c # [type: int, range: [-536870912,536870911], default: 0]
2.20/2.25 c nodeselection/dfs/stdpriority = 1000000
2.20/2.25 c
2.20/2.25 c -----------------------------------------------------------------------------------------------
2.20/2.25 c start solving
2.20/2.25 c
58.47/58.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.47/58.59 c t57.0s| 1 | 0 | 8720 | - | 72M| 0 |1738 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 | 0.000000e+00 | 100.00%
58.67/58.76 o -7
58.67/58.76 c R57.2s| 1 | 0 | 8720 | - | 72M| 0 |1738 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 |-7.000000e+00 | 97.17%
58.87/58.96 o -9
58.87/58.96 c s57.4s| 1 | 0 | 8720 | - | 72M| 0 |1738 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 |-9.000000e+00 | 96.36%
622.00/622.24 c 618s| 1 | 0 | 48335 | - | 74M| 0 |1826 |1832 | 62k|1832 | 62k| 4 | 0 | 0 |-2.433509e+02 |-9.000000e+00 | 96.30%
622.00/622.27 o -39
622.00/622.27 c b 618s| 1 | 0 | 48335 | - | 74M| 0 |1826 |1832 | 62k|1832 | 62k| 4 | 0 | 0 |-2.433509e+02 |-3.900000e+01 | 83.97%
1093.94/1094.31 c 1088s| 1 | 0 | 81073 | - | 78M| 0 |1828 |1832 | 62k|1832 | 62k| 13 | 0 | 0 |-2.417477e+02 |-3.900000e+01 | 83.87%
1094.05/1094.45 o -52
1094.05/1094.45 c b1089s| 1 | 0 | 81073 | - | 78M| 0 |1828 |1832 | 62k|1832 | 62k| 13 | 0 | 0 |-2.417477e+02 |-5.200000e+01 | 78.49%
1800.05/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-2666239-1276685263/watcher-2666239-1276685263 -o /tmp/evaluation-result-2666239-1276685263/solver-2666239-1276685263 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666239-1276685263.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: 2.09 1.99 1.60 2/105 15189
/proc/meminfo: memFree=1739832/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=7724 CPUtime=0
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 1116 0 0 0 0 0 0 0 25 0 1 0 9820384 7909376 1036 1992294400 4194304 8223781 140736782084848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15189/statm: 1931 1047 348 984 0 944 0
[startup+0.085589 s]
/proc/loadavg: 2.09 1.99 1.60 2/105 15189
/proc/meminfo: memFree=1739832/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=12796 CPUtime=0.07
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2497 0 0 0 7 0 0 0 25 0 1 0 9820384 13103104 2417 1992294400 4194304 8223781 140736782084848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15189/statm: 3199 2417 365 984 0 2212 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12796
[startup+0.10159 s]
/proc/loadavg: 2.09 1.99 1.60 2/105 15189
/proc/meminfo: memFree=1739832/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=14232 CPUtime=0.1
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2857 0 0 0 9 1 0 0 25 0 1 0 9820384 14573568 2777 1992294400 4194304 8223781 140736782084848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15189/statm: 3558 2777 365 984 0 2571 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14232
[startup+0.301611 s]
/proc/loadavg: 2.09 1.99 1.60 2/105 15189
/proc/meminfo: memFree=1739832/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=18860 CPUtime=0.29
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 4033 0 0 0 28 1 0 0 25 0 1 0 9820384 19312640 3953 1992294400 4194304 8223781 140736782084848 18446744073709551615 7253404 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15189/statm: 4715 3953 365 984 0 3728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18860
[startup+0.701654 s]
/proc/loadavg: 2.09 1.99 1.60 2/105 15189
/proc/meminfo: memFree=1739832/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=27060 CPUtime=0.69
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 6063 0 0 0 67 2 0 0 25 0 1 0 9820384 27709440 5983 1992294400 4194304 8223781 140736782084848 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15189/statm: 6765 5983 365 984 0 5778 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27060
[startup+1.50174 s]
/proc/loadavg: 2.00 1.98 1.60 2/106 15190
/proc/meminfo: memFree=1710188/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=80968 CPUtime=1.49
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 19937 0 0 0 136 13 0 0 25 0 1 0 9820384 82911232 19170 1992294400 4194304 8223781 140736782084848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 20242 19170 446 984 0 19255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80968
[startup+3.10091 s]
/proc/loadavg: 2.00 1.98 1.60 2/106 15190
/proc/meminfo: memFree=1654512/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=162436 CPUtime=3.09
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 48294 0 0 0 276 33 0 0 25 0 1 0 9820384 166334464 36815 1992294400 4194304 8223781 140736782084848 18446744073709551615 6598901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 40609 36815 529 984 0 39622 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 162436
[startup+6.30125 s]
/proc/loadavg: 1.92 1.96 1.59 2/106 15190
/proc/meminfo: memFree=1588792/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=177032 CPUtime=6.29
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 52146 0 0 0 593 36 0 0 25 0 1 0 9820384 181280768 38143 1992294400 4194304 8223781 140736782084848 18446744073709551615 6612622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 44258 38143 533 984 0 43271 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 177032
[startup+12.7009 s]
/proc/loadavg: 1.85 1.94 1.59 2/106 15190
/proc/meminfo: memFree=1587676/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=180576 CPUtime=12.69
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 54975 0 0 0 1231 38 0 0 25 0 1 0 9820384 184909824 38353 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 45144 38353 533 984 0 44157 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 180576
[startup+25.5013 s]
/proc/loadavg: 1.66 1.90 1.58 2/106 15190
/proc/meminfo: memFree=1587304/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=182480 CPUtime=25.49
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 61884 0 0 0 2506 43 0 0 25 0 1 0 9820384 186859520 38461 1992294400 4194304 8223781 140736782084848 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 45620 38461 533 984 0 44633 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182480
[startup+51.101 s]
/proc/loadavg: 1.43 1.82 1.56 2/106 15192
/proc/meminfo: memFree=1586932/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=183408 CPUtime=51.07
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 75710 0 0 0 5054 53 0 0 25 0 1 0 9820384 187809792 38535 1992294400 4194304 8223781 140736782084848 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 45852 38535 533 984 0 44865 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 183408
[startup+102.308 s]
/proc/loadavg: 1.19 1.69 1.53 2/106 15192
/proc/meminfo: memFree=1584328/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=188892 CPUtime=102.26
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 224834 0 0 0 10110 116 0 0 25 0 1 0 9820384 193425408 39165 1992294400 4194304 8223781 140736782084848 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47223 39165 562 984 0 46236 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 188892
[startup+162.302 s]
/proc/loadavg: 1.07 1.57 1.50 2/106 15194
/proc/meminfo: memFree=1583584/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189088 CPUtime=162.24
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 250638 0 0 0 16089 135 0 0 25 0 1 0 9820384 193626112 39369 1992294400 4194304 8223781 140736782084848 18446744073709551615 6564888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47272 39369 562 984 0 46285 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 189088
[startup+222.301 s]
/proc/loadavg: 1.02 1.46 1.46 2/106 15196
/proc/meminfo: memFree=1583336/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189136 CPUtime=222.21
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 275825 0 0 0 22066 155 0 0 25 0 1 0 9820384 193675264 39396 1992294400 4194304 8223781 140736782084848 18446744073709551615 6571191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47284 39396 562 984 0 46297 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 189136
[startup+282.301 s]
/proc/loadavg: 1.01 1.37 1.43 2/106 15198
/proc/meminfo: memFree=1583212/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189168 CPUtime=282.2
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 299500 0 0 0 28047 173 0 0 25 0 1 0 9820384 193708032 39402 1992294400 4194304 8223781 140736782084848 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47292 39402 562 984 0 46305 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 189168
[startup+342.302 s]
/proc/loadavg: 1.00 1.30 1.40 2/106 15198
/proc/meminfo: memFree=1583212/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189304 CPUtime=342.18
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 325430 0 0 0 34027 191 0 0 25 0 1 0 9820384 193847296 39430 1992294400 4194304 8223781 140736782084848 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47326 39430 562 984 0 46339 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 189304
[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.37 2/106 15200
/proc/meminfo: memFree=1582716/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189352 CPUtime=402.16
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 348976 0 0 0 40009 207 0 0 25 0 1 0 9820384 193896448 39564 1992294400 4194304 8223781 140736782084848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47338 39564 562 984 0 46351 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 189352
[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.35 2/106 15202
/proc/meminfo: memFree=1580856/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189360 CPUtime=462.15
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 372766 0 0 0 45991 224 0 0 25 0 1 0 9820384 193904640 40015 1992294400 4194304 8223781 140736782084848 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47340 40015 562 984 0 46353 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 189360
[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.32 2/106 15204
/proc/meminfo: memFree=1580980/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189360 CPUtime=522.12
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 395012 0 0 0 51972 240 0 0 25 0 1 0 9820384 193904640 39997 1992294400 4194304 8223781 140736782084848 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47340 39997 562 984 0 46353 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 189360
[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.30 2/106 15206
/proc/meminfo: memFree=1580856/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=189360 CPUtime=582.11
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 416557 0 0 0 57955 256 0 0 25 0 1 0 9820384 193904640 39958 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 47340 39958 562 984 0 46353 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 189360
[startup+642.302 s]
/proc/loadavg: 1.00 1.10 1.28 2/106 15206
/proc/meminfo: memFree=1578004/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=194588 CPUtime=642.1
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 570855 0 0 0 63895 315 0 0 25 0 1 0 9820384 199258112 40679 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 48647 40679 562 984 0 47660 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 194588
[startup+702.301 s]
################
# More data... #
################
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 720840 0 0 0 99775 422 0 0 25 0 1 0 9820384 199258112 40883 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 48647 40883 562 984 0 47660 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 194588
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.16 2/106 15227
/proc/meminfo: memFree=1576888/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=194588 CPUtime=1061.96
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 743526 0 0 0 105756 440 0 0 25 0 1 0 9820384 199258112 40852 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 48647 40852 562 984 0 47660 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 194588
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/106 15229
/proc/meminfo: memFree=1572548/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=198268 CPUtime=1121.94
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 1971399 0 0 0 111315 879 0 0 25 0 1 0 9820384 203026432 41810 1992294400 4194304 8223781 140736782084848 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49567 41810 563 984 0 48580 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 198268
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 15231
/proc/meminfo: memFree=1572548/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1181.92
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2001673 0 0 0 117293 899 0 0 25 0 1 0 9820384 204173312 41881 1992294400 4194304 8223781 140736782084848 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 41881 565 984 0 48860 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 199388
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 15231
/proc/meminfo: memFree=1571804/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1241.9
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2028530 0 0 0 123271 919 0 0 25 0 1 0 9820384 204173312 42070 1992294400 4194304 8223781 140736782084848 18446744073709551615 6502716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42070 565 984 0 48860 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 199388
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/106 15233
/proc/meminfo: memFree=1571184/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1301.89
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2054549 0 0 0 129253 936 0 0 25 0 1 0 9820384 204173312 42194 1992294400 4194304 8223781 140736782084848 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42194 565 984 0 48860 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 199388
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 15235
/proc/meminfo: memFree=1570936/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1361.87
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2080532 0 0 0 135234 953 0 0 25 0 1 0 9820384 204173312 42258 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42258 565 984 0 48860 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 199388
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 15237
/proc/meminfo: memFree=1570812/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1421.86
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2105396 0 0 0 141215 971 0 0 25 0 1 0 9820384 204173312 42289 1992294400 4194304 8223781 140736782084848 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42289 565 984 0 48860 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 199388
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 15239
/proc/meminfo: memFree=1570564/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1481.83
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2130613 0 0 0 147194 989 0 0 25 0 1 0 9820384 204173312 42376 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42376 565 984 0 48860 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 199388
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 15239
/proc/meminfo: memFree=1570812/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1541.81
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2156648 0 0 0 153176 1005 0 0 25 0 1 0 9820384 204173312 42328 1992294400 4194304 8223781 140736782084848 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42328 565 984 0 48860 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 199388
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 15241
/proc/meminfo: memFree=1570440/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1601.8
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2181159 0 0 0 159159 1021 0 0 25 0 1 0 9820384 204173312 42318 1992294400 4194304 8223781 140736782084848 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42318 565 984 0 48860 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 199388
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 15243
/proc/meminfo: memFree=1570688/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1661.77
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2204342 0 0 0 165141 1036 0 0 25 0 1 0 9820384 204173312 42297 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42297 565 984 0 48860 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 199388
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 15245
/proc/meminfo: memFree=1570440/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199388 CPUtime=1721.76
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2226457 0 0 0 171123 1053 0 0 25 0 1 0 9820384 204173312 42385 1992294400 4194304 8223781 140736782084848 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49847 42385 565 984 0 48860 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 199388
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 15247
/proc/meminfo: memFree=1570316/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199876 CPUtime=1781.74
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2249152 0 0 0 177107 1067 0 0 25 0 1 0 9820384 204673024 42304 1992294400 4194304 8223781 140736782084848 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49969 42304 565 984 0 48982 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 199876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 15247
/proc/meminfo: memFree=1570440/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199876 CPUtime=1800.05
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2256267 0 0 0 178933 1072 0 0 25 0 1 0 9820384 204673024 42284 1992294400 4194304 8223781 140736782084848 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49969 42284 565 984 0 48982 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 199876
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15189
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.05 2/106 15247
/proc/meminfo: memFree=1570440/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199876 CPUtime=1800.84
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2256283 0 0 0 179012 1072 0 0 25 0 1 0 9820384 204673024 42300 1992294400 4194304 8223781 140736782084848 18446744073709551615 6503879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49969 42300 565 984 0 48982 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 199876
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 15248
/proc/meminfo: memFree=1570308/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199876 CPUtime=1801.63
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2257415 0 0 0 179091 1072 0 0 25 0 1 0 9820384 204673024 42275 1992294400 4194304 8223781 140736782084848 18446744073709551615 6568494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49969 42275 565 984 0 48982 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 199876
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 15248
/proc/meminfo: memFree=1570308/2059040 swapFree=4192956/4192956
[pid=15189] ppid=15187 vsize=199876 CPUtime=1802.03
/proc/15189/stat : 15189 (pbscip.linux.x8) R 15187 15189 14905 0 -1 4202496 2257417 0 0 0 179131 1072 0 0 25 0 1 0 9820384 204673024 42277 1992294400 4194304 8223781 140736782084848 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15189/statm: 49969 42277 565 984 0 48982 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 199876
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.08
CPU user time (s): 1791.33
CPU system time (s): 10.7464
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 207196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.33
system time used= 10.7464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2257417
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= 3
involuntary context switches= 3953
runsolver used 2.93155 second user time and 8.5557 second system time
The end