Trace number 4546294

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-07-23? (TO) 3600.42 3610.28

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K159.opb
MD5SUM27d58ce279c297ab3aeba38d0412d1d9
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 benchmark2789.9
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18921
Total number of constraints19241
Number of constraints which are clauses19082
Number of constraints which are cardinality constraints (but not clauses)159
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint159
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 160
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 

0.04/0.35	c intsize: 8
0.74/1.07	c 19241 constraints
0.74/1.07	c Finish cloning data from SAT to LS
0.74/1.07	c restart_num_ls  -100000 0
26.14/26.52	c Use LS-small
26.14/26.52	c update_LS_target_phase-runLS-restart
207.62/208.65	c restart_num  0 301
207.62/208.65	c LS-restart 90 39
228.65/229.76	c Use LS-small
228.65/229.76	c update_LS_target_phase-runLS-restart
622.86/625.23	c restart_num  301 602
622.86/625.23	c LS-restart 80 47
640.62/643.00	c Use LS-small
640.62/643.00	c update_LS_target_phase-runLS-restart
1130.96/1134.68	c restart_num  602 903
1130.96/1134.68	c LS-restart 70 98
1130.96/1134.68	c similarity no use LS 0.992125
2205.64/2212.02	c restart_num  903 1205
2205.64/2212.02	c LS-restart 70 84
2205.64/2212.02	c similarity no use LS 0.992442
2889.31/2897.41	c restart_num  1205 1506
2889.31/2897.41	c LS-restart 70 16
2908.16/2916.35	c Use LS-small
2908.16/2916.35	c update_LS_target_phase-runLS-restart
3600.03/3609.90	c Program interrupted by user.
3600.03/3609.90	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: 63665 MiB (61947 MiB free)
  memory of node 1: 64507 MiB (63265 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=204092, runsolver pid=204085

[startup+0.100062 s]*
/proc/loadavg: 3.20 1.04 0.42 3/267 204093
/proc/meminfo: memFree=128217204/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=17104 memory=640 CPUtime=0 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) D 204085 204092 203609 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241658122 17514496 160 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB

[startup+0.205751 s]*
/proc/loadavg: 3.20 1.04 0.42 4/267 204093
/proc/meminfo: memFree=128217060/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=17104 memory=640 CPUtime=0 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) D 204085 204092 203609 0 -1 4456448 80 0 0 0 0 0 0 0 20 0 1 0 241658122 17514496 160 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB

[startup+0.305737 s]*
/proc/loadavg: 3.20 1.04 0.42 5/267 204093
/proc/meminfo: memFree=128187624/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=104700 memory=31312 CPUtime=0.04 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 4941 0 0 0 3 1 0 0 20 0 1 0 241658122 107212800 7828 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 26175 7828 2176 595 0 10842 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 104700 KiB
Current children cumulated memory: 31312 KiB

[startup+0.700173 s]
/proc/loadavg: 3.20 1.04 0.42 5/267 204093
/proc/meminfo: memFree=128145980/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=139144 memory=65020 CPUtime=0.43 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 12593 0 0 0 40 3 0 0 20 0 1 0 241658122 142483456 16255 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 34786 16255 2368 595 0 19453 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 139144 KiB
Current children cumulated memory: 65020 KiB

[startup+1.50016 s]
/proc/loadavg: 3.20 1.04 0.42 5/267 204093
/proc/meminfo: memFree=128118104/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=174900 memory=100092 CPUtime=1.23 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 21339 0 0 0 118 5 0 0 20 0 1 0 241658122 179097600 25023 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 43725 25023 2400 595 0 28392 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 174900 KiB
Current children cumulated memory: 100092 KiB

[startup+3.10562 s]
/proc/loadavg: 3.26 1.09 0.44 5/267 204094
/proc/meminfo: memFree=128046304/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=174900 memory=100092 CPUtime=2.83 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 21339 0 0 0 278 5 0 0 20 0 1 0 241658122 179097600 25023 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 43725 25023 2400 595 0 28392 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 174900 KiB
Current children cumulated memory: 100092 KiB

