0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2664816-1276686316.opb>
1.10/1.12 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62231 constraints
1.10/1.12 c problem read
1.10/1.12 c presolving settings loaded
1.29/1.33 o 0
1.29/1.33 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.29/1.33 c presolving:
1.59/1.60 c (round 1) 194 del vars, 194 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.10/2.15 c (round 2) 194 del vars, 898 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 61333 upgd conss, 2340 impls, 0 clqs
2.29/2.37 c (1.0s) probing: 101/1831 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.29/2.37 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.29/2.37 c presolving (3 rounds):
2.29/2.37 c 194 deleted vars, 898 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.29/2.37 c 2340 implications, 0 cliques
2.29/2.37 c presolved problem has 1831 variables (1831 bin, 0 int, 0 impl, 0 cont) and 61333 constraints
2.29/2.37 c 61333 constraints of type <logicor>
2.29/2.37 c transformed objective value is always integral (scale: 1)
2.29/2.37 c Presolving Time: 0.86
2.29/2.37 c - non default parameters ----------------------------------------------------------------------
2.29/2.37 c # SCIP version 1.2.1.2
2.29/2.37 c
2.29/2.37 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.37 c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.37 c conflict/interconss = 0
2.29/2.37 c
2.29/2.37 c # should binary conflicts be preferred?
2.29/2.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37 c conflict/preferbinary = TRUE
2.29/2.37 c
2.29/2.37 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.37 c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.37 c constraints/agelimit = 1
2.29/2.37 c
2.29/2.37 c # should enforcement of pseudo solution be disabled?
2.29/2.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37 c constraints/disableenfops = TRUE
2.29/2.37 c
2.29/2.37 c # frequency for displaying node information lines
2.29/2.37 c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.37 c display/freq = 10000
2.29/2.37 c
2.29/2.37 c # maximal time in seconds to run
2.29/2.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.37 c limits/time = 1798.88
2.29/2.37 c
2.29/2.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.37 c limits/memory = 1620
2.29/2.37 c
2.29/2.37 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.37 c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.37 c lp/solvefreq = 0
2.29/2.37 c
2.29/2.37 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.29/2.37 c # [type: char, range: {lafpsqd}, default: l]
2.29/2.37 c lp/pricing = a
2.29/2.37 c
2.29/2.37 c # should presolving try to simplify inequalities
2.29/2.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37 c constraints/linear/simplifyinequalities = TRUE
2.29/2.37 c
2.29/2.37 c # should presolving try to simplify knapsacks
2.29/2.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.37 c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.37 c
2.29/2.37 c # priority of node selection rule <dfs> in standard mode
2.29/2.37 c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.37 c nodeselection/dfs/stdpriority = 1000000
2.29/2.37 c
2.29/2.37 c -----------------------------------------------------------------------------------------------
2.29/2.37 c start solving
2.29/2.37 c
378.37/378.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.37/378.59 c t 375s| 1 | 0 | 32641 | - | 71M| 0 |1828 |1831 | 61k|1831 | 61k| 0 | 0 | 0 |-2.642299e+02 | 0.000000e+00 | 100.00%
378.57/378.72 o -11
378.57/378.72 c R 375s| 1 | 0 | 32641 | - | 71M| 0 |1828 |1831 | 61k|1831 | 61k| 0 | 0 | 0 |-2.642299e+02 |-1.100000e+01 | 95.84%
378.77/378.91 o -14
378.77/378.91 c s 376s| 1 | 0 | 32641 | - | 71M| 0 |1828 |1831 | 61k|1831 | 61k| 0 | 0 | 0 |-2.642299e+02 |-1.400000e+01 | 94.70%
1217.81/1218.29 c 1211s| 1 | 0 | 93411 | - | 75M| 0 |1829 |1831 | 61k|1831 | 61k| 5 | 0 | 0 |-2.589270e+02 |-1.400000e+01 | 94.59%
1217.91/1218.31 o -34
1217.91/1218.31 c b1211s| 1 | 0 | 93411 | - | 76M| 0 |1829 |1831 | 61k|1831 | 61k| 5 | 0 | 0 |-2.589270e+02 |-3.400000e+01 | 86.87%
1800.04/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-2664816-1276686316/watcher-2664816-1276686316 -o /tmp/evaluation-result-2664816-1276686316/solver-2664816-1276686316 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664816-1276686316.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.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=9288 CPUtime=0
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1062 0 0 0 0 0 0 0 22 0 1 0 44235626 9510912 983 1992294400 4194304 9819077 140735377055504 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 2322 992 371 1374 0 943 0
[startup+0.088046 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=14356 CPUtime=0.08
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 2507 0 0 0 8 0 0 0 24 0 1 0 44235626 14700544 2427 1992294400 4194304 9819077 140735377055504 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 3589 2427 388 1374 0 2210 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14356
[startup+0.101046 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=14828 CPUtime=0.09
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 2634 0 0 0 9 0 0 0 24 0 1 0 44235626 15183872 2554 1992294400 4194304 9819077 140735377055504 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 3707 2554 388 1374 0 2328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14828
[startup+0.301067 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=19584 CPUtime=0.29
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 3841 0 0 0 28 1 0 0 25 0 1 0 44235626 20054016 3761 1992294400 4194304 9819077 140735377055504 18446744073709551615 5651195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 4896 3761 388 1374 0 3517 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19584
[startup+0.701108 s]
/proc/loadavg: 1.00 0.99 0.99 3/106 15576
/proc/meminfo: memFree=1718248/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=27588 CPUtime=0.69
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 5801 0 0 0 68 1 0 0 25 0 1 0 44235626 28250112 5721 1992294400 4194304 9819077 140735377055504 18446744073709551615 8631978 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15576/statm: 6897 5721 388 1374 0 5518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27588
[startup+1.50119 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1690836/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=81608 CPUtime=1.49
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 19453 0 0 0 140 9 0 0 25 0 1 0 44235626 83566592 19019 1992294400 4194304 9819077 140735377055504 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 20402 19019 492 1374 0 19023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81608
[startup+3.10135 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1634788/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=178940 CPUtime=3.09
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 47759 0 0 0 277 32 0 0 25 0 1 0 44235626 183234560 35377 1992294400 4194304 9819077 140735377055504 18446744073709551615 7291921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 44735 35377 630 1374 0 43356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178940
[startup+6.30168 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1576632/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=191548 CPUtime=6.29
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 53422 0 0 0 594 35 0 0 25 0 1 0 44235626 196145152 35488 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 47887 35488 632 1374 0 46508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 191548
[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1572912/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=194324 CPUtime=12.69
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 58797 0 0 0 1231 38 0 0 25 0 1 0 44235626 198987776 37036 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 48581 37036 632 1374 0 47202 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 194324
[startup+25.5006 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1570432/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=198424 CPUtime=25.49
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 72150 0 0 0 2503 46 0 0 25 0 1 0 44235626 203186176 37391 1992294400 4194304 9819077 140735377055504 18446744073709551615 7309307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 49606 37391 632 1374 0 48227 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 198424
[startup+51.1003 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15577
/proc/meminfo: memFree=1576384/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=200636 CPUtime=51.07
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 94396 0 0 0 5048 59 0 0 25 0 1 0 44235626 205451264 36047 1992294400 4194304 9819077 140735377055504 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50159 36047 632 1374 0 48780 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 200636
[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15579
/proc/meminfo: memFree=1574276/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=202488 CPUtime=102.26
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 134270 0 0 0 10143 83 0 0 25 0 1 0 44235626 207347712 36446 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50622 36446 632 1374 0 49243 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 202488
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15581
/proc/meminfo: memFree=1567580/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=202904 CPUtime=162.24
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 179165 0 0 0 16112 112 0 0 25 0 1 0 44235626 207773696 35999 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50726 35999 632 1374 0 49347 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 202904
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15583
/proc/meminfo: memFree=1568448/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=202968 CPUtime=222.21
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 221128 0 0 0 22084 137 0 0 25 0 1 0 44235626 207839232 37840 1992294400 4194304 9819077 140735377055504 18446744073709551615 7312754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50742 37840 632 1374 0 49363 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 202968
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15585
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=203092 CPUtime=282.2
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 265876 0 0 0 28057 163 0 0 25 0 1 0 44235626 207966208 37661 1992294400 4194304 9819077 140735377055504 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50773 37661 632 1374 0 49394 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 203092
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15585
/proc/meminfo: memFree=1569192/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=203220 CPUtime=342.18
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 309922 0 0 0 34029 189 0 0 25 0 1 0 44235626 208097280 37650 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 50805 37650 632 1374 0 49426 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 203220
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15587
/proc/meminfo: memFree=1570060/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211084 CPUtime=402.16
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 348979 0 0 0 40002 214 0 0 25 0 1 0 44235626 216150016 37573 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52771 37573 667 1374 0 51392 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 211084
[startup+462.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15589
/proc/meminfo: memFree=1561504/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=210984 CPUtime=462.14
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 387850 0 0 0 45977 237 0 0 25 0 1 0 44235626 216047616 39631 1992294400 4194304 9819077 140735377055504 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52746 39631 667 1374 0 51367 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 210984
[startup+522.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15594
/proc/meminfo: memFree=1562124/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211024 CPUtime=522.12
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 430036 0 0 0 51951 261 0 0 25 0 1 0 44235626 216088576 39392 1992294400 4194304 9819077 140735377055504 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52756 39392 667 1374 0 51377 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 211024
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15596
/proc/meminfo: memFree=1562000/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=210988 CPUtime=582.1
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 472150 0 0 0 57922 288 0 0 25 0 1 0 44235626 216051712 39342 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52747 39342 667 1374 0 51368 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 210988
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15596
/proc/meminfo: memFree=1562000/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=210924 CPUtime=642.09
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 514170 0 0 0 63896 313 0 0 25 0 1 0 44235626 215986176 39304 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52731 39304 667 1374 0 51352 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 210924
[startup+702.301 s]
################
# More data... #
################
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 775262 0 0 0 99729 469 0 0 25 0 1 0 44235626 216150016 39231 1992294400 4194304 9819077 140735377055504 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52771 39231 667 1374 0 51392 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 211084
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 3/107 15608
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211024 CPUtime=1061.96
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 819522 0 0 0 105697 499 0 0 25 0 1 0 44235626 216088576 37610 1992294400 4194304 9819077 140735377055504 18446744073709551615 7294771 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52756 37610 667 1374 0 51377 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 211024
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15610
/proc/meminfo: memFree=1561876/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211084 CPUtime=1121.94
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 861612 0 0 0 111669 525 0 0 25 0 1 0 44235626 216150016 39393 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52771 39393 667 1374 0 51392 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 211084
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15612
/proc/meminfo: memFree=1562372/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211148 CPUtime=1181.92
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 906339 0 0 0 117639 553 0 0 25 0 1 0 44235626 216215552 39332 1992294400 4194304 9819077 140735377055504 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52787 39332 667 1374 0 51408 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 211148
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15612
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211112 CPUtime=1241.91
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 936745 0 0 0 123612 579 0 0 25 0 1 0 44235626 216178688 37309 1992294400 4194304 9819077 140735377055504 18446744073709551615 8777968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52778 37309 667 1374 0 51399 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 211112
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15614
/proc/meminfo: memFree=1569564/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=211112 CPUtime=1301.89
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 936745 0 0 0 129594 595 0 0 25 0 1 0 44235626 216178688 37309 1992294400 4194304 9819077 140735377055504 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 52778 37309 667 1374 0 51399 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 211112
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15616
/proc/meminfo: memFree=1555676/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217524 CPUtime=1361.87
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 978487 0 0 0 135566 621 0 0 25 0 1 0 44235626 222744576 40893 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54381 40893 667 1374 0 53002 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 217524
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15618
/proc/meminfo: memFree=1554560/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217428 CPUtime=1421.86
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1021130 0 0 0 141542 644 0 0 25 0 1 0 44235626 222646272 41131 1992294400 4194304 9819077 140735377055504 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54357 41131 667 1374 0 52978 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 217428
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15620
/proc/meminfo: memFree=1554436/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217368 CPUtime=1481.83
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1063657 0 0 0 147513 670 0 0 25 0 1 0 44235626 222584832 41222 1992294400 4194304 9819077 140735377055504 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54342 41222 667 1374 0 52963 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 217368
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15620
/proc/meminfo: memFree=1565596/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1541.81
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1109000 0 0 0 153483 698 0 0 25 0 1 0 44235626 222679040 39115 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 39115 667 1374 0 52986 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 217460
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15622
/proc/meminfo: memFree=1555180/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217432 CPUtime=1601.79
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1147980 0 0 0 159458 721 0 0 25 0 1 0 44235626 222650368 41090 1992294400 4194304 9819077 140735377055504 18446744073709551615 7296171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54358 41090 667 1374 0 52979 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 217432
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15624
/proc/meminfo: memFree=1555056/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217624 CPUtime=1661.77
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1190329 0 0 0 165430 747 0 0 25 0 1 0 44235626 222846976 41073 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54406 41073 667 1374 0 53027 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 217624
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15626
/proc/meminfo: memFree=1555304/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217492 CPUtime=1721.76
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1232474 0 0 0 171404 772 0 0 25 0 1 0 44235626 222711808 41024 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54373 41024 667 1374 0 52994 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 217492
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15628
/proc/meminfo: memFree=1555304/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217456 CPUtime=1781.74
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1274542 0 0 0 177378 796 0 0 25 0 1 0 44235626 222674944 40910 1992294400 4194304 9819077 140735377055504 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54364 40910 667 1374 0 52985 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 217456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15628
/proc/meminfo: memFree=1561876/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1800.04
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1288545 0 0 0 179198 806 0 0 25 0 1 0 44235626 222679040 39226 1992294400 4194304 9819077 140735377055504 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 39226 667 1374 0 52986 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 217460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15576
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 15628
/proc/meminfo: memFree=1561876/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1800.83
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1288879 0 0 0 179277 806 0 0 25 0 1 0 44235626 222679040 39560 1992294400 4194304 9819077 140735377055504 18446744073709551615 7480823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 39560 667 1374 0 52986 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 217460
[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 15629
/proc/meminfo: memFree=1559884/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1801.63
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1289402 0 0 0 179357 806 0 0 25 0 1 0 44235626 222679040 40083 1992294400 4194304 9819077 140735377055504 18446744073709551615 7294760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 40083 667 1374 0 52986 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 217460
[startup+1802.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 15629
/proc/meminfo: memFree=1559884/2059040 swapFree=4135684/4192956
[pid=15576] ppid=15574 vsize=217460 CPUtime=1802.03
/proc/15576/stat : 15576 (pbscip.linux.x8) R 15574 15576 14966 0 -1 4202496 1289815 0 0 0 179397 806 0 0 25 0 1 0 44235626 222679040 40496 1992294400 4194304 9819077 140735377055504 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15576/statm: 54365 40496 667 1374 0 52986 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 217460
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.07
CPU user time (s): 1793.99
CPU system time (s): 8.08177
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 217624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 8.08177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1289834
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= 2430
runsolver used 2.96455 second user time and 8.5337 second system time
The end