Trace number 4503578

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 2025-06-01? (TO) 3600.32 3609.86

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb
MD5SUM8f50e455e41c11932a7c1290f673c930
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 benchmark107.722
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3.87/3.97	c #vars 48411 #constraints 1123290 23.2032 1
7.66/7.70	c 1123290 constraints
7.66/7.70	c Finish cloning data from SAT to LS
7.66/7.70	c restart_num_ls  -100000 0
109.07/109.42	c Use LS-small
109.07/109.42	c restart_num_ls  0 637
109.07/109.42	c LS 90 25
1697.02/1701.86	c Use LS-small
1697.02/1701.86	c restart_num_ls  637 8120
1697.02/1701.86	c LS 80 76
2597.67/2604.79	c Use LS-small
2597.67/2604.79	c restart_num_ls  8120 10236
2597.67/2604.79	c LS 70 87
3097.25/3105.53	c Use LS-small
3097.25/3105.53	c restart_num_ls  10236 11770
3097.25/3105.53	c LS 60 82
3600.06/3609.60	c Use LS-small
3600.06/3609.60	c Program interrupted by user.
3600.06/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 (62943 MiB free)
  memory of node 1: 64465 MiB (63535 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100118 s]*
/proc/loadavg: 3.36 2.28 3.00 5/253 18745
/proc/meminfo: memFree=129498588/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=116528 memory=43544 CPUtime=0.08 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 5772 0 0 0 6 2 0 0 20 0 1 0 32723662 119324672 10886 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 29132 10886 2304 595 0 13799 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 116528 KiB
Current children cumulated memory: 43544 KiB

[startup+0.209757 s]*
/proc/loadavg: 3.36 2.28 3.00 5/253 18745
/proc/meminfo: memFree=129494492/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=118376 memory=47856 CPUtime=0.19 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 6338 0 0 0 17 2 0 0 20 0 1 0 32723662 121217024 11964 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 29594 11964 2304 595 0 14261 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118376 KiB
Current children cumulated memory: 47856 KiB

[startup+0.309415 s]*
/proc/loadavg: 3.36 2.28 3.00 5/253 18745
/proc/meminfo: memFree=129486428/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=120088 memory=49520 CPUtime=0.29 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 6770 0 0 0 27 2 0 0 20 0 1 0 32723662 122970112 12380 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 30022 12380 2304 595 0 14689 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 120088 KiB
Current children cumulated memory: 49520 KiB

[startup+0.700323 s]
/proc/loadavg: 3.36 2.28 3.00 5/253 18745
/proc/meminfo: memFree=129486428/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=127224 memory=60688 CPUtime=0.68 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 8637 0 0 0 65 3 0 0 20 0 1 0 32723662 130277376 15172 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 31806 15172 2304 595 0 16473 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127224 KiB
Current children cumulated memory: 60688 KiB

[startup+1.50032 s]
/proc/loadavg: 3.36 2.28 3.00 5/253 18745
/proc/meminfo: memFree=129473764/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=150588 memory=93332 CPUtime=1.47 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 14638 0 0 0 142 5 0 0 20 0 1 0 32723662 154202112 23333 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 37647 23333 2304 595 0 22314 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 150588 KiB
Current children cumulated memory: 93332 KiB

[startup+3.11313 s]
/proc/loadavg: 3.36 2.28 3.00 5/253 18745
/proc/meminfo: memFree=129346056/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=255528 memory=192392 CPUtime=3.08 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 32863 0 0 0 297 11 0 0 20 0 1 0 32723662 261660672 48098 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 63882 48098 2304 595 0 48549 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 255528 KiB
Current children cumulated memory: 192392 KiB

[startup+6.30032 s]
/proc/loadavg: 3.41 2.31 3.01 5/253 18745
/proc/meminfo: memFree=128544008/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=1506556 memory=1269500 CPUtime=6.26 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 116933 0 0 0 579 47 0 0 20 0 1 0 32723662 1542713344 317343 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 376639 317375 2432 595 0 361306 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1506556 KiB
Current children cumulated memory: 1269500 KiB

[startup+12.7003 s]
/proc/loadavg: 3.46 2.34 3.01 5/253 18745
/proc/meminfo: memFree=127623160/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2234460 memory=1898164 CPUtime=12.64 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 235806 0 0 0 1182 82 0 0 20 0 1 0 32723662 2288087040 474541 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 558615 474541 2496 595 0 543282 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2234460 KiB
Current children cumulated memory: 1898164 KiB

[startup+25.5003 s]
/proc/loadavg: 3.58 2.42 3.03 5/253 18746
/proc/meminfo: memFree=127627152/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2234460 memory=1898548 CPUtime=25.4 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 236004 0 0 0 2451 89 0 0 20 0 1 0 32723662 2288087040 474637 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 558615 474637 2496 595 0 543282 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2234460 KiB
Current children cumulated memory: 1898548 KiB

