0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703853-1278557373.opb>
1.00/1.02 c original problem has 83000 variables (83000 bin, 0 int, 0 impl, 0 cont) and 1820 constraints
1.00/1.02 c problem read
1.00/1.02 c presolving settings loaded
1.99/2.03 c presolving:
2.29/2.32 c (round 1) 1900 del vars, 0 del conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 20 clqs
2.79/2.82 c (round 2) 78850 del vars, 0 del conss, 78850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1820 clqs
2.79/2.87 c (round 3) 78850 del vars, 0 del conss, 78850 chg bounds, 0 chg sides, 0 chg coeffs, 1820 upgd conss, 0 impls, 1820 clqs
32.99/33.01 c (32.0s) probing: 1000/4150 (24.1%) - 0 fixings, 0 aggregations, 1993745 implications, 0 bound changes
67.06/67.12 c (66.1s) probing: 2000/4150 (48.2%) - 0 fixings, 0 aggregations, 3512693 implications, 0 bound changes
67.06/67.16 c (66.1s) probing: 2001/4150 (48.2%) - 0 fixings, 0 aggregations, 3513943 implications, 0 bound changes
67.06/67.16 c (66.1s) probing aborted: 2000/2000 successive useless probings
67.06/67.16 c presolving (4 rounds):
67.06/67.16 c 78850 deleted vars, 0 deleted constraints, 78850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
67.06/67.16 c 7027886 implications, 1820 cliques
67.06/67.16 c presolved problem has 4150 variables (4150 bin, 0 int, 0 impl, 0 cont) and 1820 constraints
67.06/67.16 c 1820 constraints of type <setppc>
67.06/67.16 c transformed objective value is always integral (scale: 1)
67.06/67.16 c Presolving Time: 65.70
67.06/67.16 c - non default parameters ----------------------------------------------------------------------
67.06/67.16 c # SCIP version 1.2.1.3
67.06/67.16 c
67.06/67.16 c # frequency for displaying node information lines
67.06/67.16 c # [type: int, range: [-1,2147483647], default: 100]
67.06/67.16 c display/freq = 10000
67.06/67.16 c
67.06/67.16 c # maximal time in seconds to run
67.06/67.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
67.06/67.16 c limits/time = 1788.99
67.06/67.16 c
67.06/67.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
67.06/67.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
67.06/67.16 c limits/memory = 1620
67.06/67.16 c
67.06/67.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
67.06/67.16 c # [type: int, range: [1,2], default: 1]
67.06/67.16 c timing/clocktype = 2
67.06/67.16 c
67.06/67.16 c # should presolving try to simplify inequalities
67.06/67.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
67.06/67.16 c constraints/linear/simplifyinequalities = TRUE
67.06/67.16 c
67.06/67.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
67.06/67.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
67.06/67.16 c constraints/indicator/addCouplingCons = TRUE
67.06/67.16 c
67.06/67.16 c # should presolving try to simplify knapsacks
67.06/67.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
67.06/67.16 c constraints/knapsack/simplifyinequalities = TRUE
67.06/67.16 c
67.06/67.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
67.06/67.16 c # [type: int, range: [-1,2147483647], default: -1]
67.06/67.16 c separating/rapidlearning/freq = 0
67.06/67.16 c
67.06/67.16 c -----------------------------------------------------------------------------------------------
67.06/67.16 c start solving
67.06/67.17 c
166.52/166.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.52/166.60 c 166s| 1 | 0 | 47345 | - | 318M| 0 |1224 |4150 |1820 |4150 |1820 | 0 | 0 | 0 | 1.662831e+02 | -- | Inf
272.70/272.86 o 176
272.70/272.86 c F 272s| 1 | 0 | 78681 | - | 324M| 0 | 0 |4150 |1820 |4150 |1820 | 0 | 0 | 0 | 1.662831e+02 | 1.760000e+02 | 5.84%
415.55/415.77 c 415s| 1 | 0 | 79522 | - | 318M| 0 |1227 |4150 |3347 |4150 |1823 | 3 | 0 | 0 | 1.662831e+02 | 1.760000e+02 | 5.84%
418.45/418.61 c 418s| 1 | 0 | 80757 | - | 318M| 0 |1252 |4150 |3347 |4150 |1827 | 7 | 0 | 0 | 1.662833e+02 | 1.760000e+02 | 5.84%
423.35/423.54 c 423s| 1 | 0 | 83032 | - | 318M| 0 |1251 |4150 |3251 |4150 |1830 | 10 | 0 | 0 | 1.662939e+02 | 1.760000e+02 | 5.84%
439.14/439.35 c 438s| 1 | 0 | 90301 | - | 317M| 0 |1284 |4150 |3234 |4150 |1834 | 14 | 0 | 0 | 1.664664e+02 | 1.760000e+02 | 5.73%
442.94/443.18 c 442s| 1 | 0 | 91841 | - | 316M| 0 |1315 |4150 |3171 |4150 |1840 | 20 | 0 | 0 | 1.664919e+02 | 1.760000e+02 | 5.71%
445.24/445.45 c 444s| 1 | 0 | 92523 | - | 316M| 0 |1310 |4150 |3171 |4150 |1843 | 23 | 0 | 0 | 1.664973e+02 | 1.760000e+02 | 5.71%
460.83/461.03 c 460s| 1 | 0 | 93428 | - | 316M| 0 |1325 |4150 |3171 |4150 |1847 | 27 | 0 | 0 | 1.665048e+02 | 1.760000e+02 | 5.70%
463.63/463.80 c 463s| 1 | 0 | 94347 | - | 316M| 0 |1337 |4150 |3171 |4150 |1849 | 29 | 0 | 0 | 1.665193e+02 | 1.760000e+02 | 5.69%
465.73/465.97 c 465s| 1 | 0 | 94973 | - | 316M| 0 |1341 |4150 |3086 |4150 |1850 | 30 | 0 | 0 | 1.665244e+02 | 1.760000e+02 | 5.69%
468.34/468.54 c 468s| 1 | 0 | 95785 | - | 316M| 0 |1349 |4150 |3086 |4150 |1854 | 34 | 0 | 0 | 1.665347e+02 | 1.760000e+02 | 5.68%
471.33/471.58 c 471s| 1 | 0 | 96796 | - | 316M| 0 |1348 |4150 |3086 |4150 |1855 | 35 | 0 | 0 | 1.665498e+02 | 1.760000e+02 | 5.67%
473.13/473.31 c 472s| 1 | 0 | 97381 | - | 316M| 0 |1350 |4150 |3086 |4150 |1857 | 37 | 0 | 0 | 1.665558e+02 | 1.760000e+02 | 5.67%
483.62/483.84 c 483s| 1 | 0 | 98678 | - | 316M| 0 |1365 |4150 |3086 |4150 |1862 | 42 | 0 | 0 | 1.665883e+02 | 1.760000e+02 | 5.65%
487.33/487.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.33/487.57 c 487s| 1 | 0 | 99728 | - | 316M| 0 |1360 |4150 |3086 |4150 |1860 | 47 | 0 | 0 | 1.666148e+02 | 1.760000e+02 | 5.63%
492.42/492.60 c 492s| 1 | 0 |100193 | - | 316M| 0 |1357 |4150 |3086 |4150 |1862 | 49 | 0 | 0 | 1.666201e+02 | 1.760000e+02 | 5.63%
511.72/511.93 c 511s| 1 | 0 |101872 | - | 316M| 0 |1361 |4150 |3086 |4150 |1866 | 53 | 0 | 0 | 1.666702e+02 | 1.760000e+02 | 5.60%
522.41/522.61 c 522s| 1 | 0 |103293 | - | 316M| 0 |1354 |4150 |3086 |4150 |1870 | 57 | 0 | 0 | 1.667067e+02 | 1.760000e+02 | 5.57%
523.82/524.08 c 523s| 1 | 0 |103581 | - | 316M| 0 |1359 |4150 |3086 |4150 |1871 | 58 | 0 | 0 | 1.667086e+02 | 1.760000e+02 | 5.57%
529.81/530.07 c 529s| 1 | 0 |104022 | - | 316M| 0 |1361 |4150 |3086 |4150 |1874 | 61 | 0 | 0 | 1.667141e+02 | 1.760000e+02 | 5.57%
535.42/535.67 c 535s| 1 | 0 |104531 | - | 316M| 0 |1357 |4150 |3086 |4150 |1871 | 65 | 0 | 0 | 1.667191e+02 | 1.760000e+02 | 5.57%
544.61/544.82 c 544s| 1 | 0 |105163 | - | 316M| 0 |1373 |4150 |3085 |4150 |1876 | 70 | 0 | 0 | 1.667261e+02 | 1.760000e+02 | 5.56%
547.01/547.29 c 546s| 1 | 0 |105815 | - | 316M| 0 |1383 |4150 |3085 |4150 |1877 | 71 | 0 | 0 | 1.667359e+02 | 1.760000e+02 | 5.56%
549.11/549.37 c 548s| 1 | 0 |106564 | - | 316M| 0 |1379 |4150 |3085 |4150 |1879 | 73 | 0 | 0 | 1.667490e+02 | 1.760000e+02 | 5.55%
1524.61/1525.10 c 1524s| 1 | 0 |107966 | - | 316M| 0 |1377 |4150 |3085 |4150 |1883 | 77 | 0 | 0 | 1.667942e+02 | 1.760000e+02 | 5.52%
1545.80/1546.35 c 1545s| 1 | 0 |109365 | - | 316M| 0 |1392 |4150 |3085 |4150 |1887 | 81 | 0 | 0 | 1.668299e+02 | 1.760000e+02 | 5.50%
1557.89/1558.41 c 1557s| 1 | 0 |110302 | - | 315M| 0 |1397 |4150 |3085 |4150 |1883 | 85 | 0 | 0 | 1.668434e+02 | 1.760000e+02 | 5.49%
1568.60/1569.14 c 1568s| 1 | 0 |111029 | - | 315M| 0 |1399 |4150 |3068 |4150 |1887 | 89 | 0 | 0 | 1.668520e+02 | 1.760000e+02 | 5.48%
1571.49/1572.01 c 1571s| 1 | 0 |111559 | - | 315M| 0 |1400 |4150 |3068 |4150 |1890 | 92 | 0 | 0 | 1.668580e+02 | 1.760000e+02 | 5.48%
1583.99/1584.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.99/1584.58 c 1584s| 1 | 0 |112250 | - | 315M| 0 |1413 |4150 |3068 |4150 |1895 | 97 | 0 | 0 | 1.668656e+02 | 1.760000e+02 | 5.47%
1587.79/1588.37 c 1587s| 1 | 0 |113047 | - | 315M| 0 |1415 |4150 |3068 |4150 |1899 | 101 | 0 | 0 | 1.668740e+02 | 1.760000e+02 | 5.47%
1608.98/1609.51 c 1608s| 1 | 0 |113829 | - | 315M| 0 |1429 |4150 |3068 |4150 |1903 | 105 | 0 | 0 | 1.668819e+02 | 1.760000e+02 | 5.46%
1616.28/1616.88 c 1616s| 1 | 0 |114852 | - | 315M| 0 |1426 |4150 |3068 |4150 |1895 | 107 | 0 | 0 | 1.668919e+02 | 1.760000e+02 | 5.46%
1631.57/1632.19 c 1631s| 1 | 0 |115570 | - | 315M| 0 |1422 |4150 |3056 |4150 |1897 | 109 | 0 | 0 | 1.668994e+02 | 1.760000e+02 | 5.45%
1639.57/1640.17 c 1639s| 1 | 0 |116061 | - | 315M| 0 |1419 |4150 |3056 |4150 |1899 | 111 | 0 | 0 | 1.669026e+02 | 1.760000e+02 | 5.45%
1746.44/1747.02 c 1746s| 1 | 0 |117231 | - | 315M| 0 |1429 |4150 |3056 |4150 |1902 | 114 | 0 | 0 | 1.669241e+02 | 1.760000e+02 | 5.44%
1748.53/1749.14 c 1748s| 1 | 0 |117665 | - | 315M| 0 |1440 |4150 |3056 |4150 |1905 | 117 | 0 | 0 | 1.669257e+02 | 1.760000e+02 | 5.44%
1800.03/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-2703853-1278557373/watcher-2703853-1278557373 -o /tmp/evaluation-result-2703853-1278557373/solver-2703853-1278557373 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703853-1278557373.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 28057
/proc/meminfo: memFree=1719300/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=7904 CPUtime=0
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 1062 0 0 0 0 0 0 0 19 0 1 0 23949540 8093696 974 1992294400 4194304 8395647 140735274418992 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28057/statm: 1976 983 365 1026 0 946 0
[startup+0.0101871 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28057
/proc/meminfo: memFree=1719300/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=7908 CPUtime=0
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 1281 0 0 0 0 0 0 0 19 0 1 0 23949540 8097792 1193 1992294400 4194304 8395647 140735274418992 18446744073709551615 7385025 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28057/statm: 1977 1193 370 1026 0 947 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7908
[startup+0.101195 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28057
/proc/meminfo: memFree=1719300/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=28652 CPUtime=0.1
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 6439 0 0 0 8 2 0 0 21 0 1 0 23949540 29339648 6347 1992294400 4194304 8395647 140735274418992 18446744073709551615 4245982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28057/statm: 7163 6347 389 1026 0 6133 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28652
[startup+0.301216 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28057
/proc/meminfo: memFree=1719300/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=54524 CPUtime=0.29
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 12872 0 0 0 25 4 0 0 21 0 1 0 23949540 55832576 12778 1992294400 4194304 8395647 140735274418992 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28057/statm: 13631 12778 394 1026 0 12601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54524
[startup+0.701259 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 28057
/proc/meminfo: memFree=1719300/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=72840 CPUtime=0.69
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 17434 0 0 0 63 6 0 0 22 0 1 0 23949540 74588160 17340 1992294400 4194304 8395647 140735274418992 18446744073709551615 7370110 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28057/statm: 18210 17340 394 1026 0 17180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72840
[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28058
/proc/meminfo: memFree=1648736/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=170776 CPUtime=1.49
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 42184 0 0 0 135 14 0 0 25 0 1 0 23949540 174874624 41736 1992294400 4194304 8395647 140735274418992 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 42694 41736 431 1026 0 41664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 170776
[startup+3.10152 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28058
/proc/meminfo: memFree=1536640/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=196392 CPUtime=3.09
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 47147 0 0 0 293 16 0 0 25 0 1 0 23949540 201105408 46699 1992294400 4194304 8395647 140735274418992 18446744073709551615 5608102 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 49098 46699 488 1026 0 48068 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196392
[startup+6.30086 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28058
/proc/meminfo: memFree=1508368/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=233648 CPUtime=6.29
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 56209 0 0 0 611 18 0 0 25 0 1 0 23949540 239255552 55761 1992294400 4194304 8395647 140735274418992 18446744073709551615 4706109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 58412 55761 488 1026 0 57382 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 233648
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28058
/proc/meminfo: memFree=1433844/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=300752 CPUtime=12.69
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 73075 0 0 0 1245 24 0 0 25 0 1 0 23949540 307970048 72627 1992294400 4194304 8395647 140735274418992 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 75188 72627 488 1026 0 74158 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 300752
[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28058
/proc/meminfo: memFree=1317284/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=412308 CPUtime=25.49
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 101080 0 0 0 2516 33 0 0 25 0 1 0 23949540 422203392 100632 1992294400 4194304 8395647 140735274418992 18446744073709551615 4684118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 103077 100632 488 1026 0 102047 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 412308
[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28060
/proc/meminfo: memFree=1135128/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=595500 CPUtime=51.06
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 146804 0 0 0 5055 51 0 0 25 0 1 0 23949540 609792000 146356 1992294400 4194304 8395647 140735274418992 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 148875 146356 494 1026 0 147845 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 595500
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28060
/proc/meminfo: memFree=1065440/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=664740 CPUtime=102.25
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 164320 0 0 0 10159 66 0 0 25 0 1 0 23949540 680693760 163590 1992294400 4194304 8395647 140735274418992 18446744073709551615 6701805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 166185 163590 567 1026 0 165155 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 664740
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28062
/proc/meminfo: memFree=1065440/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=664740 CPUtime=162.23
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 164320 0 0 0 16143 80 0 0 25 0 1 0 23949540 680693760 163590 1992294400 4194304 8395647 140735274418992 18446744073709551615 6693623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 166185 163590 567 1026 0 165155 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 664740
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28064
/proc/meminfo: memFree=1062588/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=667028 CPUtime=222.21
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 165404 0 0 0 22129 92 0 0 25 0 1 0 23949540 683036672 164279 1992294400 4194304 8395647 140735274418992 18446744073709551615 6696307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 166757 164279 573 1026 0 165727 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 667028
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28066
/proc/meminfo: memFree=1063332/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=665560 CPUtime=282.19
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 166566 0 0 0 28118 101 0 0 25 0 1 0 23949540 681533440 163940 1992294400 4194304 8395647 140735274418992 18446744073709551615 5792784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 166390 163940 589 1026 0 165360 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 665560
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28068
/proc/meminfo: memFree=1063332/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=665560 CPUtime=342.17
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 166566 0 0 0 34116 101 0 0 25 0 1 0 23949540 681533440 163940 1992294400 4194304 8395647 140735274418992 18446744073709551615 5792687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 166390 163940 589 1026 0 165360 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 665560
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28068
/proc/meminfo: memFree=1063332/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=665560 CPUtime=402.15
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 166566 0 0 0 40114 101 0 0 25 0 1 0 23949540 681533440 163940 1992294400 4194304 8395647 140735274418992 18446744073709551615 5792687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 166390 163940 589 1026 0 165360 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 665560
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28070
/proc/meminfo: memFree=1005672/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=462.13
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 46094 119 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 6701858 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 729912
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28072
/proc/meminfo: memFree=1005672/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=522.11
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 52088 123 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 6698724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 729912
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28074
/proc/meminfo: memFree=1005672/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=582.1
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 58084 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5993735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 729912
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28076
/proc/meminfo: memFree=1005548/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=642.09
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 64083 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 729912
[startup+702.301 s]
################
# More data... #
################
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 100070 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5993751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 729912
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28095
/proc/meminfo: memFree=1004804/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1061.95
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 106069 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5994615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 729912
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28097
/proc/meminfo: memFree=1004804/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1121.93
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 112067 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 729912
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28099
/proc/meminfo: memFree=1004680/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1181.91
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 118065 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5994338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 729912
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28101
/proc/meminfo: memFree=1004680/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1241.89
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 124063 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5994321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 729912
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28101
/proc/meminfo: memFree=1004680/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1301.88
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 130062 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 729912
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28103
/proc/meminfo: memFree=1004556/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1361.85
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 136059 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5994308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 729912
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28105
/proc/meminfo: memFree=1004556/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1421.84
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 142058 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 729912
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28107
/proc/meminfo: memFree=1004556/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1481.82
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 148056 126 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 729912
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28109
/proc/meminfo: memFree=1004804/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1541.8
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 154053 127 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5993751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 729912
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28109
/proc/meminfo: memFree=1004804/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1601.78
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 160049 129 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 729912
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28111
/proc/meminfo: memFree=1004804/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1661.76
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 166045 131 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 729912
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28113
/proc/meminfo: memFree=1004680/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1721.74
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 172043 131 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 729912
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28118
/proc/meminfo: memFree=1004308/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1781.73
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 178041 132 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5994491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 729912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28118
/proc/meminfo: memFree=1004184/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1800.03
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 179871 132 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 729912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28057
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 28118
/proc/meminfo: memFree=1004184/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1800.82
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 179950 132 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 729912
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 28119
/proc/meminfo: memFree=1004176/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1801.62
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 180030 132 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5797079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 729912
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 28119
/proc/meminfo: memFree=1004176/2059040 swapFree=4139492/4192956
[pid=28057] ppid=28055 vsize=729912 CPUtime=1802.02
/proc/28057/stat : 28057 (pbscip.linux.x8) R 28055 28057 26531 0 -1 4202496 181128 0 0 0 180070 132 0 0 25 0 1 0 23949540 747429888 178476 1992294400 4194304 8395647 140735274418992 18446744073709551615 5993782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28057/statm: 182478 178476 620 1026 0 181448 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 729912
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.12
CPU user time (s): 1800.72
CPU system time (s): 1.39779
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 729912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.72
system time used= 1.39779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181128
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= 2
involuntary context switches= 5492
runsolver used 3.23751 second user time and 8.25574 second system time
The end