Trace number 4460372

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
RoundingSat log (2)? (TO) 3602.08 3615.28

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
MD5SUMa008918ff26f135f427f5632a2cbbc59
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
2.66/2.80	c #variables 15312 #constraints 65280
17.83/18.07	c bounds - >= 0 @ 2.52732
17.83/18.07	c bounds 1184 >= 0 @ 11.1639
17.83/18.07	c bounds 1184 >= 1 @ 11.172
17.83/18.07	c bounds 1184 >= 2 @ 11.1794
17.83/18.07	c bounds 1184 >= 3 @ 11.1863
17.83/18.07	c bounds 1184 >= 4 @ 11.1955
17.83/18.07	c bounds 1184 >= 5 @ 11.2048
17.83/18.07	c bounds 1184 >= 6 @ 11.2123
17.83/18.07	c bounds 1184 >= 7 @ 11.2192
17.83/18.07	c bounds 1184 >= 8 @ 11.2301
17.83/18.07	c bounds 1184 >= 9 @ 11.2389
17.83/18.07	c bounds 1184 >= 10 @ 11.2483
17.83/18.07	c bounds 1184 >= 11 @ 11.2547
17.83/18.07	c bounds 1184 >= 12 @ 11.2631
17.83/18.07	c bounds 1184 >= 13 @ 11.2737
17.83/18.07	c bounds 1184 >= 14 @ 11.2817
17.83/18.07	c bounds 1184 >= 15 @ 11.2917
17.83/18.07	c bounds 1184 >= 16 @ 11.3029
17.83/18.07	c bounds 1184 >= 17 @ 11.3125
17.83/18.07	c bounds 1184 >= 18 @ 11.3241
17.83/18.07	c bounds 1184 >= 19 @ 11.3398
17.83/18.07	c bounds 1184 >= 20 @ 11.3513
17.83/18.07	c bounds 1184 >= 21 @ 11.3607
17.83/18.07	c bounds 1184 >= 22 @ 11.371
17.83/18.07	c bounds 1184 >= 23 @ 11.3811
17.83/18.07	c bounds 1184 >= 24 @ 11.4012
17.83/18.07	c bounds 1184 >= 25 @ 11.431
17.83/18.07	c bounds 1184 >= 26 @ 11.6296
17.83/18.07	c bounds 1183 >= 26 @ 11.7227
17.83/18.07	c bounds 1182 >= 26 @ 11.7595
17.83/18.07	c bounds 1181 >= 26 @ 11.8171
17.83/18.07	c bounds 1180 >= 26 @ 11.8431
17.83/18.07	c bounds 1179 >= 26 @ 11.9027
17.83/18.07	c bounds 1178 >= 26 @ 11.9202
17.83/18.07	c bounds 1177 >= 26 @ 11.9437
17.83/18.07	c bounds 1176 >= 26 @ 11.9791
17.83/18.07	c bounds 1175 >= 26 @ 11.9917
17.83/18.07	c bounds 1174 >= 26 @ 12.0039
17.83/18.07	c bounds 1173 >= 26 @ 12.0174
17.83/18.07	c bounds 1172 >= 26 @ 12.0336
17.83/18.07	c bounds 1171 >= 26 @ 12.0454
17.83/18.07	c bounds 1170 >= 26 @ 12.064
17.83/18.07	c bounds 1169 >= 26 @ 12.081
17.83/18.07	c #Conflicts:       1000 | #Constraints:      66458
17.83/18.07	c bounds 1169 >= 27 @ 13.3273
17.83/18.07	c bounds 1168 >= 27 @ 13.3872
17.83/18.07	c bounds 1167 >= 27 @ 13.4229
17.83/18.07	c bounds 1166 >= 27 @ 13.4598
17.83/18.07	c bounds 1165 >= 27 @ 13.4899
17.83/18.07	c bounds 1164 >= 27 @ 13.5267
17.83/18.07	c bounds 1163 >= 27 @ 13.5738
17.83/18.07	c bounds 1162 >= 27 @ 13.6262
17.83/18.07	c bounds 1161 >= 27 @ 13.6567
17.83/18.07	c bounds 1160 >= 27 @ 13.6773
17.83/18.07	c bounds 1159 >= 27 @ 13.7052
17.83/18.07	c bounds 1158 >= 27 @ 13.7253
17.83/18.07	c bounds 1157 >= 27 @ 13.7394
17.83/18.07	c bounds 1156 >= 27 @ 13.7525
17.83/18.07	c bounds 1155 >= 27 @ 13.7603
17.83/18.07	c bounds 1154 >= 27 @ 13.7767
17.83/18.07	c bounds 1153 >= 27 @ 13.7937
17.83/18.07	c bounds 1152 >= 27 @ 13.8152
17.83/18.07	c bounds 1151 >= 27 @ 13.8425
17.83/18.07	c bounds 1150 >= 27 @ 13.8653
17.83/18.07	c bounds 1149 >= 27 @ 13.8935
17.83/18.07	c bounds 1148 >= 27 @ 13.9158
17.83/18.07	c bounds 1147 >= 27 @ 13.9377
17.83/18.07	c bounds 1146 >= 27 @ 13.9609
17.83/18.07	c bounds 1145 >= 27 @ 13.9844
17.83/18.07	c bounds 1144 >= 27 @ 14.0086
17.83/18.07	c bounds 1143 >= 27 @ 14.0374
17.83/18.07	c bounds 1142 >= 27 @ 14.0661
17.83/18.07	c bounds 1141 >= 27 @ 14.0844
17.83/18.07	c bounds 1140 >= 27 @ 14.1254
17.83/18.07	c bounds 1139 >= 27 @ 14.1588
17.83/18.07	c bounds 1138 >= 27 @ 14.1787
17.83/18.07	c bounds 1137 >= 27 @ 14.2028
17.83/18.07	c bounds 1136 >= 27 @ 14.2196
17.83/18.07	c bounds 1135 >= 27 @ 14.2397
17.83/18.07	c bounds 1134 >= 27 @ 14.2532
17.83/18.07	c bounds 1133 >= 27 @ 14.2743
17.83/18.07	c bounds 1132 >= 27 @ 14.2869
17.83/18.07	c bounds 1131 >= 27 @ 14.3007
17.83/18.07	c bounds 1130 >= 27 @ 14.3123
17.83/18.07	c bounds 1129 >= 27 @ 14.3286
17.83/18.07	c bounds 1128 >= 27 @ 14.3432
17.83/18.07	c bounds 1127 >= 27 @ 14.3663
17.83/18.07	c bounds 1126 >= 27 @ 14.4064
17.83/18.07	c bounds 1125 >= 27 @ 14.4479
17.83/18.07	c bounds 1124 >= 27 @ 14.4704
17.83/18.07	c bounds 1123 >= 27 @ 14.4977
17.83/18.07	c bounds 1122 >= 27 @ 14.5226
17.83/18.07	c bounds 1121 >= 27 @ 14.5465
17.83/18.07	c bounds 1120 >= 27 @ 14.5728
17.83/18.07	c bounds 1119 >= 27 @ 14.6034
17.83/18.07	c bounds 1118 >= 27 @ 14.627
17.83/18.07	c bounds 1117 >= 27 @ 14.6474
17.83/18.07	c bounds 1116 >= 27 @ 14.6684
17.83/18.07	c bounds 1115 >= 27 @ 14.6878
17.83/18.07	c bounds 1114 >= 27 @ 14.7201
17.83/18.07	c bounds 1113 >= 27 @ 14.7696
17.83/18.07	c bounds 1112 >= 27 @ 14.8224
17.83/18.07	c bounds 1111 >= 27 @ 14.8432
17.83/18.07	c bounds 1110 >= 27 @ 14.8652
17.83/18.07	c bounds 1109 >= 27 @ 14.887
17.83/18.07	c bounds 1108 >= 27 @ 14.908
17.83/18.07	c bounds 1107 >= 27 @ 14.9338
17.83/18.07	c bounds 1106 >= 27 @ 14.9468
17.83/18.07	c bounds 1105 >= 27 @ 14.965
17.83/18.07	c bounds 1104 >= 27 @ 14.9854
17.83/18.07	c bounds 1103 >= 27 @ 15.0031
17.83/18.07	c bounds 1102 >= 27 @ 15.0187
17.83/18.07	c bounds 1101 >= 27 @ 15.0392
17.83/18.07	c bounds 1100 >= 27 @ 15.0558
17.83/18.07	c bounds 1099 >= 27 @ 15.0713
17.83/18.07	c bounds 1098 >= 27 @ 15.0883
17.83/18.07	c bounds 1097 >= 27 @ 15.1072
17.83/18.07	c bounds 1096 >= 27 @ 15.1216
17.83/18.07	c bounds 1095 >= 27 @ 15.1383
17.83/18.07	c bounds 1094 >= 27 @ 15.1599
17.83/18.07	c bounds 1093 >= 27 @ 15.1777
17.83/18.07	c bounds 1092 >= 27 @ 15.192
17.83/18.07	c bounds 1091 >= 27 @ 15.206
17.83/18.07	c bounds 1090 >= 27 @ 15.2251
17.83/18.07	c bounds 1089 >= 27 @ 15.2432
17.83/18.07	c bounds 1088 >= 27 @ 15.261
17.83/18.07	c bounds 1087 >= 27 @ 15.2766
17.83/18.07	c bounds 1086 >= 27 @ 15.2916
17.83/18.07	c bounds 1085 >= 27 @ 15.3056
17.83/18.07	c bounds 1084 >= 27 @ 15.3269
17.83/18.07	c bounds 1083 >= 27 @ 15.3432
17.83/18.07	c bounds 1082 >= 27 @ 15.3662
17.83/18.07	c bounds 1081 >= 27 @ 15.4116
17.83/18.07	c bounds 1080 >= 27 @ 15.4372
17.83/18.07	c bounds 1079 >= 27 @ 15.4657
17.83/18.07	c bounds 1078 >= 27 @ 15.5054
17.83/18.07	c bounds 1077 >= 27

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460372-1722068484/watcher-4460372-1722068484 -o /tmp/evaluation-result-4460372-1722068484/solver-4460372-1722068484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722064837-298846 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460372-1722068484 --lp-cut-gomory=0 HOME/instance-4460372-1722068484.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=301074, runsolver pid=301071
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.13 4.09 4.02 4/245 301075
/proc/meminfo: memFree=123157200/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=37376 memory=2452 CPUtime=0 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 1078198272 214 0 0 0 0 0 0 0 20 0 1 0 42837872 38273024 613 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 9344 613 556 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2452 KiB

