Trace number 4446487

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 NameAnswerCPU timeWall clock time
LS-MabS 2024-07-10? 3600.01 3609.4

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K185.opb
MD5SUM8e923d8a993edfc65d984f909d6bfa9e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark43.2702
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22015
Total number of constraints22387
Number of constraints which are clauses22202
Number of constraints which are cardinality constraints (but not clauses)185
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint185
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 186
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

968.18/971.67	c Filename:instance-4446487-1721343010.opb, Cutoff_time:3600, memory_limit_gb:500000
968.18/971.67	c Not use presolve
3599.90/3609.39	c Use LS-small
3599.90/3609.39	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: 63931 MiB (59827 MiB free)
  memory of node 1: 64510 MiB (62830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446487-1721343010/watcher-4446487-1721343010 -o /tmp/evaluation-result-4446487-1721343010/solver-4446487-1721343010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721339412-998196 --watchdog 3760 ./LS-MabS -f HOME/instance-4446487-1721343010.opb -t 3600 -s 774289778 

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


[startup+0.100086 s]*
/proc/loadavg: 4.13 4.10 4.08 6/256 1000758
/proc/meminfo: memFree=125509032/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=51988 memory=32884 CPUtime=0.1 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 7634 0 0 0 9 1 0 0 20 0 1 0 186465118 53235712 8221 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 12997 8221 749 2403 0 10107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51988 KiB
Current children cumulated memory: 32884 KiB

[startup+0.205753 s]*
/proc/loadavg: 4.13 4.10 4.08 5/256 1000758
/proc/meminfo: memFree=125425732/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=130656 memory=116276 CPUtime=0.2 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 27083 0 0 0 16 4 0 0 20 0 1 0 186465118 133791744 29069 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 32664 29069 2221 2403 0 29774 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130656 KiB
Current children cumulated memory: 116276 KiB

[startup+0.305655 s]*
/proc/loadavg: 4.13 4.10 4.08 5/256 1000758
/proc/meminfo: memFree=125403060/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=150364 memory=133412 CPUtime=0.3 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 31317 0 0 0 26 4 0 0 20 0 1 0 186465118 153972736 33353 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 37591 33353 2285 2403 0 34701 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150364 KiB
Current children cumulated memory: 133412 KiB

[startup+0.700244 s]
/proc/loadavg: 4.13 4.10 4.08 5/256 1000758
/proc/meminfo: memFree=125307244/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=185644 memory=168076 CPUtime=0.69 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 41006 0 0 0 63 6 0 0 20 0 1 0 186465118 190099456 42019 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 46411 42019 2317 2403 0 43521 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 185644 KiB
Current children cumulated memory: 168076 KiB

[startup+1.50024 s]
/proc/loadavg: 4.13 4.10 4.08 5/256 1000758
/proc/meminfo: memFree=125220460/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=234768 memory=211476 CPUtime=1.48 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 50336 0 0 0 141 7 0 0 20 0 1 0 186465118 240402432 52869 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 58692 52869 2349 2403 0 55802 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 234768 KiB
Current children cumulated memory: 211476 KiB

[startup+3.10562 s]
/proc/loadavg: 4.12 4.10 4.08 5/256 1000758
/proc/meminfo: memFree=124958576/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=237676 memory=214644 CPUtime=3.09 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 51121 0 0 0 301 8 0 0 20 0 1 0 186465118 243380224 53661 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 59419 53661 2349 2403 0 56529 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 237676 KiB
Current children cumulated memory: 214644 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.10 4.08 5/256 1000804
/proc/meminfo: memFree=125905704/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=238244 memory=215168 CPUtime=6.27 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 51294 0 0 0 619 8 0 0 20 0 1 0 186465118 243961856 53792 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 59561 53792 2349 2403 0 56671 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 238244 KiB
Current children cumulated memory: 215168 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.07 5/256 1000806
/proc/meminfo: memFree=125887856/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=248036 memory=224592 CPUtime=12.66 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 53928 0 0 0 1257 9 0 0 20 0 1 0 186465118 253988864 56148 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 62009 56148 2349 2403 0 59119 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 248036 KiB
Current children cumulated memory: 224592 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.07 5/256 1000807
/proc/meminfo: memFree=125862624/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=250024 memory=226696 CPUtime=25.41 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 54446 0 0 0 2532 9 0 0 20 0 1 0 186465118 256024576 56674 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 62506 56674 2349 2403 0 59616 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 250024 KiB
Current children cumulated memory: 226696 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.08 5/256 1000813
/proc/meminfo: memFree=125702460/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=313428 memory=285612 CPUtime=50.93 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 70654 0 0 0 5081 12 0 0 20 0 1 0 186465118 320950272 71403 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 78357 71403 2445 2403 0 75467 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 313428 KiB
Current children cumulated memory: 285612 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/256 1000821
/proc/meminfo: memFree=125661100/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=326200 memory=297368 CPUtime=101.95 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 73101 0 0 0 10181 14 0 0 20 0 1 0 186465118 334028800 74342 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 81550 74342 2461 2403 0 78660 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 326200 KiB
Current children cumulated memory: 297368 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/256 1000831
/proc/meminfo: memFree=125459572/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=326200 memory=297612 CPUtime=161.73 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 73158 0 0 0 16159 14 0 0 20 0 1 0 186465118 334028800 74403 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 81550 74403 2461 2403 0 78660 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 326200 KiB
Current children cumulated memory: 297612 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/256 1000842
/proc/meminfo: memFree=125375652/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=326200 memory=298132 CPUtime=221.49 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 73256 0 0 0 22135 14 0 0 20 0 1 0 186465118 334028800 74533 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 81550 74533 2461 2403 0 78660 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 326200 KiB
Current children cumulated memory: 298132 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/256 1000853
/proc/meminfo: memFree=125356340/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=326200 memory=298132 CPUtime=281.28 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 73258 0 0 0 28113 15 0 0 20 0 1 0 186465118 334028800 74533 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 81550 74533 2461 2403 0 78660 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 326200 KiB
Current children cumulated memory: 298132 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/257 1001249
/proc/meminfo: memFree=125215912/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=422120 memory=390644 CPUtime=341.07 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 81744 0 0 0 34089 18 0 0 20 0 1 0 186465118 432250880 97661 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 105530 97661 2477 2403 0 102640 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 422120 KiB
Current children cumulated memory: 390644 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.08 5/257 1001260
/proc/meminfo: memFree=125177648/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=432324 memory=399644 CPUtime=400.85 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 84032 0 0 0 40067 18 0 0 20 0 1 0 186465118 442699776 99911 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 108081 99911 2477 2403 0 105191 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 432324 KiB
Current children cumulated memory: 399644 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/257 1001272
/proc/meminfo: memFree=125166292/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=440448 memory=405212 CPUtime=460.65 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 85521 0 0 0 46046 19 0 0 20 0 1 0 186465118 451018752 101303 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 110112 101303 2477 2403 0 107222 0

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

/proc/loadavg: 4.14 4.12 4.09 5/256 1002570
/proc/meminfo: memFree=125074852/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3213.65 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112388 0 0 0 317518 3847 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1002581
/proc/meminfo: memFree=125058180/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3273.53 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112409 0 0 0 323348 4005 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 1002591
/proc/meminfo: memFree=125054744/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3333.41 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112430 0 0 0 329172 4169 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 1002601
/proc/meminfo: memFree=125051476/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3393.3 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112451 0 0 0 334999 4331 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 1002612
/proc/meminfo: memFree=125050216/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3453.19 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112472 0 0 0 340822 4497 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 1002622
/proc/meminfo: memFree=125049840/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3513.07 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112493 0 0 0 346645 4662 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 1002632
/proc/meminfo: memFree=125049536/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3572.95 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112514 0 0 0 352471 4824 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

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

# cumulated CPU time of all completed processes:  user=3551.01 s, system=48.9963 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.09 5/254 1002632
/proc/meminfo: memFree=125049536/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3574.65 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112514 0 0 0 352636 4829 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3574.65 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1002634
/proc/meminfo: memFree=125049488/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3587.43 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112514 0 0 0 353880 4863 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3603.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 1002639
/proc/meminfo: memFree=125049460/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3593.82 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112516 0 0 0 354499 4883 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3593.82 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3606.4 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 1002639
/proc/meminfo: memFree=125049468/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3597.01 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112516 0 0 0 354809 4892 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3597.01 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3608 s]*
/proc/loadavg: 4.13 4.10 4.09 5/250 1002676
/proc/meminfo: memFree=126357964/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3598.61 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112516 0 0 0 354965 4896 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3598.61 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3608.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 1002676
/proc/meminfo: memFree=126357964/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3599.4 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112516 0 0 0 355043 4897 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3599.4 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3609.2 s]
/proc/loadavg: 4.13 4.10 4.09 4/253 1002702
/proc/meminfo: memFree=126419960/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3599.8 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112516 0 0 0 355082 4898 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3599.8 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

