Trace number 4432036

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.13 3607.79

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-8.opb
MD5SUM94679b926e0f98030bd662dace4c9342
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 benchmark55874
Best CPU time to get the best result obtained on this benchmark19.7955
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables211991
Total number of constraints2595228
Number of constraints which are clauses2595228
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 

200.82/201.24	c initialize IPBHS solver
200.82/201.24	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
200.82/201.24	c optimizer = "scip"
200.82/201.24	c pbsolver = "roundingsat"
200.82/201.24	c load symmetries from file ""
200.82/201.24	c set time limit for symmetry computation to 100 seconds.
200.82/201.24	c set interchangeable summation variable limit to 3
200.82/201.24	c set abs symmetric core budget per WCE-iteration to 100
200.82/201.24	c set rel symmetric core budget per WCE-iteration to 0
200.82/201.24	c set lit symmetric core budget per WCE-iteration to 0
200.82/201.24	c set sym generation to 's'
200.82/201.24	c set abstraction set creation to 10 iterations without LB change
200.82/201.24	c set abstraction set inputs to 0
200.82/201.24	c set abstraction set cluster min size to 2
200.82/201.24	c set abstraction set cluster max size to 100000000
200.82/201.24	c set abstraction set cluster activation limit to 2
200.82/201.24	c enable abstraction set require equal cost
200.82/201.24	c set abstraction set assumptions to 0
200.82/201.24	c set abstraction set constraint type to 0
200.82/201.24	c set abstract core extraction strategy to b
200.82/201.24	c set core extraction strategy to 2
200.82/201.24	c set core extraction shuffles 10
200.82/201.24	c set cores per iteration to 5
200.82/201.24	c set optimizer bound usage strategy to 2
200.82/201.24	c set optimizer max non-optimal iterations to 1000
200.82/201.24	c set small core cardinality limit to 2
200.82/201.24	c set max coef in cores to 1000000000
200.82/201.24	c set SIS iterations to 5
200.82/201.24	c set SIS budget abs to 1000
200.82/201.24	c set SIS budget rel to 0.05
200.82/201.24	c limit for coefficient in constraints and objective to 9223372036854775807
200.82/201.24	c will solve HOME/instance-4432036-1721157376.opb
200.82/201.24	c [0.18] solve iteration 1, LB=0, UB=10690981
200.82/201.24	c [101] solve iteration 2, LB=12, UB=328431
200.82/201.24	c [165.56] solve iteration 3, LB=55255, UB=140200
484.38/485.31	c [223.47] solve iteration 4, LB=55256, UB=133813
484.38/485.31	c [275.98] solve iteration 5, LB=55839, UB=133813
484.38/485.31	c [313.37] solve iteration 6, LB=55847, UB=78609
484.38/485.31	c [340.45] solve iteration 7, LB=55852, UB=76843
484.38/485.31	c [366.49] solve iteration 8, LB=55854, UB=55938
484.38/485.31	c [388.32] solve iteration 9, LB=55857, UB=55938
484.38/485.31	c [407] solve iteration 10, LB=55858, UB=55922
527.10/528.17	c [429.18] solve iteration 11, LB=55859, UB=55913
527.10/528.17	c [444.82] solve iteration 12, LB=55860, UB=55895
548.64/549.70	c [463.54] solve iteration 13, LB=55861, UB=55895
570.47/571.65	c [483.45] solve iteration 14, LB=55862, UB=55895
597.20/598.42	c [507.83] solve iteration 15, LB=55863, UB=55895
624.91/626.29	c [532.62] solve iteration 16, LB=55863, UB=55895
652.04/653.41	c [558.22] solve iteration 17, LB=55865, UB=55895
680.98/682.46	c [584.38] solve iteration 18, LB=55865, UB=55895
703.64/705.12	c [606.54] solve iteration 19, LB=55867, UB=55894
720.20/721.74	c [621.67] solve iteration 20, LB=55867, UB=55894
745.55/747.14	c [644.75] solve iteration 21, LB=55867, UB=55894
766.89/768.57	c [665.75] solve iteration 22, LB=55867, UB=55894
793.13/794.85	c [690.78] solve iteration 23, LB=55867, UB=55894
894.83/896.77	c [787.79] solve iteration 24, LB=55867, UB=55894
925.36/927.33	c [816.9] solve iteration 25, LB=55868, UB=55894
952.40/954.45	c [843.05] solve iteration 26, LB=55868, UB=55894
982.04/984.10	c [871.33] solve iteration 27, LB=55868, UB=55894
1007.37/1009.54	c [895.34] solve iteration 28, LB=55868, UB=55889
1039.00/1041.27	c [925.17] solve iteration 29, LB=55868, UB=55889
1149.78/1152.22	c [1033.26] solve iteration 30, LB=55868, UB=55889
1180.31/1182.82	c [1061.57] solve iteration 31, LB=55868, UB=55889
1211.33/1213.91	c [1090.68] solve iteration 32, LB=55869, UB=55889
1239.67/1242.36	c [1118.46] solve iteration 33, LB=55869, UB=55889
1272.89/1275.67	c [1149.68] solve iteration 34, LB=55869, UB=55889
1298.34/1301.12	c [1173.87] solve iteration 35, LB=55870, UB=55889
1327.77/1330.62	c [1202.01] solve iteration 36, LB=55870, UB=55889
1359.60/1362.55	c [1232.32] solve iteration 37, LB=55870, UB=55889
1385.63/1388.65	c [1256.73] solve iteration 38, LB=55871, UB=55889
1419.34/1422.44	c [1290.2] solve iteration 39, LB=55871, UB=55889
1444.68/1447.88	c [1314.57] solve iteration 40, LB=55871, UB=55889
1478.01/1481.27	c [1345.92] solve iteration 41, LB=55871, UB=55889
1502.95/1506.21	c [1370.64] solve iteration 42, LB=55871, UB=55889
1626.79/1630.31	c [1491.77] solve iteration 43, LB=55871, UB=55889
1657.82/1661.47	c [1521.91] solve iteration 44, LB=55871, UB=55889
1682.26/1685.98	c [1545.19] solve iteration 45, LB=55871, UB=55883
1714.28/1718.04	c [1575.82] solve iteration 46, LB=55871, UB=55883
1740.52/1744.30	c [1601.24] solve iteration 47, LB=55871, UB=55883
1872.34/1876.42	c [1729.67] solve iteration 48, LB=55871, UB=55883
1901.38/1905.51	c [1757.21] solve iteration 49, LB=55871, UB=55883
1925.51/1929.70	c [1781.04] solve iteration 50, LB=55871, UB=55881
1953.75/1958.03	c [1808.69] solve iteration 51, LB=55871, UB=55881
1984.08/1988.40	c [1838.17] solve iteration 52, LB=55871, UB=55881
2131.86/2136.51	c [1982.97] solve iteration 53, LB=55871, UB=55881
2159.59/2164.38	c [2010.03] solve iteration 54, LB=55871, UB=55881
2191.72/2196.50	c [2041.42] solve iteration 55, LB=55871, UB=55881
2219.45/2224.38	c [2067.98] solve iteration 56, LB=55871, UB=55881
2246.58/2251.52	c [2094.22] solve iteration 57, LB=55871, UB=55881
2398.67/2403.94	c [2243.5] solve iteration 58, LB=55871, UB=55881
2424.31/2429.64	c [2268.04] solve iteration 59, LB=55871, UB=55881
2452.75/2458.17	c [2295.43] solve iteration 60, LB=55871, UB=55881
2479.38/2484.85	c [2321.53] solve iteration 61, LB=55871, UB=55881
2505.91/2511.42	c [2347.7] solve iteration 62, LB=55871, UB=55881
2532.54/2538.12	c [2373.56] solve iteration 63, LB=55872, UB=55881
2558.77/2564.46	c [2400.03] solve iteration 64, LB=55872, UB=55881
2587.12/2592.88	c [2427.78] solve iteration 65, LB=55872, UB=55881
2611.96/2617.70	c [2452.43] solve iteration 66, LB=55872, UB=55881
2639.22/2645.03	c [2478.59] solve iteration 67, LB=55872, UB=55881
2816.19/2822.33	c [2650.23] solve iteration 68, LB=55872, UB=55881
2841.34/2847.51	c [2675.16] solve iteration 69, LB=55872, UB=55881
2865.49/2871.77	c [2699.15] solve iteration 70, LB=55872, UB=55878
2898.32/2904.61	c [2730.59] solve iteration 71, LB=55872, UB=55878
2933.85/2940.28	c [2765.07] solve iteration 72, LB=55872, UB=55878
3162.32/3169.19	c [2987.9] solve iteration 73, LB=55872, UB=55878
3191.27/3198.17	c [3016.04] solve iteration 74, LB=55872, UB=55878
3217.41/3224.31	c [3041.82] solve iteration 75, LB=55872, UB=55877
3248.43/3255.48	c [3071.88] solve iteration 76, LB=55872, UB=55877
3283.26/3290.38	c [3106.45] solve iteration 77, LB=55872, UB=55877
3541.05/3548.63	c [3358.97] solve iteration 78, LB=55872, UB=55877
3571.60/3579.22	c [3388.52] solve iteration 79, LB=55872, UB=55877

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100096 s]*
/proc/loadavg: 4.09 4.10 4.09 5/251 912751
/proc/meminfo: memFree=121583032/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=44724 memory=18808 CPUtime=0.09 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 4598 0 0 0 9 0 0 0 20 0 1 0 167905805 45797376 4702 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 11181 4702 1023 2900 0 7695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44724 KiB
Current children cumulated memory: 18808 KiB