[startup+6.30016 s]
/proc/loadavg: 3.26 1.09 0.44 5/267 204094
/proc/meminfo: memFree=128046808/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=174900 memory=100092 CPUtime=6.01 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 21339 0 0 0 596 5 0 0 20 0 1 0 241658122 179097600 25023 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 43725 25023 2400 595 0 28392 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 174900 KiB
Current children cumulated memory: 100092 KiB

[startup+12.7002 s]
/proc/loadavg: 3.32 1.14 0.46 5/268 204095
/proc/meminfo: memFree=128043476/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=174900 memory=100092 CPUtime=12.39 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 21339 0 0 0 1234 5 0 0 20 0 1 0 241658122 179097600 25023 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 43725 25023 2400 595 0 28392 0
Current children cumulated CPU time: 12.39 s
Current children cumulated vsize: 174900 KiB
Current children cumulated memory: 100092 KiB

[startup+25.5002 s]
/proc/loadavg: 3.55 1.30 0.52 5/268 204095
/proc/meminfo: memFree=128024416/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=174900 memory=100092 CPUtime=25.14 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 21339 0 0 0 2509 5 0 0 20 0 1 0 241658122 179097600 25023 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 43725 25023 2400 595 0 28392 0
Current children cumulated CPU time: 25.14 s
Current children cumulated vsize: 174900 KiB
Current children cumulated memory: 100092 KiB

[startup+51.1056 s]
/proc/loadavg: 3.76 1.53 0.62 5/268 204095
/proc/meminfo: memFree=127858356/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=239380 memory=173236 CPUtime=50.66 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 29526 0 0 0 5055 11 0 0 20 0 1 0 241658122 245125120 43309 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 59845 43309 2432 595 0 44512 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 239380 KiB
Current children cumulated memory: 173236 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 1.93 0.81 5/267 204097
/proc/meminfo: memFree=127817268/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=267968 memory=201524 CPUtime=101.67 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 36608 0 0 0 10152 15 0 0 20 0 1 0 241658122 274399232 50381 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 66992 50381 2432 595 0 51659 0
Current children cumulated CPU time: 101.67 s
Current children cumulated vsize: 267968 KiB
Current children cumulated memory: 201524 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 2.32 1.02 5/267 204099
/proc/meminfo: memFree=127722676/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=284184 memory=217908 CPUtime=161.47 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 40682 0 0 0 16125 22 0 0 20 0 1 0 241658122 291004416 54477 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 71046 54477 2464 595 0 55713 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 284184 KiB
Current children cumulated memory: 217908 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.65 1.21 5/266 204101
/proc/meminfo: memFree=127698996/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=291568 memory=230600 CPUtime=221.27 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 42825 0 0 0 22104 23 0 0 20 0 1 0 241658122 298565632 57650 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 72892 57650 2464 595 0 57559 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 291568 KiB
Current children cumulated memory: 230600 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.91 1.39 5/263 204103
/proc/meminfo: memFree=127672416/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=294844 memory=233800 CPUtime=281.06 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 43645 0 0 0 28083 23 0 0 20 0 1 0 241658122 301920256 58450 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 73711 58450 2464 595 0 58378 0
Current children cumulated CPU time: 281.06 s
Current children cumulated vsize: 294844 KiB
Current children cumulated memory: 233800 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.14 1.57 5/262 204105
/proc/meminfo: memFree=127619884/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=304228 memory=243656 CPUtime=340.85 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 46120 0 0 0 34051 34 0 0 20 0 1 0 241658122 311529472 60914 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 76057 60914 2464 595 0 60724 0
Current children cumulated CPU time: 340.85 s
Current children cumulated vsize: 304228 KiB
Current children cumulated memory: 243656 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 3.30 1.72 5/262 204107
/proc/meminfo: memFree=127612564/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=314012 memory=253000 CPUtime=400.65 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 48447 0 0 0 40030 35 0 0 20 0 1 0 241658122 321548288 63250 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 78503 63250 2464 595 0 63170 0
Current children cumulated CPU time: 400.65 s
Current children cumulated vsize: 314012 KiB
Current children cumulated memory: 253000 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.46 1.88 5/263 204110
/proc/meminfo: memFree=127584240/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=319048 memory=258120 CPUtime=460.45 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 49744 0 0 0 46010 35 0 0 20 0 1 0 241658122 326705152 64530 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 79762 64530 2464 595 0 64429 0

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