[startup+51.1136 s]
/proc/loadavg: 3.72 2.55 3.06 5/253 18746
/proc/meminfo: memFree=127605092/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2234460 memory=1899188 CPUtime=50.94 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 236143 0 0 0 4991 103 0 0 20 0 1 0 32723662 2288087040 474797 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 558615 474797 2496 595 0 543282 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2234460 KiB
Current children cumulated memory: 1899188 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 2.80 3.12 5/253 18748
/proc/meminfo: memFree=127484272/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2313060 memory=2008696 CPUtime=101.99 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 243847 0 0 0 10083 116 0 0 20 0 1 0 32723662 2368573440 502174 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 578265 502174 2528 595 0 562932 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2313060 KiB
Current children cumulated memory: 2008696 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.04 3.18 5/252 18750
/proc/meminfo: memFree=127489340/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2313060 memory=2008824 CPUtime=161.82 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 244033 0 0 0 16034 148 0 0 20 0 1 0 32723662 2368573440 502206 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 578265 502206 2528 595 0 562932 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2313060 KiB
Current children cumulated memory: 2008824 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.23 3.24 5/250 18752
/proc/meminfo: memFree=127434764/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2325064 memory=2024972 CPUtime=221.65 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 246041 0 0 0 22009 156 0 0 20 0 1 0 32723662 2380865536 506243 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 581266 506243 2528 595 0 565933 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2325064 KiB
Current children cumulated memory: 2024972 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.39 3.30 5/250 18754
/proc/meminfo: memFree=127403940/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2325064 memory=2024972 CPUtime=281.48 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 248766 0 0 0 27987 161 0 0 20 0 1 0 32723662 2380865536 506243 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 581266 506243 2528 595 0 565933 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2325064 KiB
Current children cumulated memory: 2024972 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.52 3.35 5/249 18757
/proc/meminfo: memFree=127386140/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2336924 memory=2036832 CPUtime=341.31 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 250775 0 0 0 33968 163 0 0 20 0 1 0 32723662 2393010176 509208 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 584231 509208 2528 595 0 568898 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2336924 KiB
Current children cumulated memory: 2036832 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.62 3.40 5/249 18759
/proc/meminfo: memFree=127381344/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2339432 memory=2039344 CPUtime=401.15 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 253503 0 0 0 39947 168 0 0 20 0 1 0 32723662 2395578368 509836 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 584858 509836 2528 595 0 569525 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 2339432 KiB
Current children cumulated memory: 2039344 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.71 3.44 5/250 18764
/proc/meminfo: memFree=127382348/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2340472 memory=2040388 CPUtime=460.98 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 255312 0 0 0 45928 170 0 0 20 0 1 0 32723662 2396643328 510097 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 585118 510097 2528 595 0 569785 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 2142176 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 18896
/proc/meminfo: memFree=127290084/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2526536 memory=2143356 CPUtime=2914.5 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 307998 0 0 0 291120 330 0 0 20 0 1 0 32723662 2587172864 535839 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 631634 535839 2528 595 0 616301 0
Current children cumulated CPU time: 2914.5 s
Current children cumulated vsize: 2526536 KiB
Current children cumulated memory: 2143356 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/250 18898
/proc/meminfo: memFree=127288316/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2526696 memory=2143516 CPUtime=2974.35 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 309608 0 0 0 297101 334 0 0 20 0 1 0 32723662 2587336704 535879 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 631674 535879 2528 595 0 616341 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 2526696 KiB
Current children cumulated memory: 2143516 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/251 18901
/proc/meminfo: memFree=127286564/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2527880 memory=2144700 CPUtime=3034.2 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 311669 0 0 0 303084 336 0 0 20 0 1 0 32723662 2588549120 536175 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 631970 536175 2528 595 0 616637 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 2527880 KiB
Current children cumulated memory: 2144700 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 18903
/proc/meminfo: memFree=127289368/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2528416 memory=2145236 CPUtime=3094.06 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 313903 0 0 0 309066 340 0 0 20 0 1 0 32723662 2589097984 536309 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 632104 536309 2528 595 0 616771 0
Current children cumulated CPU time: 3094.06 s
Current children cumulated vsize: 2528416 KiB
Current children cumulated memory: 2145236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/251 18905
/proc/meminfo: memFree=127289892/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2528416 memory=2145236 CPUtime=3153.92 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 314280 0 0 0 315018 374 0 0 20 0 1 0 32723662 2589097984 536309 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 632104 536309 2528 595 0 616771 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 2528416 KiB
Current children cumulated memory: 2145236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 18907
/proc/meminfo: memFree=127291252/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2528968 memory=2145788 CPUtime=3213.77 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 314675 0 0 0 321000 377 0 0 20 0 1 0 32723662 2589663232 536447 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 632242 536447 2528 595 0 616909 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 2528968 KiB
Current children cumulated memory: 2145788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 18909
/proc/meminfo: memFree=127290584/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2531856 memory=2148676 CPUtime=3273.63 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 317014 0 0 0 326983 380 0 0 20 0 1 0 32723662 2592620544 537169 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 632964 537169 2528 595 0 617631 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 2531856 KiB
Current children cumulated memory: 2148676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 18911
/proc/meminfo: memFree=127290860/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2532376 memory=2149196 CPUtime=3333.48 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 317696 0 0 0 332967 381 0 0 20 0 1 0 32723662 2593153024 537299 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 633094 537299 2528 595 0 617761 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 2532376 KiB
Current children cumulated memory: 2149196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 18913
/proc/meminfo: memFree=127291112/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2532376 memory=2149196 CPUtime=3393.32 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 319138 0 0 0 338949 383 0 0 20 0 1 0 32723662 2593153024 537299 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 633094 537299 2528 595 0 617761 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 2532376 KiB
Current children cumulated memory: 2149196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/250 18918
/proc/meminfo: memFree=127279636/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2565148 memory=2181928 CPUtime=3453.17 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 320982 0 0 0 344931 386 0 0 20 0 1 0 32723662 2626711552 545482 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 641287 545482 2528 595 0 625954 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 2565148 KiB
Current children cumulated memory: 2181928 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/250 18924
/proc/meminfo: memFree=127289564/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2532376 memory=2149196 CPUtime=3513.03 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 322425 0 0 0 350914 389 0 0 20 0 1 0 32723662 2593153024 537299 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 633094 537299 2528 595 0 617761 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 2532376 KiB
Current children cumulated memory: 2149196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.63 4.25 4.14 5/250 19060
/proc/meminfo: memFree=127605916/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2581100 memory=2197920 CPUtime=3572.84 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 326206 0 0 0 356888 396 0 0 20 0 1 0 32723662 2643046400 549480 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 645275 549480 2528 595 0 629942 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 2581100 KiB
Current children cumulated memory: 2197920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.47 4.24 4.14 5/250 19060
/proc/meminfo: memFree=127529932/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=2581100 memory=2197920 CPUtime=3600.06 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 326470 0 0 0 359609 397 0 0 20 0 1 0 32723662 2643046400 549480 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 645275 549480 2528 595 0 629942 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2581100 KiB
Current children cumulated memory: 2197920 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.34 s, system=3.97897 s

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

