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-2666247-1276686602.opb>
1.10/1.10 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 61821 constraints
1.10/1.10 c problem read
1.10/1.11 c presolving settings loaded
1.29/1.32 o 0
1.29/1.32 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.29/1.32 c presolving:
1.49/1.59 c (round 1) 206 del vars, 206 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
2.09/2.15 c (round 2) 206 del vars, 980 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 60841 upgd conss, 2340 impls, 0 clqs
2.30/2.36 c (1.0s) probing: 101/1819 (5.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.30/2.36 c (1.0s) probing aborted: 100/100 successive totally useless probings
2.30/2.36 c presolving (3 rounds):
2.30/2.36 c 206 deleted vars, 980 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.30/2.36 c 2340 implications, 0 cliques
2.30/2.36 c presolved problem has 1819 variables (1819 bin, 0 int, 0 impl, 0 cont) and 60841 constraints
2.30/2.36 c 60841 constraints of type <logicor>
2.30/2.36 c transformed objective value is always integral (scale: 1)
2.30/2.36 c Presolving Time: 0.83
2.30/2.36 c - non default parameters ----------------------------------------------------------------------
2.30/2.36 c # SCIP version 1.2.1.2
2.30/2.36 c
2.30/2.36 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.30/2.36 c # [type: int, range: [-1,2147483647], default: -1]
2.30/2.36 c conflict/interconss = 0
2.30/2.36 c
2.30/2.36 c # should binary conflicts be preferred?
2.30/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.30/2.36 c conflict/preferbinary = TRUE
2.30/2.36 c
2.30/2.36 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.30/2.36 c # [type: int, range: [-1,2147483647], default: 0]
2.30/2.36 c constraints/agelimit = 1
2.30/2.36 c
2.30/2.36 c # should enforcement of pseudo solution be disabled?
2.30/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.30/2.36 c constraints/disableenfops = TRUE
2.30/2.36 c
2.30/2.36 c # frequency for displaying node information lines
2.30/2.36 c # [type: int, range: [-1,2147483647], default: 100]
2.30/2.36 c display/freq = 10000
2.30/2.36 c
2.30/2.36 c # maximal time in seconds to run
2.30/2.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.30/2.36 c limits/time = 1798.9
2.30/2.36 c
2.30/2.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.30/2.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.30/2.36 c limits/memory = 1620
2.30/2.36 c
2.30/2.36 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.30/2.36 c # [type: int, range: [-1,2147483647], default: 1]
2.30/2.36 c lp/solvefreq = 0
2.30/2.36 c
2.30/2.36 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.30/2.36 c # [type: char, range: {lafpsqd}, default: l]
2.30/2.36 c lp/pricing = a
2.30/2.36 c
2.30/2.36 c # should presolving try to simplify inequalities
2.30/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.30/2.36 c constraints/linear/simplifyinequalities = TRUE
2.30/2.36 c
2.30/2.36 c # should presolving try to simplify knapsacks
2.30/2.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.30/2.36 c constraints/knapsack/simplifyinequalities = TRUE
2.30/2.36 c
2.30/2.36 c # priority of node selection rule <dfs> in standard mode
2.30/2.36 c # [type: int, range: [-536870912,536870911], default: 0]
2.30/2.36 c nodeselection/dfs/stdpriority = 1000000
2.30/2.36 c
2.30/2.36 c -----------------------------------------------------------------------------------------------
2.30/2.36 c start solving
2.30/2.36 c
36.98/37.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.98/37.07 c t35.5s| 1 | 0 | 6047 | - | 70M| 0 |1659 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 | 0.000000e+00 | 100.00%
37.18/37.26 o -8
37.18/37.26 c R35.6s| 1 | 0 | 6047 | - | 70M| 0 |1659 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-8.000000e+00 | 96.87%
37.39/37.48 o -12
37.39/37.48 c s35.9s| 1 | 0 | 6047 | - | 70M| 0 |1659 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-1.200000e+01 | 95.30%
502.05/502.21 c 498s| 1 | 0 | 39722 | - | 72M| 0 |1794 |1819 | 60k|1819 | 60k| 4 | 0 | 0 |-2.532046e+02 |-1.200000e+01 | 95.26%
502.05/502.24 o -34
502.05/502.24 c b 499s| 1 | 0 | 39722 | - | 72M| 0 |1794 |1819 | 60k|1819 | 60k| 4 | 0 | 0 |-2.532046e+02 |-3.400000e+01 | 86.57%
995.80/996.11 c 984s| 1 | 0 | 70713 | - | 73M| 0 |1801 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.524778e+02 |-3.400000e+01 | 86.53%
995.90/996.24 o -37
995.90/996.24 c b 984s| 1 | 0 | 70713 | - | 73M| 0 |1801 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.524778e+02 |-3.700000e+01 | 85.35%
1791.55/1792.11 c 1726s| 1 | 0 |104538 | - | 73M| 0 |1808 |1819 | 60k|1819 | 60k| 12 | 0 | 0 |-2.508705e+02 |-3.700000e+01 | 85.25%
1800.05/1800.60 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-2666247-1276686602/watcher-2666247-1276686602 -o /tmp/evaluation-result-2666247-1276686602/solver-2666247-1276686602 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666247-1276686602.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 16390
/proc/meminfo: memFree=1560740/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=7724 CPUtime=0
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 1074 0 0 0 0 0 0 0 18 0 1 0 9953160 7909376 993 1992294400 4194304 8223781 140736711496176 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16390/statm: 1931 1002 348 984 0 944 0
[startup+0.102049 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16390
/proc/meminfo: memFree=1560740/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=13312 CPUtime=0.09
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 2617 0 0 0 9 0 0 0 20 0 1 0 9953160 13631488 2536 1992294400 4194304 8223781 140736711496176 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16390/statm: 3328 2536 365 984 0 2341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13312
[startup+0.202061 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16390
/proc/meminfo: memFree=1560740/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=16664 CPUtime=0.19
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 3461 0 0 0 18 1 0 0 20 0 1 0 9953160 17063936 3380 1992294400 4194304 8223781 140736711496176 18446744073709551615 4907430 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16390/statm: 4166 3380 365 984 0 3179 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16664
[startup+0.301069 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16390
/proc/meminfo: memFree=1560740/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=18032 CPUtime=0.29
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 3823 0 0 0 28 1 0 0 20 0 1 0 9953160 18464768 3742 1992294400 4194304 8223781 140736711496176 18446744073709551615 4907066 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16390/statm: 4508 3742 365 984 0 3521 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18032
[startup+0.701109 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16390
/proc/meminfo: memFree=1560740/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=26032 CPUtime=0.69
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 5799 0 0 0 67 2 0 0 20 0 1 0 9953160 26656768 5718 1992294400 4194304 8223781 140736711496176 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16390/statm: 6508 5718 365 984 0 5521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26032
[startup+1.50119 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 16391
/proc/meminfo: memFree=1530972/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=80100 CPUtime=1.49
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 19371 0 0 0 138 11 0 0 23 0 1 0 9953160 82022400 18916 1992294400 4194304 8223781 140736711496176 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 20025 18916 446 984 0 19038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80100
[startup+3.10134 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 16391
/proc/meminfo: memFree=1479140/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=157796 CPUtime=3.09
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 47394 0 0 0 272 37 0 0 25 0 1 0 9953160 161583104 36033 1992294400 4194304 8223781 140736711496176 18446744073709551615 6612636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 39449 36033 530 984 0 38462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157796
[startup+6.30166 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 16391
/proc/meminfo: memFree=1412552/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=172740 CPUtime=6.29
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 51289 0 0 0 589 40 0 0 25 0 1 0 9953160 176885760 37402 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 43185 37402 534 984 0 42198 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 172740
[startup+12.7013 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 16393
/proc/meminfo: memFree=1411560/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=176288 CPUtime=12.68
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 54632 0 0 0 1225 43 0 0 25 0 1 0 9953160 180518912 37592 1992294400 4194304 8223781 140736711496176 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 44072 37592 534 984 0 43085 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 176288
[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 16393
/proc/meminfo: memFree=1411188/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=178352 CPUtime=25.48
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 60869 0 0 0 2499 49 0 0 25 0 1 0 9953160 182632448 37720 1992294400 4194304 8223781 140736711496176 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 44588 37720 534 984 0 43601 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 178352
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 16393
/proc/meminfo: memFree=1409080/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=185000 CPUtime=51.08
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 239804 0 0 0 4993 115 0 0 25 0 1 0 9953160 189440000 38246 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46250 38246 561 984 0 45263 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 185000
[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 16395
/proc/meminfo: memFree=1408088/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=185552 CPUtime=102.27
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 264262 0 0 0 10094 133 0 0 25 0 1 0 9953160 190005248 38514 1992294400 4194304 8223781 140736711496176 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46388 38514 561 984 0 45401 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 185552
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 16397
/proc/meminfo: memFree=1406972/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=186096 CPUtime=162.25
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 289751 0 0 0 16072 153 0 0 25 0 1 0 9953160 190562304 38792 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46524 38792 561 984 0 45537 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 186096
[startup+222.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 16397
/proc/meminfo: memFree=1406848/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=186264 CPUtime=222.23
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 314793 0 0 0 22051 172 0 0 25 0 1 0 9953160 190734336 38821 1992294400 4194304 8223781 140736711496176 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46566 38821 561 984 0 45579 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 186264
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 16399
/proc/meminfo: memFree=1406600/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=186408 CPUtime=282.21
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 338489 0 0 0 28032 189 0 0 25 0 1 0 9953160 190881792 38862 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46602 38862 561 984 0 45615 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 186408
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 16401
/proc/meminfo: memFree=1406352/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=186408 CPUtime=342.19
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 362998 0 0 0 34014 205 0 0 25 0 1 0 9953160 190881792 38922 1992294400 4194304 8223781 140736711496176 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46602 38922 561 984 0 45615 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 186408
[startup+402.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 16403
/proc/meminfo: memFree=1406352/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=186416 CPUtime=402.18
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 386520 0 0 0 39996 222 0 0 25 0 1 0 9953160 190889984 38900 1992294400 4194304 8223781 140736711496176 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46604 38900 561 984 0 45617 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 186416
[startup+462.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/107 16405
/proc/meminfo: memFree=1406352/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=186432 CPUtime=462.16
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 409728 0 0 0 45978 238 0 0 25 0 1 0 9953160 190906368 38873 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46608 38873 561 984 0 45621 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 186432
[startup+522.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 16405
/proc/meminfo: memFree=1406104/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=186916 CPUtime=522.14
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 1366052 0 0 0 51612 602 0 0 25 0 1 0 9953160 191401984 38976 1992294400 4194304 8223781 140736711496176 18446744073709551615 6299581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 46729 38976 561 984 0 45742 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 186916
[startup+582.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 16407
/proc/meminfo: memFree=1403624/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189132 CPUtime=582.12
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 2351164 0 0 0 57244 968 0 0 25 0 1 0 9953160 193671168 39587 1992294400 4194304 8223781 140736711496176 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47283 39587 561 984 0 46296 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 189132
[startup+642.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 16409
/proc/meminfo: memFree=1403376/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189132 CPUtime=642.1
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 2376931 0 0 0 63225 985 0 0 25 0 1 0 9953160 193671168 39611 1992294400 4194304 8223781 140736711496176 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47283 39611 561 984 0 46296 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 189132
[startup+702.301 s]
################
# More data... #
################
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 5561960 0 0 0 103962 2235 0 0 25 0 1 0 9953160 193425408 39566 1992294400 4194304 8223781 140736711496176 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47223 39566 561 984 0 46236 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 188892
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16421
/proc/meminfo: memFree=1402508/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188892 CPUtime=1121.94
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 8324902 0 0 0 108916 3278 0 0 25 0 1 0 9953160 193425408 39566 1992294400 4194304 8223781 140736711496176 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47223 39566 561 984 0 46236 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 188892
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16423
/proc/meminfo: memFree=1402508/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189368 CPUtime=1181.94
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 11116047 0 0 0 113856 4338 0 0 25 0 1 0 9953160 193912832 39685 1992294400 4194304 8223781 140736711496176 18446744073709551615 6299972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47342 39685 561 984 0 46355 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 189368
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16425
/proc/meminfo: memFree=1402136/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189368 CPUtime=1241.91
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 13911595 0 0 0 118810 5381 0 0 25 0 1 0 9953160 193912832 39685 1992294400 4194304 8223781 140736711496176 18446744073709551615 6299972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47342 39685 561 984 0 46355 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 189368
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16427
/proc/meminfo: memFree=1402384/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188704 CPUtime=1301.89
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16204547 0 0 0 123934 6255 0 0 25 0 1 0 9953160 193232896 39643 1992294400 4194304 8223781 140736711496176 18446744073709551615 6251381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47176 39643 561 984 0 46189 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 188704
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16432
/proc/meminfo: memFree=1402136/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188704 CPUtime=1361.87
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16231871 0 0 0 129910 6277 0 0 25 0 1 0 9953160 193232896 39689 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47176 39689 561 984 0 46189 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 188704
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16432
/proc/meminfo: memFree=1402136/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188704 CPUtime=1421.86
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16257120 0 0 0 135890 6296 0 0 25 0 1 0 9953160 193232896 39712 1992294400 4194304 8223781 140736711496176 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47176 39712 561 984 0 46189 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 188704
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16434
/proc/meminfo: memFree=1401640/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188704 CPUtime=1481.84
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16283254 0 0 0 141869 6315 0 0 25 0 1 0 9953160 193232896 39847 1992294400 4194304 8223781 140736711496176 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47176 39847 561 984 0 46189 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 188704
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16436
/proc/meminfo: memFree=1401764/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188704 CPUtime=1541.83
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16306365 0 0 0 147851 6332 0 0 25 0 1 0 9953160 193232896 39837 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47176 39837 561 984 0 46189 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 188704
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16438
/proc/meminfo: memFree=1401764/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188704 CPUtime=1601.8
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16333090 0 0 0 153830 6350 0 0 25 0 1 0 9953160 193232896 39844 1992294400 4194304 8223781 140736711496176 18446744073709551615 6570017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47176 39844 561 984 0 46189 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 188704
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16440
/proc/meminfo: memFree=1401888/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=188704 CPUtime=1661.79
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16355876 0 0 0 159812 6367 0 0 25 0 1 0 9953160 193232896 39810 1992294400 4194304 8223781 140736711496176 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47176 39810 561 984 0 46189 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 188704
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16440
/proc/meminfo: memFree=1402012/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189132 CPUtime=1721.77
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16378817 0 0 0 165795 6382 0 0 25 0 1 0 9953160 193671168 39824 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47283 39824 561 984 0 46296 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 189132
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16442
/proc/meminfo: memFree=1401764/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189180 CPUtime=1781.75
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16401424 0 0 0 171775 6400 0 0 25 0 1 0 9953160 193720320 39797 1992294400 4194304 8223781 140736711496176 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47295 39797 561 984 0 46308 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 189180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16442
/proc/meminfo: memFree=1401640/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189392 CPUtime=1800.05
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16786990 0 0 0 173459 6546 0 0 25 0 1 0 9953160 193937408 39834 1992294400 4194304 8223781 140736711496176 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47348 39834 561 984 0 46361 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 189392
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16390
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16443
/proc/meminfo: memFree=1404608/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189476 CPUtime=1800.94
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16789431 0 0 0 173547 6547 0 0 25 0 1 0 9953160 194023424 39184 1992294400 4194304 8223781 140736711496176 18446744073709551615 6503938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47369 39184 561 984 0 46382 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 189476
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16443
/proc/meminfo: memFree=1403988/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189476 CPUtime=1801.75
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16789626 0 0 0 173627 6548 0 0 25 0 1 0 9953160 194023424 39379 1992294400 4194304 8223781 140736711496176 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47369 39379 561 984 0 46382 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 189476
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16443
/proc/meminfo: memFree=1403988/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189476 CPUtime=1801.95
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16789658 0 0 0 173647 6548 0 0 25 0 1 0 9953160 194023424 39411 1992294400 4194304 8223781 140736711496176 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47369 39411 561 984 0 46382 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 189476
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16443
/proc/meminfo: memFree=1403988/2059040 swapFree=4192956/4192956
[pid=16390] ppid=16388 vsize=189476 CPUtime=1802.05
/proc/16390/stat : 16390 (pbscip.linux.x8) R 16388 16390 16365 0 -1 4202496 16789671 0 0 0 173657 6548 0 0 25 0 1 0 9953160 194023424 39424 1992294400 4194304 8223781 140736711496176 18446744073709551615 6520928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16390/statm: 47369 39424 561 984 0 46382 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 189476
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.08
CPU user time (s): 1736.58
CPU system time (s): 65.501
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 196796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1736.58
system time used= 65.501
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16789682
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= 2093
runsolver used 3.22751 second user time and 8.29274 second system time
The end