[startup+0.205436 s]*
/proc/loadavg: 4.09 4.10 4.09 5/251 912751
/proc/meminfo: memFree=121555428/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=56344 memory=30792 CPUtime=0.2 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 7057 0 0 0 19 1 0 0 20 0 1 0 167905805 57696256 7698 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 14086 7698 1023 2900 0 10600 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56344 KiB
Current children cumulated memory: 30792 KiB

[startup+0.305369 s]*
/proc/loadavg: 4.09 4.10 4.09 5/251 912751
/proc/meminfo: memFree=121529052/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=71268 memory=41928 CPUtime=0.3 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 9330 0 0 0 29 1 0 0 20 0 1 0 167905805 72978432 10482 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 17817 10482 1023 2900 0 14331 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71268 KiB
Current children cumulated memory: 41928 KiB

[startup+0.700211 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 912751
/proc/meminfo: memFree=121477752/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=117308 memory=84768 CPUtime=0.69 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 17021 0 0 0 66 3 0 0 20 0 1 0 167905805 120123392 21192 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 29327 21192 1023 2900 0 25841 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 117308 KiB
Current children cumulated memory: 84768 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.10 4.09 6/251 912771
/proc/meminfo: memFree=124493148/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=210036 memory=170476 CPUtime=1.49 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 31276 0 0 0 142 7 0 0 20 0 1 0 167905805 215076864 42619 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 52509 42619 1023 2900 0 49023 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 210036 KiB
Current children cumulated memory: 170476 KiB

[startup+3.10461 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 912848
/proc/meminfo: memFree=127084188/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=395696 memory=318584 CPUtime=3.08 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 55010 0 0 0 275 33 0 0 20 0 1 0 167905805 405192704 79646 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 98924 79646 1135 2900 0 95438 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 395696 KiB
Current children cumulated memory: 318584 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 912856
/proc/meminfo: memFree=125458148/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1197000 memory=1084040 CPUtime=6.28 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 228530 0 0 0 527 101 0 0 20 0 1 0 167905805 1225728000 271010 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 299250 271010 2655 2900 0 295764 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1197000 KiB
Current children cumulated memory: 1084040 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=912750] ppid=912747 vsize=1197000 memory=1084292 CPUtime=12.66 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 228581 0 0 0 1123 143 0 0 20 0 1 0 167905805 1225728000 271073 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 299250 271073 2687 2900 0 295764 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1197000 KiB
Current children cumulated memory: 1084292 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=912750] ppid=912747 vsize=1197000 memory=1084292 CPUtime=25.44 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 228626 0 0 0 2233 311 0 0 20 0 1 0 167905805 1225728000 271073 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 299250 271073 2687 2900 0 295764 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1197000 KiB
Current children cumulated memory: 1084292 KiB