[startup+3609.8 s]
/proc/loadavg: 4.47 4.24 4.14 5/250 19060
/proc/meminfo: memFree=127529932/131382120 swapFree=33010684/33010684
[pid=18744] ppid=18741 vsize=1738684 memory=1587652 CPUtime=3600.25 cores=4,6
/proc/18744/stat : 18744 (SynLSCD) R 18741 18744 18584 0 -1 4194304 326501 0 0 0 359628 397 0 0 20 0 1 0 32723662 1780412416 396913 18446744073709551615 94134078820352 94134081254505 140730776196592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94134081735928 94134081768960 94134107865088 140730776205670 140730776205803 140730776205803 140730776211405 0
/proc/18744/statm: 434671 396913 2624 595 0 419338 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 1738684 KiB
Current children cumulated memory: 1587652 KiB

Child status: 0

Real time (s): 3609.86
CPU time (s): 3600.32
CPU user time (s): 3596.34
CPU system time (s): 3.97897
CPU usage (%): 99.7359
Max. virtual memory (cumulated for all children) (KiB): 2641176
Max. memory (cumulated for all children) (KiB): 2216828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.34
system time used= 3.97897
maximum resident set size= 2225096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326530
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= 230
involuntary context switches= 1406


# summary of solver processes directly reported to runsolver:
#   pid: 18744
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3596.34
#   total CPU system time (s): 3.97897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.649 second user time and 34.467 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-29 06:14:09
IDJOB=4503578
IDBENCH=155522
IDSOLVER=3369
FILE ID=nodeC002/4503578-1751170448
RUNJOBID= nodeC002-1751170366-18595
SLURM_JOB_ID= 9587526
Free space on /tmp= 432984 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-134.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503578-1751170448/watcher-4503578-1751170448 -o /tmp/evaluation-result-4503578-1751170448/solver-4503578-1751170448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751170366-18595 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503578-1751170448.opb

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

MD5SUM BENCH= 8f50e455e41c11932a7c1290f673c930
RANDOM SEED=1485764269

nodeC002 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		: 3661.407
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.81
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		: 3691.366
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.81
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.212
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.81
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.586
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.81
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.981
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.81
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		: 3691.444
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.81
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		: 1795.837
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.81
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		: 1198.098
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129514752 kB
MemAvailable:   129218756 kB
Buffers:            3280 kB
Cached:           515744 kB
SwapCached:            0 kB
Active:          1018568 kB
Inactive:         268588 kB
Active(anon):     786092 kB
Inactive(anon):        0 kB
Active(file):     232476 kB
Inactive(file):   268588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             53300 kB
Writeback:             0 kB
AnonPages:        771256 kB
Mapped:           113876 kB
Shmem:             17960 kB
KReclaimable:      85136 kB
Slab:             166756 kB
SReclaimable:      85136 kB
SUnreclaim:        81620 kB
KernelStack:        4112 kB
PageTables:         4740 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1189964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC002 at 2025-06-29 07:14:19