Trace number 4507531

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-01? (TO) 3600.2 3609.61

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
MD5SUMa76247625d06f26dbfcd47fe69513f4b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5508
Total number of constraints5672
Number of constraints which are clauses5591
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
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 82
Number of bits of the biggest sum of numbers7
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.03	c #vars 5508 #constraints 5672 1.02977 1
0.29/0.40	c 5672 constraints
0.29/0.40	c Finish cloning data from SAT to LS
0.29/0.40	c restart_num_ls  -100000 0
12.35/12.41	c Use LS-small
12.35/12.41	c update_LS_target_phase-runLS
147.85/148.39	c restart_num  0 303
147.85/148.39	c LS-restart 90 56
162.42/162.99	c Use LS-small
162.42/162.99	c target lsphase phase save
162.42/162.99	c update_LS_target_phase-runLS-restart
432.80/434.10	c restart_num  303 605
432.80/434.10	c LS-restart 80 78
707.17/709.24	c Use LS-small
707.17/709.24	c restart_num  605 907
707.17/709.24	c LS-restart 70 59
1169.94/1173.19	c Use LS-small
1169.94/1173.19	c restart_num  907 1208
1169.94/1173.19	c LS-restart 60 12
1429.41/1433.27	c Use LS-small
1429.41/1433.27	c restart_num  1208 1513
1429.41/1433.27	c LS-restart 50 6
1791.93/1796.61	c Use LS-small
1791.93/1796.61	c restart_num  1513 1820
1791.93/1796.61	c LS-restart 40 12
2513.84/2520.65	c Use LS-small
2513.84/2520.65	c restart_num  1820 2121
2513.84/2520.65	c LS-restart 30 53
2513.84/2520.65	c similarity no use LS 0.994553
2757.13/2764.51	c restart_num  2121 2424
2757.13/2764.51	c LS-restart 30 9
2774.79/2782.24	c Use LS-small
2774.79/2782.24	c target lsphase phase save
2774.79/2782.24	c update_LS_target_phase-runLS-restart
3092.52/3100.77	c restart_num  2424 2725
3092.52/3100.77	c LS-restart 20 35
3092.52/3100.77	c similarity no use LS 0.992919
3347.30/3356.15	c restart_num  2725 3026
3347.30/3356.15	c LS-restart 20 6
3600.09/3609.50	c Use LS-small
3600.09/3609.50	c Program interrupted by user.
3600.09/3609.50	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: 63708 MiB (62274 MiB free)
  memory of node 1: 64465 MiB (63697 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=23853, runsolver pid=23850
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.09 4.16 4.14 5/264 23854
/proc/meminfo: memFree=128983448/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=98520 memory=25876 CPUtime=0.09 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 4495 0 0 0 8 1 0 0 20 0 1 0 33407365 100884480 6469 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 24630 6469 2496 595 0 9297 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98520 KiB
Current children cumulated memory: 25876 KiB

[startup+0.205424 s]*
/proc/loadavg: 4.09 4.16 4.14 5/264 23854
/proc/meminfo: memFree=128979416/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=100368 memory=27412 CPUtime=0.19 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 4869 0 0 0 18 1 0 0 20 0 1 0 33407365 102776832 6853 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 25092 6853 2496 595 0 9759 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100368 KiB
Current children cumulated memory: 27412 KiB

[startup+0.305375 s]*
/proc/loadavg: 4.09 4.16 4.14 5/264 23854
/proc/meminfo: memFree=128979416/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=100368 memory=27412 CPUtime=0.29 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 4877 0 0 0 28 1 0 0 20 0 1 0 33407365 102776832 6853 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 25092 6853 2496 595 0 9759 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100368 KiB
Current children cumulated memory: 27412 KiB

[startup+0.700166 s]
/proc/loadavg: 4.09 4.16 4.14 5/264 23854
/proc/meminfo: memFree=128971352/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=107588 memory=34452 CPUtime=0.68 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 6622 0 0 0 62 6 0 0 20 0 1 0 33407365 110170112 8613 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 26897 8613 2496 595 0 11564 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107588 KiB
Current children cumulated memory: 34452 KiB

[startup+1.50016 s]
/proc/loadavg: 4.09 4.16 4.14 5/262 23858
/proc/meminfo: memFree=129321540/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=107588 memory=34452 CPUtime=1.48 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 6622 0 0 0 134 14 0 0 20 0 1 0 33407365 110170112 8613 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 26897 8613 2496 595 0 11564 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107588 KiB
Current children cumulated memory: 34452 KiB

[startup+3.1052 s]
/proc/loadavg: 4.09 4.16 4.14 5/264 23899
/proc/meminfo: memFree=129398836/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=107588 memory=34452 CPUtime=3.08 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 6622 0 0 0 275 33 0 0 20 0 1 0 33407365 110170112 8613 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 26897 8613 2496 595 0 11564 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107588 KiB
Current children cumulated memory: 34452 KiB

[startup+6.30016 s]
/proc/loadavg: 4.08 4.16 4.14 5/264 23989
/proc/meminfo: memFree=129696228/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=107588 memory=34452 CPUtime=6.26 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 6622 0 0 0 559 67 0 0 20 0 1 0 33407365 110170112 8613 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 26897 8613 2496 595 0 11564 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107588 KiB
Current children cumulated memory: 34452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.16 4.14 5/264 24034
/proc/meminfo: memFree=129691268/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=108800 memory=38076 CPUtime=12.65 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 6967 0 0 0 1128 137 0 0 20 0 1 0 33407365 111411200 9519 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 27200 9519 2560 595 0 11867 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 108800 KiB
Current children cumulated memory: 38076 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.15 4.14 5/264 24079
/proc/meminfo: memFree=129646256/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=134212 memory=74312 CPUtime=25.41 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 10138 0 0 0 2400 141 0 0 20 0 1 0 33407365 137433088 18578 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 33553 18578 2560 595 0 18220 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 134212 KiB
Current children cumulated memory: 74312 KiB

[startup+51.1052 s]
/proc/loadavg: 4.10 4.15 4.14 5/264 24079
/proc/meminfo: memFree=129569428/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=144972 memory=87700 CPUtime=50.95 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 12977 0 0 0 4948 147 0 0 20 0 1 0 33407365 148451328 21925 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 36243 21925 2560 595 0 20910 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 144972 KiB
Current children cumulated memory: 87700 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/266 24175
/proc/meminfo: memFree=129625932/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=154080 memory=96532 CPUtime=101.99 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 15196 0 0 0 10045 154 0 0 20 0 1 0 33407365 157777920 24133 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 38520 24133 2560 595 0 23187 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 154080 KiB
Current children cumulated memory: 96532 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/265 24177
/proc/meminfo: memFree=129549040/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=158196 memory=100884 CPUtime=161.82 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 16284 0 0 0 15857 325 0 0 20 0 1 0 33407365 161992704 25221 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 39549 25221 2560 595 0 24216 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 158196 KiB
Current children cumulated memory: 100884 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/266 24269
/proc/meminfo: memFree=129616936/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=162444 memory=105236 CPUtime=221.61 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 17376 0 0 0 21824 337 0 0 20 0 1 0 33407365 166342656 26309 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 40611 26309 2560 595 0 25278 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 162444 KiB
Current children cumulated memory: 105236 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/266 24271
/proc/meminfo: memFree=129588936/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=166328 memory=109844 CPUtime=281.39 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 18290 0 0 0 27797 342 0 0 20 0 1 0 33407365 170319872 27461 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 41582 27461 2560 595 0 26249 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 166328 KiB
Current children cumulated memory: 109844 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/266 24278
/proc/meminfo: memFree=129571192/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=168188 memory=112788 CPUtime=341.22 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 18763 0 0 0 33777 345 0 0 20 0 1 0 33407365 172224512 28197 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 42047 28197 2560 595 0 26714 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 168188 KiB
Current children cumulated memory: 112788 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/264 24280
/proc/meminfo: memFree=129554012/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=170292 memory=114836 CPUtime=401.08 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 19283 0 0 0 39757 351 0 0 20 0 1 0 33407365 174379008 28709 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 42573 28709 2560 595 0 27240 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 170292 KiB
Current children cumulated memory: 114836 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/264 24282
/proc/meminfo: memFree=129554496/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=171316 memory=115860 CPUtime=460.92 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 19542 0 0 0 45585 507 0 0 20 0 1 0 33407365 175427584 28965 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 42829 28965 2560 595 0 27496 0

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

Current children cumulated memory: 153668 KiB

[startup+2922.3 s]
/proc/loadavg: 4.38 4.17 4.12 5/263 24531
/proc/meminfo: memFree=129942772/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=216956 memory=153796 CPUtime=2914.55 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 25610 0 0 0 289867 1588 0 0 20 0 1 0 33407365 222162944 38449 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 54239 38449 2560 595 0 38906 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 216956 KiB
Current children cumulated memory: 153796 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/263 24533
/proc/meminfo: memFree=129941960/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=217424 memory=154180 CPUtime=2974.4 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 25719 0 0 0 295847 1593 0 0 20 0 1 0 33407365 222642176 38545 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 54356 38545 2560 595 0 39023 0
Current children cumulated CPU time: 2974.4 s
Current children cumulated vsize: 217424 KiB
Current children cumulated memory: 154180 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 24536
/proc/meminfo: memFree=129942780/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=217784 memory=154564 CPUtime=3034.26 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 25822 0 0 0 301826 1600 0 0 20 0 1 0 33407365 223010816 38641 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 54446 38641 2560 595 0 39113 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 217784 KiB
Current children cumulated memory: 154564 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 24538
/proc/meminfo: memFree=129942624/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=217784 memory=154692 CPUtime=3094.11 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 25825 0 0 0 307807 1604 0 0 20 0 1 0 33407365 223010816 38673 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 54446 38673 2560 595 0 39113 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 217784 KiB
Current children cumulated memory: 154692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 24540
/proc/meminfo: memFree=129942520/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=218344 memory=155204 CPUtime=3153.97 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 25962 0 0 0 313788 1609 0 0 20 0 1 0 33407365 223584256 38801 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 54586 38801 2560 595 0 39253 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 218344 KiB
Current children cumulated memory: 155204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 24556
/proc/meminfo: memFree=129950012/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=218344 memory=155204 CPUtime=3213.82 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 25963 0 0 0 319768 1614 0 0 20 0 1 0 33407365 223584256 38801 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 54586 38801 2560 595 0 39253 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 218344 KiB
Current children cumulated memory: 155204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 24558
/proc/meminfo: memFree=129949696/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=218852 memory=155844 CPUtime=3273.68 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26138 0 0 0 325747 1621 0 0 20 0 1 0 33407365 224104448 38961 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 54713 38961 2560 595 0 39380 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 218852 KiB
Current children cumulated memory: 155844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 24560
/proc/meminfo: memFree=129941996/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=220004 memory=156868 CPUtime=3333.53 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26371 0 0 0 331728 1625 0 0 20 0 1 0 33407365 225284096 39217 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 55001 39217 2560 595 0 39668 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 220004 KiB
Current children cumulated memory: 156868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 24566
/proc/meminfo: memFree=129948332/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=220152 memory=156996 CPUtime=3393.39 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26429 0 0 0 337566 1773 0 0 20 0 1 0 33407365 225435648 39249 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 55038 39249 2560 595 0 39705 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 220152 KiB
Current children cumulated memory: 156996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 24568
/proc/meminfo: memFree=129947236/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=221176 memory=158020 CPUtime=3453.25 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26661 0 0 0 343548 1777 0 0 20 0 1 0 33407365 226484224 39505 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 55294 39505 2560 595 0 39961 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 221176 KiB
Current children cumulated memory: 158020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 24570
/proc/meminfo: memFree=129947932/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=221176 memory=158020 CPUtime=3513.1 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26727 0 0 0 349531 1779 0 0 20 0 1 0 33407365 226484224 39505 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 55294 39505 2560 595 0 39961 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 221176 KiB
Current children cumulated memory: 158020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 24572
/proc/meminfo: memFree=129948332/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=221876 memory=160848 CPUtime=3572.95 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26921 0 0 0 355513 1782 0 0 20 0 1 0 33407365 227201024 40212 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 55469 40212 2560 595 0 40136 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 221876 KiB
Current children cumulated memory: 160848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 24573
/proc/meminfo: memFree=129948380/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=221876 memory=160848 CPUtime=3600.09 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26950 0 0 0 358225 1784 0 0 20 0 1 0 33407365 227201024 40212 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 55469 40212 2560 595 0 40136 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 221876 KiB
Current children cumulated memory: 160848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.36 s, system=17.8441 s

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

[startup+3609.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 24573
/proc/meminfo: memFree=129948380/131249996 swapFree=33010684/33010684
[pid=23853] ppid=23850 vsize=169032 memory=114188 CPUtime=3600.19 cores=1,3
/proc/23853/stat : 23853 (SynLSCD-PS) R 23850 23853 23149 0 -1 4194304 26956 0 0 0 358235 1784 0 0 20 0 1 0 33407365 173088768 28547 18446744073709551615 94139351568384 94139354003385 140729909137184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94139354483960 94139354516992 94139374419968 140729909143904 140729909144040 140729909144040 140729909149642 0
/proc/23853/statm: 42258 28547 2656 595 0 26925 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 169032 KiB
Current children cumulated memory: 114188 KiB

Child status: 0

Real time (s): 3609.61
CPU time (s): 3600.2
CPU user time (s): 3582.36
CPU system time (s): 17.8441
CPU usage (%): 99.7395
Max. virtual memory (cumulated for all children) (KiB): 221876
Max. memory (cumulated for all children) (KiB): 160848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.36
system time used= 17.8441
maximum resident set size= 161232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26981
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= 181
involuntary context switches= 2525


# summary of solver processes directly reported to runsolver:
#   pid: 23853
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3582.36
#   total CPU system time (s): 17.8441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14559 second user time and 14.2418 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-06-29 08:08:09
IDJOB=4507531
IDBENCH=158357
IDSOLVER=3370
FILE ID=nodeC029/4507531-1751177289
RUNJOBID= nodeC029-1751170067-23161
SLURM_JOB_ID= 9587525
Free space on /tmp= 433048 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.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-4507531-1751177289/watcher-4507531-1751177289 -o /tmp/evaluation-result-4507531-1751177289/solver-4507531-1751177289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751170067-23161 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4507531-1751177289.opb

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

MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=1660059287

nodeC029 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.715
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.46
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		: 3600.819
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.46
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		: 3621.128
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.46
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.723
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.46
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.723
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.46
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.701
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.46
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		: 3683.170
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.46
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		: 3602.486
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128995916 kB
MemAvailable:   128674556 kB
Buffers:            3280 kB
Cached:           488924 kB
SwapCached:            0 kB
Active:          1437440 kB
Inactive:         232732 kB
Active(anon):    1196032 kB
Inactive(anon):        0 kB
Active(file):     241408 kB
Inactive(file):   232732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3952 kB
Writeback:             0 kB
AnonPages:       1180632 kB
Mapped:           114148 kB
Shmem:             18060 kB
KReclaimable:      87480 kB
Slab:             171248 kB
SReclaimable:      87480 kB
SUnreclaim:        83768 kB
KernelStack:        4272 kB
PageTables:         5476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1627128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1071104 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC029 at 2025-06-29 09:08:19