0.00/0.02 c initialize IPBHS solver
0.00/0.02 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.02 c optimizer = "gurobi"
0.00/0.02 c pbsolver = "roundingsat"
0.00/0.02 c use separate pbsolver for SIS
0.00/0.02 c load symmetries from file ""
0.00/0.02 c set time limit for symmetry computation to 100 seconds.
0.00/0.02 c set interchangeable summation variable limit to 3
0.00/0.02 c enable explicit+compact SCL
0.00/0.02 c set sym compact max subset size to 5
0.00/0.02 c set explicit symmetry matrix usage to 1
0.00/0.02 c sym budget explicit to 100
0.00/0.02 c sym budget explicit lits to 6000
0.00/0.02 c sym budget compact to 100
0.00/0.02 c sym budget compact lits to 6000
0.00/0.02 c sym budget common to 0
0.00/0.02 c sym budget common lits to 0
0.00/0.02 c set sym generation to 's'
0.00/0.02 c set abstraction set creation to 10 iterations without LB change
0.00/0.02 c set abstraction set inputs to 0
0.00/0.02 c set abstraction set cluster min size to 2
0.00/0.02 c set abstraction set cluster max size to 100000000
0.00/0.02 c set abstraction set cluster activation limit to 2
0.00/0.02 c enable abstraction set require equal cost
0.00/0.02 c set abstraction set assumptions to 0
0.00/0.02 c set abstraction set constraint type to 0
0.00/0.02 c set abstract core extraction strategy to b
0.00/0.02 c set core extraction strategy to 2
0.00/0.02 c set core extraction shuffles 10
0.00/0.02 c set cores per iteration to 5
0.00/0.02 c set optimizer bound usage strategy to 2
0.00/0.02 c set optimizer max non-optimal iterations to 1000
0.00/0.02 c set small core cardinality limit to 2
0.00/0.02 c set max coef in cores to 1000000000
0.00/0.02 c set core processing techniques to 4095
0.00/0.02 c set SIS iterations to 5
0.00/0.02 c set SIS budget abs to 1000
0.00/0.02 c set SIS budget rel to 0.05
0.40/0.51 c limit for coefficient in constraints and objective to 1000000000
0.40/0.51 c will solve HOME/instance-4497729-1751398882.opb
0.40/0.51 Searching graph automorphisms with time limit: 100
0.59/0.62 c [0.2] will start solving
1591.04/1593.22 c [0.22] solve iteration 1, LB=0, UB=614
1591.04/1593.22 c [0.49] solve iteration 2, LB=5, UB=30
1591.04/1593.22 c [0.68] solve iteration 3, LB=10, UB=30
1591.04/1593.22 c [0.84] solve iteration 4, LB=11, UB=30
1591.04/1593.22 c [1.09] solve iteration 5, LB=11, UB=30
1591.04/1593.22 c [3.28] solve iteration 6, LB=11, UB=30
1591.04/1593.22 c [3.47] solve iteration 7, LB=11, UB=30
1591.04/1593.22 c [3.7] solve iteration 8, LB=12, UB=30
1591.04/1593.22 c [4.05] solve iteration 9, LB=12, UB=30
1591.04/1593.22 c [10.88] solve iteration 10, LB=12, UB=30
1591.04/1593.22 c [12.21] solve iteration 11, LB=12, UB=30
1591.04/1593.22 c [12.45] solve iteration 12, LB=12, UB=30
1591.04/1593.22 c [12.74] solve iteration 13, LB=12, UB=30
1591.04/1593.22 c [13.63] solve iteration 14, LB=12, UB=30
1591.04/1593.22 c [26.93] solve iteration 15, LB=12, UB=30
1591.04/1593.22 c [28.11] solve iteration 16, LB=12, UB=30
1591.04/1593.22 c [30.79] solve iteration 17, LB=12, UB=30
1591.04/1593.22 c [34.15] solve iteration 18, LB=12, UB=30
1591.04/1593.22 c [34.69] solve iteration 19, LB=12, UB=30
1591.04/1593.22 c [35.17] solve iteration 20, LB=12, UB=30
1591.04/1593.22 c [36.99] solve iteration 21, LB=12, UB=30
1591.04/1593.22 c [37.57] solve iteration 22, LB=12, UB=30
1591.04/1593.22 c [38.08] solve iteration 23, LB=12, UB=30
1591.04/1593.22 c [38.82] solve iteration 24, LB=12, UB=30
1591.04/1593.22 c [39.45] solve iteration 25, LB=12, UB=30
1591.04/1593.23 c [52.89] solve iteration 26, LB=12, UB=30
1591.04/1593.23 c [53.5] solve iteration 27, LB=12, UB=30
1591.04/1593.23 c [54.49] solve iteration 28, LB=12, UB=30
1591.04/1593.23 c [55.27] solve iteration 29, LB=12, UB=30
1591.04/1593.23 c [56.24] solve iteration 30, LB=12, UB=30
1591.04/1593.23 c [60.02] solve iteration 31, LB=13, UB=30
1591.04/1593.23 c [60.84] solve iteration 32, LB=13, UB=30
1591.04/1593.23 c [61.77] solve iteration 33, LB=13, UB=30
1591.04/1593.23 c [62.77] solve iteration 34, LB=13, UB=30
1591.04/1593.23 c [414.41] solve iteration 35, LB=13, UB=30
1591.04/1593.23 c [421.98] solve iteration 36, LB=13, UB=30
1591.04/1593.23 c [427.29] solve iteration 37, LB=13, UB=30
1591.04/1593.23 c [451.89] solve iteration 38, LB=13, UB=30
1591.04/1593.23 c [453.24] solve iteration 39, LB=13, UB=30
1591.04/1593.23 c [454.29] solve iteration 40, LB=13, UB=30
1591.04/1593.23 c [468.18] solve iteration 41, LB=13, UB=30
1591.04/1593.23 c [472.1] solve iteration 42, LB=13, UB=30
1591.04/1593.23 c [473.53] solve iteration 43, LB=13, UB=30
1591.04/1593.23 c [476.86] solve iteration 44, LB=13, UB=30
1591.04/1593.23 c [577.15] solve iteration 45, LB=13, UB=30
1591.04/1593.23 c [582.08] solve iteration 46, LB=13, UB=30
1591.04/1593.23 c [636.26] solve iteration 47, LB=13, UB=30
1591.04/1593.23 c [637.05] solve iteration 48, LB=13, UB=30
1591.04/1593.23 c [637.85] solve iteration 49, LB=13, UB=30
1591.04/1593.23 c [638.8] solve iteration 50, LB=13, UB=30
1591.04/1593.23 c [641.94] solve iteration 51, LB=13, UB=30
1591.04/1593.23 c [860.33] solve iteration 52, LB=13, UB=30
1591.04/1593.23 c [861.31] solve iteration 53, LB=13, UB=30
1591.04/1593.23 c [863.13] solve iteration 54, LB=13, UB=30
1591.04/1593.23 c [864.64] solve iteration 55, LB=13, UB=30
1591.04/1593.23 c [868.05] solve iteration 56, LB=13, UB=30
1591.04/1593.23 c [870] solve iteration 57, LB=13, UB=30
1591.04/1593.23 c [872.09] solve iteration 58, LB=13, UB=30
1591.04/1593.23 c [882.34] solve iteration 59, LB=13, UB=30
1591.04/1593.23 c [909.74] solve iteration 60, LB=13, UB=30
1591.04/1593.23 c [913.7] solve iteration 61, LB=13, UB=30
1591.04/1593.23 c [915.22] solve iteration 62, LB=13, UB=30
1591.04/1593.23 c [917.69] solve iteration 63, LB=13, UB=30
1591.04/1593.23 c [920.59] solve iteration 64, LB=13, UB=30
1591.04/1593.23 c [927.67] solve iteration 65, LB=13, UB=30
1591.04/1593.23 c [932.98] solve iteration 66, LB=13, UB=30
1591.04/1593.23 c [936.05] solve iteration 67, LB=13, UB=30
1591.04/1593.23 c [938.29] solve iteration 68, LB=13, UB=30
1591.04/1593.23 c [941] solve iteration 69, LB=13, UB=30
1591.04/1593.23 c [945.49] solve iteration 70, LB=13, UB=30
1591.04/1593.23 c [951.31] solve iteration 71, LB=13, UB=30
1591.04/1593.23 c [953.7] solve iteration 72, LB=13, UB=30
1591.04/1593.23 c [956.05] solve iteration 73, LB=13, UB=30
1591.04/1593.23 c [958.9] solve iteration 74, LB=13, UB=30
1591.04/1593.23 c [961.23] solve iteration 75, LB=13, UB=30
1591.04/1593.23 c [966.12] solve iteration 76, LB=13, UB=30
1591.04/1593.23 c [968.51] solve iteration 77, LB=13, UB=30
1591.04/1593.23 c [982] solve iteration 78, LB=13, UB=30
1591.04/1593.23 c [983.67] solve iteration 79, LB=13, UB=30
1591.04/1593.23 c [985.63] solve iteration 80, LB=13, UB=30
1591.04/1593.23 c [990.32] solve iteration 81, LB=13, UB=30
1591.04/1593.23 c [992.19] solve iteration 82, LB=13, UB=30
1591.04/1593.23 c [994.19] solve iteration 83, LB=13, UB=30
1591.04/1593.23 c [998.27] solve iteration 84, LB=13, UB=30
1591.04/1593.23 c [1000.26] solve iteration 85, LB=13, UB=30
1591.04/1593.23 c [1031.58] solve iteration 86, LB=13, UB=30
1591.04/1593.23 c [1034.87] solve iteration 87, LB=13, UB=30
1591.04/1593.23 c [1036.88] solve iteration 88, LB=13, UB=30
1591.04/1593.23 c [1129.94] solve iteration 89, LB=13, UB=30
1591.04/1593.23 c [1510.19] solve iteration 90, LB=13, UB=30
1591.04/1593.23 c [1569.42] solve iteration 91, LB=13, UB=30
1591.04/1593.23 c [1572.72] solve iteration 92, LB=13, UB=30
1591.04/1593.23 c [1575.55] solve iteration 93, LB=13, UB=30
1591.04/1593.23 c [1577.86] solve iteration 94, LB=13, UB=30
1591.04/1593.23 c [1580.82] solve i
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 (62209 MiB free)
memory of node 1: 64465 MiB (63737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497729-1751398882/watcher-4497729-1751398882 -o /tmp/evaluation-result-4497729-1751398882/solver-4497729-1751398882 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751398882-59425 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4497729-1751398882.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=59477, runsolver pid=59465
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 2.56 3.71 3.95 6/250 59482
/proc/meminfo: memFree=128380736/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=402660 memory=210036 CPUtime=0.09 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 993 0 0 0 2 7 0 0 20 0 1 0 55567631 412323840 52509 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 100665 52509 1632 641 0 85422 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 402660 KiB
Current children cumulated memory: 210036 KiB
[startup+0.213964 s]*
/proc/loadavg: 2.56 3.71 3.95 6/250 59482
/proc/meminfo: memFree=127739996/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=406468 memory=343168 CPUtime=0.2 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 2331 0 0 0 8 12 0 0 20 0 1 0 55567631 416223232 85792 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 101617 85792 1696 641 0 86374 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 406468 KiB
Current children cumulated memory: 343168 KiB
[startup+0.313931 s]*
/proc/loadavg: 2.56 3.71 3.95 6/250 59482
/proc/meminfo: memFree=127491592/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=409176 memory=346624 CPUtime=0.31 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 3186 0 0 0 14 17 0 0 20 0 1 0 55567631 418996224 86656 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 102294 86656 1696 641 0 87051 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 409176 KiB
Current children cumulated memory: 346624 KiB
[startup+0.700453 s]
/proc/loadavg: 2.56 3.71 3.95 7/253 59485
/proc/meminfo: memFree=126942168/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=445364 memory=373656 CPUtime=0.67 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 8360 0 0 0 45 22 0 0 20 0 2 0 55567631 456052736 93414 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 111341 93414 3328 641 0 93824 0
[pid=59477/tid=59483] ppid=59465 vsize=445364 memory=11264 CPUtime=0 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 55567671 456052736 93414 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 445364 KiB
Current children cumulated memory: 373656 KiB
[startup+1.50036 s]
/proc/loadavg: 2.56 3.71 3.95 6/254 59486
/proc/meminfo: memFree=126897788/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=445364 memory=374552 CPUtime=1.47 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 8392 0 0 0 116 31 0 0 20 0 2 0 55567631 456052736 93638 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 111341 93638 3552 641 0 93824 0
[pid=59477/tid=59483] ppid=59465 vsize=445364 memory=11264 CPUtime=0 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 55567671 456052736 93638 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 445364 KiB
Current children cumulated memory: 374552 KiB
[startup+3.11291 s]
/proc/loadavg: 2.56 3.71 3.95 6/254 59486
/proc/meminfo: memFree=126884400/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=448084 memory=381204 CPUtime=3.08 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 14374 0 0 0 272 36 0 0 20 0 2 0 55567631 458838016 95301 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 112021 95301 3584 641 0 94504 0
[pid=59477/tid=59483] ppid=59465 vsize=448084 memory=11264 CPUtime=0 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 55567671 458838016 95301 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 448084 KiB
Current children cumulated memory: 381204 KiB
[startup+6.30027 s]
/proc/loadavg: 2.75 3.73 3.96 6/254 59486
/proc/meminfo: memFree=126853776/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=456044 memory=386708 CPUtime=6.26 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 24543 0 0 0 583 43 0 0 20 0 2 0 55567631 466989056 96677 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 114011 96677 3584 641 0 96494 0
[pid=59477/tid=59483] ppid=59465 vsize=456044 memory=14720 CPUtime=0 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 55567671 466989056 96677 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 456044 KiB
Current children cumulated memory: 386708 KiB
[startup+12.7003 s]
/proc/loadavg: 2.85 3.73 3.96 7/253 59486
/proc/meminfo: memFree=126810680/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=471120 memory=399584 CPUtime=12.66 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 35850 0 0 0 1215 51 0 0 20 0 2 0 55567631 482426880 99896 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 117780 99896 3584 641 0 100263 0
[pid=59477/tid=59483] ppid=59465 vsize=471120 memory=0 CPUtime=0.01 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 13 0 0 0 0 1 0 0 20 0 2 0 55567671 482426880 99896 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 471120 KiB
Current children cumulated memory: 399584 KiB
[startup+25.5003 s]
/proc/loadavg: 3.11 3.75 3.96 6/254 59488
/proc/meminfo: memFree=126748636/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=489008 memory=415784 CPUtime=25.43 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 57297 0 0 0 2479 64 0 0 20 0 2 0 55567631 500744192 103946 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 122252 103946 3584 641 0 104735 0
[pid=59477/tid=59483] ppid=59465 vsize=489008 memory=14720 CPUtime=0.02 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 19 0 0 0 0 2 0 0 20 0 2 0 55567671 500744192 103946 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 489008 KiB
Current children cumulated memory: 415784 KiB
[startup+51.1128 s]
/proc/loadavg: 3.49 3.79 3.97 6/254 59488
/proc/meminfo: memFree=126669964/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=506712 memory=436864 CPUtime=51.02 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 93180 0 0 0 5004 98 0 0 20 0 2 0 55567631 518873088 109216 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 126678 109216 3584 641 0 109161 0
[pid=59477/tid=59483] ppid=59465 vsize=506712 memory=430660 CPUtime=0.05 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 22 0 0 0 1 4 0 0 20 0 2 0 55567671 518873088 109216 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 506712 KiB
Current children cumulated memory: 436864 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.84 3.98 6/255 59491
/proc/meminfo: memFree=126553448/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=550660 memory=478088 CPUtime=102.13 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 121737 0 0 0 10077 136 0 0 20 0 2 0 55567631 563875840 119522 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 137665 119522 3648 641 0 120148 0
[pid=59477/tid=59483] ppid=59465 vsize=550660 memory=478088 CPUtime=0.11 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 26 0 0 0 3 8 0 0 20 0 2 0 55567671 563875840 119522 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 550660 KiB
Current children cumulated memory: 478088 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.89 3.99 6/255 59493
/proc/meminfo: memFree=126550532/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=550660 memory=479624 CPUtime=162.04 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 123192 0 0 0 16027 177 0 0 20 0 2 0 55567631 563875840 119906 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 137665 119906 3648 641 0 120148 0
[pid=59477/tid=59483] ppid=59465 vsize=550660 memory=479240 CPUtime=0.18 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 26 0 0 0 5 13 0 0 20 0 2 0 55567671 563875840 119906 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 550660 KiB
Current children cumulated memory: 479624 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.94 4.01 6/256 59500
/proc/meminfo: memFree=126463636/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=550660 memory=480520 CPUtime=221.95 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 123601 0 0 0 21977 218 0 0 20 0 2 0 55567631 563875840 120130 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 137665 120130 3648 641 0 120148 0
[pid=59477/tid=59483] ppid=59465 vsize=550660 memory=480136 CPUtime=0.25 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 26 0 0 0 7 18 0 0 20 0 2 0 55567671 563875840 120130 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 221.95 s
Current children cumulated vsize: 550660 KiB
Current children cumulated memory: 480520 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.97 4.01 6/256 59502
/proc/meminfo: memFree=126347568/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=584368 memory=514640 CPUtime=281.87 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 125095 0 0 0 27935 252 0 0 20 0 2 0 55567631 598392832 128660 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 146092 128660 3648 641 0 128575 0
[pid=59477/tid=59483] ppid=59465 vsize=584368 memory=483080 CPUtime=0.33 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 26 0 0 0 10 23 0 0 20 0 2 0 55567671 598392832 128660 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 281.87 s
Current children cumulated vsize: 584368 KiB
Current children cumulated memory: 514640 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.99 4.01 6/255 59504
/proc/meminfo: memFree=126278016/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=638816 memory=531944 CPUtime=341.8 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=125344968/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=2978.2 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 404095 0 0 0 296267 1553 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=4.4 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 56 0 0 0 133 307 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 2978.2 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/257 59642
/proc/meminfo: memFree=125344836/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3038.11 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 404362 0 0 0 302229 1582 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=4.5 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 57 0 0 0 136 314 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3038.11 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/257 59644
/proc/meminfo: memFree=125341096/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3098.03 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 404693 0 0 0 308195 1608 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=4.59 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 57 0 0 0 138 321 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3098.03 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/255 59647
/proc/meminfo: memFree=125325020/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3157.93 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 407811 0 0 0 314165 1628 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=4.69 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 57 0 0 0 141 328 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3157.93 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/255 59653
/proc/meminfo: memFree=125315004/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3217.84 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 409836 0 0 0 320130 1654 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=4.79 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 57 0 0 0 145 334 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3217.84 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/255 59655
/proc/meminfo: memFree=125310192/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3277.75 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 410166 0 0 0 326093 1682 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=14720 CPUtime=4.89 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 58 0 0 0 148 341 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3277.75 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/255 59657
/proc/meminfo: memFree=125281676/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3337.66 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 410327 0 0 0 332059 1707 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=4.98 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 58 0 0 0 151 347 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3337.66 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/255 59659
/proc/meminfo: memFree=125269740/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3397.58 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 412416 0 0 0 338032 1726 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=5.08 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 58 0 0 0 154 354 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3397.58 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/254 59661
/proc/meminfo: memFree=125274604/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3457.49 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 414850 0 0 0 344002 1747 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=5.18 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 58 0 0 0 157 361 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3457.49 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/254 59662
/proc/meminfo: memFree=125280340/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=929240 memory=824440 CPUtime=3517.41 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 414922 0 0 0 349976 1765 0 0 20 0 2 0 55567631 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 232310 206110 3808 641 0 214793 0
[pid=59477/tid=59483] ppid=59465 vsize=929240 memory=824440 CPUtime=5.28 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 58 0 0 0 160 368 0 0 20 0 2 0 55567671 951541760 206110 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3517.41 s
Current children cumulated vsize: 929240 KiB
Current children cumulated memory: 824440 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.09 6/254 59664
/proc/meminfo: memFree=125237620/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=1061500 memory=851448 CPUtime=3577.31 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 415703 0 0 0 355948 1783 0 0 20 0 2 0 55567631 1086976000 212862 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 265375 212862 3808 641 0 247858 0
[pid=59477/tid=59483] ppid=59465 vsize=1061500 memory=11264 CPUtime=5.37 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 59 0 0 0 162 375 0 0 20 0 2 0 55567671 1086976000 212862 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3577.31 s
Current children cumulated vsize: 1061500 KiB
Current children cumulated memory: 851448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605 s]*
/proc/loadavg: 4.20 4.12 4.10 5/251 59665
/proc/meminfo: memFree=125646424/131382112 swapFree=33010684/33010684
[pid=59477] ppid=59465 vsize=1061500 memory=851448 CPUtime=3600 cores=1,3
/proc/59477/stat : 59477 (ipbhs_gurobi) R 59465 59477 59413 0 -1 4194304 415793 0 0 0 358209 1791 0 0 20 0 2 0 55567631 1086976000 212862 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
/proc/59477/statm: 265375 212862 3808 641 0 247858 0
[pid=59477/tid=59483] ppid=59465 vsize=1061500 memory=-7603326940127787965 CPUtime=5.41 cores=1,3
/proc/59477/task/59483/stat : 59483 (ipbhs_gurobi) S 59465 59477 59413 0 -1 4194368 59 0 0 0 163 378 0 0 20 0 2 0 55567671 1086976000 212862 18446744073709551615 94773066379264 94773069004317 140730806274560 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94773069623192 94773069656154 94773088419840 140730806282635 140730806282759 140730806282759 140730806288361 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1061500 KiB
Current children cumulated memory: 851448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.02 s]
# the end of solver process 59477 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3582.1 s, system=17.919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3605.02
CPU time (s): 3600.02
CPU user time (s): 3582.1
CPU system time (s): 17.919
CPU usage (%): 99.8612
Max. virtual memory (cumulated for all children) (KiB): 1061500
Max. memory (cumulated for all children) (KiB): 851448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.1
system time used= 17.919
maximum resident set size= 851448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415793
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= 356925
involuntary context switches= 1800
# summary of solver processes directly reported to runsolver:
# pid: 59477
# total CPU time (s): 3600.02
# total CPU user time (s): 3582.1
# total CPU system time (s): 17.919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6713 second user time and 34.7066 second system time
The end