Trace number 4432039

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-SCIP 2024-07-09? (TO) 3600.28 3610.72

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-13.opb
MD5SUM8ac687d6d6d445392b755a367fbcc019
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark40755
Best CPU time to get the best result obtained on this benchmark49.9658
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables215039
Total number of constraints3681544
Number of constraints which are clauses3681544
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint579
Number of terms in the objective function 18980
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 10690980
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 10690980
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

395.03/396.03	c initialize IPBHS solver
395.03/396.03	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
395.03/396.03	c optimizer = "scip"
395.03/396.03	c pbsolver = "roundingsat"
395.03/396.03	c load symmetries from file ""
395.03/396.03	c set time limit for symmetry computation to 100 seconds.
395.03/396.03	c set interchangeable summation variable limit to 3
395.03/396.03	c set abs symmetric core budget per WCE-iteration to 100
395.03/396.03	c set rel symmetric core budget per WCE-iteration to 0
395.03/396.03	c set lit symmetric core budget per WCE-iteration to 0
395.03/396.03	c set sym generation to 's'
395.03/396.03	c set abstraction set creation to 10 iterations without LB change
395.03/396.03	c set abstraction set inputs to 0
395.03/396.03	c set abstraction set cluster min size to 2
395.03/396.03	c set abstraction set cluster max size to 100000000
395.03/396.03	c set abstraction set cluster activation limit to 2
395.03/396.03	c enable abstraction set require equal cost
395.03/396.03	c set abstraction set assumptions to 0
395.03/396.03	c set abstraction set constraint type to 0
395.03/396.03	c set abstract core extraction strategy to b
395.03/396.03	c set core extraction strategy to 2
395.03/396.03	c set core extraction shuffles 10
395.03/396.03	c set cores per iteration to 5
395.03/396.03	c set optimizer bound usage strategy to 2
395.03/396.03	c set optimizer max non-optimal iterations to 1000
395.03/396.03	c set small core cardinality limit to 2
395.03/396.03	c set max coef in cores to 1000000000
395.03/396.03	c set SIS iterations to 5
395.03/396.03	c set SIS budget abs to 1000
395.03/396.03	c set SIS budget rel to 0.05
395.03/396.03	c limit for coefficient in constraints and objective to 9223372036854775807
395.03/396.03	c will solve HOME/instance-4432039-1721157378.opb
395.03/396.03	c [0.23] solve iteration 1, LB=0, UB=10690981
395.03/396.03	c [98.66] solve iteration 2, LB=1167, UB=302272
395.03/396.03	c [161.61] solve iteration 3, LB=40139, UB=161696
395.03/396.03	c [211.24] solve iteration 4, LB=40139, UB=112299
395.03/396.03	c [256.16] solve iteration 5, LB=40717, UB=72205
395.03/396.03	c [285.86] solve iteration 6, LB=40724, UB=55352
395.03/396.03	c [308.24] solve iteration 7, LB=40727, UB=40812
395.03/396.03	c [330.64] solve iteration 8, LB=40728, UB=40812
502.75/504.06	c [358.99] solve iteration 9, LB=40731, UB=40812
502.75/504.06	c [379.58] solve iteration 10, LB=40732, UB=40812
502.75/504.06	c [399.53] solve iteration 11, LB=40732, UB=40809
502.75/504.06	c [423.97] solve iteration 12, LB=40732, UB=40809
568.07/569.55	c [457.2] solve iteration 13, LB=40734, UB=40809
568.07/569.55	c [483.18] solve iteration 14, LB=40734, UB=40809
596.09/597.67	c [509.85] solve iteration 15, LB=40734, UB=40809
622.43/624.09	c [532.63] solve iteration 16, LB=40734, UB=40809
652.53/654.26	c [560.65] solve iteration 17, LB=40735, UB=40809
692.32/694.15	c [597.53] solve iteration 18, LB=40736, UB=40809
717.85/719.79	c [621.59] solve iteration 19, LB=40736, UB=40809
750.25/752.20	c [652.1] solve iteration 20, LB=40736, UB=40802
783.76/785.83	c [682.56] solve iteration 21, LB=40737, UB=40802
822.45/824.60	c [718.09] solve iteration 22, LB=40737, UB=40802
853.96/856.28	c [748.54] solve iteration 23, LB=40737, UB=40802
889.86/892.20	c [779.3] solve iteration 24, LB=40737, UB=40802
935.72/938.29	c [824.51] solve iteration 25, LB=40737, UB=40802
976.29/979.00	c [863.76] solve iteration 26, LB=40738, UB=40799
1011.78/1014.57	c [897.78] solve iteration 27, LB=40738, UB=40799
1053.76/1056.60	c [938.03] solve iteration 28, LB=40738, UB=40799
1096.14/1099.13	c [977.73] solve iteration 29, LB=40738, UB=40799
1124.44/1127.57	c [1004.51] solve iteration 30, LB=40739, UB=40788
1156.25/1159.49	c [1033.82] solve iteration 31, LB=40739, UB=40788
1189.05/1192.32	c [1065.05] solve iteration 32, LB=40739, UB=40786
1222.14/1225.57	c [1097.31] solve iteration 33, LB=40739, UB=40786
1270.99/1274.58	c [1143.8] solve iteration 34, LB=40740, UB=40786
1304.39/1308.04	c [1175.08] solve iteration 35, LB=40740, UB=40786
1343.47/1347.23	c [1213.55] solve iteration 36, LB=40740, UB=40786
1378.26/1382.15	c [1247.45] solve iteration 37, LB=40740, UB=40786
1417.04/1421.06	c [1284.17] solve iteration 38, LB=40740, UB=40786
1589.57/1594.05	c [1447.65] solve iteration 39, LB=40740, UB=40786
1625.76/1630.38	c [1482.3] solve iteration 40, LB=40740, UB=40786
1669.12/1673.82	c [1523.57] solve iteration 41, LB=40740, UB=40786
1709.59/1714.40	c [1562.15] solve iteration 42, LB=40740, UB=40786
1755.33/1760.33	c [1606.22] solve iteration 43, LB=40741, UB=40786
1801.59/1806.76	c [1650.49] solve iteration 44, LB=40741, UB=40780
1849.15/1854.40	c [1696.93] solve iteration 45, LB=40741, UB=40780
1886.82/1892.25	c [1732.39] solve iteration 46, LB=40741, UB=40780
1922.51/1928.02	c [1767.55] solve iteration 47, LB=40741, UB=40780
2111.08/2117.18	c [1949.65] solve iteration 48, LB=40741, UB=40780
2151.96/2158.16	c [1988.5] solve iteration 49, LB=40741, UB=40780
2193.33/2199.62	c [2028.35] solve iteration 50, LB=40741, UB=40780
2234.11/2240.51	c [2066.78] solve iteration 51, LB=40741, UB=40780
2278.16/2284.72	c [2109.23] solve iteration 52, LB=40741, UB=40780
2526.35/2533.66	c [2348.53] solve iteration 53, LB=40741, UB=40780
2576.80/2584.25	c [2396.82] solve iteration 54, LB=40741, UB=40780
2619.37/2626.91	c [2440.59] solve iteration 55, LB=40741, UB=40780
2655.56/2663.29	c [2475.59] solve iteration 56, LB=40741, UB=40780
2693.04/2700.85	c [2512.51] solve iteration 57, LB=40741, UB=40780
2978.22/2986.81	c [2782.84] solve iteration 58, LB=40741, UB=40780
3024.58/3033.32	c [2828.14] solve iteration 59, LB=40741, UB=40780
3074.12/3083.02	c [2875.97] solve iteration 60, LB=40741, UB=40780
3114.29/3123.32	c [2914.04] solve iteration 61, LB=40742, UB=40780
3158.95/3168.16	c [2958.2] solve iteration 62, LB=40742, UB=40780
3208.39/3217.71	c [3007.07] solve iteration 63, LB=40742, UB=40780
3256.65/3266.16	c [3052.71] solve iteration 64, LB=40742, UB=40780
3303.69/3313.38	c [3099.91] solve iteration 65, LB=40742, UB=40780

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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 (61733 MiB free)
  memory of node 1: 64473 MiB (62642 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432039-1721157378/watcher-4432039-1721157378 -o /tmp/evaluation-result-4432039-1721157378/solver-4432039-1721157378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721153783-910754 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432039-1721157378.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 4.18.0-301.1.el8.x
solver pid=912842, runsolver pid=912839
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.09 4.10 4.09 5/251 912843
/proc/meminfo: memFree=127301764/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=45100 memory=20180 CPUtime=0.1 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 4914 0 0 0 9 1 0 0 20 0 1 0 167906041 46182400 5045 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 11275 5045 1023 2900 0 7789 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45100 KiB
Current children cumulated memory: 20180 KiB

[startup+0.205503 s]*
/proc/loadavg: 4.09 4.10 4.09 5/251 912843
/proc/meminfo: memFree=127250924/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=56456 memory=31804 CPUtime=0.2 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 7296 0 0 0 19 1 0 0 20 0 1 0 167906041 57810944 7951 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 14114 7951 1023 2900 0 10628 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56456 KiB
Current children cumulated memory: 31804 KiB

[startup+0.305408 s]*
/proc/loadavg: 4.09 4.10 4.09 5/249 912843
/proc/meminfo: memFree=127222912/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=71248 memory=42608 CPUtime=0.3 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 9496 0 0 0 27 3 0 0 20 0 1 0 167906041 72957952 10652 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 17812 10652 1023 2900 0 14326 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71248 KiB
Current children cumulated memory: 42608 KiB

[startup+0.700196 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 912844
/proc/meminfo: memFree=127126304/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=115808 memory=82424 CPUtime=0.69 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 16908 0 0 0 65 4 0 0 20 0 1 0 167906041 118587392 20606 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 28952 20606 1023 2900 0 25466 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115808 KiB
Current children cumulated memory: 82424 KiB

[startup+1.50021 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 912854
/proc/meminfo: memFree=126956436/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=203668 memory=166720 CPUtime=1.48 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 31360 0 0 0 141 7 0 0 20 0 1 0 167906041 208556032 41680 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 50917 41680 1023 2900 0 47431 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203668 KiB
Current children cumulated memory: 166720 KiB

[startup+3.10539 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 912856
/proc/meminfo: memFree=125713360/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=384028 memory=337192 CPUtime=3.09 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 59173 0 0 0 294 15 0 0 20 0 1 0 167906041 393244672 84298 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 96007 84298 1023 2900 0 92521 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 384028 KiB
Current children cumulated memory: 337192 KiB

[startup+6.30023 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 912856
/proc/meminfo: memFree=124455216/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=581976 memory=515472 CPUtime=6.27 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 82800 0 0 0 522 105 0 0 20 0 1 0 167906041 595943424 128868 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 145494 128868 1135 2900 0 142008 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 581976 KiB
Current children cumulated memory: 515472 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 912857
/proc/meminfo: memFree=122950692/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1328552 memory=1239836 CPUtime=12.66 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 252702 0 0 0 1089 177 0 0 20 0 1 0 167906041 1360437248 309959 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 332138 309959 2687 2900 0 328652 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1328552 KiB
Current children cumulated memory: 1239836 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 912859
/proc/meminfo: memFree=122950088/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1328552 memory=1239892 CPUtime=25.43 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 252951 0 0 0 2196 347 0 0 20 0 1 0 167906041 1360437248 309973 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 332138 309973 2687 2900 0 328652 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1328552 KiB
Current children cumulated memory: 1239892 KiB

[startup+51.1054 s]
/proc/loadavg: 4.19 4.12 4.10 5/255 912862
/proc/meminfo: memFree=122894176/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1328552 memory=1239912 CPUtime=50.98 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 253008 0 0 0 4412 686 0 0 20 0 1 0 167906041 1360437248 309978 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 332138 309978 2687 2900 0 328652 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1328552 KiB
Current children cumulated memory: 1239912 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 912875
/proc/meminfo: memFree=122735420/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1328552 memory=1242024 CPUtime=102.05 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 253082 0 0 0 8738 1467 0 0 20 0 1 0 167906041 1360437248 310506 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 332138 310506 2687 2900 0 328652 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 1328552 KiB
Current children cumulated memory: 1242024 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 912890
/proc/meminfo: memFree=121850280/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1460044 memory=1379028 CPUtime=161.9 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 280827 0 0 0 13861 2329 0 0 20 0 1 0 167906041 1495085056 344757 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 365011 344757 2911 2900 0 361525 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 1460044 KiB
Current children cumulated memory: 1379028 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 912903
/proc/meminfo: memFree=121346012/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1510780 memory=1443980 CPUtime=221.76 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 292599 0 0 0 18968 3208 0 0 20 0 1 0 167906041 1547038720 360995 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 377695 360995 2911 2900 0 374209 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 1510780 KiB
Current children cumulated memory: 1443980 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 912915
/proc/meminfo: memFree=120980140/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1579444 memory=1515052 CPUtime=281.62 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 304275 0 0 0 24127 4035 0 0 20 0 1 0 167906041 1617350656 378763 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 394861 378763 2927 2900 0 391375 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 1579444 KiB
Current children cumulated memory: 1515052 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/259 912926
/proc/meminfo: memFree=120498896/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=1683644 memory=1620304 CPUtime=341.47 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 320073 0 0 0 29312 4835 0 0 20 0 1 0 167906041 1724051456 405076 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 420911 405076 2927 2900 0 417425 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 1683644 KiB
Current children cumulated memory: 1620304 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 912936
/proc/meminfo: memFree=119766184/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=2114780 memory=2048892 CPUtime=401.32 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 381141 0 0 0 34649 5483 0 0 20 0 1 0 167906041 2165534720 512223 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 528695 512223 2927 2900 0 525209 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 2114780 KiB
Current children cumulated memory: 2048892 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 912949
/proc/meminfo: memFree=118902992/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=2344888 memory=2280284 CPUtime=461.16 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 417331 0 0 0 39975 6141 0 0 20 0 1 0 167906041 2401165312 570071 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 586222 570071 2927 2900 0 582736 0

################
# More data... #
################

/proc/meminfo: memFree=106516984/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=9362344 memory=8872232 CPUtime=2913.91 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1462992 0 0 0 274351 17040 0 0 20 0 1 0 167906041 9587040256 2218058 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2340586 2218058 2943 2900 0 2337100 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 9362344 KiB
Current children cumulated memory: 8872232 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/256 914645
/proc/meminfo: memFree=106057004/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10550256 memory=9261652 CPUtime=2973.74 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1528894 0 0 0 279952 17422 0 0 20 0 1 0 167906041 10803462144 2315413 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2637564 2315413 2943 2900 0 2634078 0
Current children cumulated CPU time: 2973.74 s
Current children cumulated vsize: 10550256 KiB
Current children cumulated memory: 9261652 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 914656
/proc/meminfo: memFree=105722472/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10618864 memory=9351632 CPUtime=3033.55 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1550884 0 0 0 285820 17535 0 0 20 0 1 0 167906041 10873716736 2337908 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2654716 2337908 3263 2900 0 2651230 0
Current children cumulated CPU time: 3033.55 s
Current children cumulated vsize: 10618864 KiB
Current children cumulated memory: 9351632 KiB

[startup+3102.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/256 914668
/proc/meminfo: memFree=105458944/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10678812 memory=9412372 CPUtime=3093.36 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1563335 0 0 0 291667 17669 0 0 20 0 1 0 167906041 10935103488 2353093 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2669703 2353093 3263 2900 0 2666217 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 10678812 KiB
Current children cumulated memory: 9412372 KiB

[startup+3162.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/256 914678
/proc/meminfo: memFree=104613948/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10718120 memory=9444020 CPUtime=3153.17 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1571018 0 0 0 297530 17787 0 0 20 0 1 0 167906041 10975354880 2361005 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2679530 2361005 3263 2900 0 2676044 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 10718120 KiB
Current children cumulated memory: 9444020 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 914693
/proc/meminfo: memFree=104605152/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10684916 memory=9412992 CPUtime=3212.97 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1584166 0 0 0 303369 17928 0 0 20 0 1 0 167906041 10941353984 2353248 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2671229 2353248 3263 2900 0 2667743 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 10684916 KiB
Current children cumulated memory: 9412992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/258 914705
/proc/meminfo: memFree=104384656/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10823304 memory=9555480 CPUtime=3272.78 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1608883 0 0 0 309234 18044 0 0 20 0 1 0 167906041 11083063296 2388870 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2705826 2388870 3263 2900 0 2702340 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 10823304 KiB
Current children cumulated memory: 9555480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 914715
/proc/meminfo: memFree=104246860/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10831848 memory=9578276 CPUtime=3332.59 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1613688 0 0 0 314986 18273 0 0 20 0 1 0 167906041 11091812352 2394569 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2707962 2394569 3263 2900 0 2704476 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 10831848 KiB
Current children cumulated memory: 9578276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/258 914725
/proc/meminfo: memFree=103911732/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10831848 memory=9756116 CPUtime=3392.43 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1628093 0 0 0 320895 18348 0 0 20 0 1 0 167906041 11091812352 2439029 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2707962 2439029 3263 2900 0 2704476 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 10831848 KiB
Current children cumulated memory: 9756116 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/258 914738
/proc/meminfo: memFree=103542596/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10831848 memory=9954872 CPUtime=3452.27 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1644081 0 0 0 326684 18543 0 0 20 0 1 0 167906041 11091812352 2488718 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2707962 2488718 3263 2900 0 2704476 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 10831848 KiB
Current children cumulated memory: 9954872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/258 914748
/proc/meminfo: memFree=103146384/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10831848 memory=10105836 CPUtime=3512.12 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1656369 0 0 0 332008 19204 0 0 20 0 1 0 167906041 11091812352 2526459 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2707962 2526459 3263 2900 0 2704476 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 10831848 KiB
Current children cumulated memory: 10105836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/254 914759
/proc/meminfo: memFree=102888288/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10831848 memory=10251796 CPUtime=3571.94 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1668537 0 0 0 337727 19467 0 0 20 0 1 0 167906041 11091812352 2562949 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2707962 2562949 3263 2900 0 2704476 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 10831848 KiB
Current children cumulated memory: 10251796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.06 4.15 4.11 5/255 914855
/proc/meminfo: memFree=117487740/131524600 swapFree=131071996/131071996
[pid=912842] ppid=912839 vsize=10831848 memory=10258076 CPUtime=3600.05 cores=5,7
/proc/912842/stat : 912842 (ipbhs_static_sc) R 912839 912842 910741 0 -1 4194304 1669813 0 0 0 340336 19669 0 0 20 0 1 0 167906041 11091812352 2564519 134679101440 4194304 16068861 140728996142640 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 31657984 140728996144166 140728996144253 140728996144253 140728996151268 0
/proc/912842/statm: 2707962 2564519 3263 2900 0 2704476 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 10831848 KiB
Current children cumulated memory: 10258076 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.72 s]
# the end of solver process 912842 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3403.37 s, system=196.913 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.6 s]*
/proc/loadavg: 4.06 4.15 4.11 5/255 914855
/proc/meminfo: memFree=122161632/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.71 s]
/proc/loadavg: 4.06 4.15 4.11 5/255 914855
/proc/meminfo: memFree=122161632/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.72
CPU time (s): 3600.28
CPU user time (s): 3403.37
CPU system time (s): 196.913
CPU usage (%): 99.7109
Max. virtual memory (cumulated for all children) (KiB): 10831848
Max. memory (cumulated for all children) (KiB): 10258076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3403.37
system time used= 196.913
maximum resident set size= 10258076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1669813
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2813


# summary of solver processes directly reported to runsolver:
#   pid: 912842
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3403.37
#   total CPU system time (s): 196.913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81431 second user time and 17.2045 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 21:16:32
IDJOB=4432039
IDBENCH=158209
IDSOLVER=3057
FILE ID=nodeC030/4432039-1721157378
RUNJOBID= nodeC030-1721153783-910754
SLURM_JOB_ID= 7505759
Free space on /tmp= 889628 MiB

SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.20-13.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432039-1721157378/watcher-4432039-1721157378 -o /tmp/evaluation-result-4432039-1721157378/solver-4432039-1721157378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721153783-910754 --watchdog 3760  ./ipbhs_static_scip HOME/instance-4432039-1721157378.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8ac687d6d6d445392b755a367fbcc019
RANDOM SEED=1518960174

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.091
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.787
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3634.038
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.706
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3682.612
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3682.864
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.199
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.988
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127371524 kB
MemAvailable:   129280312 kB
Buffers:          409348 kB
Cached:          2319540 kB
SwapCached:            0 kB
Active:          1060368 kB
Inactive:        2459164 kB
Active(anon):       1524 kB
Inactive(anon):   826828 kB
Active(file):    1058844 kB
Inactive(file):  1632336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            539184 kB
Writeback:            16 kB
AnonPages:        790344 kB
Mapped:           112672 kB
Shmem:             37720 kB
KReclaimable:     114864 kB
Slab:             223604 kB
SReclaimable:     114864 kB
SUnreclaim:       108740 kB
KernelStack:        3952 kB
PageTables:        10376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1195528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889756 MiB
End job on nodeC030 at 2024-07-16 22:16:43