Current children cumulated memory: 365568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.00 5/263 204345
/proc/meminfo: memFree=127379896/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=441436 memory=367232 CPUtime=2973.99 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 70865 0 0 0 297297 102 0 0 20 0 1 0 241658122 452030464 91808 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 110359 91808 2496 595 0 95026 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 441436 KiB
Current children cumulated memory: 367232 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.00 5/263 204347
/proc/meminfo: memFree=127381472/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=441436 memory=367232 CPUtime=3033.85 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 70890 0 0 0 303278 107 0 0 20 0 1 0 241658122 452030464 91808 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 110359 91808 2496 595 0 95026 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 441436 KiB
Current children cumulated memory: 367232 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.00 5/264 204350
/proc/meminfo: memFree=127381200/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=441436 memory=367232 CPUtime=3093.69 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 70899 0 0 0 309262 107 0 0 20 0 1 0 241658122 452030464 91808 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 110359 91808 2496 595 0 95026 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 441436 KiB
Current children cumulated memory: 367232 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.00 5/264 204352
/proc/meminfo: memFree=127373268/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=441436 memory=367232 CPUtime=3153.55 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 70907 0 0 0 315248 107 0 0 20 0 1 0 241658122 452030464 91808 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 110359 91808 2496 595 0 95026 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 441436 KiB
Current children cumulated memory: 367232 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/264 204354
/proc/meminfo: memFree=127371992/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=443016 memory=368768 CPUtime=3213.39 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 71294 0 0 0 321232 107 0 0 20 0 1 0 241658122 453648384 92192 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 110754 92192 2496 595 0 95421 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 443016 KiB
Current children cumulated memory: 368768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/264 204356
/proc/meminfo: memFree=127371992/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=443016 memory=368768 CPUtime=3273.24 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 71303 0 0 0 327217 107 0 0 20 0 1 0 241658122 453648384 92192 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 110754 92192 2496 595 0 95421 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 443016 KiB
Current children cumulated memory: 368768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/263 204358
/proc/meminfo: memFree=127372616/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=443016 memory=368768 CPUtime=3333.1 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 71303 0 0 0 333202 108 0 0 20 0 1 0 241658122 453648384 92192 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 110754 92192 2496 595 0 95421 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 443016 KiB
Current children cumulated memory: 368768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/263 204360
/proc/meminfo: memFree=127372584/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=444128 memory=369536 CPUtime=3392.94 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 71469 0 0 0 339177 117 0 0 20 0 1 0 241658122 454787072 92384 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 111032 92384 2496 595 0 95699 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 444128 KiB
Current children cumulated memory: 369536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.00 5/262 204362
/proc/meminfo: memFree=127372020/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=444976 memory=370688 CPUtime=3452.8 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 71775 0 0 0 345162 118 0 0 20 0 1 0 241658122 455655424 92672 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 111244 92672 2496 595 0 95911 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 444976 KiB
Current children cumulated memory: 370688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/263 204365
/proc/meminfo: memFree=127371936/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=447584 memory=373376 CPUtime=3512.65 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 72453 0 0 0 351147 118 0 0 20 0 1 0 241658122 458326016 93344 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 111896 93344 2496 595 0 96563 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 447584 KiB
Current children cumulated memory: 373376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 204374
/proc/meminfo: memFree=127382716/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=447584 memory=373376 CPUtime=3572.5 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 72453 0 0 0 357132 118 0 0 20 0 1 0 241658122 458326016 93344 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 111896 93344 2496 595 0 96563 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 447584 KiB
Current children cumulated memory: 373376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 204419
/proc/meminfo: memFree=127383752/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=447584 memory=373376 CPUtime=3600.03 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 72453 0 0 0 359885 118 0 0 20 0 1 0 241658122 458326016 93344 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 111896 93344 2496 595 0 96563 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 447584 KiB
Current children cumulated memory: 373376 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.23 s, system=1.18729 s

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

