Trace number 4432038

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.16 3608.72

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
MD5SUM0c5a5feecc6e9ebbd7fc1e1b28678077
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 benchmark54713
Best CPU time to get the best result obtained on this benchmark42.7994
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables214302
Total number of constraints3483525
Number of constraints which are clauses3483525
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 

296.63/297.22	c initialize IPBHS solver
296.63/297.22	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
296.63/297.22	c optimizer = "scip"
296.63/297.22	c pbsolver = "roundingsat"
296.63/297.22	c load symmetries from file ""
296.63/297.22	c set time limit for symmetry computation to 100 seconds.
296.63/297.22	c set interchangeable summation variable limit to 3
296.63/297.22	c set abs symmetric core budget per WCE-iteration to 100
296.63/297.22	c set rel symmetric core budget per WCE-iteration to 0
296.63/297.22	c set lit symmetric core budget per WCE-iteration to 0
296.63/297.22	c set sym generation to 's'
296.63/297.22	c set abstraction set creation to 10 iterations without LB change
296.63/297.22	c set abstraction set inputs to 0
296.63/297.22	c set abstraction set cluster min size to 2
296.63/297.22	c set abstraction set cluster max size to 100000000
296.63/297.22	c set abstraction set cluster activation limit to 2
296.63/297.22	c enable abstraction set require equal cost
296.63/297.22	c set abstraction set assumptions to 0
296.63/297.22	c set abstraction set constraint type to 0
296.63/297.22	c set abstract core extraction strategy to b
296.63/297.22	c set core extraction strategy to 2
296.63/297.22	c set core extraction shuffles 10
296.63/297.22	c set cores per iteration to 5
296.63/297.22	c set optimizer bound usage strategy to 2
296.63/297.22	c set optimizer max non-optimal iterations to 1000
296.63/297.22	c set small core cardinality limit to 2
296.63/297.22	c set max coef in cores to 1000000000
296.63/297.22	c set SIS iterations to 5
296.63/297.22	c set SIS budget abs to 1000
296.63/297.22	c set SIS budget rel to 0.05
296.63/297.22	c limit for coefficient in constraints and objective to 9223372036854775807
296.63/297.22	c will solve HOME/instance-4432038-1721157377.opb
296.63/297.22	c [0.22] solve iteration 1, LB=0, UB=10690981
296.63/297.22	c [111.47] solve iteration 2, LB=6, UB=336590
296.63/297.22	c [183.37] solve iteration 3, LB=54079, UB=237243
296.63/297.22	c [247.72] solve iteration 4, LB=54082, UB=164610
549.81/550.93	c [304.39] solve iteration 5, LB=54663, UB=121592
549.81/550.93	c [351.1] solve iteration 6, LB=54670, UB=79770
549.81/550.93	c [388.13] solve iteration 7, LB=54677, UB=64659
549.81/550.93	c [414.76] solve iteration 8, LB=54680, UB=61755
549.81/550.93	c [437.03] solve iteration 9, LB=54683, UB=60003
549.81/550.93	c [464.16] solve iteration 10, LB=54684, UB=60003
638.02/639.32	c [492.72] solve iteration 11, LB=54685, UB=59426
638.02/639.32	c [521.06] solve iteration 12, LB=54687, UB=58851
638.02/639.32	c [542.48] solve iteration 13, LB=54687, UB=56503
667.85/669.24	c [569.27] solve iteration 14, LB=54689, UB=54773
730.51/732.00	c [597.31] solve iteration 15, LB=54689, UB=54773
730.51/732.00	c [625.01] solve iteration 16, LB=54690, UB=54773
759.94/761.58	c [653] solve iteration 17, LB=54692, UB=54768
792.97/794.65	c [681.43] solve iteration 18, LB=54693, UB=54766
858.02/859.88	c [713.41] solve iteration 19, LB=54693, UB=54766
858.02/859.88	c [740.63] solve iteration 20, LB=54693, UB=54766
891.35/893.28	c [770.63] solve iteration 21, LB=54694, UB=54766
921.27/923.29	c [799.25] solve iteration 22, LB=54695, UB=54766
950.60/952.63	c [825.52] solve iteration 23, LB=54695, UB=54766
979.43/981.56	c [851.89] solve iteration 24, LB=54695, UB=54762
1009.05/1011.21	c [879.97] solve iteration 25, LB=54695, UB=54760
1042.56/1044.80	c [911.65] solve iteration 26, LB=54695, UB=54760
1074.88/1077.27	c [941.49] solve iteration 27, LB=54696, UB=54759
1110.09/1112.52	c [973.94] solve iteration 28, LB=54696, UB=54759
1146.21/1148.79	c [1008.62] solve iteration 29, LB=54696, UB=54759
1180.62/1183.22	c [1040.45] solve iteration 30, LB=54696, UB=54753
1221.82/1224.53	c [1080.16] solve iteration 31, LB=54697, UB=54753
1263.21/1266.03	c [1118.46] solve iteration 32, LB=54697, UB=54753
1297.72/1300.66	c [1151.14] solve iteration 33, LB=54697, UB=54753
1329.04/1332.06	c [1179.78] solve iteration 34, LB=54697, UB=54753
1362.06/1365.17	c [1211] solve iteration 35, LB=54698, UB=54749
1398.96/1402.18	c [1245.1] solve iteration 36, LB=54698, UB=54749
1436.16/1439.42	c [1281.54] solve iteration 37, LB=54698, UB=54749
1470.58/1473.95	c [1314.91] solve iteration 38, LB=54698, UB=54740
1503.80/1507.20	c [1344.76] solve iteration 39, LB=54698, UB=54740
1647.79/1651.57	c [1483.74] solve iteration 40, LB=54698, UB=54740
1682.99/1686.87	c [1517.59] solve iteration 41, LB=54698, UB=54740
1715.81/1719.78	c [1548.89] solve iteration 42, LB=54698, UB=54735
1764.37/1768.43	c [1596.14] solve iteration 43, LB=54699, UB=54735
1797.99/1802.14	c [1629] solve iteration 44, LB=54700, UB=54735
1833.09/1837.31	c [1661.39] solve iteration 45, LB=54700, UB=54735
1872.19/1876.54	c [1699.09] solve iteration 46, LB=54700, UB=54735
1911.29/1915.72	c [1737.79] solve iteration 47, LB=54701, UB=54735
1952.58/1957.15	c [1776.78] solve iteration 48, LB=54701, UB=54735
1995.49/2000.12	c [1818.41] solve iteration 49, LB=54701, UB=54735
2035.18/2039.93	c [1856.19] solve iteration 50, LB=54701, UB=54735
2072.49/2077.38	c [1892.08] solve iteration 51, LB=54701, UB=54735
2237.11/2242.39	c [2050.31] solve iteration 52, LB=54701, UB=54735
2284.98/2290.33	c [2095.8] solve iteration 53, LB=54702, UB=54735
2329.96/2335.42	c [2139.4] solve iteration 54, LB=54702, UB=54735
2379.74/2385.39	c [2187.6] solve iteration 55, LB=54702, UB=54735
2421.63/2427.34	c [2227.32] solve iteration 56, LB=54702, UB=54735
2468.82/2474.61	c [2272.46] solve iteration 57, LB=54702, UB=54735
2657.98/2664.27	c [2454.8] solve iteration 58, LB=54702, UB=54735
2700.47/2706.82	c [2495.48] solve iteration 59, LB=54702, UB=54735
2744.06/2750.51	c [2537.5] solve iteration 60, LB=54702, UB=54735
2796.32/2802.99	c [2588.14] solve iteration 61, LB=54702, UB=54735
2837.81/2844.56	c [2628.17] solve iteration 62, LB=54702, UB=54735
3046.33/3053.55	c [2830.32] solve iteration 63, LB=54702, UB=54735
3095.30/3102.69	c [2877.48] solve iteration 64, LB=54703, UB=54735
3145.96/3153.48	c [2927.16] solve iteration 65, LB=54703, UB=54735
3199.22/3206.80	c [2978.89] solve iteration 66, LB=54703, UB=54735
3253.87/3261.65	c [3033.06] solve iteration 67, LB=54703, UB=54735
3306.03/3313.90	c [3083.23] solve iteration 68, LB=54703, UB=54735
3529.32/3537.75	c [3295.92] solve iteration 69, LB=54703, UB=54735
3576.60/3585.15	c [3341.11] solve iteration 70, LB=54703, UB=54735

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=912761, runsolver pid=912758
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.09 4.10 4.09 4/252 912776
/proc/meminfo: memFree=124486276/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=44884 memory=18980 CPUtime=0.09 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 4602 0 0 0 9 0 0 0 20 0 1 0 167905899 45961216 4745 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 11221 4745 1023 2900 0 7735 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44884 KiB
Current children cumulated memory: 18980 KiB