[startup+0.219508 s]*
/proc/loadavg: 4.13 4.09 4.02 5/245 301075
/proc/meminfo: memFree=123143724/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=40964 memory=9888 CPUtime=0.1 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 1830 0 0 0 10 0 0 0 20 0 1 0 42837872 41947136 2472 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 10241 2472 1342 992 0 2099 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 9888 KiB

[startup+0.309511 s]*
/proc/loadavg: 4.13 4.09 4.02 5/245 301075
/proc/meminfo: memFree=123134200/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=40964 memory=12200 CPUtime=0.19 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 1889 0 0 0 18 1 0 0 20 0 1 0 42837872 41947136 3050 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 10241 3050 1342 992 0 2099 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 12200 KiB

[startup+0.700248 s]
/proc/loadavg: 4.13 4.09 4.02 5/245 301075
/proc/meminfo: memFree=123119948/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=40964 memory=12724 CPUtime=0.56 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 2025 0 0 0 53 3 0 0 20 0 1 0 42837872 41947136 3181 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 10241 3181 1342 992 0 2099 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 40964 KiB
Current children cumulated memory: 12724 KiB

[startup+1.5003 s]
/proc/loadavg: 4.13 4.09 4.02 5/245 301075
/proc/meminfo: memFree=123082988/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=48104 memory=18492 CPUtime=1.37 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 2956 0 0 0 130 7 0 0 20 0 1 0 42837872 49258496 4623 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 12026 4623 1342 992 0 3884 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 48104 KiB
Current children cumulated memory: 18492 KiB