[startup+51.1053 s]
/proc/loadavg: 4.21 4.13 4.10 5/255 912862
/proc/meminfo: memFree=122948760/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1197000 memory=1084360 CPUtime=51 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 228680 0 0 0 4435 665 0 0 20 0 1 0 167905805 1225728000 271090 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 299250 271090 2687 2900 0 295764 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1197000 KiB
Current children cumulated memory: 1084360 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/256 912874
/proc/meminfo: memFree=122735812/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1197000 memory=1084464 CPUtime=102.11 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 228736 0 0 0 8711 1500 0 0 20 0 1 0 167905805 1225728000 271116 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 299250 271116 2687 2900 0 295764 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 1197000 KiB
Current children cumulated memory: 1084464 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/258 912888
/proc/meminfo: memFree=121873344/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1319752 memory=1217876 CPUtime=162 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 252860 0 0 0 13797 2403 0 0 20 0 1 0 167905805 1351426048 304469 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 329938 304469 2911 2900 0 326452 0
Current children cumulated CPU time: 162 s
Current children cumulated vsize: 1319752 KiB
Current children cumulated memory: 1217876 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 912899
/proc/meminfo: memFree=121474580/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1350792 memory=1260692 CPUtime=221.88 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 260507 0 0 0 18815 3373 0 0 20 0 1 0 167905805 1383211008 315173 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 337698 315173 2911 2900 0 334212 0
Current children cumulated CPU time: 221.88 s
Current children cumulated vsize: 1350792 KiB
Current children cumulated memory: 1260692 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/259 912913
/proc/meminfo: memFree=120984364/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1434312 memory=1346184 CPUtime=281.76 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 274361 0 0 0 23893 4283 0 0 20 0 1 0 167905805 1468735488 336546 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 358578 336546 2927 2900 0 355092 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 1434312 KiB
Current children cumulated memory: 1346184 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/259 912925
/proc/meminfo: memFree=120542740/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1493660 memory=1406840 CPUtime=341.66 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 283414 0 0 0 29011 5155 0 0 20 0 1 0 167905805 1529507840 351710 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 373415 351710 2927 2900 0 369929 0
Current children cumulated CPU time: 341.66 s
Current children cumulated vsize: 1493660 KiB
Current children cumulated memory: 1406840 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 912935
/proc/meminfo: memFree=119783720/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1543616 memory=1459420 CPUtime=401.54 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 291026 0 0 0 34159 5995 0 0 20 0 1 0 167905805 1580662784 364855 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 385904 364855 2927 2900 0 382418 0
Current children cumulated CPU time: 401.54 s
Current children cumulated vsize: 1543616 KiB
Current children cumulated memory: 1459420 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 912947
/proc/meminfo: memFree=119020620/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=1758864 memory=1675288 CPUtime=461.42 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 324573 0 0 0 39433 6709 0 0 20 0 1 0 167905805 1801076736 418822 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 439716 418822 2927 2900 0 436230 0

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

