0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c use separate pbsolver for SIS
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c set sym compact max subset size to 5
0.00/0.01 c set explicit symmetry matrix usage to 1
0.00/0.01 c sym budget explicit to 100
0.00/0.01 c sym budget explicit lits to 6000
0.00/0.01 c sym budget compact to 100
0.00/0.01 c sym budget compact lits to 6000
0.00/0.01 c sym budget common to 0
0.00/0.01 c sym budget common lits to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set core processing techniques to 4095
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
1.09/1.13 c limit for coefficient in constraints and objective to 1000000000
1.09/1.13 c will solve HOME/instance-4522350-1751599585.opb
1.09/1.13 c [0.01] will start solving
2674.32/2678.27 c [0.19] solve iteration 1, LB=-109612, UB=60997
2674.32/2678.27 c [1.77] solve iteration 2, LB=-13048, UB=-3695
2674.32/2678.27 c [23.65] solve iteration 3, LB=-10615, UB=-9876
2674.32/2678.27 c [28.86] solve iteration 4, LB=-10615, UB=-9876
2674.32/2678.27 c [35.06] solve iteration 5, LB=-10615, UB=-10060
2674.32/2678.27 c [52.13] solve iteration 6, LB=-10615, UB=-10060
2674.32/2678.27 c [61.26] solve iteration 7, LB=-10615, UB=-10060
2674.32/2678.27 c [75.53] solve iteration 8, LB=-10615, UB=-10060
2674.32/2678.27 c [86.04] solve iteration 9, LB=-10615, UB=-10060
2674.32/2678.27 c [98.9] solve iteration 10, LB=-10615, UB=-10060
2674.32/2678.27 c [111.34] solve iteration 11, LB=-10615, UB=-10060
2674.32/2678.27 c [125.02] solve iteration 12, LB=-10615, UB=-10060
2674.32/2678.27 c [143.07] solve iteration 13, LB=-10615, UB=-10060
2674.32/2678.27 c [159.47] solve iteration 14, LB=-10615, UB=-10060
2674.32/2678.27 c [175.37] solve iteration 15, LB=-10615, UB=-10060
2674.32/2678.27 c [193.64] solve iteration 16, LB=-10615, UB=-10060
2674.32/2678.27 c [213.64] solve iteration 17, LB=-10615, UB=-10060
2674.32/2678.27 c [237.21] solve iteration 18, LB=-10615, UB=-10060
2674.32/2678.27 c [256.29] solve iteration 19, LB=-10615, UB=-10060
2674.32/2678.27 c [279.02] solve iteration 20, LB=-10615, UB=-10060
2674.32/2678.27 c [300.46] solve iteration 21, LB=-10615, UB=-10060
2674.32/2678.27 c [321.74] solve iteration 22, LB=-10615, UB=-10060
2674.32/2678.27 c [344.27] solve iteration 23, LB=-10615, UB=-10060
2674.32/2678.27 c [364.57] solve iteration 24, LB=-10615, UB=-10060
2674.32/2678.27 c [382.77] solve iteration 25, LB=-10615, UB=-10060
2674.32/2678.27 c [406.27] solve iteration 26, LB=-10615, UB=-10060
2674.32/2678.27 c [429.88] solve iteration 27, LB=-10615, UB=-10060
2674.32/2678.27 c [459.44] solve iteration 28, LB=-10615, UB=-10060
2674.32/2678.27 c [488.75] solve iteration 29, LB=-10615, UB=-10060
2674.32/2678.27 c [518.94] solve iteration 30, LB=-10615, UB=-10060
2674.32/2678.27 c [546.77] solve iteration 31, LB=-10615, UB=-10060
2674.32/2678.27 c [579.02] solve iteration 32, LB=-10615, UB=-10060
2674.32/2678.27 c [612.26] solve iteration 33, LB=-10615, UB=-10060
2674.32/2678.27 c [650.91] solve iteration 34, LB=-10615, UB=-10060
2674.32/2678.27 c [674.17] solve iteration 35, LB=-10615, UB=-10060
2674.32/2678.27 c [701.77] solve iteration 36, LB=-10615, UB=-10060
2674.32/2678.27 c [734.67] solve iteration 37, LB=-10615, UB=-10060
2674.32/2678.27 c [783.77] solve iteration 38, LB=-10615, UB=-10060
2674.32/2678.27 c [808.49] solve iteration 39, LB=-10615, UB=-10060
2674.32/2678.27 c [841.71] solve iteration 40, LB=-10615, UB=-10060
2674.32/2678.27 c [867.28] solve iteration 41, LB=-10615, UB=-10060
2674.32/2678.27 c [896.68] solve iteration 42, LB=-10615, UB=-10060
2674.32/2678.27 c [933.01] solve iteration 43, LB=-10615, UB=-10060
2674.32/2678.27 c [977.11] solve iteration 44, LB=-10615, UB=-10060
2674.32/2678.27 c [1041.41] solve iteration 45, LB=-10615, UB=-10060
2674.32/2678.27 c [1079.09] solve iteration 46, LB=-10615, UB=-10060
2674.32/2678.27 c [1115.12] solve iteration 47, LB=-10615, UB=-10060
2674.32/2678.27 c [1151.02] solve iteration 48, LB=-10615, UB=-10060
2674.32/2678.27 c [1190.51] solve iteration 49, LB=-10615, UB=-10060
2674.32/2678.27 c [1238.2] solve iteration 50, LB=-10615, UB=-10060
2674.32/2678.27 c [1293.64] solve iteration 51, LB=-10615, UB=-10060
2674.32/2678.27 c [1335.44] solve iteration 52, LB=-10615, UB=-10060
2674.32/2678.27 c [1383.75] solve iteration 53, LB=-10615, UB=-10060
2674.32/2678.27 c [1426.46] solve iteration 54, LB=-10615, UB=-10060
2674.32/2678.27 c [1472.49] solve iteration 55, LB=-10615, UB=-10060
2674.32/2678.27 c [1512.97] solve iteration 56, LB=-10615, UB=-10060
2674.32/2678.27 c [1574.17] solve iteration 57, LB=-10615, UB=-10060
2674.32/2678.27 c [1634.2] solve iteration 58, LB=-10615, UB=-10060
2674.32/2678.27 c [1673.81] solve iteration 59, LB=-10615, UB=-10060
2674.32/2678.27 c [1711.26] solve iteration 60, LB=-10615, UB=-10060
2674.32/2678.27 c [1753.48] solve iteration 61, LB=-10615, UB=-10060
2674.32/2678.27 c [1800.61] solve iteration 62, LB=-10615, UB=-10060
2674.32/2678.27 c [1869] solve iteration 63, LB=-10615, UB=-10060
2674.32/2678.27 c [1929.07] solve iteration 64, LB=-10615, UB=-10060
2674.32/2678.27 c [1975.11] solve iteration 65, LB=-10615, UB=-10060
2674.32/2678.27 c [2021.56] solve iteration 66, LB=-10615, UB=-10088
2674.32/2678.27 c [2054.58] solve iteration 67, LB=-10615, UB=-10088
2674.32/2678.27 c [2099.56] solve iteration 68, LB=-10615, UB=-10088
2674.32/2678.27 c [2141.34] solve iteration 69, LB=-10615, UB=-10088
2674.32/2678.27 c [2203.88] solve iteration 70, LB=-10615, UB=-10088
2674.32/2678.27 c [2264.53] solve iteration 71, LB=-10615, UB=-10088
2674.32/2678.27 c [2304.59] solve iteration 72, LB=-10615, UB=-10088
2674.32/2678.27 c [2353.72] solve iteration 73, LB=-10615, UB=-10088
2674.32/2678.27 c [2397.8] solve iteration 74, LB=-10615, UB=-10088
2674.32/2678.27 c [2443.54] solve iteration 75, LB=-10615, UB=-10088
2674.32/2678.27 c [2502.67] solve iteration 76, LB=-10615, UB=-10088
2674.32/2678.27 c [2547.38] solve iteration 77, LB=-10615, UB=-10088
2674.32/2678.27 c [2605.63] solve iteration 78, LB=-10615, UB=-10088
2674.32/2678.27 c [2661.12] solve iteration 79, LB=-1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63081 MiB free)
memory of node 1: 64465 MiB (62721 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522350-1751599585/watcher-4522350-1751599585 -o /tmp/evaluation-result-4522350-1751599585/solver-4522350-1751599585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751599585-88080 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4522350-1751599585.opb --max-coef 1000000000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=88118, runsolver pid=88113
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 0.66 1.17 1.49 5/246 88128
/proc/meminfo: memFree=128269244/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2127100 memory=230820 CPUtime=0.09 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 568 0 0 0 2 7 0 0 20 0 1 0 75637779 2178150400 57705 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 531775 57705 1632 641 0 516532 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2127100 KiB
Current children cumulated memory: 230820 KiB
[startup+0.213925 s]*
/proc/loadavg: 0.66 1.17 1.49 5/245 88128
/proc/meminfo: memFree=127441664/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2127100 memory=501156 CPUtime=0.21 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 700 0 0 0 5 16 0 0 20 0 1 0 75637779 2178150400 125289 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 531775 125289 1632 641 0 516532 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2127100 KiB
Current children cumulated memory: 501156 KiB
[startup+0.313609 s]*
/proc/loadavg: 0.66 1.17 1.49 5/245 88128
/proc/meminfo: memFree=126743832/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2127100 memory=730532 CPUtime=0.31 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 812 0 0 0 7 24 0 0 20 0 1 0 75637779 2178150400 182633 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 531775 182633 1632 641 0 516532 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2127100 KiB
Current children cumulated memory: 730532 KiB
[startup+0.700341 s]
/proc/loadavg: 0.66 1.17 1.49 5/250 88137
/proc/meminfo: memFree=125351268/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2127100 memory=1592740 CPUtime=0.68 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 1233 0 0 0 14 54 0 0 20 0 1 0 75637779 2178150400 398185 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 531775 398185 1632 641 0 516532 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2127100 KiB
Current children cumulated memory: 1592740 KiB
[startup+1.50026 s]
/proc/loadavg: 0.66 1.17 1.49 5/251 88138
/proc/meminfo: memFree=122968952/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2181612 memory=2108952 CPUtime=1.47 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 13542 0 0 0 58 89 0 0 20 0 2 0 75637779 2233970688 527238 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 545403 527238 2720 641 0 527886 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2181612 KiB
Current children cumulated memory: 2108952 KiB
[startup+3.11263 s]
/proc/loadavg: 0.66 1.17 1.49 5/253 88140
/proc/meminfo: memFree=122648004/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2263344 memory=2147736 CPUtime=3.08 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 30361 0 0 0 216 92 0 0 20 0 2 0 75637779 2317664256 536934 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 565836 536934 3360 641 0 548319 0
[pid=88118/tid=88140] ppid=88113 vsize=2263344 memory=14080 CPUtime=0 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 75637892 2317664256 536934 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2263344 KiB
Current children cumulated memory: 2147736 KiB
[startup+6.30032 s]
/proc/loadavg: 0.93 1.22 1.50 5/254 88141
/proc/meminfo: memFree=122293740/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2322528 memory=2196092 CPUtime=6.21 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 52314 0 2 0 526 95 0 0 20 0 2 0 75637779 2378268672 549023 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 580632 549023 3616 641 0 563115 0
[pid=88118/tid=88140] ppid=88113 vsize=2322528 memory=6944656592587025054 CPUtime=0 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 75637892 2378268672 549023 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 2322528 KiB
Current children cumulated memory: 2196092 KiB
[startup+12.7003 s]
/proc/loadavg: 1.18 1.26 1.52 5/254 88141
/proc/meminfo: memFree=121957104/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2322540 memory=2196604 CPUtime=12.6 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 69935 0 2 0 1164 96 0 0 20 0 2 0 75637779 2378280960 549151 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 580635 549151 3616 641 0 563118 0
[pid=88118/tid=88140] ppid=88113 vsize=2322540 memory=2196604 CPUtime=0.01 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 10 0 0 0 0 1 0 0 20 0 2 0 75637892 2378280960 549151 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 2322540 KiB
Current children cumulated memory: 2196604 KiB
[startup+25.5004 s]
/proc/loadavg: 1.80 1.40 1.56 5/255 88143
/proc/meminfo: memFree=121757532/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2317644 memory=2197268 CPUtime=25.39 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 98419 0 2 0 2437 102 0 0 20 0 2 0 75637779 2373267456 549317 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 579411 549317 3648 641 0 561894 0
[pid=88118/tid=88140] ppid=88113 vsize=2317644 memory=2196860 CPUtime=0.02 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 13 0 0 0 0 2 0 0 20 0 2 0 75637892 2373267456 549317 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2317644 KiB
Current children cumulated memory: 2197268 KiB
[startup+51.1128 s]
/proc/loadavg: 2.62 1.62 1.63 5/255 88143
/proc/meminfo: memFree=121576536/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2387044 memory=2322336 CPUtime=50.96 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 159294 0 2 0 4979 117 0 0 20 0 2 0 75637779 2444333056 580584 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 596761 580584 3648 641 0 579244 0
[pid=88118/tid=88140] ppid=88113 vsize=2387044 memory=2322336 CPUtime=0.05 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 18 0 0 0 1 4 0 0 20 0 2 0 75637892 2444333056 580584 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2387044 KiB
Current children cumulated memory: 2322336 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 2.01 1.76 5/255 88145
/proc/meminfo: memFree=121481360/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2437592 memory=2334588 CPUtime=102.09 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 259954 0 2 0 10049 160 0 0 20 0 2 0 75637779 2496094208 583647 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 609398 583647 3648 641 0 591881 0
[pid=88118/tid=88140] ppid=88113 vsize=2437592 memory=14080 CPUtime=0.12 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 23 0 0 0 2 10 0 0 20 0 2 0 75637892 2496094208 583647 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 2437592 KiB
Current children cumulated memory: 2334588 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.39 1.91 5/256 88152
/proc/meminfo: memFree=121182464/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2477524 memory=2372276 CPUtime=162.01 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 314697 0 2 0 16001 200 0 0 20 0 2 0 75637779 2536984576 593069 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 619381 593069 3648 641 0 601864 0
[pid=88118/tid=88140] ppid=88113 vsize=2477524 memory=2364992 CPUtime=0.2 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 25 0 0 0 5 15 0 0 20 0 2 0 75637892 2536984576 593069 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 2477524 KiB
Current children cumulated memory: 2372276 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.05 5/256 88292
/proc/meminfo: memFree=121262252/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2580324 memory=2456308 CPUtime=221.93 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 349548 0 2 0 21964 229 0 0 20 0 2 0 75637779 2642251776 614077 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 645081 614077 3648 641 0 627564 0
[pid=88118/tid=88140] ppid=88113 vsize=2580324 memory=2450844 CPUtime=0.29 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 26 0 0 0 9 20 0 0 20 0 2 0 75637892 2642251776 614077 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 221.93 s
Current children cumulated vsize: 2580324 KiB
Current children cumulated memory: 2456308 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.96 2.18 5/255 88339
/proc/meminfo: memFree=122541600/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2609096 memory=2493788 CPUtime=281.83 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 383850 0 3 0 27915 268 0 0 20 0 2 0 75637779 2671714304 623447 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 652274 623447 3680 641 0 634757 0
[pid=88118/tid=88140] ppid=88113 vsize=2609096 memory=2451500 CPUtime=0.38 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 29 0 0 0 12 26 0 0 20 0 2 0 75637892 2671714304 623447 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 281.83 s
Current children cumulated vsize: 2609096 KiB
Current children cumulated memory: 2493788 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.31 5/255 88344
/proc/meminfo: memFree=122128816/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=2672516 memory=2589928 CPUtime=341.76 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 419787 0 3 0 33874 302 0 0 20 0 2 0 75637779 2736656384 647482 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 668129 647482 3680 641 0 650612 0
[pid=88118/tid=88140] ppid=88113 vsize=2672516 memory=2554904 CPUtime=0.46 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 31 0 0 0 14 32 0 0 20 0 2 0 75637892 2736656384 647482 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
################
# More data... #
################
/proc/meminfo: memFree=121616716/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3286868 memory=3075932 CPUtime=3037.79 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2306616 0 3 0 302357 1422 0 0 20 0 2 0 75637779 3365752832 768983 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 821717 768983 3680 641 0 804200 0
[pid=88118/tid=88140] ppid=88113 vsize=3286868 memory=3090252 CPUtime=4.77 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 72 0 0 0 137 340 0 0 20 0 2 0 75637892 3365752832 768983 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3037.79 s
Current children cumulated vsize: 3286868 KiB
Current children cumulated memory: 3075932 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/255 88847
/proc/meminfo: memFree=121629508/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3310072 memory=3067704 CPUtime=3097.69 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2364702 0 3 0 308324 1445 0 0 20 0 2 0 75637779 3389513728 766926 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 827518 766926 3680 641 0 810001 0
[pid=88118/tid=88140] ppid=88113 vsize=3310072 memory=14080 CPUtime=4.86 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 72 0 0 0 139 347 0 0 20 0 2 0 75637892 3389513728 766926 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3097.69 s
Current children cumulated vsize: 3310072 KiB
Current children cumulated memory: 3067704 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/255 88849
/proc/meminfo: memFree=121571756/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3313228 memory=3107720 CPUtime=3157.59 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2429295 0 3 0 314291 1468 0 0 20 0 2 0 75637779 3392745472 776930 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 828307 776930 3680 641 0 810790 0
[pid=88118/tid=88140] ppid=88113 vsize=3313228 memory=3086756 CPUtime=4.96 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 72 0 0 0 142 354 0 0 20 0 2 0 75637892 3392745472 776930 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3157.59 s
Current children cumulated vsize: 3313228 KiB
Current children cumulated memory: 3107720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 88851
/proc/meminfo: memFree=121639564/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3284696 memory=3052568 CPUtime=3217.48 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2459565 0 3 0 320258 1490 0 0 20 0 2 0 75637779 3363528704 763142 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 821174 763142 3680 641 0 803657 0
[pid=88118/tid=88140] ppid=88113 vsize=3284696 memory=3132124 CPUtime=5.07 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 74 0 0 0 145 362 0 0 20 0 2 0 75637892 3363528704 763142 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3217.48 s
Current children cumulated vsize: 3284696 KiB
Current children cumulated memory: 3052568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 88858
/proc/meminfo: memFree=121540772/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3357748 memory=3118452 CPUtime=3277.38 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2516910 0 3 0 326228 1510 0 0 20 0 2 0 75637779 3438333952 779613 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 839437 779613 3680 641 0 821920 0
[pid=88118/tid=88140] ppid=88113 vsize=3357748 memory=3118452 CPUtime=5.17 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 75 0 0 0 148 369 0 0 20 0 2 0 75637892 3438333952 779613 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3277.38 s
Current children cumulated vsize: 3357748 KiB
Current children cumulated memory: 3118452 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 88860
/proc/meminfo: memFree=121596792/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3306672 memory=3063780 CPUtime=3337.28 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2546819 0 3 0 332197 1531 0 0 20 0 2 0 75637779 3386032128 765945 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 826668 765945 3680 641 0 809151 0
[pid=88118/tid=88140] ppid=88113 vsize=3306672 memory=3063780 CPUtime=5.27 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 76 0 0 0 151 376 0 0 20 0 2 0 75637892 3386032128 765945 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3337.28 s
Current children cumulated vsize: 3306672 KiB
Current children cumulated memory: 3063780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/255 88861
/proc/meminfo: memFree=121568972/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3372944 memory=3114764 CPUtime=3397.19 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2587505 0 3 0 338167 1552 0 0 20 0 2 0 75637779 3453894656 778691 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 843236 778691 3680 641 0 825719 0
[pid=88118/tid=88140] ppid=88113 vsize=3372944 memory=3063780 CPUtime=5.37 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 77 0 0 0 153 384 0 0 20 0 2 0 75637892 3453894656 778691 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3397.19 s
Current children cumulated vsize: 3372944 KiB
Current children cumulated memory: 3114764 KiB
[startup+3462.3 s]
/proc/loadavg: 4.81 4.33 4.17 5/256 88866
/proc/meminfo: memFree=121569220/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3329292 memory=3095844 CPUtime=3457.09 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2597508 0 3 0 344144 1565 0 0 20 0 2 0 75637779 3409195008 773961 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 832323 773961 3680 641 0 814806 0
[pid=88118/tid=88140] ppid=88113 vsize=3329292 memory=3063780 CPUtime=5.47 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 78 0 0 0 156 391 0 0 20 0 2 0 75637892 3409195008 773961 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3457.09 s
Current children cumulated vsize: 3329292 KiB
Current children cumulated memory: 3095844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.28 4.16 5/255 88868
/proc/meminfo: memFree=121536724/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3376612 memory=3135980 CPUtime=3516.99 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2635439 0 3 0 350110 1589 0 0 20 0 2 0 75637779 3457650688 783995 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 844153 783995 3680 641 0 826636 0
[pid=88118/tid=88140] ppid=88113 vsize=3376612 memory=3069584 CPUtime=5.57 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 78 0 0 0 159 398 0 0 20 0 2 0 75637892 3457650688 783995 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3516.99 s
Current children cumulated vsize: 3376612 KiB
Current children cumulated memory: 3135980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.24 4.16 5/255 88870
/proc/meminfo: memFree=121535552/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3311500 memory=3106496 CPUtime=3576.89 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2671555 0 3 0 356082 1607 0 0 20 0 2 0 75637779 3390976000 776624 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 827875 776624 3680 641 0 810358 0
[pid=88118/tid=88140] ppid=88113 vsize=3311500 memory=3098720 CPUtime=5.67 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 80 0 0 0 162 405 0 0 20 0 2 0 75637892 3390976000 776624 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3576.89 s
Current children cumulated vsize: 3311500 KiB
Current children cumulated memory: 3106496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605.5 s]
/proc/loadavg: 4.18 4.24 4.16 4/250 88894
/proc/meminfo: memFree=122831784/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3286400 memory=3097132 CPUtime=3600.04 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2705656 0 3 0 358383 1621 0 0 20 0 2 0 75637779 3365273600 774283 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 821600 774283 3680 641 0 804083 0
[pid=88118/tid=88140] ppid=88113 vsize=3286400 memory=14080 CPUtime=5.71 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 81 0 0 0 163 408 0 0 20 0 2 0 75637892 3365273600 774283 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3286400 KiB
Current children cumulated memory: 3097132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.52 s]
# the end of solver process 88118 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3583.84 s, system=16.2365 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3605.5 s]
/proc/loadavg: 4.18 4.24 4.16 4/250 88894
/proc/meminfo: memFree=122831784/131382116 swapFree=33009904/33010684
[pid=88118] ppid=88113 vsize=3286400 memory=3097132 CPUtime=3600.04 cores=1,3
/proc/88118/stat : 88118 (ipbhs_gurobi) R 88113 88118 88068 0 -1 4194304 2705656 0 3 0 358383 1621 0 0 20 0 2 0 75637779 3365273600 774283 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
/proc/88118/statm: 821600 774283 3680 641 0 804083 0
[pid=88118/tid=88140] ppid=88113 vsize=3286400 memory=14080 CPUtime=5.71 cores=1,3
/proc/88118/task/88140/stat : 88140 (ipbhs_gurobi) S 88113 88118 88068 0 -1 4194368 81 0 0 0 163 408 0 0 20 0 2 0 75637892 3365273600 774283 18446744073709551615 94336755056640 94336757681693 140721273661872 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94336758300568 94336758333530 94336767582208 140721273665951 140721273666055 140721273666055 140721273671657 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3286400 KiB
Current children cumulated memory: 3097132 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3605.52
CPU time (s): 3600.07
CPU user time (s): 3583.84
CPU system time (s): 16.2365
CPU usage (%): 99.8488
Max. virtual memory (cumulated for all children) (KiB): 3451404
Max. memory (cumulated for all children) (KiB): 3201896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.84
system time used= 16.2365
maximum resident set size= 3226600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2705656
page faults= 3
swaps= 0
block input operations= 408
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356872
involuntary context switches= 2464
# summary of solver processes directly reported to runsolver:
# pid: 88118
# total CPU time (s): 3600.07
# total CPU user time (s): 3583.84
# total CPU system time (s): 16.2365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.333 second user time and 35.4646 second system time
The end