Trace number 4503470

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.09 3609.41

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-185.opb
MD5SUM458054bd456c10a880dafd6041bb82b2
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 benchmark3.46436
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1840
Total number of constraints46243
Number of constraints which are clauses42504
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints3666
Minimum length of a constraint2
Maximum length of a constraint42
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 43
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.32/0.47	c #vars 1840 #constraints 46286 25.1554 1
0.68/0.80	c 46286 constraints
0.68/0.80	c Finish cloning data from SAT to LS
0.68/0.80	c restart_num_ls  -100000 0
56.33/56.67	c Use LS-small
56.33/56.67	c restart_num_ls  0 510
56.33/56.67	c LS 90 58
118.72/119.28	c Use LS-small
118.72/119.28	c restart_num_ls  510 1022
118.72/119.28	c LS 80 20
179.41/180.18	c Use LS-small
179.41/180.18	c restart_num_ls  1022 1532
179.41/180.18	c LS 70 22
237.40/238.39	c Use LS-small
237.40/238.39	c restart_num_ls  1532 2044
237.40/238.39	c LS 60 70
305.31/306.49	c Use LS-small
305.31/306.49	c restart_num_ls  2044 2549
305.31/306.49	c LS 50 40
364.64/365.99	c Use LS-small
364.64/365.99	c restart_num_ls  2549 3065
364.64/365.99	c LS 40 33
424.80/426.22	c Use LS-small
424.80/426.22	c restart_num_ls  3065 3576
424.80/426.22	c LS 30 45
490.14/491.74	c Use LS-small
490.14/491.74	c restart_num_ls  3576 4093
490.14/491.74	c LS 20 57
575.62/577.45	c Use LS-small
575.62/577.45	c restart_num_ls  4093 4607
575.62/577.45	c LS 10 69
628.49/630.41	c Use LS-small
628.49/630.41	c restart_num_ls  4607 5116
688.84/690.99	c Use LS-small
688.84/690.99	c restart_num_ls  5116 5627
752.79/755.03	c Use LS-small
752.79/755.03	c restart_num_ls  5627 6140
815.23/817.65	c Use LS-small
815.23/817.65	c restart_num_ls  6140 6651
869.89/872.41	c Use LS-small
869.89/872.41	c restart_num_ls  6651 7155
931.03/933.74	c Use LS-small
931.03/933.74	c restart_num_ls  7155 7669
993.07/995.99	c Use LS-small
993.07/995.99	c restart_num_ls  7669 8187
1113.07/1116.27	c Use LS-small
1113.07/1116.27	c restart_num_ls  8187 8698
1170.52/1173.84	c Use LS-small
1170.52/1173.84	c restart_num_ls  8698 9203
1236.45/1240.00	c Use LS-small
1236.45/1240.00	c restart_num_ls  9203 9737
1305.58/1309.24	c Use LS-small
1305.58/1309.24	c restart_num_ls  9737 10253
1361.26/1365.02	c Use LS-small
1361.26/1365.02	c restart_num_ls  10253 10765
1424.70/1428.61	c Use LS-small
1424.70/1428.61	c restart_num_ls  10765 11270
1478.86/1482.99	c Use LS-small
1478.86/1482.99	c restart_num_ls  11270 11771
1548.39/1552.66	c Use LS-small
1548.39/1552.66	c restart_num_ls  11771 12283
1637.58/1642.07	c Use LS-small
1637.58/1642.07	c restart_num_ls  12283 12820
1699.43/1704.06	c Use LS-small
1699.43/1704.06	c restart_num_ls  12820 13342
1754.29/1759.11	c Use LS-small
1754.29/1759.11	c restart_num_ls  13342 13874
1825.81/1830.71	c Use LS-small
1825.81/1830.71	c restart_num_ls  13874 14394
1886.16/1891.23	c Use LS-small
1886.16/1891.23	c restart_num_ls  14394 15032
1951.99/1957.27	c Use LS-small
1951.99/1957.27	c restart_num_ls  15032 15610
2010.15/2015.51	c Use LS-small
2010.15/2015.51	c restart_num_ls  15610 16134
2219.02/2224.95	c Use LS-small
2219.02/2224.95	c restart_num_ls  16134 16698
2275.98/2282.05	c Use LS-small
2275.98/2282.05	c restart_num_ls  16698 17210
2335.11/2341.34	c Use LS-small
2335.11/2341.34	c restart_num_ls  17210 17722
2391.79/2398.15	c Use LS-small
2391.79/2398.15	c restart_num_ls  17722 18293
2462.79/2469.33	c Use LS-small
2462.79/2469.33	c restart_num_ls  18293 18811
2518.56/2525.24	c Use LS-small
2518.56/2525.24	c restart_num_ls  18811 19343
2580.01/2586.86	c Use LS-small
2580.01/2586.86	c restart_num_ls  19343 19898
2636.56/2643.51	c Use LS-small
2636.56/2643.51	c restart_num_ls  19898 20473
2732.82/2740.10	c Use LS-small
2732.82/2740.10	c restart_num_ls  20473 21029
2794.56/2801.97	c Use LS-small
2794.56/2801.97	c restart_num_ls  21029 21551
2851.02/2858.53	c Use LS-small
2851.02/2858.53	c restart_num_ls  21551 22073
2922.54/2930.22	c Use LS-small
2922.54/2930.22	c restart_num_ls  22073 22587
2976.72/2984.57	c Use LS-small
2976.72/2984.57	c restart_num_ls  22587 23091
3040.36/3048.31	c Use LS-small
3040.36/3048.31	c restart_num_ls  23091 23631
3099.11/3107.21	c Use LS-small
3099.11/3107.21	c restart_num_ls  23631 24134
3229.79/3238.22	c Use LS-small
3229.79/3238.22	c restart_num_ls  24134 24663
3287.25/3295.81	c Use LS-small
3287.25/3295.81	c restart_num_ls  24663 25205
3350.09/3358.84	c Use LS-small
3350.09/3358.84	c restart_num_ls  25205 25729
3406.45/3415.35	c Use LS-small
3406.45/3415.35	c restart_num_ls  25729 26265
3476.88/3485.92	c Use LS-small
3476.88/3485.92	c restart_num_ls  26265 26766
3536.33/3545.56	c Use LS-small
3536.33/3545.56	c restart_num_ls  26766 27373
3600.07/3609.40	c Use LS-small
3600.07/3609.40	c Program interrupted by user.
3600.07/3609.40	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 (63313 MiB free)
  memory of node 1: 64465 MiB (63979 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100099 s]*
