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
2.09/2.19 c limit for coefficient in constraints and objective to 1000000000
2.09/2.19 c will solve HOME/instance-4512324-1751529310.opb
2.09/2.19 c [0.08] will start solving
610.15/611.18 c [0.12] solve iteration 1, LB=-79235167, UB=240399499713
610.15/611.18 c [63.25] solve iteration 2, LB=396123933, UB=14499992380
610.15/611.18 c [74.63] solve iteration 3, LB=2693947960, UB=14499992380
610.15/611.18 c [81.92] solve iteration 4, LB=2808916655, UB=14499992380
610.15/611.18 c [129.13] solve iteration 5, LB=3018383566, UB=14499992380
610.15/611.18 c [158.92] solve iteration 6, LB=3144333316, UB=14183065879
610.15/611.18 c [170.62] solve iteration 7, LB=3220482194, UB=14183065879
610.15/611.18 c [190.39] solve iteration 8, LB=3252501558, UB=14183065879
610.15/611.18 c [216.96] solve iteration 9, LB=3293800417, UB=14183065879
610.15/611.18 c [219.07] solve iteration 10, LB=3337476241, UB=14183065879
610.15/611.18 c [220.68] solve iteration 11, LB=3348209438, UB=13786890039
610.15/611.18 c [222.99] solve iteration 12, LB=3360311800, UB=13786890039
610.15/611.18 c [226.17] solve iteration 13, LB=3367878081, UB=13786890039
610.15/611.18 c [227.21] solve iteration 14, LB=3373931582, UB=13786890039
610.15/611.18 c [231.07] solve iteration 15, LB=3374155762, UB=13786890039
610.15/611.18 c [237.04] solve iteration 16, LB=3397301780, UB=13390714199
610.15/611.18 c [238.08] solve iteration 17, LB=3406240892, UB=13390714199
610.15/611.18 c [241.08] solve iteration 18, LB=3409460687, UB=13390714199
610.15/611.18 c [246.36] solve iteration 19, LB=3416060238, UB=13390714199
610.15/611.18 c [257.1] solve iteration 20, LB=3611789141, UB=13390714199
610.15/611.18 c [273.64] solve iteration 21, LB=3636838970, UB=12994538359
610.15/611.18 c [305.35] solve iteration 22, LB=3669319558, UB=12994538359
610.15/611.18 c [318.7] solve iteration 23, LB=3688508256, UB=12994538359
610.15/611.18 c [328.01] solve iteration 24, LB=3712460086, UB=12994538359
610.15/611.18 c [332.15] solve iteration 25, LB=3733562581, UB=12994538359
610.15/611.18 c [335.3] solve iteration 26, LB=3786918019, UB=12994536953
610.15/611.18 c [338.04] solve iteration 27, LB=3787047195, UB=12994536953
610.15/611.18 c [343.31] solve iteration 28, LB=3787866651, UB=12994536953
610.15/611.18 c [345.86] solve iteration 29, LB=3813164896, UB=12994536953
610.15/611.18 c [352.02] solve iteration 30, LB=3818380812, UB=12994536953
610.15/611.18 c [356.97] solve iteration 31, LB=3847548065, UB=12994535547
610.15/611.18 c [360.08] solve iteration 32, LB=3851960114, UB=12994535547
610.15/611.18 c [365.89] solve iteration 33, LB=3867569366, UB=12994535547
610.15/611.18 c [382.96] solve iteration 34, LB=3867598668, UB=12994535547
610.15/611.18 c [385.46] solve iteration 35, LB=3884794504, UB=12994535547
610.15/611.18 c [394.79] solve iteration 36, LB=3888141240, UB=12994535510
610.15/611.18 c [400.24] solve iteration 37, LB=3897386722, UB=12994535510
610.15/611.18 c [402.2] solve iteration 38, LB=3905264014, UB=12994535510
610.15/611.18 c [413.57] solve iteration 39, LB=3908421549, UB=12994535510
610.15/611.18 c [433.55] solve iteration 40, LB=3935152821, UB=12994535510
610.15/611.18 c [441.73] solve iteration 41, LB=3972901327, UB=12994534067
610.15/611.18 c [450.55] solve iteration 42, LB=3974829735, UB=12994534067
610.15/611.18 c [454.05] solve iteration 43, LB=3975911359, UB=12994534067
610.15/611.18 c [455.9] solve iteration 44, LB=3975911359, UB=12994534067
610.15/611.18 c [457.68] solve iteration 45, LB=3984988349, UB=12994534067
610.15/611.18 c [464.51] solve iteration 46, LB=3986527522, UB=12994532661
610.15/611.18 c [466.58] solve iteration 47, LB=3987671622, UB=12994532661
610.15/611.18 c [472.13] solve iteration 48, LB=3987671622, UB=12994532661
610.15/611.18 c [474.32] solve iteration 49, LB=3987671622, UB=12994532661
610.15/611.18 c [476.62] solve iteration 50, LB=3987671622, UB=12994532661
610.15/611.18 c [478.43] solve iteration 51, LB=3988005443, UB=12202175320
610.15/611.18 c [496.1] solve iteration 52, LB=3988920270, UB=12202175320
610.15/611.18 c [497.58] solve iteration 53, LB=3989015385, UB=11726758651
610.15/611.18 c [510.19] solve iteration 54, LB=4011927803, UB=11726758651
610.15/611.18 c [512.2] solve iteration 55, LB=4011927803, UB=11726758651
610.15/611.18 c [515.35] solve iteration 56, LB=4047833797, UB=11409823640
610.15/611.18 c [517.1] solve iteration 57, LB=4060422656, UB=11409823640
610.15/611.18 c [519.06] solve iteration 58, LB=4064964843, UB=11409823640
610.15/611.18 c [558.05] solve iteration 59, LB=4082061371, UB=11409823640
610.15/611.18 c [560.05] solve iteration 60, LB=4082084723, UB=11409823640
610.15/611.18 c [562.11] solve iteration 61, LB=4089776397, UB=11409823603
610.15/611.18 c [563.64] solve iteration 62, LB=4094396042, UB=11409823603
610.15/611.18 c [565.64] solve iteration 63, LB=4109097845, UB=11409823603
610.15/611.18 c [571.8] solve iteration 64, LB=4120943118, UB=11409823603
610.15/611.18 c [573.9] solve iteration 65, LB=4132141536, UB=11409823603
610.15/611.18 c [577.02] solve iteration 66, LB=4148481247, UB=11409822197
610.15/611.18 c [580.64] solve iteration 67, LB=4158085010, UB=11409822197
610.15/611.18 c [604.84] solve iteration 68, LB=4158387071, UB=11409822197
1161.49/1162.92 c [606.5] solve iteration 69, LB=4161994188, UB=11409822197
1161.49/1162.92 c [616.24] solve iteration 70, LB=4174201777, UB=11409822197
1161.49/1162.92 c [635.12] solve iteration 71, LB=4180646089, UB=11409820791
1161.49/1162.92 c [638.57] solve iteration 72, LB=4185900859, UB=11409820791
1161.49/1162.92 c [643.31] solve iteration 73, LB=4187506601, UB=11409820791
1161.49/1162.92 c [659.09] solve iteration 74, LB=4194842244, UB=11409820791
1161.49/1162.92 c [667.37] solve iteration 75, LB=4194842244, UB=11409820791
1161.49/1162.92 c [671.29] solve iteration 76, LB=4204104289, UB=11409819385
1161.49/1162.92 c [674.62] solve iteration 77, LB=4209060913, UB=11409819385
1161.49/1162.92 c [694.5] solve iteration 78, LB=4209060913, UB=11409819385
1161.49/1162.92 c [697.39] solve iteration 79, LB=4209060913, UB=11409819385
1161.49/1162.92 c [701.7] solve iteration 80, LB=4216547047, UB=11409819385
1161.49/1162.92 c [713.43] solve iteration 81, LB=4218173231, UB=11330584217
1161.49/1162.92 c [716.49] solve iteration 82, LB=4221313271, UB=11330584217
1161.49/1162.92 c [719.27] solve iteration 83, LB=4226918799, UB=11330584217
1161.49/1162.92 c [730.31] solve iteration 84, LB=4230693476, UB=11330584217
1161.49/1162.92 c [734.62] solve iteration 85, LB=4232769086, UB=11330584217
1161.49/1162.92 c [741.42] solve iteration 86, LB=4235160839, UB=11330584217
1161.49/1162.92 c [749.61] solve iteration 87, LB=4236674512, UB=11330584217
1161.49/1162.92 c [758.84] solve iteration 88, LB=4239796862, UB=11330584217
1161.49/1162.92 c [762.14] solve iteration 89, LB=4241306539, UB=11330584217
1161.49/1162.92 c [764.59] solve iteration 90, LB=4242592579, UB=11330584217
1161.49/1162.92 c [771.65] solve iteration 91, LB=4242592579, UB=11330582811
1161.49/1162.92 c [780.25] solve iteration 92, LB=4246054947, UB=11330582811
1161.49/1162.92 c [782.73] solve iteration 93, LB=4246054947, UB=11330582811
1161.49/1162.92 c [787.48] solve iteration 94, LB=4246054947, UB=11330582811
1161.49/1162.92 c [790.3] solve iteration 95, LB=4246711894, UB=11330582811
1161.49/1162.92 c [807.37] solve iteration 96, LB=4247099361, UB=11330582811
1161.49/1162.92 c [811.16] solve iteration 97, LB=4248759388, UB=11330582811
1161.49/1162.92 c [815.83] solve iteration 98, LB=4256026128, UB=11330582811
1161.49/1162.92 c [845.33] solve iteration 99, LB=4256925570, UB=11330582811
1161.49/1162.92 c [854.29] solve iteration 100, LB=4260588232, UB=11330582811
1161.49/1162.92 c [886.54] solve iteration 101, LB=4261641770, UB=10934406971
1161.49/1162.92 c [894.86] solve iteration 102, LB=4264669845, UB=10934406971
1161.49/1162.92 c [898.6] solve iteration 103, LB=4264775793, UB=10934406971
1161.49/1162.92 c [927.53] solve iteration 104, LB=4268908428, UB=10934406971
1161.49/1162.92 c [932.79] solve iteration 105, LB=4273070275, UB=10934406971
1161.49/1162.92 c [936.27] solve iteration 106, LB=4274106157, UB=10934406934
1161.49/1162.92 c [947.84] solve iteration 107, LB=4274706488, UB=10934406934
1161.49/1162.92 c [951.13] solve iteration 108, LB=4274706693, UB=10934406934
1161.49/1162.92 c [955.04] solve iteration 109, LB=4278818262, UB=10934406934
1161.49/1162.92 c [958.73] solve iteration 110, LB=4279914351, UB=10934406934
1161.49/1162.92 c [977.73] solve iteration 111, LB=4281608434, UB=10538231094
1161.49/1162.92 c [997.77] solve iteration 112, LB=4286707074, UB=10538231094
1161.49/1162.92 c [1005.69] solve iteration 113, LB=4287314526, UB=10538231094
1161.49/1162.92 c [1008.81] solve iteration 114, LB=4287400653, UB=10538231094
1161.49/1162.92 c [1011.65] solve iteration 115, LB=4290895294, UB=10538231094
1161.49/1162.92 c [1015.12] solve iteration 116, LB=4290895294, UB=10142055254
1161.49/1162.92 c [1019.39] solve iteration 117, LB=4290895294, UB=10142055254
1161.49/1162.92 c [1024.74] solve iteration 118, LB=4294050749, UB=10142055254
1161.49/1162.92 c [1036.99] solve iteration 119, LB=4298542321, UB=10142055254
1161.49/1162.92 c [1043.05] solve iteration 120, LB=4298960886, UB=10142055254
1161.49/1162.92 c [1048.05] solve iteration 121, LB=4302108460, UB=10142053848
1161.49/1162.92 c [1052.84] solve iteration 122, LB=4312726337, UB=10142053848
1161.49/1162.92 c [1059.1] solve iteration 123, LB=4316608048, UB=10142053848
1161.49/1162.92 c [1062.99] solve iteration 124, LB=4318075480, UB=10142053848
1161.49/1162.92 c [1067.19] solve iteration 125, LB=4318075480, UB=10142053848
1161.49/1162.92 c [1086.5] solve iteration 126, LB=4318075480, UB=10142053848
1161.49/1162.92 c [1090.58] solve iteration 127, LB=4319652589, UB=10142053848
1161.49/1162.92 c [1097.71] solve iteration 128, LB=4319652589, UB=10142053848
1161.49/1162.92 c [1102.56] solve iteration 129, LB=4319652589, UB=10142053848
1161.49/1162.92 c [1107.67] solve iteration 130, LB=4319652589, UB=10142053848
1161.49/1162.92 c [1114.49] solve iteration 131, LB=4321113262, UB=9745878008
1161.49/1162.92 c [1125.6] solve iteration 132, LB=4321113262, UB=9745878008
1161.49/1162.92 c [1131.31] solve iteration 133, LB=4321531111, UB=9745878008
1161.49/1162.92 c [1153.43] solve iteration 134, LB=4321553916, UB=974587800
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: 63794 MiB (61903 MiB free)
memory of node 1: 64507 MiB (51195 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512324-1751529310/watcher-4512324-1751529310 -o /tmp/evaluation-result-4512324-1751529310/solver-4512324-1751529310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751525701-79132 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4512324-1751529310.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
Starting watchdog thread
solver pid=79607, runsolver pid=79604
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.09 4.11 4.10 5/255 79608
/proc/meminfo: memFree=115802660/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=83256 memory=18192 CPUtime=0.1 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 2920 0 0 0 9 1 0 0 20 0 1 0 68610894 85254144 4548 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 20814 4548 1568 641 0 5571 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83256 KiB
Current children cumulated memory: 18192 KiB
[startup+0.213113 s]*
/proc/loadavg: 4.09 4.11 4.10 5/255 79608
/proc/meminfo: memFree=115793840/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=89636 memory=24084 CPUtime=0.21 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 3898 0 0 0 19 2 0 0 20 0 1 0 68610894 91787264 6021 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 22409 6021 1568 641 0 7166 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 89636 KiB
Current children cumulated memory: 24084 KiB
[startup+0.313113 s]*
/proc/loadavg: 4.09 4.11 4.10 5/255 79608
/proc/meminfo: memFree=115777712/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=97944 memory=29464 CPUtime=0.3 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 5478 0 0 0 28 2 0 0 20 0 1 0 68610894 100294656 7366 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 24486 7366 1568 641 0 9243 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97944 KiB
Current children cumulated memory: 29464 KiB
[startup+0.70027 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 79608
/proc/meminfo: memFree=115769584/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=120016 memory=47444 CPUtime=0.68 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 8961 0 0 0 64 4 0 0 20 0 1 0 68610894 122896384 11861 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 30004 11861 1568 641 0 14761 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 120016 KiB
Current children cumulated memory: 47444 KiB
[startup+1.50029 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 79608
/proc/meminfo: memFree=115733172/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=168096 memory=98356 CPUtime=1.48 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 17469 0 0 0 118 30 0 0 20 0 1 0 68610894 172130304 24589 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 42024 24589 1696 641 0 26781 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 168096 KiB
Current children cumulated memory: 98356 KiB
[startup+3.11293 s]
/proc/loadavg: 4.09 4.11 4.10 5/256 79609
/proc/meminfo: memFree=115570612/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=285744 memory=198552 CPUtime=3.09 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 47416 0 0 0 251 58 0 0 20 0 2 0 68610894 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 71436 49638 3040 641 0 53919 0
[pid=79607/tid=79609] ppid=79604 vsize=285744 memory=0 CPUtime=0 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 68611105 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 285744 KiB
Current children cumulated memory: 198552 KiB
[startup+6.30029 s]
/proc/loadavg: 4.16 4.12 4.11 5/256 79609
/proc/meminfo: memFree=115546812/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=285744 memory=198552 CPUtime=6.27 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 48597 0 0 0 567 60 0 0 20 0 2 0 68610894 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 71436 49638 3040 641 0 53919 0
[pid=79607/tid=79609] ppid=79604 vsize=285744 memory=109248 CPUtime=0 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 68611105 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 285744 KiB
Current children cumulated memory: 198552 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.10 5/256 79609
/proc/meminfo: memFree=115456064/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=285744 memory=198552 CPUtime=12.67 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 61883 0 0 0 1205 62 0 0 20 0 2 0 68610894 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 71436 49638 3040 641 0 53919 0
[pid=79607/tid=79609] ppid=79604 vsize=285744 memory=198552 CPUtime=0 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 68611105 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 285744 KiB
Current children cumulated memory: 198552 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 79609
/proc/meminfo: memFree=115387952/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=285744 memory=198552 CPUtime=25.46 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 75540 0 0 0 2482 64 0 0 20 0 2 0 68610894 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 71436 49638 3040 641 0 53919 0
[pid=79607/tid=79609] ppid=79604 vsize=285744 memory=14560 CPUtime=0.02 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 10 0 0 0 0 2 0 0 20 0 2 0 68611105 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 285744 KiB
Current children cumulated memory: 198552 KiB
[startup+51.1127 s]
/proc/loadavg: 4.31 4.16 4.11 5/256 79610
/proc/meminfo: memFree=115238060/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=285744 memory=198552 CPUtime=51.03 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 76809 0 0 0 5036 67 0 0 20 0 2 0 68610894 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 71436 49638 3040 641 0 53919 0
[pid=79607/tid=79609] ppid=79604 vsize=285744 memory=14560 CPUtime=0.05 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 10 0 0 0 1 4 0 0 20 0 2 0 68611105 292601856 49638 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 285744 KiB
Current children cumulated memory: 198552 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.15 4.11 5/256 79612
/proc/meminfo: memFree=115022544/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=301800 memory=216200 CPUtime=102.06 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 133863 0 14 0 10120 86 0 0 20 0 2 0 68610894 309043200 54050 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 75450 54050 3296 641 0 57933 0
[pid=79607/tid=79609] ppid=79604 vsize=301800 memory=14560 CPUtime=0.11 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 19 0 0 0 3 8 0 0 20 0 2 0 68611105 309043200 54050 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 301800 KiB
Current children cumulated memory: 216200 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/255 79614
/proc/meminfo: memFree=114746256/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=311584 memory=224528 CPUtime=162.01 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 190703 0 14 0 16097 104 0 0 20 0 2 0 68610894 319062016 56132 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 77896 56132 3296 641 0 60379 0
[pid=79607/tid=79609] ppid=79604 vsize=311584 memory=216200 CPUtime=0.19 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 26 0 0 0 5 14 0 0 20 0 2 0 68611105 319062016 56132 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 311584 KiB
Current children cumulated memory: 224528 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 79616
/proc/meminfo: memFree=114643696/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=312392 memory=226756 CPUtime=221.95 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 229995 0 14 0 22065 130 0 0 20 0 2 0 68610894 319889408 56689 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 78098 56689 3296 641 0 60581 0
[pid=79607/tid=79609] ppid=79604 vsize=312392 memory=226544 CPUtime=0.27 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 29 0 0 0 8 19 0 0 20 0 2 0 68611105 319889408 56689 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 221.95 s
Current children cumulated vsize: 312392 KiB
Current children cumulated memory: 226756 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/255 79618
/proc/meminfo: memFree=114541576/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=337396 memory=247516 CPUtime=281.82 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 301087 0 23 0 28002 180 0 0 20 0 2 0 68610894 345493504 61879 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 84349 61879 3552 641 0 66832 0
[pid=79607/tid=79609] ppid=79604 vsize=337396 memory=246084 CPUtime=0.35 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 30 0 0 0 9 26 0 0 20 0 2 0 68611105 345493504 61879 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 281.82 s
Current children cumulated vsize: 337396 KiB
Current children cumulated memory: 247516 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 79620
/proc/meminfo: memFree=114376628/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=353424 memory=259732 CPUtime=341.73 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 355451 0 23 0 33953 220 0 0 20 0 2 0 68610894 361906176 64933 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 88356 64933 3552 641 0 70839 0
[pid=79607/tid=79609] ppid=79604 vsize=353424 memory=271420 CPUtime=0.44 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 33 0 0 0 12 32 0 0 20 0 2 0 68611105 361906176 64933 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 341.73 s
################
# More data... #
################
/proc/meminfo: memFree=111333544/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=911792 memory=548888 CPUtime=3038.96 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1590069 0 35 0 302752 1144 0 0 20 0 2 0 68610894 933675008 137222 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 227948 137222 3776 641 0 210431 0
[pid=79607/tid=79609] ppid=79604 vsize=911792 memory=572052 CPUtime=4.9 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 82 0 0 0 130 360 0 0 20 0 2 0 68611105 933675008 137222 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3038.96 s
Current children cumulated vsize: 911792 KiB
Current children cumulated memory: 548888 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/255 79762
/proc/meminfo: memFree=111303528/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=913084 memory=565468 CPUtime=3098.91 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1606864 0 35 0 308734 1157 0 0 20 0 2 0 68610894 934998016 141367 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 228271 141367 3776 641 0 210754 0
[pid=79607/tid=79609] ppid=79604 vsize=913084 memory=562600 CPUtime=5 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 82 0 0 0 132 368 0 0 20 0 2 0 68611105 934998016 141367 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3098.91 s
Current children cumulated vsize: 913084 KiB
Current children cumulated memory: 565468 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/255 79764
/proc/meminfo: memFree=111265272/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=913308 memory=552692 CPUtime=3158.85 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1618859 0 35 0 314719 1166 0 0 20 0 2 0 68610894 935227392 138173 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 228327 138173 3776 641 0 210810 0
[pid=79607/tid=79609] ppid=79604 vsize=913308 memory=562600 CPUtime=5.11 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 82 0 0 0 136 375 0 0 20 0 2 0 68611105 935227392 138173 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3158.85 s
Current children cumulated vsize: 913308 KiB
Current children cumulated memory: 552692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/255 79766
/proc/meminfo: memFree=111223680/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=909928 memory=545936 CPUtime=3218.81 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1692486 0 35 0 320688 1193 0 0 20 0 2 0 68610894 931766272 136484 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 227482 136484 3776 641 0 209965 0
[pid=79607/tid=79609] ppid=79604 vsize=909928 memory=538180 CPUtime=5.22 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 83 0 0 0 139 383 0 0 20 0 2 0 68611105 931766272 136484 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3218.81 s
Current children cumulated vsize: 909928 KiB
Current children cumulated memory: 545936 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/255 79768
/proc/meminfo: memFree=111138784/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=911608 memory=545860 CPUtime=3278.76 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1697949 0 35 0 326674 1202 0 0 20 0 2 0 68610894 933486592 136465 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 227902 136465 3776 641 0 210385 0
[pid=79607/tid=79609] ppid=79604 vsize=911608 memory=18176 CPUtime=5.31 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 83 0 0 0 141 390 0 0 20 0 2 0 68611105 933486592 136465 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3278.76 s
Current children cumulated vsize: 911608 KiB
Current children cumulated memory: 545860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/254 79770
/proc/meminfo: memFree=111101132/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=911608 memory=561256 CPUtime=3338.71 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1700848 0 35 0 332662 1209 0 0 20 0 2 0 68610894 933486592 140314 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 227902 140314 3776 641 0 210385 0
[pid=79607/tid=79609] ppid=79604 vsize=911608 memory=561256 CPUtime=5.42 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 83 0 0 0 145 397 0 0 20 0 2 0 68611105 933486592 140314 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3338.71 s
Current children cumulated vsize: 911608 KiB
Current children cumulated memory: 561256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.16 5/254 79772
/proc/meminfo: memFree=111074492/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=912140 memory=549692 CPUtime=3398.67 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1757846 0 35 0 338634 1233 0 0 20 0 2 0 68610894 934031360 137423 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 228035 137423 3776 641 0 210518 0
[pid=79607/tid=79609] ppid=79604 vsize=912140 memory=532768 CPUtime=5.53 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 85 0 0 0 148 405 0 0 20 0 2 0 68611105 934031360 137423 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3398.67 s
Current children cumulated vsize: 912140 KiB
Current children cumulated memory: 549692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.77 4.33 4.22 5/254 79778
/proc/meminfo: memFree=111092168/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=862636 memory=514708 CPUtime=3458.62 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1762586 0 35 0 344621 1241 0 0 20 0 2 0 68610894 883339264 128677 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 215659 128677 3776 641 0 198142 0
[pid=79607/tid=79609] ppid=79604 vsize=862636 memory=532768 CPUtime=5.64 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 85 0 0 0 151 413 0 0 20 0 2 0 68611105 883339264 128677 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3458.62 s
Current children cumulated vsize: 862636 KiB
Current children cumulated memory: 514708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.54 4.34 4.23 5/254 79780
/proc/meminfo: memFree=111028380/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=862636 memory=516768 CPUtime=3518.56 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1762682 0 35 0 350609 1247 0 0 20 0 2 0 68610894 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 215659 129192 3776 641 0 198142 0
[pid=79607/tid=79609] ppid=79604 vsize=862636 memory=514708 CPUtime=5.75 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 85 0 0 0 155 420 0 0 20 0 2 0 68611105 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3518.56 s
Current children cumulated vsize: 862636 KiB
Current children cumulated memory: 516768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.31 4.23 5/254 79782
/proc/meminfo: memFree=110955820/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=862636 memory=516768 CPUtime=3578.51 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1762742 0 35 0 356595 1256 0 0 20 0 2 0 68610894 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 215659 129192 3776 641 0 198142 0
[pid=79607/tid=79609] ppid=79604 vsize=862636 memory=18176 CPUtime=5.86 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 85 0 0 0 158 428 0 0 20 0 2 0 68611105 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3578.51 s
Current children cumulated vsize: 862636 KiB
Current children cumulated memory: 516768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.9 s]
/proc/loadavg: 4.22 4.29 4.22 5/249 79791
/proc/meminfo: memFree=114441276/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=862636 memory=516768 CPUtime=3600.08 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1762755 0 35 0 358749 1259 0 0 20 0 2 0 68610894 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 215659 129192 3776 641 0 198142 0
[pid=79607/tid=79609] ppid=79604 vsize=862636 memory=516768 CPUtime=5.91 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 85 0 0 0 160 431 0 0 20 0 2 0 68611105 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 862636 KiB
Current children cumulated memory: 516768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.91 s]
# the end of solver process 79607 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3587.5 s, system=12.6057 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3603.9 s]
/proc/loadavg: 4.22 4.29 4.22 5/249 79791
/proc/meminfo: memFree=114441276/131382112 swapFree=33010160/33010684
[pid=79607] ppid=79604 vsize=862636 memory=516768 CPUtime=3600.08 cores=1,3
/proc/79607/stat : 79607 (ipbhs_gurobi) R 79604 79607 79120 0 -1 4194304 1762755 0 35 0 358749 1259 0 0 20 0 2 0 68610894 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
/proc/79607/statm: 215659 129192 3776 641 0 198142 0
[pid=79607/tid=79609] ppid=79604 vsize=862636 memory=516768 CPUtime=5.91 cores=1,3
/proc/79607/task/79609/stat : 79609 (ipbhs_gurobi) S 79604 79607 79120 0 -1 4194368 85 0 0 0 160 431 0 0 20 0 2 0 68611105 883339264 129192 18446744073709551615 94845159378944 94845162003997 140727778450688 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94845162622872 94845162655834 94845180239872 140727778453919 140727778454023 140727778454023 140727778459625 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 862636 KiB
Current children cumulated memory: 516768 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3603.91
CPU time (s): 3600.11
CPU user time (s): 3587.5
CPU system time (s): 12.6057
CPU usage (%): 99.8945
Max. virtual memory (cumulated for all children) (KiB): 940764
Max. memory (cumulated for all children) (KiB): 578328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.5
system time used= 12.6057
maximum resident set size= 582160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1762755
page faults= 35
swaps= 0
block input operations= 3696
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356570
involuntary context switches= 3067
# summary of solver processes directly reported to runsolver:
# pid: 79607
# total CPU time (s): 3600.11
# total CPU user time (s): 3587.5
# total CPU system time (s): 12.6057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7124 second user time and 36.3121 second system time
The end