Current children cumulated memory: 5784584 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 914631
/proc/meminfo: memFree=106525856/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=6176552 memory=5832200 CPUtime=2915.98 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 985947 0 0 0 276135 15463 0 0 20 0 1 0 167905805 6324789248 1458050 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1544138 1458050 2943 2900 0 1540652 0
Current children cumulated CPU time: 2915.98 s
Current children cumulated vsize: 6176552 KiB
Current children cumulated memory: 5832200 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 914644
/proc/meminfo: memFree=106065096/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=6178292 memory=5893400 CPUtime=2975.87 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1000235 0 0 0 281885 15702 0 0 20 0 1 0 167905805 6326571008 1473350 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1544573 1473350 2943 2900 0 1541087 0
Current children cumulated CPU time: 2975.87 s
Current children cumulated vsize: 6178292 KiB
Current children cumulated memory: 5893400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 914654
/proc/meminfo: memFree=105730000/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=6745820 memory=6072728 CPUtime=3035.76 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1012908 0 0 0 287793 15783 0 0 20 0 1 0 167905805 6907719680 1518182 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1686455 1518182 2943 2900 0 1682969 0
Current children cumulated CPU time: 3035.76 s
Current children cumulated vsize: 6745820 KiB
Current children cumulated memory: 6072728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.18 4.11 5/256 914666
/proc/meminfo: memFree=105464160/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=6745820 memory=6247372 CPUtime=3095.65 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1024464 0 0 0 293693 15872 0 0 20 0 1 0 167905805 6907719680 1561843 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1686455 1561843 2943 2900 0 1682969 0
Current children cumulated CPU time: 3095.65 s
Current children cumulated vsize: 6745820 KiB
Current children cumulated memory: 6247372 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/256 914676
/proc/meminfo: memFree=104693864/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=7861004 memory=6967404 CPUtime=3155.54 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1183334 0 0 0 299426 16128 0 0 20 0 1 0 167905805 8049668096 1741851 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1965251 1741851 2943 2900 0 1961765 0
Current children cumulated CPU time: 3155.54 s
Current children cumulated vsize: 7861004 KiB
Current children cumulated memory: 6967404 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/255 914686
/proc/meminfo: memFree=104605280/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=7915092 memory=7043748 CPUtime=3215.4 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1209859 0 0 0 305324 16216 0 0 20 0 1 0 167905805 8105054208 1760937 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1978773 1760937 2943 2900 0 1975287 0
Current children cumulated CPU time: 3215.4 s
Current children cumulated vsize: 7915092 KiB
Current children cumulated memory: 7043748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/258 914703
/proc/meminfo: memFree=104393000/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=7965664 memory=7094488 CPUtime=3275.28 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1223577 0 0 0 311160 16368 0 0 20 0 1 0 167905805 8156839936 1773622 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1991416 1773622 2943 2900 0 1987930 0
Current children cumulated CPU time: 3275.28 s
Current children cumulated vsize: 7965664 KiB
Current children cumulated memory: 7094488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/258 914713
/proc/meminfo: memFree=104259012/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=7977012 memory=7170288 CPUtime=3335.16 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1231862 0 0 0 316974 16542 0 0 20 0 1 0 167905805 8168460288 1792572 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1994253 1792572 2943 2900 0 1990767 0
Current children cumulated CPU time: 3335.16 s
Current children cumulated vsize: 7977012 KiB
Current children cumulated memory: 7170288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.45 4.22 4.13 5/258 914723
/proc/meminfo: memFree=103927044/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=7977012 memory=7323028 CPUtime=3395.04 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1245154 0 0 0 322878 16626 0 0 20 0 1 0 167905805 8168460288 1830757 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1994253 1830757 2943 2900 0 1990767 0
Current children cumulated CPU time: 3395.04 s
Current children cumulated vsize: 7977012 KiB
Current children cumulated memory: 7323028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/258 914736
/proc/meminfo: memFree=103555608/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=7977012 memory=7488096 CPUtime=3454.93 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1259587 0 0 0 328788 16705 0 0 20 0 1 0 167905805 8168460288 1872024 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 1994253 1872024 2943 2900 0 1990767 0
Current children cumulated CPU time: 3454.93 s
Current children cumulated vsize: 7977012 KiB
Current children cumulated memory: 7488096 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/258 914747
/proc/meminfo: memFree=103161536/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=8899248 memory=7671740 CPUtime=3514.81 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1276428 0 0 0 334637 16844 0 0 20 0 1 0 167905805 9112829952 1917935 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 2224812 1917935 2943 2900 0 2221326 0
Current children cumulated CPU time: 3514.81 s
Current children cumulated vsize: 8899248 KiB
Current children cumulated memory: 7671740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/255 914757
/proc/meminfo: memFree=102894524/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=8968792 memory=7782072 CPUtime=3574.69 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1297008 0 0 0 340524 16945 0 0 20 0 1 0 167905805 9184043008 1945518 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 2242198 1945518 2943 2900 0 2238712 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 8968792 KiB
Current children cumulated memory: 7782072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.7 s]
/proc/loadavg: 4.07 4.15 4.11 5/255 914763
/proc/meminfo: memFree=102818940/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=9007196 memory=7820476 CPUtime=3600.03 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1306393 0 0 0 343012 16991 0 0 20 0 1 0 167905805 9223368704 1955119 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 2251799 1955119 2943 2900 0 2248313 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9007196 KiB
Current children cumulated memory: 7820476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3430.13 s, system=170.004 s

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

