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-2666243-1276685837.opb>
0.49/0.53 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29788 constraints
0.49/0.53 c problem read
0.49/0.53 c presolving settings loaded
0.59/0.64 o 0
0.59/0.64 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.64 c presolving:
0.69/0.79 c (round 1) 589 del vars, 589 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
1.00/1.05 c (round 2) 589 del vars, 5032 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24756 upgd conss, 2340 impls, 0 clqs
1.10/1.15 c (0.5s) probing: 101/1436 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.5s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (3 rounds):
1.10/1.15 c 589 deleted vars, 5032 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 2340 implications, 0 cliques
1.10/1.15 c presolved problem has 1436 variables (1436 bin, 0 int, 0 impl, 0 cont) and 24756 constraints
1.10/1.15 c 24756 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.42
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.2
1.10/1.15 c
1.10/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c conflict/interconss = 0
1.10/1.15 c
1.10/1.15 c # should binary conflicts be preferred?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c conflict/preferbinary = TRUE
1.10/1.15 c
1.10/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15 c constraints/agelimit = 1
1.10/1.15 c
1.10/1.15 c # should enforcement of pseudo solution be disabled?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/disableenfops = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1799.48
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15 c lp/solvefreq = 0
1.10/1.15 c
1.10/1.15 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.15 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15 c lp/pricing = a
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # priority of node selection rule <dfs> in standard mode
1.10/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15 c nodeselection/dfs/stdpriority = 1000000
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.15 c
11.19/11.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.19/11.28 c t10.5s| 1 | 0 | 4339 | - | 33M| 0 |1395 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 | 0.000000e+00 | 100.00%
11.39/11.40 o -2
11.39/11.40 c R10.7s| 1 | 0 | 4339 | - | 33M| 0 |1395 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-2.000000e+00 | 99.15%
11.49/11.55 o -3
11.49/11.55 c s10.8s| 1 | 0 | 4339 | - | 33M| 0 |1395 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-3.000000e+00 | 98.72%
41.48/41.53 c 40.5s| 1 | 0 | 12014 | - | 34M| 0 |1431 |1436 | 24k|1436 | 24k| 8 | 0 | 0 |-2.285677e+02 |-3.000000e+00 | 98.69%
41.48/41.54 o -11
41.48/41.54 c b40.5s| 1 | 0 | 12014 | - | 34M| 0 |1431 |1436 | 24k|1436 | 24k| 8 | 0 | 0 |-2.285677e+02 |-1.100000e+01 | 95.19%
178.14/178.21 c 176s| 1 | 0 | 34361 | - | 35M| 0 |1435 |1436 | 24k|1436 | 24k| 21 | 0 | 0 |-2.248350e+02 |-1.100000e+01 | 95.11%
330.58/330.75 c 324s| 1 | 0 | 53915 | - | 37M| 0 |1431 |1436 | 24k|1436 | 24k| 80 | 0 | 0 |-2.187420e+02 |-1.100000e+01 | 94.97%
464.74/464.94 c 450s| 1 | 0 | 67207 | - | 37M| 0 |1433 |1436 | 24k|1436 | 24k| 83 | 0 | 0 |-2.181289e+02 |-1.100000e+01 | 94.96%
652.88/653.16 c 637s| 1 | 0 | 96176 | - | 38M| 0 |1430 |1436 | 24k|1436 | 24k| 89 | 0 | 0 |-2.175809e+02 |-1.100000e+01 | 94.94%
821.63/821.95 c 797s| 1 | 0 |113188 | - | 38M| 0 |1430 |1436 | 24k|1436 | 24k| 98 | 0 | 0 |-2.167712e+02 |-1.100000e+01 | 94.93%
1025.27/1025.64 c 993s| 1 | 0 |134772 | - | 38M| 0 |1429 |1436 | 24k|1436 | 24k| 103 | 0 | 0 |-2.151841e+02 |-1.100000e+01 | 94.89%
1133.54/1133.90 c 1093s| 1 | 0 |142453 | - | 38M| 0 |1428 |1436 | 24k|1436 | 24k| 105 | 0 | 0 |-2.151834e+02 |-1.100000e+01 | 94.89%
1219.71/1220.20 c 1172s| 1 | 0 |145636 | - | 40M| 0 |1429 |1436 | 24k|1436 | 24k| 106 | 0 | 0 |-2.151834e+02 |-1.100000e+01 | 94.89%
1456.04/1456.53 c 1399s| 1 | 0 |169165 | - | 41M| 0 |1430 |1436 | 24k|1436 | 24k| 108 | 0 | 0 |-2.150779e+02 |-1.100000e+01 | 94.89%
1674.69/1675.24 c 1610s| 1 | 0 |192976 | - | 41M| 0 |1427 |1436 | 24k|1436 | 24k| 110 | 0 | 0 |-2.146212e+02 |-1.100000e+01 | 94.87%
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-2666243-1276685837/watcher-2666243-1276685837 -o /tmp/evaluation-result-2666243-1276685837/solver-2666243-1276685837 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666243-1276685837.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.98 1.00 1.00 3/106 15763
/proc/meminfo: memFree=1734980/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=7724 CPUtime=0
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 1023 0 0 0 0 0 0 0 20 0 1 0 9871724 7909376 942 1992294400 4194304 8223781 140734492524928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15763/statm: 1931 951 348 984 0 944 0
[startup+0.0102831 s]
/proc/loadavg: 0.98 1.00 1.00 3/106 15763
/proc/meminfo: memFree=1734980/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=8752 CPUtime=0
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 1405 0 0 0 0 0 0 0 20 0 1 0 9871724 8962048 1324 1992294400 4194304 8223781 140734492524928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15763/statm: 2188 1336 348 984 0 1201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8752
[startup+0.101295 s]
/proc/loadavg: 0.98 1.00 1.00 3/106 15763
/proc/meminfo: memFree=1734980/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=13252 CPUtime=0.1
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 2611 0 0 0 9 1 0 0 20 0 1 0 9871724 13570048 2530 1992294400 4194304 8223781 140734492524928 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15763/statm: 3313 2530 365 984 0 2326 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13252
[startup+0.301323 s]
/proc/loadavg: 0.98 1.00 1.00 3/106 15763
/proc/meminfo: memFree=1734980/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=18008 CPUtime=0.29
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 3819 0 0 0 28 1 0 0 20 0 1 0 9871724 18440192 3738 1992294400 4194304 8223781 140734492524928 18446744073709551615 5647838 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15763/statm: 4502 3738 365 984 0 3515 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18008
[startup+0.70138 s]
/proc/loadavg: 0.98 1.00 1.00 3/106 15763
/proc/meminfo: memFree=1734980/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=46716 CPUtime=0.69
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 11057 0 0 0 64 5 0 0 20 0 1 0 9871724 47837184 10605 1992294400 4194304 8223781 140734492524928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 11679 10605 446 984 0 10692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46716
[startup+1.50149 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 15764
/proc/meminfo: memFree=1687356/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=83624 CPUtime=1.49
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 23628 0 0 0 134 15 0 0 22 0 1 0 9871724 85630976 18836 1992294400 4194304 8223781 140734492524928 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 20906 18836 538 984 0 19919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83624
[startup+3.10172 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 15764
/proc/meminfo: memFree=1659084/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=90088 CPUtime=3.09
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 25058 0 0 0 292 17 0 0 25 0 1 0 9871724 92250112 19520 1992294400 4194304 8223781 140734492524928 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 22522 19520 542 984 0 21535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90088
[startup+6.30018 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 15766
/proc/meminfo: memFree=1657844/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=91584 CPUtime=6.29
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 26408 0 0 0 610 19 0 0 25 0 1 0 9871724 93782016 19602 1992294400 4194304 8223781 140734492524928 18446744073709551615 6612708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 22896 19602 542 984 0 21909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91584
[startup+12.7011 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 15766
/proc/meminfo: memFree=1657844/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=92716 CPUtime=12.69
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 79367 0 0 0 1233 36 0 0 25 0 1 0 9871724 94941184 19753 1992294400 4194304 8223781 140734492524928 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 23179 19753 556 984 0 22192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92716
[startup+25.5009 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15766
/proc/meminfo: memFree=1655612/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=94456 CPUtime=25.49
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 86163 0 0 0 2506 43 0 0 25 0 1 0 9871724 96722944 20239 1992294400 4194304 8223781 140734492524928 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 23614 20239 571 984 0 22627 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94456
[startup+51.1005 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15766
/proc/meminfo: memFree=1651148/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=97944 CPUtime=51.08
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 191434 0 0 0 5026 82 0 0 25 0 1 0 9871724 100294656 21348 1992294400 4194304 8223781 140734492524928 18446744073709551615 6612619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 24486 21348 573 984 0 23499 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97944
[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 3/107 15768
/proc/meminfo: memFree=1651024/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=97944 CPUtime=102.27
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 214212 0 0 0 10124 103 0 0 25 0 1 0 9871724 100294656 21351 1992294400 4194304 8223781 140734492524928 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 24486 21351 573 984 0 23499 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 97944
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15770
/proc/meminfo: memFree=1650652/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=98148 CPUtime=162.24
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 238889 0 0 0 16099 125 0 0 25 0 1 0 9871724 100503552 21439 1992294400 4194304 8223781 140734492524928 18446744073709551615 6571368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 24537 21439 573 984 0 23550 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 98148
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15770
/proc/meminfo: memFree=1648792/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=99672 CPUtime=222.22
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 1478460 0 0 0 21656 566 0 0 25 0 1 0 9871724 102064128 21907 1992294400 4194304 8223781 140734492524928 18446744073709551615 6614440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 24918 21907 575 984 0 23931 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 99672
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15781
/proc/meminfo: memFree=1648172/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=99672 CPUtime=282.19
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 1504291 0 0 0 27631 588 0 0 25 0 1 0 9871724 102064128 21951 1992294400 4194304 8223781 140734492524928 18446744073709551615 6569910 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 24918 21951 575 984 0 23931 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 99672
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15783
/proc/meminfo: memFree=1648172/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=99556 CPUtime=342.18
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 2002988 0 0 0 33450 768 0 0 25 0 1 0 9871724 101945344 21963 1992294400 4194304 8223781 140734492524928 18446744073709551615 7070816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 24889 21963 575 984 0 23902 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 99556
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15785
/proc/meminfo: memFree=1647304/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=101488 CPUtime=402.15
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 3773997 0 0 0 38834 1381 0 0 25 0 1 0 9871724 103923712 22190 1992294400 4194304 8223781 140734492524928 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 25372 22190 575 984 0 24385 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 101488
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15787
/proc/meminfo: memFree=1647304/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=101672 CPUtime=462.14
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 3798735 0 0 0 44811 1403 0 0 25 0 1 0 9871724 104112128 22185 1992294400 4194304 8223781 140734492524928 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 25418 22185 575 984 0 24431 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 101672
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 15787
/proc/meminfo: memFree=1641476/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=107416 CPUtime=522.12
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 4156241 0 0 0 50671 1541 0 0 25 0 1 0 9871724 109993984 23666 1992294400 4194304 8223781 140734492524928 18446744073709551615 6570387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 26854 23666 575 984 0 25867 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 107416
[startup+582.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 15789
/proc/meminfo: memFree=1641228/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=107416 CPUtime=582.1
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 4180931 0 0 0 56646 1564 0 0 25 0 1 0 9871724 109993984 23738 1992294400 4194304 8223781 140734492524928 18446744073709551615 6569636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 26854 23738 575 984 0 25867 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 107416
[startup+642.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 15791
/proc/meminfo: memFree=1641104/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=107416 CPUtime=642.09
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 4205520 0 0 0 62623 1586 0 0 25 0 1 0 9871724 109993984 23712 1992294400 4194304 8223781 140734492524928 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 26854 23712 575 984 0 25867 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 107416
[startup+702.301 s]
################
# More data... #
################
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 8729086 0 0 0 96992 3205 0 0 25 0 1 0 9871724 110845952 24018 1992294400 4194304 8223781 140734492524928 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 27062 24018 575 984 0 26075 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 108248
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15803
/proc/meminfo: memFree=1639368/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=108132 CPUtime=1061.96
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 10016486 0 0 0 102542 3654 0 0 25 0 1 0 9871724 110727168 24018 1992294400 4194304 8223781 140734492524928 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 27033 24018 575 984 0 26046 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 108132
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15803
/proc/meminfo: memFree=1639368/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=108736 CPUtime=1121.94
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 10954726 0 0 0 108205 3989 0 0 25 0 1 0 9871724 111345664 24068 1992294400 4194304 8223781 140734492524928 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 27184 24068 575 984 0 26197 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 108736
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15805
/proc/meminfo: memFree=1637260/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=111036 CPUtime=1181.92
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 12482057 0 0 0 113656 4536 0 0 25 0 1 0 9871724 113700864 24531 1992294400 4194304 8223781 140734492524928 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 27710 24531 575 984 0 26723 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 111036
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15807
/proc/meminfo: memFree=1634284/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=113644 CPUtime=1241.91
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 13750763 0 0 0 119192 4999 0 0 25 0 1 0 9871724 116371456 25199 1992294400 4194304 8223781 140734492524928 18446744073709551615 7073991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 28411 25199 575 984 0 27424 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 113644
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15809
/proc/meminfo: memFree=1632052/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=116184 CPUtime=1301.89
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 15323054 0 0 0 124609 5580 0 0 25 0 1 0 9871724 118972416 25798 1992294400 4194304 8223781 140734492524928 18446744073709551615 6562462 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29046 25798 575 984 0 28059 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 116184
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15811
/proc/meminfo: memFree=1632176/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=116200 CPUtime=1361.87
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 15347575 0 0 0 130583 5604 0 0 25 0 1 0 9871724 118988800 25788 1992294400 4194304 8223781 140734492524928 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29050 25788 575 984 0 28063 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 116200
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15811
/proc/meminfo: memFree=1631928/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=116200 CPUtime=1421.86
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 15372374 0 0 0 136560 5626 0 0 25 0 1 0 9871724 118988800 25842 1992294400 4194304 8223781 140734492524928 18446744073709551615 6251364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29050 25842 575 984 0 28063 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 116200
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15813
/proc/meminfo: memFree=1632052/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=116200 CPUtime=1481.83
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 16440695 0 0 0 142188 5995 0 0 25 0 1 0 9871724 118988800 25775 1992294400 4194304 8223781 140734492524928 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29050 25775 575 984 0 28063 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 116200
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15815
/proc/meminfo: memFree=1630440/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=116212 CPUtime=1541.82
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 17598514 0 0 0 147785 6397 0 0 25 0 1 0 9871724 119001088 26201 1992294400 4194304 8223781 140734492524928 18446744073709551615 6613456 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29053 26201 575 984 0 28066 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 116212
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15817
/proc/meminfo: memFree=1630316/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=116212 CPUtime=1601.8
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 17624161 0 0 0 153763 6417 0 0 25 0 1 0 9871724 119001088 26198 1992294400 4194304 8223781 140734492524928 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29053 26198 575 984 0 28066 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 116212
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15819
/proc/meminfo: memFree=1630316/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=116212 CPUtime=1661.78
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 17649590 0 0 0 159738 6440 0 0 25 0 1 0 9871724 119001088 26226 1992294400 4194304 8223781 140734492524928 18446744073709551615 6570017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29053 26226 575 984 0 28066 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 116212
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15819
/proc/meminfo: memFree=1631308/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=119332 CPUtime=1721.76
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 19366889 0 0 0 165122 7054 0 0 25 0 1 0 9871724 122195968 25906 1992294400 4194304 8223781 140734492524928 18446744073709551615 6055464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 29833 25906 576 984 0 28846 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 119332
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15821
/proc/meminfo: memFree=1623124/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=123284 CPUtime=1781.74
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 19826277 0 0 0 170951 7223 0 0 25 0 1 0 9871724 126242816 27856 1992294400 4194304 8223781 140734492524928 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 30821 27856 576 984 0 29834 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 123284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15821
/proc/meminfo: memFree=1623372/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=123284 CPUtime=1800.05
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 19833679 0 0 0 172775 7230 0 0 25 0 1 0 9871724 126242816 27879 1992294400 4194304 8223781 140734492524928 18446744073709551615 6532938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 30821 27879 576 984 0 29834 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 123284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15763
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15821
/proc/meminfo: memFree=1623372/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=123284 CPUtime=1800.84
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 19834259 0 0 0 172853 7231 0 0 25 0 1 0 9871724 126242816 27866 1992294400 4194304 8223781 140734492524928 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 30821 27866 576 984 0 29834 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 123284
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15822
/proc/meminfo: memFree=1623364/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=123284 CPUtime=1801.64
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 19834845 0 0 0 172933 7231 0 0 25 0 1 0 9871724 126242816 27863 1992294400 4194304 8223781 140734492524928 18446744073709551615 6560191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 30821 27863 576 984 0 29834 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 123284
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 15822
/proc/meminfo: memFree=1623364/2059040 swapFree=4144492/4192956
[pid=15763] ppid=15761 vsize=123284 CPUtime=1802.04
/proc/15763/stat : 15763 (pbscip.linux.x8) R 15761 15763 15477 0 -1 4202496 19834849 0 0 0 172973 7231 0 0 25 0 1 0 9871724 126242816 27867 1992294400 4194304 8223781 140734492524928 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15763/statm: 30821 27867 576 984 0 29834 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 123284
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.08
CPU user time (s): 1729.75
CPU system time (s): 72.331
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 126388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.75
system time used= 72.331
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19834850
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= 1500
runsolver used 2.88956 second user time and 8.60169 second system time
The end