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-2664825-1276687552.opb>
0.49/0.52 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29711 constraints
0.49/0.52 c problem read
0.49/0.52 c presolving settings loaded
0.59/0.63 o 0
0.59/0.63 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.63 c presolving:
0.69/0.78 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.03 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.10/1.13 c (0.5s) probing: 101/1441 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.13 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.13 c presolving (3 rounds):
1.10/1.13 c 584 deleted vars, 4999 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.13 c 2340 implications, 0 cliques
1.10/1.13 c presolved problem has 1441 variables (1441 bin, 0 int, 0 impl, 0 cont) and 24712 constraints
1.10/1.13 c 24712 constraints of type <logicor>
1.10/1.13 c transformed objective value is always integral (scale: 1)
1.10/1.13 c Presolving Time: 0.41
1.10/1.13 c - non default parameters ----------------------------------------------------------------------
1.10/1.13 c # SCIP version 1.2.1.2
1.10/1.13 c
1.10/1.13 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.13 c conflict/interconss = 0
1.10/1.13 c
1.10/1.13 c # should binary conflicts be preferred?
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c conflict/preferbinary = TRUE
1.10/1.13 c
1.10/1.13 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.13 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.13 c constraints/agelimit = 1
1.10/1.13 c
1.10/1.13 c # should enforcement of pseudo solution be disabled?
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c constraints/disableenfops = TRUE
1.10/1.13 c
1.10/1.13 c # frequency for displaying node information lines
1.10/1.13 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.13 c display/freq = 10000
1.10/1.13 c
1.10/1.13 c # maximal time in seconds to run
1.10/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13 c limits/time = 1799.49
1.10/1.13 c
1.10/1.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13 c limits/memory = 1620
1.10/1.13 c
1.10/1.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.13 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.13 c lp/solvefreq = 0
1.10/1.13 c
1.10/1.13 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.13 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.13 c lp/pricing = a
1.10/1.13 c
1.10/1.13 c # should presolving try to simplify inequalities
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c constraints/linear/simplifyinequalities = TRUE
1.10/1.13 c
1.10/1.13 c # should presolving try to simplify knapsacks
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.13 c
1.10/1.13 c # priority of node selection rule <dfs> in standard mode
1.10/1.13 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.13 c nodeselection/dfs/stdpriority = 1000000
1.10/1.13 c
1.10/1.13 c -----------------------------------------------------------------------------------------------
1.10/1.13 c start solving
1.10/1.13 c
84.47/84.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.47/84.54 c t83.3s| 1 | 0 | 17538 | - | 33M| 0 |1441 |1441 | 24k|1441 | 24k| 0 | 0 | 0 |-2.500667e+02 | 0.000000e+00 | 100.00%
84.57/84.62 o -3
84.57/84.62 c R83.3s| 1 | 0 | 17538 | - | 33M| 0 |1441 |1441 | 24k|1441 | 24k| 0 | 0 | 0 |-2.500667e+02 |-3.000000e+00 | 98.80%
84.67/84.72 o -4
84.67/84.72 c s83.4s| 1 | 0 | 17538 | - | 33M| 0 |1441 |1441 | 24k|1441 | 24k| 0 | 0 | 0 |-2.500667e+02 |-4.000000e+00 | 98.40%
294.61/294.76 c 292s| 1 | 0 | 52942 | - | 37M| 0 |1438 |1441 | 24k|1441 | 24k| 7 | 0 | 0 |-2.460904e+02 |-4.000000e+00 | 98.37%
294.61/294.77 o -11
294.61/294.77 c b 292s| 1 | 0 | 52942 | - | 37M| 0 |1438 |1441 | 24k|1441 | 24k| 7 | 0 | 0 |-2.460904e+02 |-1.100000e+01 | 95.53%
506.14/506.34 c 503s| 1 | 0 | 87795 | - | 41M| 0 |1439 |1441 | 24k|1441 | 24k| 20 | 0 | 0 |-2.397441e+02 |-1.100000e+01 | 95.41%
686.19/686.46 c 682s| 1 | 0 |113853 | - | 48M| 0 |1435 |1441 | 24k|1441 | 24k| 51 | 0 | 0 |-2.360902e+02 |-1.100000e+01 | 95.34%
972.00/972.40 c 966s| 1 | 0 |157277 | - | 53M| 0 |1431 |1441 | 24k|1441 | 24k| 116 | 0 | 0 |-2.310809e+02 |-1.100000e+01 | 95.24%
1169.95/1170.31 c 1163s| 1 | 0 |185962 | - | 60M| 0 |1435 |1441 | 24k|1441 | 24k| 142 | 0 | 0 |-2.284617e+02 |-1.100000e+01 | 95.19%
1377.36/1377.85 c 1369s| 1 | 0 |216520 | - | 66M| 0 |1434 |1441 | 24k|1441 | 24k| 146 | 0 | 0 |-2.275990e+02 |-1.100000e+01 | 95.17%
1579.50/1580.04 c 1570s| 1 | 0 |245856 | - | 73M| 0 |1430 |1441 | 24k|1441 | 24k| 151 | 0 | 0 |-2.266213e+02 |-1.100000e+01 | 95.15%
1733.45/1734.03 c 1723s| 1 | 0 |266718 | - | 79M| 0 |1436 |1441 | 24k|1441 | 24k| 154 | 0 | 0 |-2.261980e+02 |-1.100000e+01 | 95.14%
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-2664825-1276687552/watcher-2664825-1276687552 -o /tmp/evaluation-result-2664825-1276687552/solver-2664825-1276687552 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664825-1276687552.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.92 0.98 0.99 3/106 17465
/proc/meminfo: memFree=1517432/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=9288 CPUtime=0
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1074 0 0 0 0 0 0 0 22 0 1 0 10045936 9510912 995 1992294400 4194304 9819077 140736993133680 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17465/statm: 2322 1005 371 1374 0 943 0
[startup+0.044541 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17465
/proc/meminfo: memFree=1517432/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=13236 CPUtime=0.03
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 2258 0 0 0 3 0 0 0 22 0 1 0 10045936 13553664 2179 1992294400 4194304 9819077 140736993133680 18446744073709551615 8610806 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17465/statm: 3309 2179 388 1374 0 1930 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13236
[startup+0.100546 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17465
/proc/meminfo: memFree=1517432/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=14832 CPUtime=0.09
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 2635 0 0 0 9 0 0 0 22 0 1 0 10045936 15187968 2556 1992294400 4194304 9819077 140736993133680 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17465/statm: 3708 2556 388 1374 0 2329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14832
[startup+0.300568 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17465
/proc/meminfo: memFree=1517432/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=19588 CPUtime=0.29
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 3841 0 0 0 28 1 0 0 22 0 1 0 10045936 20058112 3762 1992294400 4194304 9819077 140736993133680 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17465/statm: 4897 3762 388 1374 0 3518 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19588
[startup+0.700612 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 17465
/proc/meminfo: memFree=1517432/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=48204 CPUtime=0.69
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 11160 0 0 0 64 5 0 0 23 0 1 0 10045936 49360896 10727 1992294400 4194304 9819077 140736993133680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 12051 10727 492 1374 0 10672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48204
[startup+1.5007 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 17466
/proc/meminfo: memFree=1470800/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=94256 CPUtime=1.49
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 24367 0 0 0 131 18 0 0 25 0 1 0 10045936 96518144 18746 1992294400 4194304 9819077 140736993133680 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 23564 18746 638 1374 0 22185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94256
[startup+3.10088 s]
/proc/loadavg: 1.09 1.02 1.01 2/107 17466
/proc/meminfo: memFree=1444016/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=99024 CPUtime=3.09
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 26714 0 0 0 290 19 0 0 25 0 1 0 10045936 101400576 18998 1992294400 4194304 9819077 140736993133680 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 24756 18998 640 1374 0 23377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99024
[startup+6.30023 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 17466
/proc/meminfo: memFree=1443396/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=100852 CPUtime=6.28
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 31191 0 0 0 606 22 0 0 25 0 1 0 10045936 103272448 19445 1992294400 4194304 9819077 140736993133680 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 25213 19446 640 1374 0 23834 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 100852
[startup+12.7009 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 17466
/proc/meminfo: memFree=1442032/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=101680 CPUtime=12.69
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 38148 0 0 0 1243 26 0 0 25 0 1 0 10045936 104120320 19601 1992294400 4194304 9819077 140736993133680 18446744073709551615 6191149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 25420 19601 640 1374 0 24041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101680
[startup+25.5004 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 17466
/proc/meminfo: memFree=1440792/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=101916 CPUtime=25.48
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 50584 0 0 0 2513 35 0 0 25 0 1 0 10045936 104361984 19657 1992294400 4194304 9819077 140736993133680 18446744073709551615 7306674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 25479 19657 640 1374 0 24100 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 101916
[startup+51.1012 s]
/proc/loadavg: 1.21 1.06 1.02 2/107 17468
/proc/meminfo: memFree=1441536/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=101976 CPUtime=51.07
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 75231 0 0 0 5054 53 0 0 25 0 1 0 10045936 104423424 19589 1992294400 4194304 9819077 140736993133680 18446744073709551615 7306621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 25494 19589 640 1374 0 24115 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 101976
[startup+102.308 s]
/proc/loadavg: 1.17 1.06 1.02 2/107 17468
/proc/meminfo: memFree=1435212/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=108392 CPUtime=102.26
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 120399 0 0 0 10141 85 0 0 25 0 1 0 10045936 110993408 21043 1992294400 4194304 9819077 140736993133680 18446744073709551615 6198708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 27098 21043 675 1374 0 25719 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 108392
[startup+162.3 s]
/proc/loadavg: 1.21 1.08 1.02 2/107 17470
/proc/meminfo: memFree=1436576/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=108332 CPUtime=162.24
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 161082 0 0 0 16107 117 0 0 25 0 1 0 10045936 110931968 21058 1992294400 4194304 9819077 140736993133680 18446744073709551615 7298106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 27083 21058 675 1374 0 25704 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 108332
[startup+222.301 s]
/proc/loadavg: 1.08 1.07 1.02 2/107 17472
/proc/meminfo: memFree=1435212/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=108396 CPUtime=222.23
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 202441 0 0 0 22070 153 0 0 25 0 1 0 10045936 110997504 21041 1992294400 4194304 9819077 140736993133680 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 27099 21041 675 1374 0 25720 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 108396
[startup+282.301 s]
/proc/loadavg: 1.03 1.05 1.01 2/107 17474
/proc/meminfo: memFree=1434964/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=108420 CPUtime=282.2
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 243771 0 0 0 28030 190 0 0 25 0 1 0 10045936 111022080 20609 1992294400 4194304 9819077 140736993133680 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 27105 20609 675 1374 0 25726 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 108420
[startup+342.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 17474
/proc/meminfo: memFree=1430748/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=112948 CPUtime=342.19
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 283168 0 0 0 33998 221 0 0 25 0 1 0 10045936 115658752 22234 1992294400 4194304 9819077 140736993133680 18446744073709551615 7309256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 28237 22235 677 1374 0 26858 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 112948
[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 3/108 17479
/proc/meminfo: memFree=1414372/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=113008 CPUtime=402.17
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 323377 0 0 0 39962 255 0 0 25 0 1 0 10045936 115720192 22307 1992294400 4194304 9819077 140736993133680 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 28252 22307 677 1374 0 26873 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 113008
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17481
/proc/meminfo: memFree=1429508/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=113100 CPUtime=462.15
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 362726 0 0 0 45925 290 0 0 25 0 1 0 10045936 115814400 22317 1992294400 4194304 9819077 140736993133680 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 28275 22317 677 1374 0 26896 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 113100
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17483
/proc/meminfo: memFree=1431740/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=113072 CPUtime=522.14
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 393149 0 0 0 51893 321 0 0 25 0 1 0 10045936 115785728 21641 1992294400 4194304 9819077 140736993133680 18446744073709551615 6050012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 28268 21641 677 1374 0 26889 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 113072
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17485
/proc/meminfo: memFree=1422316/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=120604 CPUtime=582.12
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 437051 0 0 0 57859 353 0 0 25 0 1 0 10045936 123498496 24105 1992294400 4194304 9819077 140736993133680 18446744073709551615 6191132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 30151 24105 677 1374 0 28772 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 120604
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17485
/proc/meminfo: memFree=1424424/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=120632 CPUtime=642.11
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 479504 0 0 0 63824 387 0 0 25 0 1 0 10045936 123527168 23494 1992294400 4194304 9819077 140736993133680 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 30158 23494 677 1374 0 28779 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 120632
[startup+702.301 s]
################
# More data... #
################
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 707161 0 0 0 99623 575 0 0 25 0 1 0 10045936 136425472 26906 1992294400 4194304 9819077 140736993133680 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 33307 26906 679 1374 0 31928 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 133228
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17497
/proc/meminfo: memFree=1412024/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=133140 CPUtime=1061.97
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 749097 0 0 0 105590 607 0 0 25 0 1 0 10045936 136335360 27154 1992294400 4194304 9819077 140736993133680 18446744073709551615 6656816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 33285 27154 679 1374 0 31906 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 133140
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17499
/proc/meminfo: memFree=1409916/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=133196 CPUtime=1121.95
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 790479 0 0 0 111553 642 0 0 25 0 1 0 10045936 136392704 27251 1992294400 4194304 9819077 140736993133680 18446744073709551615 7324812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 33299 27251 679 1374 0 31920 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 133196
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17501
/proc/meminfo: memFree=1412148/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=133328 CPUtime=1181.93
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 826186 0 0 0 117520 673 0 0 25 0 1 0 10045936 136527872 26569 1992294400 4194304 9819077 140736993133680 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 33332 26569 679 1374 0 31953 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 133328
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17501
/proc/meminfo: memFree=1403220/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=139500 CPUtime=1241.91
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 867459 0 0 0 123485 706 0 0 25 0 1 0 10045936 142848000 28918 1992294400 4194304 9819077 140736993133680 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 34875 28918 679 1374 0 33496 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 139500
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17503
/proc/meminfo: memFree=1403840/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=139496 CPUtime=1301.9
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 910893 0 0 0 129452 738 0 0 25 0 1 0 10045936 142843904 28633 1992294400 4194304 9819077 140736993133680 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 34874 28633 679 1374 0 33495 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 139496
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17505
/proc/meminfo: memFree=1403468/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=139532 CPUtime=1361.87
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 954033 0 0 0 135414 773 0 0 25 0 1 0 10045936 142880768 28161 1992294400 4194304 9819077 140736993133680 18446744073709551615 7295939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 34883 28161 679 1374 0 33504 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 139532
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17507
/proc/meminfo: memFree=1396028/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=146964 CPUtime=1421.86
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 985618 0 0 0 141385 801 0 0 25 0 1 0 10045936 150491136 30585 1992294400 4194304 9819077 140736993133680 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 36741 30585 679 1374 0 35362 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 146964
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17509
/proc/meminfo: memFree=1395532/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=146876 CPUtime=1481.83
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1027031 0 0 0 147349 834 0 0 25 0 1 0 10045936 150401024 30290 1992294400 4194304 9819077 140736993133680 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 36719 30290 679 1374 0 35340 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 146876
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17509
/proc/meminfo: memFree=1396276/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=146968 CPUtime=1541.81
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1068675 0 0 0 153314 867 0 0 25 0 1 0 10045936 150495232 30515 1992294400 4194304 9819077 140736993133680 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 36742 30515 679 1374 0 35363 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 146968
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17511
/proc/meminfo: memFree=1391068/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=154576 CPUtime=1601.79
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1100090 0 0 0 159281 898 0 0 25 0 1 0 10045936 158285824 32100 1992294400 4194304 9819077 140736993133680 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 38644 32100 679 1374 0 37265 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 154576
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17513
/proc/meminfo: memFree=1388092/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=155560 CPUtime=1661.77
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1143885 0 0 0 165247 930 0 0 25 0 1 0 10045936 159293440 32584 1992294400 4194304 9819077 140736993133680 18446744073709551615 7298114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 38890 32584 679 1374 0 37511 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 155560
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17515
/proc/meminfo: memFree=1387968/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=155556 CPUtime=1721.74
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1187519 0 0 0 171212 962 0 0 25 0 1 0 10045936 159289344 31748 1992294400 4194304 9819077 140736993133680 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 38889 31748 679 1374 0 37510 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 155556
[startup+1782.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 17517
/proc/meminfo: memFree=1380032/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=164120 CPUtime=1781.72
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1221421 0 0 0 177179 993 0 0 25 0 1 0 10045936 168058880 34580 1992294400 4194304 9819077 140736993133680 18446744073709551615 7312721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 41030 34580 679 1374 0 39651 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 164120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 17517
/proc/meminfo: memFree=1379536/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=164120 CPUtime=1800.04
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1235695 0 0 0 178999 1005 0 0 25 0 1 0 10045936 168058880 34612 1992294400 4194304 9819077 140736993133680 18446744073709551615 7289471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 41030 34612 679 1374 0 39651 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 164120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17465
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 17517
/proc/meminfo: memFree=1379536/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=164120 CPUtime=1800.82
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1236650 0 0 0 179077 1005 0 0 25 0 1 0 10045936 168058880 33777 1992294400 4194304 9819077 140736993133680 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 41030 33777 679 1374 0 39651 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 164120
[startup+1802.2 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 17518
/proc/meminfo: memFree=1381760/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=164120 CPUtime=1801.62
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1237310 0 0 0 179156 1006 0 0 25 0 1 0 10045936 168058880 34437 1992294400 4194304 9819077 140736993133680 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 41030 34437 679 1374 0 39651 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 164120
[startup+1802.6 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 17518
/proc/meminfo: memFree=1381760/2059040 swapFree=4192956/4192956
[pid=17465] ppid=17463 vsize=164120 CPUtime=1802.02
/proc/17465/stat : 17465 (pbscip.linux.x8) R 17463 17465 17440 0 -1 4202496 1237379 0 0 0 179196 1006 0 0 25 0 1 0 10045936 168058880 34506 1992294400 4194304 9819077 140736993133680 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17465/statm: 41030 34506 679 1374 0 39651 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 164120
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.07
CPU user time (s): 1791.98
CPU system time (s): 10.0825
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 164124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.98
system time used= 10.0825
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1237384
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= 1
involuntary context switches= 4768
runsolver used 2.94155 second user time and 8.5457 second system time
The end