/proc/loadavg: 0.71 1.59 2.87 2/249 18643
/proc/meminfo: memFree=130323504/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=65788 memory=2944 CPUtime=0 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 203 0 12 0 0 0 0 0 20 0 1 0 32715441 67366912 736 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 16447 736 672 595 0 1193 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 65788 KiB
Current children cumulated memory: 2944 KiB

[startup+0.212884 s]*
/proc/loadavg: 0.71 1.59 2.87 5/247 18643
/proc/meminfo: memFree=130301328/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=86056 memory=13440 CPUtime=0.11 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 1339 0 22 0 10 1 0 0 20 0 1 0 32715441 88121344 3360 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 21514 3360 2272 595 0 6181 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 86056 KiB
Current children cumulated memory: 13440 KiB

[startup+0.312489 s]*
/proc/loadavg: 0.71 1.59 2.87 4/248 18644
/proc/meminfo: memFree=130286208/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=87776 memory=17052 CPUtime=0.22 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 1753 0 22 0 20 2 0 0 20 0 1 0 32715441 89882624 4263 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 21944 4263 2272 595 0 6611 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 17052 KiB

[startup+0.700283 s]
/proc/loadavg: 0.71 1.59 2.87 5/252 18653
/proc/meminfo: memFree=130263644/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=120928 memory=50376 CPUtime=0.59 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 9861 0 22 0 54 5 0 0 20 0 1 0 32715441 123830272 12594 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 30232 12594 2432 595 0 14899 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 120928 KiB
Current children cumulated memory: 50376 KiB

[startup+1.50032 s]
/proc/loadavg: 0.71 1.59 2.87 5/252 18653
/proc/meminfo: memFree=130184576/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=145056 memory=72520 CPUtime=1.38 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 15354 0 22 0 129 9 0 0 20 0 1 0 32715441 148537344 18130 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 36264 18130 2496 595 0 20931 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 145056 KiB
Current children cumulated memory: 72520 KiB

[startup+3.11265 s]
/proc/loadavg: 1.05 1.65 2.88 5/252 18653
/proc/meminfo: memFree=129756376/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=145056 memory=72520 CPUtime=2.99 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 15354 0 22 0 283 16 0 0 20 0 1 0 32715441 148537344 18130 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 36264 18130 2496 595 0 20931 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 145056 KiB
Current children cumulated memory: 72520 KiB