[startup+0.205438 s]*
/proc/loadavg: 4.09 4.10 4.09 5/252 912788
/proc/meminfo: memFree=124462244/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=56372 memory=30360 CPUtime=0.19 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 6961 0 0 0 19 0 0 0 20 0 1 0 167905899 57724928 7590 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 14093 7590 1023 2900 0 10607 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56372 KiB
Current children cumulated memory: 30360 KiB

[startup+0.304742 s]*
/proc/loadavg: 4.09 4.10 4.09 5/251 912797
/proc/meminfo: memFree=124510616/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=71164 memory=41320 CPUtime=0.3 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 9187 0 0 0 29 1 0 0 20 0 1 0 167905899 72871936 10330 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 17791 10330 1023 2900 0 14305 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71164 KiB
Current children cumulated memory: 41320 KiB

[startup+0.700227 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 912797
/proc/meminfo: memFree=124437556/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=116204 memory=84288 CPUtime=0.68 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 16853 0 0 0 65 3 0 0 20 0 1 0 167905899 118992896 21072 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 29051 21072 1023 2900 0 25565 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116204 KiB
Current children cumulated memory: 84288 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.10 4.09 5/247 912832
/proc/meminfo: memFree=127571340/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=203588 memory=165488 CPUtime=1.49 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 31069 0 0 0 142 7 0 0 20 0 1 0 167905899 208474112 41372 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 50897 41372 1023 2900 0 47411 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 203588 KiB
Current children cumulated memory: 165488 KiB

[startup+3.10538 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 912856
/proc/meminfo: memFree=126731732/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=383372 memory=334812 CPUtime=3.08 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 58621 0 0 0 292 16 0 0 20 0 1 0 167905899 392572928 83703 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 95843 83703 1023 2900 0 92357 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 383372 KiB
Current children cumulated memory: 334812 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.09 4.09 6/255 912856
/proc/meminfo: memFree=125292504/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=618960 memory=548580 CPUtime=6.27 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 87835 0 0 0 518 109 0 0 20 0 1 0 167905899 633815040 137145 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 154740 137145 2383 2900 0 151254 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 618960 KiB
Current children cumulated memory: 548580 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 912856
/proc/meminfo: memFree=122950748/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1305884 memory=1206616 CPUtime=12.67 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 246980 0 0 0 1102 165 0 0 20 0 1 0 167905899 1337225216 301654 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 326471 301654 2687 2900 0 322985 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 1305884 KiB
Current children cumulated memory: 1206616 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 912859
/proc/meminfo: memFree=122950172/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1305884 memory=1206812 CPUtime=25.44 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 247014 0 0 0 2223 321 0 0 20 0 1 0 167905899 1337225216 301703 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 326471 301703 2687 2900 0 322985 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1305884 KiB
Current children cumulated memory: 1206812 KiB

[startup+51.1054 s]
/proc/loadavg: 4.21 4.13 4.10 5/255 912862
/proc/meminfo: memFree=122948752/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1305884 memory=1206856 CPUtime=51 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 247063 0 0 0 4429 671 0 0 20 0 1 0 167905899 1337225216 301714 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 326471 301714 2687 2900 0 322985 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1305884 KiB
Current children cumulated memory: 1206856 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 912874
/proc/meminfo: memFree=122735804/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1305884 memory=1206856 CPUtime=102.1 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 247115 0 0 0 8762 1448 0 0 20 0 1 0 167905899 1337225216 301714 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 326471 301714 2687 2900 0 322985 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 1305884 KiB
Current children cumulated memory: 1206856 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 912888
/proc/meminfo: memFree=121850712/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1443292 memory=1349588 CPUtime=161.99 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 274450 0 0 0 13870 2329 0 0 20 0 1 0 167905899 1477931008 337397 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 360823 337397 2911 2900 0 357337 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 1443292 KiB
Current children cumulated memory: 1349588 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 912902
/proc/meminfo: memFree=121465204/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1464944 memory=1385608 CPUtime=221.87 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 280997 0 0 0 18953 3234 0 0 20 0 1 0 167905899 1500102656 346402 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 366236 346402 2911 2900 0 362750 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 1464944 KiB
Current children cumulated memory: 1385608 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 912913
/proc/meminfo: memFree=120982340/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1542460 memory=1465920 CPUtime=281.76 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 295526 0 0 0 24104 4072 0 0 20 0 1 0 167905899 1579479040 366480 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 385615 366480 2927 2900 0 382129 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 1542460 KiB
Current children cumulated memory: 1465920 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/259 912925
/proc/meminfo: memFree=120542676/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1580288 memory=1505508 CPUtime=341.64 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 301439 0 0 0 29273 4891 0 0 20 0 1 0 167905899 1618214912 376377 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 395072 376377 2927 2900 0 391586 0
Current children cumulated CPU time: 341.64 s
Current children cumulated vsize: 1580288 KiB
Current children cumulated memory: 1505508 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 912935
/proc/meminfo: memFree=119783720/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1626464 memory=1552436 CPUtime=401.52 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 308605 0 0 0 34447 5705 0 0 20 0 1 0 167905899 1665499136 388109 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 406616 388109 2927 2900 0 403130 0
Current children cumulated CPU time: 401.52 s
Current children cumulated vsize: 1626464 KiB
Current children cumulated memory: 1552436 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 912947
/proc/meminfo: memFree=119016532/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=1765168 memory=1691588 CPUtime=461.4 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 329932 0 0 0 39662 6478 0 0 20 0 1 0 167905899 1807532032 422897 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 441292 422897 2927 2900 0 437806 0

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

/proc/912761/statm: 1680893 1612059 2943 2900 0 1677407 0
Current children cumulated CPU time: 2855.56 s
Current children cumulated vsize: 6723572 KiB
Current children cumulated memory: 6448236 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 914631
/proc/meminfo: memFree=106523164/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6727444 memory=6452108 CPUtime=2915.43 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1064825 0 0 0 272476 19067 0 0 20 0 1 0 167905899 6888902656 1613027 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1681861 1613027 2943 2900 0 1678375 0
Current children cumulated CPU time: 2915.43 s
Current children cumulated vsize: 6727444 KiB
Current children cumulated memory: 6452108 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 914644
/proc/meminfo: memFree=106062344/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6727444 memory=6452108 CPUtime=2975.31 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1065244 0 0 0 278343 19188 0 0 20 0 1 0 167905899 6888902656 1613027 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1681861 1613027 2943 2900 0 1678375 0
Current children cumulated CPU time: 2975.31 s
Current children cumulated vsize: 6727444 KiB
Current children cumulated memory: 6452108 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 914654
/proc/meminfo: memFree=105725344/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6727444 memory=6511860 CPUtime=3035.17 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1070337 0 0 0 284160 19357 0 0 20 0 1 0 167905899 6888902656 1627965 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1681861 1627965 2943 2900 0 1678375 0
Current children cumulated CPU time: 3035.17 s
Current children cumulated vsize: 6727444 KiB
Current children cumulated memory: 6511860 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.18 4.11 5/256 914666
/proc/meminfo: memFree=105461636/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6759172 memory=6538888 CPUtime=3095 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1074206 0 0 0 289994 19506 0 0 20 0 1 0 167905899 6921392128 1634722 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1689793 1634722 2943 2900 0 1686307 0
Current children cumulated CPU time: 3095 s
Current children cumulated vsize: 6759172 KiB
Current children cumulated memory: 6538888 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/256 914676
/proc/meminfo: memFree=104688432/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6774348 memory=6554416 CPUtime=3154.84 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1077031 0 0 0 295845 19639 0 0 20 0 1 0 167905899 6936932352 1638604 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1693587 1638604 2943 2900 0 1690101 0
Current children cumulated CPU time: 3154.84 s
Current children cumulated vsize: 6774348 KiB
Current children cumulated memory: 6554416 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/258 914691
/proc/meminfo: memFree=104605224/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6813244 memory=6597296 CPUtime=3214.67 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1086250 0 0 0 301692 19775 0 0 20 0 1 0 167905899 6976761856 1649324 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1703311 1649324 3263 2900 0 1699825 0
Current children cumulated CPU time: 3214.67 s
Current children cumulated vsize: 6813244 KiB
Current children cumulated memory: 6597296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/258 914703
/proc/meminfo: memFree=104385312/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6871176 memory=6622628 CPUtime=3274.51 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1092812 0 0 0 307497 19954 0 0 20 0 1 0 167905899 7036084224 1655657 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1717794 1655657 3263 2900 0 1714308 0
Current children cumulated CPU time: 3274.51 s
Current children cumulated vsize: 6871176 KiB
Current children cumulated memory: 6622628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 914713
/proc/meminfo: memFree=104253348/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6903484 memory=6657808 CPUtime=3334.35 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1102259 0 0 0 313286 20149 0 0 20 0 1 0 167905899 7069167616 1664452 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1725871 1664452 3263 2900 0 1722385 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 6903484 KiB
Current children cumulated memory: 6657808 KiB

[startup+3402.3 s]
/proc/loadavg: 4.45 4.22 4.13 5/258 914723
/proc/meminfo: memFree=103921436/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6903484 memory=6658264 CPUtime=3394.22 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1102725 0 0 0 319017 20405 0 0 20 0 1 0 167905899 7069167616 1664566 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1725871 1664566 3263 2900 0 1722385 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 6903484 KiB
Current children cumulated memory: 6658264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.21 4.13 6/258 914736
/proc/meminfo: memFree=103550028/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6903484 memory=6661496 CPUtime=3454.08 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1103097 0 0 0 324863 20545 0 0 20 0 1 0 167905899 7069167616 1665374 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1725871 1665374 3263 2900 0 1722385 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 6903484 KiB
Current children cumulated memory: 6661496 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/258 914747
/proc/meminfo: memFree=103155936/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6903484 memory=6720832 CPUtime=3513.95 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1108640 0 0 0 330267 21128 0 0 20 0 1 0 167905899 7069167616 1680208 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1725871 1680208 3263 2900 0 1722385 0
Current children cumulated CPU time: 3513.95 s
Current children cumulated vsize: 6903484 KiB
Current children cumulated memory: 6720832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/255 914757
/proc/meminfo: memFree=102891720/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6925976 memory=6728000 CPUtime=3573.81 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1110554 0 0 0 336096 21285 0 0 20 0 1 0 167905899 7092199424 1682000 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1731494 1682000 3263 2900 0 1728008 0
Current children cumulated CPU time: 3573.81 s
Current children cumulated vsize: 6925976 KiB
Current children cumulated memory: 6728000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.06 4.15 4.11 5/255 914809
/proc/meminfo: memFree=110669640/131524600 swapFree=131071996/131071996
[pid=912761] ppid=912758 vsize=6955036 memory=6757060 CPUtime=3600.03 cores=1,3
/proc/912761/stat : 912761 (ipbhs_static_sc) R 912758 912761 910741 0 -1 4194304 1116467 0 0 0 338703 21300 0 0 20 0 1 0 167905899 7121956864 1689265 134679101440 4194304 16068861 140728559057552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 24956928 140728559060006 140728559060093 140728559060093 140728559067108 0
/proc/912761/statm: 1738759 1689265 3263 2900 0 1735273 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 6955036 KiB
Current children cumulated memory: 6757060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3387.04 s, system=213.121 s

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

[startup+3608.7 s]*
/proc/loadavg: 4.06 4.15 4.11 5/255 914809
/proc/meminfo: memFree=116187224/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): 3608.72
CPU time (s): 3600.16
CPU user time (s): 3387.04
CPU system time (s): 213.121
CPU usage (%): 99.7628
Max. virtual memory (cumulated for all children) (KiB): 6955036
Max. memory (cumulated for all children) (KiB): 6757060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3387.04
system time used= 213.121
maximum resident set size= 6757060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1116467
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= 13
involuntary context switches= 2310


# summary of solver processes directly reported to runsolver:
#   pid: 912761
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3387.04
#   total CPU system time (s): 213.121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67796 second user time and 16.9012 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 21:16:31
IDJOB=4432038
IDBENCH=158206
IDSOLVER=3057
FILE ID=nodeC030/4432038-1721157377
RUNJOBID= nodeC030-1721153783-910753
SLURM_JOB_ID= 7505759
Free space on /tmp= 889680 MiB

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

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

MD5SUM BENCH= 0c5a5feecc6e9ebbd7fc1e1b28678077
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		: 3687.412
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		: 3682.162
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		: 3600.132
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		: 3686.882
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		: 3687.723
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		: 3686.960
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		: 3601.484
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		: 3599.984
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:        123415768 kB
MemAvailable:   125248012 kB
Buffers:          409348 kB
Cached:          2244200 kB
SwapCached:            0 kB
Active:          1037200 kB
Inactive:        6428252 kB
Active(anon):       1540 kB
Inactive(anon):  4848080 kB
Active(file):    1035660 kB
Inactive(file):  1580172 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            297120 kB
Writeback:             0 kB
AnonPages:       4772972 kB
Mapped:           119632 kB
Shmem:             37720 kB
KReclaimable:     112472 kB
Slab:             221076 kB
SReclaimable:     112472 kB
SUnreclaim:       108604 kB
KernelStack:        4112 kB
PageTables:        22372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7580388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3960832 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= 889652 MiB
End job on nodeC030 at 2024-07-16 22:16:40