[startup+3607.7 s]
/proc/loadavg: 4.07 4.15 4.11 5/255 914763
/proc/meminfo: memFree=102818940/131524600 swapFree=131071996/131071996
[pid=912750] ppid=912747 vsize=9007196 memory=7820476 CPUtime=3600.03 cores=4,6
/proc/912750/stat : 912750 (ipbhs_static_sc) R 912747 912750 910741 0 -1 4194304 1306393 0 0 0 343012 16991 0 0 20 0 1 0 167905805 9223368704 1955119 134679101440 4194304 16068861 140722818577984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 45404160 140722818585638 140722818585725 140722818585725 140722818592740 0
/proc/912750/statm: 2251799 1955119 2943 2900 0 2248313 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 9007196 KiB
Current children cumulated memory: 7820476 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.79
CPU time (s): 3600.13
CPU user time (s): 3430.13
CPU system time (s): 170.004
CPU usage (%): 99.7877
Max. virtual memory (cumulated for all children) (KiB): 9007196
Max. memory (cumulated for all children) (KiB): 7820476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3430.13
system time used= 170.004
maximum resident set size= 7820476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1306393
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= 104
involuntary context switches= 2437


# summary of solver processes directly reported to runsolver:
#   pid: 912750
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3430.13
#   total CPU system time (s): 170.004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85953 second user time and 16.2924 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-16 21:16:30
IDJOB=4432036
IDBENCH=158163
IDSOLVER=3057
FILE ID=nodeC030/4432036-1721157376
RUNJOBID= nodeC030-1721153783-910752
SLURM_JOB_ID= 7505759
Free space on /tmp= 889836 MiB

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

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

MD5SUM BENCH= 94679b926e0f98030bd662dace4c9342
RANDOM SEED=251267863

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		: 3676.911
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		: 3627.905
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		: 3599.648
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		: 3679.585
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		: 3670.076
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		: 3678.790
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		: 3678.502
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.673
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:        121616296 kB
MemAvailable:   123307932 kB
Buffers:          409348 kB
Cached:          2105508 kB
SwapCached:            0 kB
Active:           994592 kB
Inactive:        8274496 kB
Active(anon):       1532 kB
Inactive(anon):  6790428 kB
Active(file):     993060 kB
Inactive(file):  1484068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            158200 kB
Writeback:             0 kB
AnonPages:       6753892 kB
Mapped:           127232 kB
Shmem:             37720 kB
KReclaimable:     108664 kB
Slab:             217128 kB
SReclaimable:     108664 kB
SUnreclaim:       108464 kB
KernelStack:        4012 kB
PageTables:        22184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7516072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4102144 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= 889572 MiB
End job on nodeC030 at 2024-07-16 22:16:38