[startup+6.30029 s]
/proc/loadavg: 1.05 1.65 2.88 5/252 18653
/proc/meminfo: memFree=128896220/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=145056 memory=72520 CPUtime=6.17 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 15354 0 22 0 587 30 0 0 20 0 1 0 32715441 148537344 18130 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 36264 18130 2496 595 0 20931 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 145056 KiB
Current children cumulated memory: 72520 KiB

[startup+12.7003 s]
/proc/loadavg: 1.74 1.77 2.91 5/252 18653
/proc/meminfo: memFree=128437212/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=145056 memory=72520 CPUtime=12.56 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 15354 0 22 0 1199 57 0 0 20 0 1 0 32715441 148537344 18130 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 36264 18130 2496 595 0 20931 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 145056 KiB
Current children cumulated memory: 72520 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 1.88 2.93 5/252 18698
/proc/meminfo: memFree=128251216/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=145056 memory=72520 CPUtime=25.32 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 15354 0 22 0 2426 106 0 0 20 0 1 0 32715441 148537344 18130 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 36264 18130 2496 595 0 20931 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 145056 KiB
Current children cumulated memory: 72520 KiB

[startup+51.1131 s]
/proc/loadavg: 2.90 2.07 2.96 5/252 18699
/proc/meminfo: memFree=128088604/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=151408 memory=80756 CPUtime=50.86 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 16986 0 22 0 4929 157 0 0 20 0 1 0 32715441 155041792 20189 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 37852 20189 2496 595 0 22519 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 151408 KiB
Current children cumulated memory: 80756 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.39 3.03 5/253 18746
/proc/meminfo: memFree=127619124/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=152696 memory=82036 CPUtime=101.87 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 17281 0 22 0 9868 319 0 0 20 0 1 0 32715441 156360704 20509 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 38174 20509 2496 595 0 22841 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 152696 KiB
Current children cumulated memory: 82036 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.70 3.10 5/253 18747
/proc/meminfo: memFree=127553068/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=153288 memory=84576 CPUtime=161.67 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 17435 0 22 0 15688 479 0 0 20 0 1 0 32715441 156966912 21144 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 38322 21144 2496 595 0 22989 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 153288 KiB
Current children cumulated memory: 84576 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.96 3.16 5/252 18749
/proc/meminfo: memFree=127481508/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=154932 memory=85728 CPUtime=221.46 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 17724 0 22 0 21509 637 0 0 20 0 1 0 32715441 158650368 21432 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 38733 21432 2496 595 0 23400 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 154932 KiB
Current children cumulated memory: 85728 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.18 3.22 5/251 18751
/proc/meminfo: memFree=127431008/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=154932 memory=88288 CPUtime=281.26 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 17754 0 22 0 27324 802 0 0 20 0 1 0 32715441 158650368 22072 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 38733 22072 2496 595 0 23400 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 154932 KiB
Current children cumulated memory: 88288 KiB

[startup+342.3 s]
/proc/loadavg: 4.03 3.33 3.28 5/250 18753
/proc/meminfo: memFree=127409476/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=155352 memory=88928 CPUtime=341.1 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 17792 0 22 0 33154 956 0 0 20 0 1 0 32715441 159080448 22232 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 38838 22232 2496 595 0 23505 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 155352 KiB
Current children cumulated memory: 88928 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.49 3.33 5/248 18755
/proc/meminfo: memFree=127394392/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=156516 memory=90080 CPUtime=400.96 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 18085 0 22 0 38974 1122 0 0 20 0 1 0 32715441 160272384 22520 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 39129 22520 2496 595 0 23796 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 156516 KiB
Current children cumulated memory: 90080 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.60 3.38 5/249 18758
/proc/meminfo: memFree=127378816/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=156884 memory=90464 CPUtime=460.81 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 18208 0 22 0 44808 1273 0 0 20 0 1 0 32715441 160649216 22616 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 39221 22616 2496 595 0 23888 0
Current children cumulated CPU time: 460.81 s
Current children cumulated vsize: 156884 KiB

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