[startup+3610 s]*
/proc/loadavg: 4.12 4.09 4.01 4/260 204427
/proc/meminfo: memFree=127848148/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=355112 memory=300012 CPUtime=3600.14 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 72460 0 0 0 359896 118 0 0 20 0 1 0 241658122 363634688 75003 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 88778 75003 2592 595 0 73445 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 355112 KiB
Current children cumulated memory: 300012 KiB

[startup+3610.2 s]
/proc/loadavg: 4.12 4.09 4.01 4/260 204427
/proc/meminfo: memFree=127848148/131250000 swapFree=33008868/33010684
[pid=204092] ppid=204085 vsize=355112 memory=300012 CPUtime=3600.33 cores=0,2
/proc/204092/stat : 204092 (SynLSCD-PS) R 204085 204092 203609 0 -1 4194304 72460 0 0 0 359915 118 0 0 20 0 1 0 241658122 363634688 75003 18446744073709551615 94655544602624 94655547038041 140722694923760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94655547518200 94655547551232 94655555186688 140722694928765 140722694928903 140722694928903 140722694934507 0
/proc/204092/statm: 88778 75003 2592 595 0 73445 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 355112 KiB
Current children cumulated memory: 300012 KiB

Child status: 0

Real time (s): 3610.28
CPU time (s): 3600.42
CPU user time (s): 3599.23
CPU system time (s): 1.18729
CPU usage (%): 99.7269
Max. virtual memory (cumulated for all children) (KiB): 447584
Max. memory (cumulated for all children) (KiB): 373376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.23
system time used= 1.18729
maximum resident set size= 373760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72485
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= 236
involuntary context switches= 4642


# summary of solver processes directly reported to runsolver:
#   pid: 204092
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3599.23
#   total CPU system time (s): 1.18729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09154 second user time and 14.8819 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-23 10:36:18
IDJOB=4546294
IDBENCH=158311
IDSOLVER=3422
FILE ID=nodeC013/4546294-1753259777
RUNJOBID= nodeC013-1753259701-203626
SLURM_JOB_ID= 9689168
Free space on /tmp= 433024 MiB

SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.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-4546294-1753259777/watcher-4546294-1753259777 -o /tmp/evaluation-result-4546294-1753259777/solver-4546294-1753259777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753259701-203626 --watchdog 3760  ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546294-1753259777.opb

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

MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9
RANDOM SEED=1834945035

nodeC013 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.957
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3452.570
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.67
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.828
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3703.046
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.67
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		: 3600.072
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128216960 kB
MemAvailable:   129315636 kB
Buffers:            1668 kB
Cached:          1838816 kB
SwapCached:           52 kB
Active:          1271360 kB
Inactive:         980848 kB
Active(anon):     428276 kB
Inactive(anon):     4872 kB
Active(file):     843084 kB
Inactive(file):   975976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20736 kB
Writeback:             0 kB
AnonPages:        415156 kB
Mapped:           113036 kB
Shmem:             21424 kB
KReclaimable:     237308 kB
Slab:             334064 kB
SReclaimable:     237308 kB
SUnreclaim:        96756 kB
KernelStack:        4288 kB
PageTables:         3924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     759068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-07-23 11:36:29