Trace number 4495043

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
SynLSCD-PS 2025-06-01UNSAT 2286.31 2292.3

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940.opb
MD5SUM1e015d6c46c188cbdc8b67cd75b35286
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.10138
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 661
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 

0.00/0.01	c #vars 231 #constraints 2707 11.7186 1
0.00/0.02	c 2707 constraints
0.00/0.02	c Finish cloning data from SAT to LS
0.00/0.02	c restart_num_ls  -100000 0
10.26/10.32	c Use LS-small
10.26/10.32	c update_LS_target_phase-runLS
49.57/49.70	c restart_num  0 328
49.57/49.70	c LS-restart 90 1
143.55/143.93	c Use LS-small
143.55/143.93	c restart_num  328 765
143.55/143.93	c LS-restart 80 69
240.21/240.86	c Use LS-small
240.21/240.86	c restart_num  765 1103
240.21/240.86	c LS-restart 70 84
314.31/315.18	c Use LS-small
314.31/315.18	c restart_num  1103 1474
314.31/315.18	c LS-restart 60 93
402.14/403.21	c Use LS-small
402.14/403.21	c restart_num  1474 1845
402.14/403.21	c LS-restart 50 78
545.32/546.83	c Use LS-small
545.32/546.83	c restart_num  1845 2146
545.32/546.83	c LS-restart 40 86
613.22/614.90	c Use LS-small
613.22/614.90	c restart_num  2146 2474
613.22/614.90	c LS-restart 30 68
689.40/691.39	c Use LS-small
689.40/691.39	c restart_num  2474 2786
689.40/691.39	c LS-restart 20 70
799.82/802.18	c Use LS-small
799.82/802.18	c restart_num  2786 3104
799.82/802.18	c LS-restart 10 32
889.55/892.16	c Use LS-small
889.55/892.16	c restart_num  3104 3575
979.49/982.37	c Use LS-small
979.49/982.37	c restart_num  3575 3911
1237.96/1241.54	c Use LS-small
1237.96/1241.54	c restart_num  3911 4241
1309.59/1313.39	c Use LS-small
1309.59/1313.39	c restart_num  4241 4571
1405.57/1409.57	c Use LS-small
1405.57/1409.57	c restart_num  4571 4940
1512.32/1516.54	c Use LS-small
1512.32/1516.54	c restart_num  4940 5256
1630.05/1634.50	c Use LS-small
1630.05/1634.50	c restart_num_ls  5256 5757
1802.54/1807.46	c Use LS-small
1802.54/1807.46	c restart_num  5757 6178
1871.78/1876.90	c Use LS-small
1871.78/1876.90	c restart_num  6178 6509
1961.46/1966.76	c Use LS-small
1961.46/1966.76	c restart_num  6509 6883
2077.99/2083.55	c Use LS-small
2077.99/2083.55	c restart_num  6883 7272
2144.74/2150.41	c Use LS-small
2144.74/2150.41	c restart_num  7272 7588
2236.51/2242.43	c Use LS-small
2236.51/2242.43	c restart_num  7588 7989
2286.21/2292.30	c Use LS-small
2286.21/2292.30	s UNSATISFIABLE

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: 63665 MiB (63078 MiB free)
  memory of node 1: 64507 MiB (63541 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495043-1751152516/watcher-4495043-1751152516 -o /tmp/evaluation-result-4495043-1751152516/solver-4495043-1751152516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751143906-14446 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4495043-1751152516.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19357, runsolver pid=19354
Current StackSize limit: 8192 KiB


[startup+0.100055 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 19358
/proc/meminfo: memFree=129658436/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=86696 memory=14136 CPUtime=0.09 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 1473 0 0 0 8 1 0 0 20 0 1 0 30929493 88776704 3534 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 21674 3534 2528 595 0 6341 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86696 KiB
Current children cumulated memory: 14136 KiB

[startup+0.205201 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 19358
/proc/meminfo: memFree=129658436/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=86696 memory=14136 CPUtime=0.19 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 1473 0 0 0 17 2 0 0 20 0 1 0 30929493 88776704 3534 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 21674 3534 2528 595 0 6341 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86696 KiB
Current children cumulated memory: 14136 KiB

[startup+0.304581 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 19358
/proc/meminfo: memFree=129658436/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=86696 memory=14136 CPUtime=0.3 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 1473 0 0 0 26 4 0 0 20 0 1 0 30929493 88776704 3534 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 21674 3534 2528 595 0 6341 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86696 KiB
Current children cumulated memory: 14136 KiB

[startup+0.700093 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 19358
/proc/meminfo: memFree=129663944/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=86696 memory=14136 CPUtime=0.68 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 1473 0 0 0 58 10 0 0 20 0 1 0 30929493 88776704 3534 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 21674 3534 2528 595 0 6341 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86696 KiB
Current children cumulated memory: 14136 KiB

[startup+1.50009 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 19358
/proc/meminfo: memFree=129663944/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=86696 memory=14136 CPUtime=1.48 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 1473 0 0 0 128 20 0 0 20 0 1 0 30929493 88776704 3534 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 21674 3534 2528 595 0 6341 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86696 KiB
Current children cumulated memory: 14136 KiB

[startup+3.10455 s]
/proc/loadavg: 4.08 4.08 4.08 5/264 19358
/proc/meminfo: memFree=129663964/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=86696 memory=14136 CPUtime=3.08 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 1473 0 0 0 267 41 0 0 20 0 1 0 30929493 88776704 3534 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 21674 3534 2528 595 0 6341 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86696 KiB
Current children cumulated memory: 14136 KiB

[startup+6.30009 s]
/proc/loadavg: 4.08 4.08 4.08 5/264 19359
/proc/meminfo: memFree=129663964/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=86696 memory=14136 CPUtime=6.27 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 1473 0 0 0 546 81 0 0 20 0 1 0 30929493 88776704 3534 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 21674 3534 2528 595 0 6341 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86696 KiB
Current children cumulated memory: 14136 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.09 4.09 5/264 19359
/proc/meminfo: memFree=129663964/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=89276 memory=21512 CPUtime=12.66 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 2258 0 0 0 1130 136 0 0 20 0 1 0 30929493 91418624 5378 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 22319 5378 2560 595 0 6986 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 89276 KiB
Current children cumulated memory: 21512 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 19359
/proc/meminfo: memFree=129664468/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=90992 memory=25164 CPUtime=25.42 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 2660 0 0 0 2398 144 0 0 20 0 1 0 30929493 93175808 6291 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 22748 6291 2560 595 0 7415 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 90992 KiB
Current children cumulated memory: 25164 KiB

[startup+51.1046 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 19360
/proc/meminfo: memFree=129665476/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=92456 memory=26700 CPUtime=50.97 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 3041 0 0 0 4920 177 0 0 20 0 1 0 30929493 94674944 6675 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 23114 6675 2560 595 0 7781 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 92456 KiB
Current children cumulated memory: 26700 KiB

[startup+102.3 s]
/proc/loadavg: 4.49 4.18 4.12 5/264 19362
/proc/meminfo: memFree=129674360/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=93236 memory=27664 CPUtime=102.04 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 4149 0 0 0 9879 325 0 0 20 0 1 0 30929493 95473664 6916 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 23309 6916 2560 595 0 7976 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 93236 KiB
Current children cumulated memory: 27664 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/264 19364
/proc/meminfo: memFree=129674236/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=93676 memory=28116 CPUtime=161.91 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 5792 0 0 0 15698 493 0 0 20 0 1 0 30929493 95924224 7029 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 23419 7029 2560 595 0 8086 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 93676 KiB
Current children cumulated memory: 28116 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 19369
/proc/meminfo: memFree=129680008/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=94552 memory=28844 CPUtime=221.76 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 7657 0 0 0 21645 531 0 0 20 0 1 0 30929493 96821248 7211 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 23638 7211 2560 595 0 8305 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 94552 KiB
Current children cumulated memory: 28844 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.11 4/261 19518
/proc/meminfo: memFree=130145692/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=94984 memory=29540 CPUtime=281.6 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 9324 0 0 0 27460 700 0 0 20 0 1 0 30929493 97263616 7385 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 23746 7385 2560 595 0 8413 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 94984 KiB
Current children cumulated memory: 29540 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 19781
/proc/meminfo: memFree=130153124/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=95544 memory=29988 CPUtime=341.42 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 9551 0 0 0 33275 867 0 0 20 0 1 0 30929493 97837056 7497 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 23886 7497 2560 595 0 8553 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 95544 KiB
Current children cumulated memory: 29988 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.10 4/260 20220
/proc/meminfo: memFree=130163332/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=96072 memory=30464 CPUtime=401.25 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 10341 0 0 0 39223 902 0 0 20 0 1 0 30929493 98377728 7616 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 24018 7616 2560 595 0 8685 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 96072 KiB
Current children cumulated memory: 30464 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/265 20370
/proc/meminfo: memFree=130125860/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=96268 memory=30528 CPUtime=461.08 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 10704 0 0 0 45041 1067 0 0 20 0 1 0 30929493 98578432 7632 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 24067 7632 2560 595 0 8734 0
Current children cumulated CPU time: 461.08 s

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

/proc/loadavg: 4.07 4.08 4.09 5/264 20795
/proc/meminfo: memFree=130158148/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=99748 memory=36224 CPUtime=1897.22 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 27087 0 0 0 186107 3615 0 0 20 0 1 0 30929493 102141952 9056 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 24937 9056 2560 595 0 9604 0
Current children cumulated CPU time: 1897.22 s
Current children cumulated vsize: 99748 KiB
Current children cumulated memory: 36224 KiB

[startup+1962.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 20797
/proc/meminfo: memFree=130158044/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=99864 memory=36340 CPUtime=1957.07 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 28671 0 0 0 192061 3646 0 0 20 0 1 0 30929493 102260736 9085 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 24966 9085 2560 595 0 9633 0
Current children cumulated CPU time: 1957.07 s
Current children cumulated vsize: 99864 KiB
Current children cumulated memory: 36340 KiB

[startup+2022.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 20800
/proc/meminfo: memFree=130157808/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100316 memory=36620 CPUtime=2016.93 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 29668 0 0 0 197881 3812 0 0 20 0 1 0 30929493 102723584 9155 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25079 9155 2560 595 0 9746 0
Current children cumulated CPU time: 2016.93 s
Current children cumulated vsize: 100316 KiB
Current children cumulated memory: 36620 KiB

[startup+2082.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 20804
/proc/meminfo: memFree=130157840/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100460 memory=36780 CPUtime=2076.79 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 30643 0 0 0 203833 3846 0 0 20 0 1 0 30929493 102871040 9195 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25115 9195 2560 595 0 9782 0
Current children cumulated CPU time: 2076.79 s
Current children cumulated vsize: 100460 KiB
Current children cumulated memory: 36780 KiB

[startup+2142.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 20812
/proc/meminfo: memFree=130157636/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100460 memory=36780 CPUtime=2136.65 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 31429 0 0 0 209647 4018 0 0 20 0 1 0 30929493 102871040 9195 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25115 9195 2560 595 0 9782 0
Current children cumulated CPU time: 2136.65 s
Current children cumulated vsize: 100460 KiB
Current children cumulated memory: 36780 KiB

[startup+2202.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 20814
/proc/meminfo: memFree=130157240/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100204 memory=36800 CPUtime=2196.51 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 32071 0 0 0 215463 4188 0 0 20 0 1 0 30929493 102608896 9200 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25051 9200 2560 595 0 9718 0
Current children cumulated CPU time: 2196.51 s
Current children cumulated vsize: 100204 KiB
Current children cumulated memory: 36800 KiB

[startup+2262.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 20816
/proc/meminfo: memFree=130153484/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100620 memory=36928 CPUtime=2256.38 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 32690 0 0 0 221287 4351 0 0 20 0 1 0 30929493 103034880 9232 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25155 9232 2560 595 0 9822 0
Current children cumulated CPU time: 2256.38 s
Current children cumulated vsize: 100620 KiB
Current children cumulated memory: 36928 KiB

[startup+2292.3 s]
# the end of solver process 19357 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=2242.64 s, system=43.6727 s

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

[startup+2278.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 20818
/proc/meminfo: memFree=130152276/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100208 memory=36684 CPUtime=2272.44 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 32987 0 0 0 222884 4360 0 0 20 0 1 0 30929493 102612992 9171 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25052 9171 2560 595 0 9719 0
Current children cumulated CPU time: 2272.44 s
Current children cumulated vsize: 100208 KiB
Current children cumulated memory: 36684 KiB

[startup+2284.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 20818
/proc/meminfo: memFree=130152276/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100624 memory=36940 CPUtime=2278.82 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 33059 0 0 0 223518 4364 0 0 20 0 1 0 30929493 103038976 9235 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25156 9235 2560 595 0 9823 0
Current children cumulated CPU time: 2278.82 s
Current children cumulated vsize: 100624 KiB
Current children cumulated memory: 36940 KiB

[startup+2288 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 20818
/proc/meminfo: memFree=130152276/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100216 memory=36692 CPUtime=2282.02 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 33134 0 0 0 223837 4365 0 0 20 0 1 0 30929493 102621184 9173 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25054 9173 2560 595 0 9721 0
Current children cumulated CPU time: 2282.02 s
Current children cumulated vsize: 100216 KiB
Current children cumulated memory: 36692 KiB

[startup+2289.6 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 20818
/proc/meminfo: memFree=130152284/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100216 memory=36692 CPUtime=2283.61 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 33134 0 0 0 223995 4366 0 0 20 0 1 0 30929493 102621184 9173 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25054 9173 2560 595 0 9721 0
Current children cumulated CPU time: 2283.61 s
Current children cumulated vsize: 100216 KiB
Current children cumulated memory: 36692 KiB

[startup+2291.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 20818
/proc/meminfo: memFree=130152284/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100216 memory=36692 CPUtime=2285.2 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 33134 0 0 0 224154 4366 0 0 20 0 1 0 30929493 102621184 9173 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25054 9173 2560 595 0 9721 0
Current children cumulated CPU time: 2285.2 s
Current children cumulated vsize: 100216 KiB
Current children cumulated memory: 36692 KiB

[startup+2292 s]*
/proc/loadavg: 4.13 4.09 4.09 5/265 20818
/proc/meminfo: memFree=130152284/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100228 memory=36704 CPUtime=2286 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 33283 0 0 0 224234 4366 0 0 20 0 1 0 30929493 102633472 9176 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25057 9176 2560 595 0 9724 0
Current children cumulated CPU time: 2286 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 36704 KiB

[startup+2292.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 20818
/proc/meminfo: memFree=130152284/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100228 memory=36704 CPUtime=2286.21 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 33283 0 0 0 224254 4367 0 0 20 0 1 0 30929493 102633472 9176 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25057 9176 2560 595 0 9724 0
Current children cumulated CPU time: 2286.21 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 36704 KiB

[startup+2292.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 20818
/proc/meminfo: memFree=130152284/131250000 swapFree=33010684/33010684
[pid=19357] ppid=19354 vsize=100228 memory=27980 CPUtime=2286.31 cores=4,6
/proc/19357/stat : 19357 (SynLSCD-PS) R 19354 19357 14435 0 -1 4194304 33288 0 0 0 224264 4367 0 0 20 0 1 0 30929493 102633472 6995 18446744073709551615 94004284297216 94004286732217 140733905007488 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94004287212792 94004287245824 94004315611136 140733905008992 140733905009128 140733905009128 140733905014730 0
/proc/19357/statm: 25057 6995 2624 595 0 9724 0
Current children cumulated CPU time: 2286.31 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 27980 KiB

Child status: 20

Real time (s): 2292.3
CPU time (s): 2286.31
CPU user time (s): 2242.64
CPU system time (s): 43.6727
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 100624
Max. memory (cumulated for all children) (KiB): 36940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2242.64
system time used= 43.6727
maximum resident set size= 37204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33314
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= 143
involuntary context switches= 1766


# summary of solver processes directly reported to runsolver:
#   pid: 19357
#   total CPU time (s): 2286.31
#   total CPU user time (s): 2242.64
#   total CPU system time (s): 43.6727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79241 second user time and 8.69689 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 01:15:17
IDJOB=4495043
IDBENCH=147976
IDSOLVER=3370
FILE ID=nodeC018/4495043-1751152516
RUNJOBID= nodeC018-1751143906-14446
SLURM_JOB_ID= 9587437
Free space on /tmp= 433052 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4495043-1751152516/watcher-4495043-1751152516 -o /tmp/evaluation-result-4495043-1751152516/solver-4495043-1751152516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751143906-14446 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4495043-1751152516.opb

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

MD5SUM BENCH= 1e015d6c46c188cbdc8b67cd75b35286
RANDOM SEED=269971977

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.855
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
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		: 3599.827
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.300
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
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		: 3599.117
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.824
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
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		: 3599.818
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3628.557
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129658436 kB
MemAvailable:   129269152 kB
Buffers:            3280 kB
Cached:           385408 kB
SwapCached:            0 kB
Active:           831328 kB
Inactive:         163656 kB
Active(anon):     624372 kB
Inactive(anon):        0 kB
Active(file):     206956 kB
Inactive(file):   163656 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3580 kB
Writeback:             0 kB
AnonPages:        608872 kB
Mapped:           113972 kB
Shmem:             18076 kB
KReclaimable:      85776 kB
Slab:             168336 kB
SReclaimable:      85776 kB
SUnreclaim:        82560 kB
KernelStack:        4272 kB
PageTables:         4328 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1029772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    522240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC018 at 2025-06-29 01:53:29