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-2666249-1276686851.opb>
1.10/1.11 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63333 constraints
1.10/1.11 c problem read
1.10/1.11 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.61 c (round 1) 186 del vars, 186 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.10/2.18 c (round 2) 186 del vars, 821 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62512 upgd conss, 2340 impls, 0 clqs
2.39/2.40 c (1.0s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.39/2.40 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.40 c presolving (3 rounds):
2.39/2.40 c 186 deleted vars, 821 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.40 c 2340 implications, 0 cliques
2.39/2.40 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 62512 constraints
2.39/2.40 c 62512 constraints of type <logicor>
2.39/2.40 c transformed objective value is always integral (scale: 1)
2.39/2.40 c Presolving Time: 0.86
2.39/2.40 c - non default parameters ----------------------------------------------------------------------
2.39/2.40 c # SCIP version 1.2.1.2
2.39/2.40 c
2.39/2.40 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.40 c conflict/interconss = 0
2.39/2.40 c
2.39/2.40 c # should binary conflicts be preferred?
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c conflict/preferbinary = TRUE
2.39/2.40 c
2.39/2.40 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 0]
2.39/2.40 c constraints/agelimit = 1
2.39/2.40 c
2.39/2.40 c # should enforcement of pseudo solution be disabled?
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/disableenfops = TRUE
2.39/2.40 c
2.39/2.40 c # frequency for displaying node information lines
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.40 c display/freq = 10000
2.39/2.40 c
2.39/2.40 c # maximal time in seconds to run
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40 c limits/time = 1798.89
2.39/2.40 c
2.39/2.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.40 c limits/memory = 1620
2.39/2.40 c
2.39/2.40 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.40 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.40 c lp/solvefreq = 0
2.39/2.40 c
2.39/2.40 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.39/2.40 c # [type: char, range: {lafpsqd}, default: l]
2.39/2.40 c lp/pricing = a
2.39/2.40 c
2.39/2.40 c # should presolving try to simplify inequalities
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/linear/simplifyinequalities = TRUE
2.39/2.40 c
2.39/2.40 c # should presolving try to simplify knapsacks
2.39/2.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.40 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.40 c
2.39/2.40 c # priority of node selection rule <dfs> in standard mode
2.39/2.40 c # [type: int, range: [-536870912,536870911], default: 0]
2.39/2.40 c nodeselection/dfs/stdpriority = 1000000
2.39/2.40 c
2.39/2.40 c -----------------------------------------------------------------------------------------------
2.39/2.40 c start solving
2.39/2.41 c
42.57/42.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.57/42.67 c t41.0s| 1 | 0 | 6850 | - | 72M| 0 |1604 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 | 0.000000e+00 | 100.00%
42.78/42.86 o -12
42.78/42.86 c R41.2s| 1 | 0 | 6850 | - | 72M| 0 |1604 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 |-1.200000e+01 | 95.73%
42.97/43.09 o -14
42.97/43.09 c s41.4s| 1 | 0 | 6850 | - | 72M| 0 |1604 |1839 | 62k|1839 | 62k| 0 | 0 | 0 |-2.811758e+02 |-1.400000e+01 | 95.02%
502.95/503.18 c 499s| 1 | 0 | 39054 | - | 74M| 0 |1816 |1839 | 62k|1839 | 62k| 4 | 0 | 0 |-2.771700e+02 |-1.400000e+01 | 94.95%
503.05/503.21 o -36
503.05/503.21 c b 499s| 1 | 0 | 39054 | - | 74M| 0 |1816 |1839 | 62k|1839 | 62k| 4 | 0 | 0 |-2.771700e+02 |-3.600000e+01 | 87.01%
1124.67/1125.02 c 1088s| 1 | 0 | 68248 | - | 77M| 0 |1810 |1839 | 62k|1839 | 62k| 8 | 0 | 0 |-2.749294e+02 |-3.600000e+01 | 86.91%
1124.77/1125.16 o -53
1124.77/1125.16 c b1088s| 1 | 0 | 68248 | - | 77M| 0 |1810 |1839 | 62k|1839 | 62k| 8 | 0 | 0 |-2.749294e+02 |-5.300000e+01 | 80.72%
1790.20/1790.76 c 1724s| 1 | 0 |100963 | - | 82M| 0 |1806 |1839 | 62k|1839 | 62k| 14 | 0 | 0 |-2.717622e+02 |-5.300000e+01 | 80.50%
1800.10/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-2666249-1276686851/watcher-2666249-1276686851 -o /tmp/evaluation-result-2666249-1276686851/solver-2666249-1276686851 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666249-1276686851.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 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=7724 CPUtime=0
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 1023 0 0 0 0 0 0 0 20 0 1 0 9980273 7909376 943 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 1931 953 348 984 0 944 0
[startup+0.04917 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=11800 CPUtime=0.04
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 2251 0 0 0 3 1 0 0 22 0 1 0 9980273 12083200 2171 1992294400 4194304 8223781 140736712358272 18446744073709551615 4361595 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 2950 2171 365 984 0 1963 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11800
[startup+0.101176 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=13272 CPUtime=0.09
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 2615 0 0 0 8 1 0 0 22 0 1 0 9980273 13590528 2535 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 3318 2535 365 984 0 2331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13272
[startup+0.3012 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=18028 CPUtime=0.29
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 3822 0 0 0 28 1 0 0 22 0 1 0 9980273 18460672 3742 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 4507 3742 365 984 0 3520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18028
[startup+0.701246 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16527
/proc/meminfo: memFree=1673480/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=26224 CPUtime=0.69
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 5848 0 0 0 67 2 0 0 23 0 1 0 9980273 26853376 5768 1992294400 4194304 8223781 140736712358272 18446744073709551615 7249913 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16527/statm: 6556 5768 365 984 0 5569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26224
[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1645820/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=80876 CPUtime=1.49
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 19592 0 0 0 138 11 0 0 25 0 1 0 9980273 82817024 19116 1992294400 4194304 8223781 140736712358272 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 20219 19116 446 984 0 19232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80876
[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1590144/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=161708 CPUtime=3.09
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 48394 0 0 0 272 37 0 0 25 0 1 0 9980273 165588992 36888 1992294400 4194304 8223781 140736712358272 18446744073709551615 6248424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 40427 36888 529 984 0 39440 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161708
[startup+6.3009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1521572/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=175740 CPUtime=6.29
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 51834 0 0 0 589 40 0 0 25 0 1 0 9980273 179957760 38342 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 43935 38342 533 984 0 42948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175740
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1520704/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=179536 CPUtime=12.68
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 55031 0 0 0 1225 43 0 0 25 0 1 0 9980273 183844864 38511 1992294400 4194304 8223781 140736712358272 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 44884 38511 533 984 0 43897 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 179536
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16528
/proc/meminfo: memFree=1520084/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=182088 CPUtime=25.49
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 61938 0 0 0 2501 48 0 0 25 0 1 0 9980273 186458112 38632 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 45522 38632 533 984 0 44535 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 182088
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16530
/proc/meminfo: memFree=1518968/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=184764 CPUtime=51.07
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 472361 0 0 0 4906 201 0 0 25 0 1 0 9980273 189198336 38910 1992294400 4194304 8223781 140736712358272 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 46191 38910 549 984 0 45204 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 184764
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16530
/proc/meminfo: memFree=1516488/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=189920 CPUtime=102.26
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 496476 0 0 0 10006 220 0 0 25 0 1 0 9980273 194478080 39546 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47480 39546 561 984 0 46493 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 189920
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16532
/proc/meminfo: memFree=1515248/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190592 CPUtime=162.24
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 524029 0 0 0 15982 242 0 0 25 0 1 0 9980273 195166208 39857 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47648 39857 561 984 0 46661 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 190592
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16534
/proc/meminfo: memFree=1514504/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190712 CPUtime=222.22
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 549674 0 0 0 21963 259 0 0 25 0 1 0 9980273 195289088 40032 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47678 40032 561 984 0 46691 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 190712
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16536
/proc/meminfo: memFree=1514132/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190752 CPUtime=282.21
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 574011 0 0 0 27946 275 0 0 25 0 1 0 9980273 195330048 40134 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47688 40134 561 984 0 46701 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 190752
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16538
/proc/meminfo: memFree=1514132/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190752 CPUtime=342.19
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 598541 0 0 0 33928 291 0 0 25 0 1 0 9980273 195330048 40112 1992294400 4194304 8223781 140736712358272 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47688 40112 561 984 0 46701 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 190752
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16538
/proc/meminfo: memFree=1514008/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190752 CPUtime=402.17
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 621664 0 0 0 39912 305 0 0 25 0 1 0 9980273 195330048 40143 1992294400 4194304 8223781 140736712358272 18446744073709551615 6503932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47688 40143 561 984 0 46701 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 190752
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16540
/proc/meminfo: memFree=1514132/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=190800 CPUtime=462.16
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 645025 0 0 0 45894 322 0 0 25 0 1 0 9980273 195379200 40088 1992294400 4194304 8223781 140736712358272 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47700 40088 561 984 0 46713 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 190800
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16542
/proc/meminfo: memFree=1513760/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=191076 CPUtime=522.14
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 1547792 0 0 0 51551 663 0 0 25 0 1 0 9980273 195661824 40147 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47769 40147 561 984 0 46782 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 191076
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16544
/proc/meminfo: memFree=1513760/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=191076 CPUtime=582.12
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 4342106 0 0 0 56515 1697 0 0 25 0 1 0 9980273 195661824 40147 1992294400 4194304 8223781 140736712358272 18446744073709551615 6299961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47769 40147 561 984 0 46782 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 191076
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16546
/proc/meminfo: memFree=1513636/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=191076 CPUtime=642.12
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 7125350 0 0 0 61487 2725 0 0 25 0 1 0 9980273 195661824 40147 1992294400 4194304 8223781 140736712358272 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 47769 40147 561 984 0 46782 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 191076
[startup+702.301 s]
################
# More data... #
################
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 9267755 0 0 0 96636 3565 0 0 25 0 1 0 9980273 201080832 41275 1992294400 4194304 8223781 140736712358272 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49092 41275 561 984 0 48105 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 196368
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16559
/proc/meminfo: memFree=1508428/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196368 CPUtime=1061.99
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 9289605 0 0 0 102619 3580 0 0 25 0 1 0 9980273 201080832 41262 1992294400 4194304 8223781 140736712358272 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49092 41262 561 984 0 48105 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 196368
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16561
/proc/meminfo: memFree=1508180/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196368 CPUtime=1121.97
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 9312297 0 0 0 108600 3597 0 0 25 0 1 0 9980273 201080832 41283 1992294400 4194304 8223781 140736712358272 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49092 41283 561 984 0 48105 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 196368
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16563
/proc/meminfo: memFree=1508056/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196564 CPUtime=1181.95
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 11829086 0 0 0 113635 4560 0 0 25 0 1 0 9980273 201281536 41344 1992294400 4194304 8223781 140736712358272 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49141 41344 561 984 0 48154 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 196564
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16565
/proc/meminfo: memFree=1508056/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=196072 CPUtime=1241.93
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 14473340 0 0 0 118633 5560 0 0 25 0 1 0 9980273 200777728 41221 1992294400 4194304 8223781 140736712358272 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 49018 41221 561 984 0 48031 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 196072
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16565
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200512 CPUtime=1301.93
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16680855 0 0 0 123800 6393 0 0 25 0 1 0 9980273 205324288 42405 1992294400 4194304 8223781 140736712358272 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50128 42405 561 984 0 49141 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 200512
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16567
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200512 CPUtime=1361.9
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16708473 0 0 0 129779 6411 0 0 25 0 1 0 9980273 205324288 42409 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50128 42409 561 984 0 49141 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 200512
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16569
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200992 CPUtime=1421.89
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16732840 0 0 0 135759 6430 0 0 25 0 1 0 9980273 205815808 42461 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50248 42461 561 984 0 49261 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 200992
[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 16571
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1481.87
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16757922 0 0 0 141739 6448 0 0 25 0 1 0 9980273 205840384 42464 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42464 561 984 0 49267 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 201016
[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 16573
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1541.86
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16781957 0 0 0 147721 6465 0 0 25 0 1 0 9980273 205840384 42444 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42444 561 984 0 49267 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 201016
[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16573
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1601.84
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16805334 0 0 0 153703 6481 0 0 25 0 1 0 9980273 205840384 42431 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42431 561 984 0 49267 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 201016
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16575
/proc/meminfo: memFree=1503840/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1661.83
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16826653 0 0 0 159687 6496 0 0 25 0 1 0 9980273 205840384 42444 1992294400 4194304 8223781 140736712358272 18446744073709551615 6598888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42444 561 984 0 49267 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 201016
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16577
/proc/meminfo: memFree=1503964/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201016 CPUtime=1721.8
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16849908 0 0 0 165668 6512 0 0 25 0 1 0 9980273 205840384 42431 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50254 42431 561 984 0 49267 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 201016
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16579
/proc/meminfo: memFree=1503716/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=201040 CPUtime=1781.79
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 16872258 0 0 0 171651 6528 0 0 25 0 1 0 9980273 205864960 42417 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50260 42417 561 984 0 49273 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 201040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16579
/proc/meminfo: memFree=1503592/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200744 CPUtime=1800.1
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17285167 0 0 0 173328 6682 0 0 25 0 1 0 9980273 205561856 42345 1992294400 4194304 8223781 140736712358272 18446744073709551615 6043630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50186 42345 561 984 0 49199 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 200744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16527
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 16579
/proc/meminfo: memFree=1503592/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200480 CPUtime=1800.88
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17287651 0 0 0 173405 6683 0 0 25 0 1 0 9980273 205291520 41937 1992294400 4194304 8223781 140736712358272 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50120 41937 561 984 0 49133 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 200480
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16580
/proc/meminfo: memFree=1505444/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200480 CPUtime=1801.68
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17287793 0 0 0 173485 6683 0 0 25 0 1 0 9980273 205291520 42079 1992294400 4194304 8223781 140736712358272 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50120 42079 561 984 0 49133 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 200480
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16580
/proc/meminfo: memFree=1505444/2059040 swapFree=4192956/4192956
[pid=16527] ppid=16525 vsize=200480 CPUtime=1802.09
/proc/16527/stat : 16527 (pbscip.linux.x8) R 16525 16527 15560 0 -1 4202496 17287828 0 0 0 173525 6684 0 0 25 0 1 0 9980273 205291520 42114 1992294400 4194304 8223781 140736712358272 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16527/statm: 50120 42114 561 984 0 49133 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 200480
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.13
CPU user time (s): 1735.27
CPU system time (s): 66.8588
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 208864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.27
system time used= 66.8588
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17287828
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= 1985
runsolver used 3.07253 second user time and 8.42072 second system time
The end