[startup+3.11322 s]
/proc/loadavg: 4.12 4.09 4.02 5/245 301075
/proc/meminfo: memFree=122751588/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=447184 memory=379028 CPUtime=2.98 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 43178 0 0 0 270 28 0 0 20 0 1 0 42837872 457916416 94245 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 111796 94245 1710 992 0 103654 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 447184 KiB
Current children cumulated memory: 379028 KiB

[startup+6.30033 s]
/proc/loadavg: 4.12 4.09 4.02 2/245 301076
/proc/meminfo: memFree=122572932/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=406004 memory=373148 CPUtime=6.15 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 44990 0 0 0 581 34 0 0 20 0 1 0 42837872 415748096 93287 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 101501 93287 1758 992 0 93359 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 406004 KiB
Current children cumulated memory: 373148 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.02 2/245 301076
/proc/meminfo: memFree=122566432/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=406004 memory=379292 CPUtime=12.53 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 45084 0 0 0 1177 76 0 0 20 0 1 0 42837872 415748096 94823 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 101501 94823 1758 992 0 93359 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 406004 KiB
Current children cumulated memory: 379292 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.08 4.02 2/227 301157
/proc/meminfo: memFree=123005352/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=534900 memory=506384 CPUtime=25.27 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 57739 0 0 0 2203 324 0 0 20 0 1 0 42837872 547737600 126596 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 133725 126596 1869 992 0 125583 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 534900 KiB
Current children cumulated memory: 506384 KiB

