349.06/349.91 c initialize IPBHS solver
349.06/349.91 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
349.06/349.91 c optimizer = "scip"
349.06/349.91 c pbsolver = "roundingsat"
349.06/349.91 c load symmetries from file ""
349.06/349.91 c set time limit for symmetry computation to 100 seconds.
349.06/349.91 c set interchangeable summation variable limit to 3
349.06/349.91 c set abs symmetric core budget per WCE-iteration to 100
349.06/349.91 c set rel symmetric core budget per WCE-iteration to 0
349.06/349.91 c set lit symmetric core budget per WCE-iteration to 0
349.06/349.91 c set sym generation to 's'
349.06/349.91 c set abstraction set creation to 10 iterations without LB change
349.06/349.91 c set abstraction set inputs to 0
349.06/349.91 c set abstraction set cluster min size to 2
349.06/349.91 c set abstraction set cluster max size to 100000000
349.06/349.91 c set abstraction set cluster activation limit to 2
349.06/349.91 c enable abstraction set require equal cost
349.06/349.91 c set abstraction set assumptions to 0
349.06/349.91 c set abstraction set constraint type to 0
349.06/349.91 c set abstract core extraction strategy to b
349.06/349.91 c set core extraction strategy to 2
349.06/349.91 c set core extraction shuffles 10
349.06/349.91 c set cores per iteration to 5
349.06/349.91 c set optimizer bound usage strategy to 2
349.06/349.91 c set optimizer max non-optimal iterations to 1000
349.06/349.91 c set small core cardinality limit to 2
349.06/349.91 c set max coef in cores to 1000000000
349.06/349.91 c set SIS iterations to 5
349.06/349.91 c set SIS budget abs to 1000
349.06/349.91 c set SIS budget rel to 0.05
349.06/349.91 c limit for coefficient in constraints and objective to 9223372036854775807
349.06/349.91 c will solve HOME/instance-4432041-1721157606.opb
349.06/349.91 c [0.18] solve iteration 1, LB=0, UB=10690981
349.06/349.91 c [69.6] solve iteration 2, LB=6, UB=230220
349.06/349.91 c [113.15] solve iteration 3, LB=31416, UB=87853
349.06/349.91 c [148.25] solve iteration 4, LB=31416, UB=87268
349.06/349.91 c [172.89] solve iteration 5, LB=31421, UB=41365
349.06/349.91 c [194.77] solve iteration 6, LB=31424, UB=41365
349.06/349.91 c [214.54] solve iteration 7, LB=31426, UB=38471
349.06/349.91 c [234.76] solve iteration 8, LB=31429, UB=38471
349.06/349.91 c [254.13] solve iteration 9, LB=31430, UB=38471
349.06/349.91 c [266.66] solve iteration 10, LB=31431, UB=32057
349.06/349.91 c [281.75] solve iteration 11, LB=31433, UB=31479
349.06/349.91 c [293.35] solve iteration 12, LB=31433, UB=31479
365.01/365.92 c [307.68] solve iteration 13, LB=31435, UB=31469
385.57/386.51 c [326] solve iteration 14, LB=31436, UB=31469
401.82/402.81 c [340.42] solve iteration 15, LB=31436, UB=31467
440.32/441.49 c [358.73] solve iteration 16, LB=31436, UB=31467
440.32/441.49 c [374.79] solve iteration 17, LB=31437, UB=31467
458.56/459.78 c [391.96] solve iteration 18, LB=31437, UB=31467
472.13/473.37 c [404.7] solve iteration 19, LB=31439, UB=31465
485.49/486.75 c [417.46] solve iteration 20, LB=31439, UB=31465
500.25/501.57 c [430.99] solve iteration 21, LB=31439, UB=31465
514.11/515.46 c [443.45] solve iteration 22, LB=31439, UB=31465
536.15/537.52 c [463.8] solve iteration 23, LB=31439, UB=31465
616.74/618.36 c [541.71] solve iteration 24, LB=31439, UB=31465
645.56/647.26 c [556.83] solve iteration 25, LB=31439, UB=31464
645.56/647.26 c [568.46] solve iteration 26, LB=31439, UB=31463
659.62/661.37 c [581.38] solve iteration 27, LB=31440, UB=31463
675.58/677.30 c [595] solve iteration 28, LB=31440, UB=31463
690.35/692.16 c [610.11] solve iteration 29, LB=31440, UB=31461
712.27/714.14 c [629.21] solve iteration 30, LB=31440, UB=31461
730.52/732.42 c [646.47] solve iteration 31, LB=31441, UB=31461
747.77/749.76 c [662.81] solve iteration 32, LB=31441, UB=31461
767.71/769.75 c [681.87] solve iteration 33, LB=31441, UB=31461
782.97/785.02 c [696.19] solve iteration 34, LB=31441, UB=31461
798.12/800.27 c [710.39] solve iteration 35, LB=31441, UB=31461
885.20/887.59 c [792.3] solve iteration 36, LB=31441, UB=31461
899.56/901.97 c [805.97] solve iteration 37, LB=31441, UB=31459
915.01/917.43 c [820.28] solve iteration 38, LB=31441, UB=31452
932.27/934.78 c [836.7] solve iteration 39, LB=31442, UB=31452
947.11/949.65 c [850.55] solve iteration 40, LB=31442, UB=31452
960.87/963.46 c [864.12] solve iteration 41, LB=31442, UB=31452
977.92/980.58 c [879.98] solve iteration 42, LB=31442, UB=31452
998.96/1001.66 c [899.92] solve iteration 43, LB=31442, UB=31452
1087.14/1090.02 c [985.78] solve iteration 44, LB=31442, UB=31452
1103.19/1106.10 c [1001.11] solve iteration 45, LB=31442, UB=31452
1119.73/1122.75 c [1016.73] solve iteration 46, LB=31442, UB=31452
1143.35/1146.43 c [1040.07] solve iteration 47, LB=31442, UB=31450
1166.89/1170.10 c [1062.99] solve iteration 48, LB=31442, UB=31450
1259.66/1263.07 c [1152.05] solve iteration 49, LB=31442, UB=31450
1287.96/1291.49 c [1179.26] solve iteration 50, LB=31442, UB=31450
1302.42/1305.93 c [1193.08] solve iteration 51, LB=31442, UB=31450
1330.63/1334.25 c [1220.6] solve iteration 52, LB=31442, UB=31450
1358.04/1361.76 c [1247.76] solve iteration 53, LB=31443, UB=31450
1381.86/1385.69 c [1270.79] solve iteration 54, LB=31443, UB=31450
1412.56/1416.43 c [1301.22] solve iteration 55, LB=31443, UB=31450
1447.94/1451.92 c [1335.61] solve iteration 56, LB=31443, UB=31450
1479.34/1483.48 c [1366.43] solve iteration 57, LB=31443, UB=31450
1579.98/1584.34 c [1462.41] solve iteration 58, LB=31443, UB=31450
1607.90/1612.33 c [1489.21] solve iteration 59, LB=31443, UB=31450
1638.01/1642.53 c [1518.55] solve iteration 60, LB=31443, UB=31450
1674.19/1678.84 c [1553.49] solve iteration 61, LB=31443, UB=31450
1703.41/1708.19 c [1582.55] solve iteration 62, LB=31443, UB=31450
1838.75/1843.83 c [1712.5] solve iteration 63, LB=31443, UB=31450
1870.55/1875.73 c [1743.2] solve iteration 64, LB=31443, UB=31450
1893.58/1898.89 c [1765.39] solve iteration 65, LB=31443, UB=31450
1921.89/1927.20 c [1793.41] solve iteration 66, LB=31443, UB=31450
1953.19/1958.61 c [1823.7] solve iteration 67, LB=31443, UB=31450
2070.28/2076.02 c [1938.47] solve iteration 68, LB=31443, UB=31450
2100.98/2106.85 c [1968.78] solve iteration 69, LB=31443, UB=31450
2127.60/2133.56 c [1994.62] solve iteration 70, LB=31443, UB=31450
2151.24/2157.24 c [2017.48] solve iteration 71, LB=31443, UB=31450
2176.96/2183.09 c [2043.31] solve iteration 72, LB=31443, UB=31450
2296.24/2302.64 c [2158.63] solve iteration 73, LB=31443, UB=31450
2323.45/2329.93 c [2185.17] solve iteration 74, LB=31443, UB=31450
2350.67/2357.22 c [2211.37] solve iteration 75, LB=31443, UB=31450
2378.79/2385.44 c [2239.5] solve iteration 76, LB=31443, UB=31450
2403.60/2410.32 c [2263.9] solve iteration 77, LB=31443, UB=31450
2427.14/2433.94 c [2286.8] solve iteration 78, LB=31444, UB=31450
2453.46/2460.33 c [2312.86] solve iteration 79, LB=31444, UB=31450
2476.10/2483.06 c [2334.72] solve iteration 80, LB=31444, UB=31450
2501.71/2508.77 c [2360.51] solve iteration 81, LB=31444, UB=31448
2527.63/2534.73 c [2385.85] solve iteration 82, LB=31444, UB=31448
2673.22/2680.78 c [2528.61] solve iteration 83, LB=31444, UB=31448
2707.72/2715.39 c [2563.02] solve iteration 84, LB=31444, UB=31448
2730.74/2738.48 c [2585.25] solve iteration 85, LB=31444, UB=31447
2763.64/2771.49 c [2617.76] solve iteration 86, LB=31444, UB=31447
2787.98/2795.87 c [2641.89] solve iteration 87, LB=31444, UB=31447
3019.21/3027.70 c [2864.39] solve iteration 88, LB=31444, UB=31447
3046.93/3055.51 c [2891.95] solve iteration 89, LB=31444, UB=31447
3073.85/3082.58 c [2918.71] solve iteration 90, LB=31444, UB=31446
3104.26/3113.10 c [2948.12] solve iteration 91, LB=31444, UB=31446
3145.42/3154.31 c [2989.02] solve iteration 92, LB=31444, UB=31446
3410.98/3420.60 c [3240.04] solve iteration 93, LB=31444, UB=31446
3439.78/3449.56 c [3268.64] solve iteration 94, LB=31444, UB=31446
3473.59/3483.46 c [3301.54] solve iteration 95, LB=31444, UB=31446
3498.01/3507.99 c [3325.56] solve iteration 96, LB=31444, UB=31446
3524.54/3534.57 c [3351.7] solve iteration 97, LB=31444, UB=31446
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: 63968 MiB (59217 MiB free)
memory of node 1: 64473 MiB (57126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432041-1721157606/watcher-4432041-1721157606 -o /tmp/evaluation-result-4432041-1721157606/solver-4432041-1721157606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721152425-883529 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432041-1721157606.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=886528, runsolver pid=886525
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.17 4.22 4.16 5/255 886529
/proc/meminfo: memFree=119119944/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=45096 memory=20060 CPUtime=0.09 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 4871 0 0 0 9 0 0 0 20 0 1 0 167923110 46178304 5015 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 11274 5015 1023 2900 0 7788 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45096 KiB
Current children cumulated memory: 20060 KiB
[startup+0.205788 s]*
/proc/loadavg: 4.17 4.22 4.16 5/255 886529
/proc/meminfo: memFree=119108176/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=56716 memory=31720 CPUtime=0.2 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 7310 0 0 0 19 1 0 0 20 0 1 0 167923110 58077184 7930 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 14179 7930 1023 2900 0 10693 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56716 KiB
Current children cumulated memory: 31720 KiB
[startup+0.305707 s]*
/proc/loadavg: 4.17 4.22 4.16 5/255 886529
/proc/meminfo: memFree=119096940/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=71640 memory=42848 CPUtime=0.3 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 9568 0 0 0 29 1 0 0 20 0 1 0 167923110 73359360 10712 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 17910 10712 1023 2900 0 14424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71640 KiB
Current children cumulated memory: 42848 KiB
[startup+0.700229 s]
/proc/loadavg: 4.17 4.22 4.16 5/255 886529
/proc/meminfo: memFree=119075028/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=116824 memory=83892 CPUtime=0.69 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 17278 0 0 0 66 3 0 0 20 0 1 0 167923110 119627776 20973 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 29206 20973 1023 2900 0 25720 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116824 KiB
Current children cumulated memory: 83892 KiB
[startup+1.50019 s]
/proc/loadavg: 4.17 4.22 4.16 5/255 886529
/proc/meminfo: memFree=119023000/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=209772 memory=170236 CPUtime=1.48 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 31225 0 0 0 142 6 0 0 20 0 1 0 167923110 214806528 42559 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 52443 42559 1023 2900 0 48957 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 209772 KiB
Current children cumulated memory: 170236 KiB
[startup+3.10564 s]
/proc/loadavg: 4.17 4.22 4.16 5/255 886529
/proc/meminfo: memFree=118823340/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=395252 memory=316176 CPUtime=3.08 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 55946 0 0 0 275 33 0 0 20 0 1 0 167923110 404738048 79044 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 98813 79044 1135 2900 0 95327 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 395252 KiB
Current children cumulated memory: 316176 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.22 4.16 5/255 886529
/proc/meminfo: memFree=118051216/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1199904 memory=1091468 CPUtime=6.27 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 230939 0 0 0 525 102 0 0 20 0 1 0 167923110 1228701696 272867 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 299976 272867 2655 2900 0 296490 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1199904 KiB
Current children cumulated memory: 1091468 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.21 4.16 5/257 886534
/proc/meminfo: memFree=118044076/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1199904 memory=1092080 CPUtime=12.66 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 231120 0 0 0 1100 166 0 0 20 0 1 0 167923110 1228701696 273020 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 299976 273020 2687 2900 0 296490 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1199904 KiB
Current children cumulated memory: 1092080 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.20 4.15 5/257 886536
/proc/meminfo: memFree=118028192/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1199904 memory=1092224 CPUtime=25.43 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 231164 0 0 0 2193 350 0 0 20 0 1 0 167923110 1228701696 273056 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 299976 273056 2687 2900 0 296490 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1199904 KiB
Current children cumulated memory: 1092224 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.20 4.16 5/257 886542
/proc/meminfo: memFree=118025820/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1199904 memory=1092288 CPUtime=50.98 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 231221 0 0 0 4394 704 0 0 20 0 1 0 167923110 1228701696 273072 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 299976 273072 2687 2900 0 296490 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1199904 KiB
Current children cumulated memory: 1092288 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/256 886551
/proc/meminfo: memFree=117888756/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1319044 memory=1219516 CPUtime=102.05 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 256780 0 0 0 8660 1545 0 0 20 0 1 0 167923110 1350701056 304879 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 329761 304879 2911 2900 0 326275 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 1319044 KiB
Current children cumulated memory: 1219516 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/257 886562
/proc/meminfo: memFree=117835048/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1350084 memory=1262276 CPUtime=161.92 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 264515 0 0 0 13795 2397 0 0 20 0 1 0 167923110 1382486016 315569 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 337521 315569 2911 2900 0 334035 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 1350084 KiB
Current children cumulated memory: 1262276 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.15 5/257 886573
/proc/meminfo: memFree=117692256/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1481176 memory=1395136 CPUtime=221.77 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 282439 0 0 0 18956 3221 0 0 20 0 1 0 167923110 1516724224 348784 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 370294 348784 2927 2900 0 366808 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 1481176 KiB
Current children cumulated memory: 1395136 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/257 886585
/proc/meminfo: memFree=117499360/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1659132 memory=1574092 CPUtime=281.63 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 308374 0 0 0 24170 3993 0 0 20 0 1 0 167923110 1698951168 393523 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 414783 393523 2927 2900 0 411297 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 1659132 KiB
Current children cumulated memory: 1574092 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/257 886980
/proc/meminfo: memFree=117209768/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=1935420 memory=1850328 CPUtime=341.49 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 352022 0 0 0 29420 4729 0 0 20 0 1 0 167923110 1981870080 462582 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 483855 462582 2927 2900 0 480369 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 1935420 KiB
Current children cumulated memory: 1850328 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/259 886994
/proc/meminfo: memFree=116821884/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=2312308 memory=2228408 CPUtime=401.32 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 411036 0 0 0 34839 5293 0 0 20 0 1 0 167923110 2367803392 557102 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 578077 557102 2927 2900 0 574591 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 2312308 KiB
Current children cumulated memory: 2228408 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.16 4.14 5/258 887005
/proc/meminfo: memFree=116437264/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=2681540 memory=2597212 CPUtime=461.16 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 463669 0 0 0 40304 5812 0 0 20 0 1 0 167923110 2745896960 649303 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 670385 649303 2927 2900 0 666899 0
################
# More data... #
################
/proc/886528/statm: 1721617 1556822 3263 2900 0 1718131 0
Current children cumulated CPU time: 2854.29 s
Current children cumulated vsize: 6886468 KiB
Current children cumulated memory: 6227288 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/254 888378
/proc/meminfo: memFree=120653012/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=6886468 memory=6380816 CPUtime=2914.12 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1043683 0 0 0 277617 13795 0 0 20 0 1 0 167923110 7051743232 1595204 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 1721617 1595204 3263 2900 0 1718131 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 6886468 KiB
Current children cumulated memory: 6380816 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/254 888388
/proc/meminfo: memFree=120057012/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=7798704 memory=6977480 CPUtime=2973.95 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1168850 0 0 0 283457 13938 0 0 20 0 1 0 167923110 7985872896 1744370 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 1949676 1744370 3263 2900 0 1946190 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 7798704 KiB
Current children cumulated memory: 6977480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.10 4.12 5/257 888404
/proc/meminfo: memFree=119737260/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=8105368 memory=7285212 CPUtime=3033.77 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1227742 0 0 0 289191 14186 0 0 20 0 1 0 167923110 8299896832 1821303 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2026342 1821303 3263 2900 0 2022856 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 8105368 KiB
Current children cumulated memory: 7285212 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/257 888414
/proc/meminfo: memFree=119668188/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=8138300 memory=7350564 CPUtime=3093.59 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1243248 0 0 0 295054 14305 0 0 20 0 1 0 167923110 8333619200 1837641 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2034575 1837641 3263 2900 0 2031089 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 8138300 KiB
Current children cumulated memory: 7350564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/257 888424
/proc/meminfo: memFree=119639448/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=8163132 memory=7376368 CPUtime=3153.4 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1249581 0 0 0 300987 14353 0 0 20 0 1 0 167923110 8359047168 1844092 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2040783 1844092 3263 2900 0 2037297 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 8163132 KiB
Current children cumulated memory: 7376368 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/257 888435
/proc/meminfo: memFree=119482264/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=8163132 memory=7532820 CPUtime=3213.23 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1262889 0 0 0 306815 14508 0 0 20 0 1 0 167923110 8359047168 1883205 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2040783 1883205 3263 2900 0 2037297 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 8163132 KiB
Current children cumulated memory: 7532820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.19 4.14 5/257 888446
/proc/meminfo: memFree=119302748/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=8163132 memory=7699096 CPUtime=3273.06 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1276990 0 0 0 312348 14958 0 0 20 0 1 0 167923110 8359047168 1924774 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2040783 1924774 3263 2900 0 2037297 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 8163132 KiB
Current children cumulated memory: 7699096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.17 4.13 5/255 888457
/proc/meminfo: memFree=119172136/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=9085368 memory=7824764 CPUtime=3332.9 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1288555 0 0 0 317712 15578 0 0 20 0 1 0 167923110 9303416832 1956191 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2271342 1956191 3263 2900 0 2267856 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 9085368 KiB
Current children cumulated memory: 7824764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/255 888467
/proc/meminfo: memFree=119078504/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=9085368 memory=7913712 CPUtime=3392.73 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1297296 0 0 0 323604 15669 0 0 20 0 1 0 167923110 9303416832 1978428 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2271342 1978428 3263 2900 0 2267856 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 9085368 KiB
Current children cumulated memory: 7913712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/255 888478
/proc/meminfo: memFree=118973712/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=9184488 memory=8014616 CPUtime=3452.55 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1318367 0 0 0 329426 15829 0 0 20 0 1 0 167923110 9404915712 2003654 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2296122 2003654 3263 2900 0 2292636 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 9184488 KiB
Current children cumulated memory: 8014616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/255 888488
/proc/meminfo: memFree=118930420/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=9218132 memory=8048284 CPUtime=3512.37 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1325923 0 0 0 335276 15961 0 0 20 0 1 0 167923110 9439367168 2012071 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2304533 2012071 3263 2900 0 2301047 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 9218132 KiB
Current children cumulated memory: 8048284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/255 888498
/proc/meminfo: memFree=118924140/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=9218132 memory=8050348 CPUtime=3572.2 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1328030 0 0 0 341135 16085 0 0 20 0 1 0 167923110 9439367168 2012587 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2304533 2012587 3263 2900 0 2301047 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 9218132 KiB
Current children cumulated memory: 8050348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.14 4.12 5/257 888507
/proc/meminfo: memFree=118923660/131524600 swapFree=131071996/131071996
[pid=886528] ppid=886525 vsize=9218132 memory=8050348 CPUtime=3600.03 cores=0,2
/proc/886528/stat : 886528 (ipbhs_static_sc) R 886525 886528 883519 0 -1 4194304 1328426 0 0 0 343894 16109 0 0 20 0 1 0 167923110 9439367168 2012587 134679101440 4194304 16068861 140728501380064 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 29192192 140728501384230 140728501384317 140728501384317 140728501391332 0
/proc/886528/statm: 2304533 2012587 3263 2900 0 2301047 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9218132 KiB
Current children cumulated memory: 8050348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.33 s]
# the end of solver process 886528 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3438.94 s, system=161.222 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]*
/proc/loadavg: 4.09 4.14 4.12 5/257 888507
/proc/meminfo: memFree=124808344/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.33
CPU time (s): 3600.17
CPU user time (s): 3438.94
CPU system time (s): 161.222
CPU usage (%): 99.7185
Max. virtual memory (cumulated for all children) (KiB): 9218132
Max. memory (cumulated for all children) (KiB): 8050348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3438.94
system time used= 161.222
maximum resident set size= 8050348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1328426
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= 69
involuntary context switches= 24694
# summary of solver processes directly reported to runsolver:
# pid: 886528
# total CPU time (s): 3600.17
# total CPU user time (s): 3438.94
# total CPU system time (s): 161.222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01486 second user time and 16.9825 second system time
The end