Trace number 4513021

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.08 3609.61

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-4.opb
MD5SUM62b9b3a7043eef7698d06bd9353a3da3
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 benchmark255.636
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8704
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.08/0.12	c #vars 4128 #constraints 9080 2.19961 0
0.39/0.43	c 9080 constraints
0.39/0.43	c Finish cloning data from SAT to LS
0.39/0.43	c restart_num_ls  -100000 0
60.33/60.56	c Use LS-small
60.33/60.56	c update_LS_target_phase-runLS
107.10/107.41	c restart_num  0 301
107.10/107.41	c LS-restart 90 6
240.97/241.69	c Use LS-small
240.97/241.69	c restart_num  301 602
240.97/241.69	c LS-restart 80 33
358.97/359.97	c Use LS-small
358.97/359.97	c restart_num  602 903
358.97/359.97	c LS-restart 70 46
534.84/536.39	c Use LS-small
534.84/536.39	c restart_num  903 1204
534.84/536.39	c LS-restart 60 59
655.98/657.87	c Use LS-small
655.98/657.87	c restart_num  1204 1506
655.98/657.87	c LS-restart 50 30
812.11/814.42	c Use LS-small
812.11/814.42	c restart_num  1506 1807
812.11/814.42	c LS-restart 40 46
1086.80/1089.93	c Use LS-small
1086.80/1089.93	c restart_num  1807 2109
1086.80/1089.93	c LS-restart 30 22
1213.49/1216.92	c Use LS-small
1213.49/1216.92	c restart_num  2109 2410
1213.49/1216.92	c LS-restart 20 52
1360.05/1363.87	c Use LS-small
1360.05/1363.87	c restart_num  2410 2711
1360.05/1363.87	c LS-restart 10 71
1420.12/1424.01	c Use LS-small
1420.12/1424.01	c target lsphase phase save
1420.12/1424.01	c update_LS_target_phase-runLS-restart
1487.85/1491.93	c restart_num  2711 3012
1683.27/1687.82	c Use LS-small
1683.27/1687.82	c restart_num  3012 3313
1848.52/1853.50	c Use LS-small
1848.52/1853.50	c restart_num  3313 3614
1977.03/1982.41	c Use LS-small
1977.03/1982.41	c restart_num  3614 3916
2452.80/2459.46	c Use LS-small
2452.80/2459.46	c restart_num  3916 4217
2583.59/2590.54	c Use LS-small
2583.59/2590.54	c restart_num  4217 4518
2643.56/2650.67	c Use LS-small
2643.56/2650.67	c target lsphase phase save
2643.56/2650.67	c update_LS_target_phase-runLS-restart
2745.01/2752.33	c restart_num  4518 4820
2971.65/2979.69	c Use LS-small
2971.65/2979.69	c restart_num  4820 5121
3123.80/3132.28	c Use LS-small
3123.80/3132.28	c restart_num  5121 5422
3277.13/3285.96	c Use LS-small
3277.13/3285.96	c restart_num  5422 5723
3414.02/3423.18	c Use LS-small
3414.02/3423.18	c restart_num  5723 6025
3600.07/3609.60	c Use LS-small
3600.07/3609.60	c Program interrupted by user.
3600.07/3609.60	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: 63837 MiB (62841 MiB free)
  memory of node 1: 64465 MiB (63889 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=24694, runsolver pid=24688
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 0.54 0.94 1.29 5/250 24707
/proc/meminfo: memFree=129759368/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=88752 memory=15744 CPUtime=0.08 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 1947 0 0 0 7 1 0 0 20 0 1 0 36633428 90882048 3936 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 22188 3936 2240 595 0 6855 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88752 KiB
Current children cumulated memory: 15744 KiB

[startup+0.214313 s]*
/proc/loadavg: 0.54 0.94 1.29 6/250 24707
/proc/meminfo: memFree=129732656/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=97692 memory=24920 CPUtime=0.19 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 4525 0 0 0 16 3 0 0 20 0 1 0 36633428 100036608 6230 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 24423 6230 2464 595 0 9090 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 97692 KiB
Current children cumulated memory: 24920 KiB

[startup+0.314865 s]*
/proc/loadavg: 0.54 0.94 1.29 5/250 24707
/proc/meminfo: memFree=129668912/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=112168 memory=38488 CPUtime=0.29 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 7872 0 0 0 24 5 0 0 20 0 1 0 36633428 114860032 9622 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 28042 9622 2496 595 0 12709 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112168 KiB
Current children cumulated memory: 38488 KiB

[startup+0.700385 s]
/proc/loadavg: 0.54 0.94 1.29 5/250 24707
/proc/meminfo: memFree=129523760/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=144220 memory=71512 CPUtime=0.66 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 16125 0 0 0 58 8 0 0 20 0 1 0 36633428 147681280 17878 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 36055 17878 2496 595 0 20722 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 71512 KiB

[startup+1.5004 s]
/proc/loadavg: 0.54 0.94 1.29 5/250 24707
/proc/meminfo: memFree=129524180/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=144220 memory=71512 CPUtime=1.46 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 16127 0 0 0 136 10 0 0 20 0 1 0 36633428 147681280 17878 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 36055 17878 2496 595 0 20722 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 71512 KiB

[startup+3.1131 s]
/proc/loadavg: 0.54 0.94 1.29 5/250 24707
/proc/meminfo: memFree=129524584/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=144220 memory=71512 CPUtime=3.06 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 16127 0 0 0 293 13 0 0 20 0 1 0 36633428 147681280 17878 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 36055 17878 2496 595 0 20722 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 71512 KiB

[startup+6.30035 s]
/proc/loadavg: 0.82 0.99 1.31 5/250 24707
/proc/meminfo: memFree=129525172/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=144220 memory=71512 CPUtime=6.25 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 16127 0 0 0 604 21 0 0 20 0 1 0 36633428 147681280 17878 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 36055 17878 2496 595 0 20722 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 71512 KiB

[startup+12.7004 s]
/proc/loadavg: 1.08 1.04 1.32 5/250 24707
/proc/meminfo: memFree=129536984/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=144220 memory=71512 CPUtime=12.63 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 16129 0 0 0 1227 36 0 0 20 0 1 0 36633428 147681280 17878 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 36055 17878 2496 595 0 20722 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 71512 KiB

[startup+25.5004 s]
/proc/loadavg: 1.72 1.18 1.37 5/249 24707
/proc/meminfo: memFree=129537180/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=144220 memory=71512 CPUtime=25.41 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 16129 0 0 0 2475 66 0 0 20 0 1 0 36633428 147681280 17878 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 36055 17878 2496 595 0 20722 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 71512 KiB

[startup+51.113 s]
/proc/loadavg: 2.50 1.41 1.44 5/249 24707
/proc/meminfo: memFree=129537252/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=144220 memory=71512 CPUtime=50.96 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 16129 0 0 0 4967 129 0 0 20 0 1 0 36633428 147681280 17878 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 36055 17878 2496 595 0 20722 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 144220 KiB
Current children cumulated memory: 71512 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.83 1.58 5/250 24714
/proc/meminfo: memFree=129390836/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=170856 memory=105948 CPUtime=102.01 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 19796 0 0 0 10036 165 0 0 20 0 1 0 36633428 174956544 26487 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 42714 26487 2560 595 0 27381 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 170856 KiB
Current children cumulated memory: 105948 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 2.24 1.74 5/250 24716
/proc/meminfo: memFree=129376580/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=172052 memory=110224 CPUtime=161.87 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 20144 0 0 0 15890 297 0 0 20 0 1 0 36633428 176181248 27556 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 43013 27556 2560 595 0 27680 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 172052 KiB
Current children cumulated memory: 110224 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.59 1.89 5/251 24719
/proc/meminfo: memFree=129357992/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=175824 memory=116088 CPUtime=221.72 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 21092 0 0 0 21852 320 0 0 20 0 1 0 36633428 180043776 29022 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 43956 29022 2560 595 0 28623 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 175824 KiB
Current children cumulated memory: 116088 KiB

[startup+282.3 s]
/proc/loadavg: 4.02 2.85 2.03 5/251 24721
/proc/meminfo: memFree=129344844/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=176824 memory=121236 CPUtime=281.59 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 21369 0 0 0 27733 426 0 0 20 0 1 0 36633428 181067776 30309 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 44206 30309 2560 595 0 28873 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 176824 KiB
Current children cumulated memory: 121236 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.09 2.16 5/251 24725
/proc/meminfo: memFree=129319176/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=178160 memory=122644 CPUtime=341.43 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 21727 0 0 0 33663 480 0 0 20 0 1 0 36633428 182435840 30661 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 44540 30661 2560 595 0 29207 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 178160 KiB
Current children cumulated memory: 122644 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.28 2.29 5/251 24727
/proc/meminfo: memFree=129335492/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=178580 memory=123028 CPUtime=401.26 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 21803 0 0 0 39537 589 0 0 20 0 1 0 36633428 182865920 30757 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 44645 30757 2560 595 0 29312 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 178580 KiB
Current children cumulated memory: 123028 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.43 2.40 5/251 24729
/proc/meminfo: memFree=129313812/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=181660 memory=125972 CPUtime=461.07 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 22563 0 0 0 45470 637 0 0 20 0 1 0 36633428 186019840 31493 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 45415 31493 2560 595 0 30082 0
Current children cumulated CPU time: 461.07 s

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

Current children cumulated memory: 168220 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.12 4.02 5/250 24933
/proc/meminfo: memFree=129194928/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=237116 memory=172628 CPUtime=2854.72 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 31135 0 0 0 282619 2853 0 0 20 0 1 0 36633428 242806784 43157 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 59279 43157 2560 595 0 43946 0
Current children cumulated CPU time: 2854.72 s
Current children cumulated vsize: 237116 KiB
Current children cumulated memory: 172628 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/250 24935
/proc/meminfo: memFree=129180392/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=237868 memory=173396 CPUtime=2914.52 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 31326 0 0 0 288589 2863 0 0 20 0 1 0 36633428 243576832 43349 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 59467 43349 2560 595 0 44134 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 237868 KiB
Current children cumulated memory: 173396 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/250 24937
/proc/meminfo: memFree=129160372/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=238936 memory=174420 CPUtime=2974.35 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 31572 0 0 0 294555 2880 0 0 20 0 1 0 36633428 244670464 43605 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 59734 43605 2560 595 0 44401 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 238936 KiB
Current children cumulated memory: 174420 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.02 5/250 24939
/proc/meminfo: memFree=129165412/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=239816 memory=175316 CPUtime=3034.17 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 31795 0 0 0 300389 3028 0 0 20 0 1 0 36633428 245571584 43829 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 59954 43829 2560 595 0 44621 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 239816 KiB
Current children cumulated memory: 175316 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.02 5/250 24942
/proc/meminfo: memFree=129170340/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=240104 memory=175700 CPUtime=3093.99 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 31886 0 0 0 306360 3039 0 0 20 0 1 0 36633428 245866496 43925 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60026 43925 2560 595 0 44693 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 240104 KiB
Current children cumulated memory: 175700 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/251 24949
/proc/meminfo: memFree=129171244/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=240404 memory=182124 CPUtime=3153.83 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 31947 0 0 0 312261 3122 0 0 20 0 1 0 36633428 246173696 45531 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60101 45531 2560 595 0 44768 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 240404 KiB
Current children cumulated memory: 182124 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/251 24951
/proc/meminfo: memFree=129171020/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=240404 memory=182124 CPUtime=3213.69 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 31947 0 0 0 318168 3201 0 0 20 0 1 0 36633428 246173696 45531 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60101 45531 2560 595 0 44768 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 240404 KiB
Current children cumulated memory: 182124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/251 24953
/proc/meminfo: memFree=129170424/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=241252 memory=183020 CPUtime=3273.55 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 32187 0 0 0 324142 3213 0 0 20 0 1 0 36633428 247042048 45755 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60313 45755 2560 595 0 44980 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 241252 KiB
Current children cumulated memory: 183020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/251 24966
/proc/meminfo: memFree=129173588/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=241252 memory=183020 CPUtime=3333.42 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 32187 0 0 0 329988 3354 0 0 20 0 1 0 36633428 247042048 45755 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60313 45755 2560 595 0 44980 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 241252 KiB
Current children cumulated memory: 183020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/250 24970
/proc/meminfo: memFree=129176452/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=241424 memory=183276 CPUtime=3393.26 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 32230 0 0 0 335954 3372 0 0 20 0 1 0 36633428 247218176 45819 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60356 45819 2560 595 0 45023 0
Current children cumulated CPU time: 3393.26 s
Current children cumulated vsize: 241424 KiB
Current children cumulated memory: 183276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/250 24972
/proc/meminfo: memFree=129170332/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=241424 memory=183276 CPUtime=3453.13 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 32230 0 0 0 341841 3472 0 0 20 0 1 0 36633428 247218176 45819 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60356 45819 2560 595 0 45023 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 241424 KiB
Current children cumulated memory: 183276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/250 24974
/proc/meminfo: memFree=129176180/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=241864 memory=183532 CPUtime=3512.98 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 32316 0 0 0 347771 3527 0 0 20 0 1 0 36633428 247668736 45883 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60466 45883 2560 595 0 45133 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 241864 KiB
Current children cumulated memory: 183532 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/250 24976
/proc/meminfo: memFree=129176360/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=242628 memory=184556 CPUtime=3572.84 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 32558 0 0 0 353744 3540 0 0 20 0 1 0 36633428 248451072 46139 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60657 46139 2560 595 0 45324 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 242628 KiB
Current children cumulated memory: 184556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.06 4.09 4.03 5/250 24977
/proc/meminfo: memFree=129176412/131382120 swapFree=33010684/33010684
[pid=24694] ppid=24688 vsize=243176 memory=184940 CPUtime=3600.07 cores=4,6
/proc/24694/stat : 24694 (SynLSCD-PS) R 24688 24694 24638 0 -1 4194304 32668 0 0 0 356461 3546 0 0 20 0 1 0 36633428 249012224 46235 18446744073709551615 94867799060480 94867801495481 140734736305472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94867801976056 94867802009088 94867838771200 140734736308576 140734736308712 140734736308712 140734736314314 0
/proc/24694/statm: 60794 46235 2560 595 0 45461 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 243176 KiB
Current children cumulated memory: 184940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3564.61 s, system=35.4669 s

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

Child status: 0

Real time (s): 3609.61
CPU time (s): 3600.08
CPU user time (s): 3564.61
CPU system time (s): 35.4669
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 243176
Max. memory (cumulated for all children) (KiB): 184940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.61
system time used= 35.4669
maximum resident set size= 185324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32701
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= 276
involuntary context switches= 2621


# summary of solver processes directly reported to runsolver:
#   pid: 24694
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3564.61
#   total CPU system time (s): 35.4669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2402 second user time and 34.116 second system time

The end

Launcher Data

Begin job on nodeC003 at 2025-06-29 17:05:47
IDJOB=4513021
IDBENCH=162247
IDSOLVER=3370
FILE ID=nodeC003/4513021-1751209547
RUNJOBID= nodeC003-1751209547-24649
SLURM_JOB_ID= 9587643
Free space on /tmp= 432756 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round22-4.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-4513021-1751209547/watcher-4513021-1751209547 -o /tmp/evaluation-result-4513021-1751209547/solver-4513021-1751209547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751209547-24649 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513021-1751209547.opb

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

MD5SUM BENCH= 62b9b3a7043eef7698d06bd9353a3da3
RANDOM SEED=683218520

nodeC003 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	: 0xb00001f
cpu MHz		: 1197.779
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.484
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.164
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.160
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.622
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.393
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.162
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.160
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129760148 kB
MemAvailable:   129890160 kB
Buffers:            3280 kB
Cached:           939772 kB
SwapCached:            0 kB
Active:           284500 kB
Inactive:         725976 kB
Active(anon):      85384 kB
Inactive(anon):        0 kB
Active(file):     199116 kB
Inactive(file):   725976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15552 kB
Writeback:             0 kB
AnonPages:         70840 kB
Mapped:           102172 kB
Shmem:             17960 kB
KReclaimable:      89096 kB
Slab:             170488 kB
SReclaimable:      89096 kB
SUnreclaim:        81392 kB
KernelStack:        3800 kB
PageTables:         2372 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432740 MiB
End job on nodeC003 at 2025-06-29 18:05:57