[startup+51.1136 s]
/proc/loadavg: 4.13 4.09 4.02 5/245 301224
/proc/meminfo: memFree=118923344/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=629600 memory=596612 CPUtime=50.79 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 63863 0 0 0 4748 331 0 0 20 0 1 0 42837872 644710400 149153 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 157400 149153 1869 992 0 149258 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 629600 KiB
Current children cumulated memory: 596612 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.11 4.03 5/246 301235
/proc/meminfo: memFree=113991352/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=731344 memory=687604 CPUtime=101.81 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 65753 0 0 0 9846 335 0 0 20 0 1 0 42837872 748896256 171901 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 182836 171901 1869 992 0 174694 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 731344 KiB
Current children cumulated memory: 687604 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/246 301245
/proc/meminfo: memFree=110629716/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=852984 memory=793084 CPUtime=161.62 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 68454 0 0 0 15820 342 0 0 20 0 1 0 42837872 873455616 198271 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 213246 198271 1869 992 0 205104 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 852984 KiB
Current children cumulated memory: 793084 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 4.15 4.04 5/246 301255
/proc/meminfo: memFree=109551584/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=904848 memory=865604 CPUtime=221.46 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 71886 0 0 0 21797 349 0 0 20 0 1 0 42837872 926564352 216401 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 226212 216401 1869 992 0 218070 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 904848 KiB
Current children cumulated memory: 865604 KiB

[startup+282.3 s]
/proc/loadavg: 4.88 4.33 4.11 5/244 301651
/proc/meminfo: memFree=105173728/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=1009452 memory=915664 CPUtime=281.28 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 76474 0 0 0 27771 357 0 0 20 0 1 0 42837872 1033678848 228916 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 252363 228916 1869 992 0 244221 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1009452 KiB
Current children cumulated memory: 915664 KiB

[startup+342.3 s]
/proc/loadavg: 4.84 4.41 4.15 5/245 301662
/proc/meminfo: memFree=103172948/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=1057772 memory=964772 CPUtime=341.1 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 79813 0 0 0 33746 364 0 0 20 0 1 0 42837872 1083158528 241193 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 264443 241193 1869 992 0 256301 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 1057772 KiB
Current children cumulated memory: 964772 KiB

[startup+402.3 s]
/proc/loadavg: 4.85 4.50 4.20 5/245 301672
/proc/meminfo: memFree=96946488/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=1091696 memory=1000996 CPUtime=400.9 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 81852 0 0 0 39717 373 0 0 20 0 1 0 42837872 1117896704 250249 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 272924 250249 1869 992 0 264782 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 1091696 KiB
Current children cumulated memory: 1000996 KiB

[startup+462.3 s]
/proc/loadavg: 4.36 4.42 4.19 5/252 301858
/proc/meminfo: memFree=93518168/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=1163544 memory=1087920 CPUtime=460.72 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 85456 0 0 0 45692 380 0 0 20 0 1 0 42837872 1191469056 271980 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 290886 271980 1869 992 0 282744 0

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