[startup+3609.3 s]
/proc/loadavg: 4.13 4.10 4.09 4/253 1002702
/proc/meminfo: memFree=126419960/131524600 swapFree=131071996/131071996
[pid=1000757] ppid=1000754 vsize=339280 memory=333408 CPUtime=3599.9 cores=1,3
/proc/1000757/stat : 1000757 (LS-MabS) R 1000754 1000757 998182 0 -1 4194304 112516 0 0 0 355091 4899 0 0 20 0 1 0 186465118 347422720 83352 134679101440 4194304 14036057 140736944175088 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41504768 140736944182305 140736944182406 140736944182406 140736944189422 0
/proc/1000757/statm: 84820 83352 2764 2403 0 81930 0
Current children cumulated CPU time: 3599.9 s
Current children cumulated vsize: 339280 KiB
Current children cumulated memory: 333408 KiB

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.01
CPU user time (s): 3551.01
CPU system time (s): 48.9963
CPU usage (%): 99.7399
Max. virtual memory (cumulated for all children) (KiB): 558972
Max. memory (cumulated for all children) (KiB): 547180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.01
system time used= 48.9963
maximum resident set size= 547180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112527
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= 14
involuntary context switches= 3051


# summary of solver processes directly reported to runsolver:
#   pid: 1000757
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3551.01
#   total CPU system time (s): 48.9963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87254 second user time and 17.3023 second system time

