Trace number 4433315

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
Exact 2024-07-05? (TO) 3600.06 3611.12

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
MD5SUM481101aa5750e702617a44583ed063de
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 benchmark204
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27552
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/3611.11	c Program interrupted by user.
3600.04/3611.11	s UNKNOWN

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: 64059 MiB (46747 MiB free)
  memory of node 1: 64510 MiB (49414 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433315-1721158507/watcher-4433315-1721158507 -o /tmp/evaluation-result-4433315-1721158507/solver-4433315-1721158507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721151296-855062 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1730551558 HOME/instance-4433315-1721158507.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
Current StackSize limit: 8192 KiB

solver pid=859112, runsolver pid=859109

[startup+0.100126 s]*
/proc/loadavg: 4.10 4.10 4.12 5/243 859113
/proc/meminfo: memFree=98454080/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=39904 memory=18068 CPUtime=0.09 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 3756 0 0 0 9 0 0 0 20 0 1 0 168007703 40861696 4517 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 9976 4517 884 1005 0 8739 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 18068 KiB

[startup+0.210734 s]*
/proc/loadavg: 4.10 4.10 4.12 5/243 859113
/proc/meminfo: memFree=98450324/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=41528 memory=21876 CPUtime=0.21 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 4224 0 0 0 20 1 0 0 20 0 1 0 168007703 42524672 5469 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 10382 5469 900 1005 0 9145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41528 KiB
Current children cumulated memory: 21876 KiB

[startup+0.310534 s]*
/proc/loadavg: 4.10 4.10 4.12 5/243 859113
/proc/meminfo: memFree=98430932/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=59636 memory=40224 CPUtime=0.31 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 8525 0 0 0 29 2 0 0 20 0 1 0 168007703 61067264 10056 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 14909 10056 1044 1005 0 13672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 40224 KiB

[startup+0.700342 s]
/proc/loadavg: 4.10 4.10 4.12 5/243 859113
/proc/meminfo: memFree=98422728/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=67352 memory=47048 CPUtime=0.69 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 10268 0 0 0 66 3 0 0 20 0 1 0 168007703 68968448 11762 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 16838 11762 1044 1005 0 15601 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67352 KiB
Current children cumulated memory: 47048 KiB

[startup+1.50034 s]
/proc/loadavg: 4.10 4.10 4.12 5/243 859115
/proc/meminfo: memFree=98417748/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=70592 memory=49880 CPUtime=1.47 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 11156 0 0 0 144 3 0 0 20 0 1 0 168007703 72286208 12470 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 17648 12470 1108 1005 0 16411 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 70592 KiB
Current children cumulated memory: 49880 KiB

[startup+3.11321 s]
/proc/loadavg: 4.10 4.10 4.12 5/243 859115
/proc/meminfo: memFree=100701360/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=74496 memory=55932 CPUtime=3.09 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 12158 0 0 0 305 4 0 0 20 0 1 0 168007703 76283904 13983 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 18624 13983 1124 1005 0 17387 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74496 KiB
Current children cumulated memory: 55932 KiB

[startup+6.30028 s]
/proc/loadavg: 4.09 4.10 4.12 5/241 859129
/proc/meminfo: memFree=106502512/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=77556 memory=63180 CPUtime=6.27 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 12937 0 0 0 623 4 0 0 20 0 1 0 168007703 79417344 15795 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 19389 15795 1124 1005 0 18152 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77556 KiB
Current children cumulated memory: 63180 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.12 4.13 5/243 859162
/proc/meminfo: memFree=106443056/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=84136 memory=70012 CPUtime=12.65 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 14668 0 0 0 1260 5 0 0 20 0 1 0 168007703 86155264 17503 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 21034 17503 1124 1005 0 19797 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 84136 KiB
Current children cumulated memory: 70012 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.09 4.12 5/243 859670
/proc/meminfo: memFree=106386612/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=91416 memory=79152 CPUtime=25.41 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 16500 0 0 0 2533 8 0 0 20 0 1 0 168007703 93609984 19788 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 22854 19788 1124 1005 0 21617 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 91416 KiB
Current children cumulated memory: 79152 KiB

[startup+51.1125 s]
/proc/loadavg: 4.03 4.08 4.12 5/241 859674
/proc/meminfo: memFree=105552508/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=99432 memory=87288 CPUtime=50.92 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 18482 0 0 0 5081 11 0 0 20 0 1 0 168007703 101818368 21822 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 24858 21822 1124 1005 0 23621 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 99432 KiB
Current children cumulated memory: 87288 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/241 859683
/proc/meminfo: memFree=104058928/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=106908 memory=96672 CPUtime=101.93 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 20356 0 0 0 10177 16 0 0 20 0 1 0 168007703 109473792 24168 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 26727 24168 1124 1005 0 25490 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 106908 KiB
Current children cumulated memory: 96672 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.11 4.12 5/241 859694
/proc/meminfo: memFree=103431960/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=117312 memory=109288 CPUtime=161.71 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 22973 0 0 0 16149 22 0 0 20 0 1 0 168007703 120127488 27322 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 29328 27322 1140 1005 0 28091 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 117312 KiB
Current children cumulated memory: 109288 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/241 859795
/proc/meminfo: memFree=110085224/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=123020 memory=114548 CPUtime=221.49 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 24353 0 0 0 22121 28 0 0 20 0 1 0 168007703 125972480 28637 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 30755 28637 1140 1005 0 29518 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 123020 KiB
Current children cumulated memory: 114548 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/241 859806
/proc/meminfo: memFree=109200140/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=142952 memory=127412 CPUtime=281.3 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 26225 0 0 0 28093 37 0 0 20 0 1 0 168007703 146382848 31853 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 35738 31853 1140 1005 0 34501 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 142952 KiB
Current children cumulated memory: 127412 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/243 859821
/proc/meminfo: memFree=108102232/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=152468 memory=136876 CPUtime=341.1 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 28613 0 0 0 34067 43 0 0 20 0 1 0 168007703 156127232 34219 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 38117 34219 1140 1005 0 36880 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 152468 KiB
Current children cumulated memory: 136876 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/243 859831
/proc/meminfo: memFree=106227320/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=157340 memory=141604 CPUtime=400.9 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 29805 0 0 0 40039 51 0 0 20 0 1 0 168007703 161116160 35401 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 39335 35401 1140 1005 0 38098 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 157340 KiB
Current children cumulated memory: 141604 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/243 859841
/proc/meminfo: memFree=106146004/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=159376 memory=143712 CPUtime=460.7 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 30319 0 0 0 46012 58 0 0 20 0 1 0 168007703 163201024 35928 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 39844 35928 1140 1005 0 38607 0

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

Current children cumulated memory: 234392 KiB

[startup+2922.3 s]
/proc/loadavg: 3.16 3.69 3.96 4/236 860925
/proc/meminfo: memFree=125735488/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=249116 memory=236136 CPUtime=2913.09 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 54355 0 0 0 290989 320 0 0 20 0 1 0 168007703 255094784 59034 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 62279 59034 1140 1005 0 61042 0
Current children cumulated CPU time: 2913.09 s
Current children cumulated vsize: 249116 KiB
Current children cumulated memory: 236136 KiB

[startup+2982.3 s]
/proc/loadavg: 3.10 3.58 3.91 4/236 860938
/proc/meminfo: memFree=125731180/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=252332 memory=239448 CPUtime=2972.91 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 55296 0 0 0 296966 325 0 0 20 0 1 0 168007703 258387968 59862 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 63083 59862 1140 1005 0 61846 0
Current children cumulated CPU time: 2972.91 s
Current children cumulated vsize: 252332 KiB
Current children cumulated memory: 239448 KiB

[startup+3042.3 s]
/proc/loadavg: 3.13 3.50 3.86 4/238 861332
/proc/meminfo: memFree=125726972/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=254356 memory=241460 CPUtime=3032.72 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 55844 0 0 0 302941 331 0 0 20 0 1 0 168007703 260460544 60365 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 63589 60365 1140 1005 0 62352 0
Current children cumulated CPU time: 3032.72 s
Current children cumulated vsize: 254356 KiB
Current children cumulated memory: 241460 KiB

[startup+3102.3 s]
/proc/loadavg: 3.05 3.41 3.80 4/237 861342
/proc/meminfo: memFree=125724504/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=256584 memory=243608 CPUtime=3092.54 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 56606 0 0 0 308915 339 0 0 20 0 1 0 168007703 262742016 60902 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 64146 60902 1140 1005 0 62909 0
Current children cumulated CPU time: 3092.54 s
Current children cumulated vsize: 256584 KiB
Current children cumulated memory: 243608 KiB

[startup+3162.3 s]
/proc/loadavg: 3.12 3.36 3.76 4/238 861356
/proc/meminfo: memFree=125721816/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=258364 memory=245140 CPUtime=3152.36 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 57223 0 0 0 314890 346 0 0 20 0 1 0 168007703 264564736 61285 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 64591 61285 1140 1005 0 63354 0
Current children cumulated CPU time: 3152.36 s
Current children cumulated vsize: 258364 KiB
Current children cumulated memory: 245140 KiB

[startup+3222.3 s]
/proc/loadavg: 3.17 3.32 3.72 4/238 861534
/proc/meminfo: memFree=125719396/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=259728 memory=246536 CPUtime=3212.2 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 57667 0 0 0 320869 351 0 0 20 0 1 0 168007703 265961472 61634 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 64932 61634 1140 1005 0 63695 0
Current children cumulated CPU time: 3212.2 s
Current children cumulated vsize: 259728 KiB
Current children cumulated memory: 246536 KiB

[startup+3282.3 s]
/proc/loadavg: 3.17 3.29 3.69 4/238 861544
/proc/meminfo: memFree=125711180/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=260528 memory=247612 CPUtime=3272.05 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 57997 0 0 0 326847 358 0 0 20 0 1 0 168007703 266780672 61903 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65132 61903 1140 1005 0 63895 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 260528 KiB
Current children cumulated memory: 247612 KiB

[startup+3342.3 s]
/proc/loadavg: 3.19 3.27 3.65 4/238 861611
/proc/meminfo: memFree=125709944/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=260672 memory=247728 CPUtime=3331.9 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 58142 0 0 0 332825 365 0 0 20 0 1 0 168007703 266928128 61932 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65168 61932 1140 1005 0 63931 0
Current children cumulated CPU time: 3331.9 s
Current children cumulated vsize: 260672 KiB
Current children cumulated memory: 247728 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.23 3.61 4/236 861621
/proc/meminfo: memFree=125708496/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=262036 memory=248944 CPUtime=3391.75 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 58570 0 0 0 338806 369 0 0 20 0 1 0 168007703 268324864 62236 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65509 62236 1140 1005 0 64272 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 262036 KiB
Current children cumulated memory: 248944 KiB

[startup+3462.3 s]
/proc/loadavg: 3.16 3.22 3.58 4/236 861631
/proc/meminfo: memFree=125706136/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=262220 memory=249428 CPUtime=3451.6 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 58771 0 0 0 344784 376 0 0 20 0 1 0 168007703 268513280 62357 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65555 62357 1140 1005 0 64318 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 262220 KiB
Current children cumulated memory: 249428 KiB

[startup+3522.3 s]
/proc/loadavg: 3.14 3.19 3.55 4/235 861641
/proc/meminfo: memFree=125700092/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=262412 memory=249556 CPUtime=3511.45 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 58911 0 0 0 350761 384 0 0 20 0 1 0 168007703 268709888 62389 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65603 62389 1140 1005 0 64366 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 262412 KiB
Current children cumulated memory: 249556 KiB

[startup+3582.3 s]
/proc/loadavg: 3.64 3.34 3.58 4/235 861653
/proc/meminfo: memFree=125698248/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=263688 memory=250752 CPUtime=3571.3 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 59317 0 0 0 356740 390 0 0 20 0 1 0 168007703 270016512 62688 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65922 62688 1140 1005 0 64685 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 263688 KiB
Current children cumulated memory: 250752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 3.44 3.32 3.56 4/235 861658
/proc/meminfo: memFree=125697240/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=263908 memory=250828 CPUtime=3600.04 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 59354 0 0 0 359610 394 0 0 20 0 1 0 168007703 270241792 62707 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65977 62707 1140 1005 0 64740 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 263908 KiB
Current children cumulated memory: 250828 KiB

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

[startup+3611.12 s]
# the end of solver process 859112 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3596.11 s, system=3.94425 s

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

[startup+3611.11 s]
/proc/loadavg: 3.44 3.32 3.56 4/235 861658
/proc/meminfo: memFree=125697240/131655788 swapFree=131071996/131071996
[pid=859112] ppid=859109 vsize=263908 memory=250828 CPUtime=3600.04 cores=1,3
/proc/859112/stat : 859112 (Exact) R 859109 859112 855050 0 -1 4194304 59354 0 0 0 359610 394 0 0 20 0 1 0 168007703 270241792 62707 134679101440 4194304 8309489 140725498937568 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 44494848 140725498946494 140725498946664 140725498946664 140725498953679 0
/proc/859112/statm: 65977 62707 1140 1005 0 64740 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 263908 KiB
Current children cumulated memory: 250828 KiB

Child status: 0

Real time (s): 3611.12
CPU time (s): 3600.06
CPU user time (s): 3596.11
CPU system time (s): 3.94425
CPU usage (%): 99.6937
Max. virtual memory (cumulated for all children) (KiB): 263908
Max. memory (cumulated for all children) (KiB): 250828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.11
system time used= 3.94425
maximum resident set size= 250828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59373
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= 80
involuntary context switches= 3217


# summary of solver processes directly reported to runsolver:
#   pid: 859112
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.11
#   total CPU system time (s): 3.94425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2662 second user time and 33.6827 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-16 21:35:20
IDJOB=4433315
IDBENCH=158396
IDSOLVER=3060
FILE ID=nodeC012/4433315-1721158507
RUNJOBID= nodeC012-1721151296-855062
SLURM_JOB_ID= 7505749
Free space on /tmp= 723676 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433315-1721158507/watcher-4433315-1721158507 -o /tmp/evaluation-result-4433315-1721158507/solver-4433315-1721158507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721151296-855062 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1730551558 HOME/instance-4433315-1721158507.opb

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

MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=1730551558

nodeC012.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		: 3676.184
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	: 6984.37
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		: 2373.034
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.32
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.515
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	: 6984.37
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		: 1200.353
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.32
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		: 3676.249
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	: 6984.37
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		: 3631.642
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.32
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.519
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	: 6984.37
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.437
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        98468824 kB
MemAvailable:   102205232 kB
Buffers:          423088 kB
Cached:          4110492 kB
SwapCached:            0 kB
Active:           897468 kB
Inactive:       31607508 kB
Active(anon):       1440 kB
Inactive(anon): 28007656 kB
Active(file):     896028 kB
Inactive(file):  3599852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6888 kB
Writeback:             0 kB
AnonPages:      27971396 kB
Mapped:           118032 kB
Shmem:             37704 kB
KReclaimable:     161120 kB
Slab:             266680 kB
SReclaimable:     161120 kB
SUnreclaim:       105560 kB
KernelStack:        3920 kB
PageTables:        65436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   30546428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53792 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12955648 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:      303944 kB
DirectMap2M:    33155072 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC012 at 2024-07-16 22:35:31