[startup+3102.3 s]
/proc/loadavg: 4.88 4.34 4.24 5/248 303037
/proc/meminfo: memFree=79684840/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2306964 memory=1969516 CPUtime=3091.35 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 172006 0 0 0 308556 579 0 0 20 0 1 0 42837872 2362331136 492379 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 576741 492379 1869 992 0 568599 0
Current children cumulated CPU time: 3091.35 s
Current children cumulated vsize: 2306964 KiB
Current children cumulated memory: 1969516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.41 4.31 4.24 5/245 303047
/proc/meminfo: memFree=79579184/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2319876 memory=1995972 CPUtime=3151.12 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 174849 0 0 0 314531 581 0 0 20 0 1 0 42837872 2375553024 498993 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 579969 498993 1869 992 0 571827 0
Current children cumulated CPU time: 3151.12 s
Current children cumulated vsize: 2319876 KiB
Current children cumulated memory: 1995972 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.25 4.22 5/243 303057
/proc/meminfo: memFree=79477504/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2319876 memory=1995976 CPUtime=3210.91 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 175049 0 0 0 320509 582 0 0 20 0 1 0 42837872 2375553024 498994 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 579969 498994 1869 992 0 571827 0
Current children cumulated CPU time: 3210.91 s
Current children cumulated vsize: 2319876 KiB
Current children cumulated memory: 1995976 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.23 4.21 5/242 303068
/proc/meminfo: memFree=79460452/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2319876 memory=1995976 CPUtime=3270.69 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 175395 0 0 0 326487 582 0 0 20 0 1 0 42837872 2375553024 498994 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 579969 498994 1869 992 0 571827 0
Current children cumulated CPU time: 3270.69 s
Current children cumulated vsize: 2319876 KiB
Current children cumulated memory: 1995976 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.20 4.20 5/242 303078
/proc/meminfo: memFree=79283408/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2332800 memory=2012340 CPUtime=3330.46 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 178098 0 0 0 332453 593 0 0 20 0 1 0 42837872 2388787200 503085 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 583200 503085 1869 992 0 575058 0
Current children cumulated CPU time: 3330.46 s
Current children cumulated vsize: 2332800 KiB
Current children cumulated memory: 2012340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.18 4.19 6/241 303088
/proc/meminfo: memFree=78777244/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2339832 memory=2021324 CPUtime=3390.23 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 179987 0 0 0 338429 594 0 0 20 0 1 0 42837872 2395987968 505331 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 584958 505331 1869 992 0 576816 0
Current children cumulated CPU time: 3390.23 s
Current children cumulated vsize: 2339832 KiB
Current children cumulated memory: 2021324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.18 5/249 303107
/proc/meminfo: memFree=78047712/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2339832 memory=2021324 CPUtime=3450.02 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 180371 0 0 0 344406 596 0 0 20 0 1 0 42837872 2395987968 505331 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 584958 505331 1869 992 0 576816 0
Current children cumulated CPU time: 3450.02 s
Current children cumulated vsize: 2339832 KiB
Current children cumulated memory: 2021324 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/250 303118
/proc/meminfo: memFree=77434316/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2339832 memory=2021324 CPUtime=3509.79 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 180714 0 0 0 350381 598 0 0 20 0 1 0 42837872 2395987968 505331 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 584958 505331 1869 992 0 576816 0
Current children cumulated CPU time: 3509.79 s
Current children cumulated vsize: 2339832 KiB
Current children cumulated memory: 2021324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/251 303131
/proc/meminfo: memFree=76707668/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2370428 memory=2072488 CPUtime=3569.57 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 185030 0 0 0 356347 610 0 0 20 0 1 0 42837872 2427318272 518122 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 592607 518122 1869 992 0 584465 0
Current children cumulated CPU time: 3569.57 s
Current children cumulated vsize: 2370428 KiB
Current children cumulated memory: 2072488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 4.12 4.16 4.18 5/251 303136
/proc/meminfo: memFree=75725788/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2381640 memory=2095560 CPUtime=3600.07 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 187744 0 0 0 359395 612 0 0 20 0 1 0 42837872 2438799360 523890 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 595410 523890 1869 992 0 587268 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2381640 KiB
Current children cumulated memory: 2095560 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3615.28 s]
# the end of solver process 301074 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3595.94 s, system=6.14401 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3613.6 s]
/proc/loadavg: 4.11 4.15 4.17 5/251 303136
/proc/meminfo: memFree=75690456/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2381640 memory=2095560 CPUtime=3600.76 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 187746 0 0 0 359464 612 0 0 20 0 1 0 42837872 2438799360 523890 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 595410 523890 1869 992 0 587268 0
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 2381640 KiB
Current children cumulated memory: 2095560 KiB