Current children cumulated memory: 107248 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/250 18873
/proc/meminfo: memFree=127290980/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=2854.81 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20501 0 22 0 278832 6649 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 2854.81 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/250 18888
/proc/meminfo: memFree=127287888/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=2914.66 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20501 0 22 0 284675 6791 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 18895
/proc/meminfo: memFree=127289328/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=2974.53 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20501 0 22 0 290506 6947 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 18897
/proc/meminfo: memFree=127257848/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3034.37 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20502 0 22 0 296334 7103 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 18899
/proc/meminfo: memFree=127288616/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3094.23 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20506 0 22 0 302163 7260 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 18902
/proc/meminfo: memFree=127289368/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3154.08 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20506 0 22 0 307994 7414 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 18904
/proc/meminfo: memFree=127289884/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3213.93 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20507 0 22 0 313977 7416 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3213.93 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 18906
/proc/meminfo: memFree=127290992/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3273.78 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20507 0 22 0 319809 7569 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 18908
/proc/meminfo: memFree=127288016/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3333.63 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20507 0 22 0 325639 7724 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/250 18910
/proc/meminfo: memFree=127290344/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3393.49 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20507 0 22 0 331465 7884 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/249 18912
/proc/meminfo: memFree=127289064/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3453.34 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20507 0 22 0 337288 8046 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 18917
/proc/meminfo: memFree=127289364/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3513.18 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20507 0 22 0 343112 8206 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 18923
/proc/meminfo: memFree=127287136/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=171524 memory=107248 CPUtime=3573.04 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20507 0 22 0 348938 8366 0 0 20 0 1 0 32715441 175640576 26812 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 42881 26812 2496 595 0 27548 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 171524 KiB
Current children cumulated memory: 107248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 18924
/proc/meminfo: memFree=127291880/131382120 swapFree=33010684/33010684
[pid=18636] ppid=18626 vsize=172548 memory=107760 CPUtime=3600.07 cores=1,3
/proc/18636/stat : 18636 (SynLSCD) R 18626 18636 18584 0 -1 4194304 20643 0 22 0 351640 8367 0 0 20 0 1 0 32715441 176689152 26940 18446744073709551615 94171186675712 94171189109865 140734165409168 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94171189591288 94171189624320 94171195891712 140734165412198 140734165412331 140734165412331 140734165417933 0
/proc/18636/statm: 43137 26940 2496 595 0 27804 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 172548 KiB
Current children cumulated memory: 107760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3516.41 s, system=83.6758 s

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

Child status: 0

Real time (s): 3609.41
CPU time (s): 3600.09
CPU user time (s): 3516.41
CPU system time (s): 83.6758
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 172548
Max. memory (cumulated for all children) (KiB): 107760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3516.41
system time used= 83.6758
maximum resident set size= 108144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20673
page faults= 22
swaps= 0
block input operations= 8352
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 1140


# summary of solver processes directly reported to runsolver:
#   pid: 18636
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3516.41
#   total CPU system time (s): 83.6758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2341 second user time and 34.2753 second system time

The end

Launcher Data

Begin job on nodeC002 at 2025-06-29 06:12:46
IDJOB=4503470
IDBENCH=155472
IDSOLVER=3369
FILE ID=nodeC002/4503470-1751170366
RUNJOBID= nodeC002-1751170366-18596
SLURM_JOB_ID= 9587526
Free space on /tmp= 433052 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-185.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-4503470-1751170366/watcher-4503470-1751170366 -o /tmp/evaluation-result-4503470-1751170366/solver-4503470-1751170366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751170366-18596 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4503470-1751170366.opb

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

MD5SUM BENCH= 458054bd456c10a880dafd6041bb82b2
RANDOM SEED=1383283363

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		: 1197.209
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		: 1197.120
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.415
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.191
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.240
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		: 1197.186
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		: 1197.648
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		: 1197.127
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:        130364844 kB
MemAvailable:   130002656 kB
Buffers:            3280 kB
Cached:           441416 kB
SwapCached:            0 kB
Active:           307156 kB
Inactive:         209028 kB
Active(anon):      89772 kB
Inactive(anon):        0 kB
Active(file):     217384 kB
Inactive(file):   209028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22124 kB
Writeback:             4 kB
AnonPages:         74916 kB
Mapped:           101956 kB
Shmem:             17960 kB
KReclaimable:      85088 kB
Slab:             166224 kB
SReclaimable:      85088 kB
SUnreclaim:        81136 kB
KernelStack:        3832 kB
PageTables:         2720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     340536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 432984 MiB
End job on nodeC002 at 2025-06-29 07:12:56