The end

Launcher Data

Begin job on nodeC022 at 2024-07-19 00:50:22
IDJOB=4446487
IDBENCH=158267
IDSOLVER=3048
FILE ID=nodeC022/4446487-1721343010
RUNJOBID= nodeC022-1721339412-998196
SLURM_JOB_ID= 7542717
Free space on /tmp= 890028 MiB

SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K185.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446487-1721343010/watcher-4446487-1721343010 -o /tmp/evaluation-result-4446487-1721343010/solver-4446487-1721343010 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721339412-998196 --watchdog 3760  ./LS-MabS -f HOME/instance-4446487-1721343010.opb -t 3600 -s 774289778 

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

MD5SUM BENCH= 8e923d8a993edfc65d984f909d6bfa9e
RANDOM SEED=774289778

nodeC022.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		: 3663.928
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.66
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		: 3661.098
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	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.153
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.66
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		: 3666.687
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	: 7006.96
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		: 3646.029
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.66
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		: 3666.803
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	: 7006.96
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		: 3663.387
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.66
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		: 3600.134
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	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125614252 kB
MemAvailable:   128127484 kB
Buffers:          490088 kB
Cached:          2849056 kB
SwapCached:            0 kB
Active:          1202944 kB
Inactive:        4056280 kB
Active(anon):       1556 kB
Inactive(anon):  1964120 kB
Active(file):    1201388 kB
Inactive(file):  2092160 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             47840 kB
Writeback:             0 kB
AnonPages:       1918988 kB
Mapped:           135008 kB
Shmem:             45912 kB
KReclaimable:     118664 kB
Slab:             233936 kB
SReclaimable:     118664 kB
SUnreclaim:       115272 kB
KernelStack:        4200 kB
PageTables:        12660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2960368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68128 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1601536 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC022 at 2024-07-19 01:50:32