[startup+3614.4 s]
/proc/loadavg: 4.11 4.15 4.17 5/251 303136
/proc/meminfo: memFree=75662284/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2381640 memory=2095560 CPUtime=3601.55 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 187746 0 0 0 359543 612 0 0 20 0 1 0 42837872 2438799360 523890 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 595410 523890 1869 992 0 587268 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 2381640 KiB
Current children cumulated memory: 2095560 KiB

[startup+3614.8 s]
/proc/loadavg: 4.11 4.15 4.17 5/251 303136
/proc/meminfo: memFree=75662284/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2381640 memory=2095560 CPUtime=3601.95 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 187746 0 0 0 359583 612 0 0 20 0 1 0 42837872 2438799360 523890 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 595410 523890 1869 992 0 587268 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 2381640 KiB
Current children cumulated memory: 2095560 KiB

[startup+3614.9 s]
/proc/loadavg: 4.11 4.15 4.17 5/251 303136
/proc/meminfo: memFree=75662284/131655788 swapFree=131060916/131071996
[pid=301074] ppid=301071 vsize=2381640 memory=2095560 CPUtime=3602.05 cores=1,3
/proc/301074/stat : 301074 (roundingsat) R 301071 301074 298834 0 -1 4194304 187746 0 0 0 359593 612 0 0 20 0 1 0 42837872 2438799360 523890 134679101440 4194304 8254357 140722322452368 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22716416 140722322457439 140722322457701 140722322457701 140722322464713 0
/proc/301074/statm: 595410 523890 1869 992 0 587268 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 2381640 KiB
Current children cumulated memory: 2095560 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3615.28
CPU time (s): 3602.08
CPU user time (s): 3595.94
CPU system time (s): 6.14401
CPU usage (%): 99.635
Max. virtual memory (cumulated for all children) (KiB): 2487388
Max. memory (cumulated for all children) (KiB): 2095560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.94
system time used= 6.14401
maximum resident set size= 2095560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 135936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 5865


# summary of solver processes directly reported to runsolver:
#   pid: 301074
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3595.94
#   total CPU system time (s): 6.14401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2213 second user time and 35.0333 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-27 10:21:24
IDJOB=4460372
IDBENCH=155399
IDSOLVER=3086
FILE ID=nodeC007/4460372-1722068484
RUNJOBID= nodeC007-1722064837-298846
SLURM_JOB_ID= 8248109
Free space on /tmp= 723708 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460372-1722068484/watcher-4460372-1722068484 -o /tmp/evaluation-result-4460372-1722068484/solver-4460372-1722068484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722064837-298846 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460372-1722068484 --lp-cut-gomory=0 HOME/instance-4460372-1722068484.opb

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=107886715

nodeC007.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	: 0xb00001f
cpu MHz		: 3665.040
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.270
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1379.441
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3665.743
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 3663.147
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.262
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.67
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	: 0xb00001f
cpu MHz		: 1197.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123168724 kB
MemAvailable:   129282116 kB
Buffers:          378176 kB
Cached:          6442088 kB
SwapCached:          152 kB
Active:          1864288 kB
Inactive:        5801424 kB
Active(anon):       2252 kB
Inactive(anon):   896548 kB
Active(file):    1862036 kB
Inactive(file):  4904876 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:            853048 kB
Writeback:             0 kB
AnonPages:        845476 kB
Mapped:           100384 kB
Shmem:             53304 kB
KReclaimable:     373356 kB
Slab:             510044 kB
SReclaimable:     373356 kB
SUnreclaim:       136688 kB
KernelStack:        3968 kB
PageTables:        11456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1117552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723516 MiB
End job on nodeC007 at 2024-07-27 11:21:40