Trace number 4514388

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.1 3609.6

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_10.opb
MD5SUM7fddd5a63b4237b93179de1569c49542
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark15.0846
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1806
Total number of constraints8614
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 52
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.00/0.04	c #vars 1806 #constraints 8615 4.77021 1
0.29/0.38	c 8615 constraints
0.29/0.38	c Finish cloning data from SAT to LS
0.29/0.38	c restart_num_ls  -100000 0
78.10/78.36	c Use LS-small
78.10/78.36	restart_num  0 314
78.10/78.37	LS-restart 90 91
78.10/78.37	c similarity no use LS 0.996124
153.22/153.65	c restart_num_ls  314 815
153.22/153.65	c LS 90 21
270.26/270.93	c Use LS-small
270.26/270.93	restart_num  815 1162
270.26/270.93	LS-restart 80 40
347.80/348.68	c Use LS-small
347.80/348.68	restart_num  1162 1469
347.80/348.68	LS-restart 70 98
347.80/348.68	c similarity no use LS 0.994463
389.80/390.78	restart_num  1469 1785
389.80/390.78	LS-restart 70 4
547.86/549.13	c Use LS-small
547.86/549.13	restart_num  1785 2231
547.86/549.13	LS-restart 60 32
644.66/646.16	c Use LS-small
644.66/646.16	restart_num  2231 2581
644.66/646.16	LS-restart 50 28
727.77/729.44	c Use LS-small
727.77/729.44	restart_num  2581 2918
727.77/729.44	LS-restart 40 78
727.77/729.44	c similarity no use LS 0.996124
806.49/808.36	restart_num  2918 3329
806.49/808.36	LS-restart 40 84
806.49/808.36	c similarity no use LS 0.993909
852.68/854.66	restart_num  3329 3689
852.68/854.66	LS-restart 40 80
852.68/854.66	c similarity no use LS 0.99557
1028.37/1030.71	restart_num  3689 4109
1028.37/1030.71	LS-restart 40 97
1028.37/1030.71	c similarity no use LS 0.994463
1075.96/1078.48	restart_num  4109 4491
1075.96/1078.48	LS-restart 40 5
1154.09/1156.75	c Use LS-small
1154.09/1156.75	restart_num  4491 4795
1154.09/1156.75	LS-restart 30 5
1255.57/1258.47	c Use LS-small
1255.57/1258.47	restart_num  4795 5146
1255.57/1258.47	LS-restart 20 25
1255.57/1258.47	c similarity no use LS 0.993909
1322.27/1325.38	c restart_num_ls  5146 5647
1322.27/1325.38	c LS 20 92
1322.27/1325.38	c similarity no use LS 0.994463
1368.54/1371.74	restart_num  5647 6020
1368.54/1371.74	LS-restart 20 34
1368.54/1371.74	c similarity no use LS 0.995017
1460.07/1463.59	restart_num  6020 6380
1460.07/1463.59	LS-restart 20 8
1547.54/1551.29	c Use LS-small
1547.54/1551.29	restart_num  6380 6728
1547.54/1551.29	LS-restart 10 82
1547.54/1551.29	c similarity no use LS 0.995017
1584.63/1588.41	restart_num  6728 7069
1584.63/1588.41	LS-restart 10 19
1584.63/1588.41	c similarity no use LS 0.995017
1691.22/1695.39	c restart_num_ls  7069 7570
1691.22/1695.39	c LS 10 99
1691.22/1695.39	c similarity no use LS 0.992248
1777.06/1781.40	c restart_num_ls  7570 8071
1777.06/1781.40	c LS 10 17
1777.06/1781.40	c similarity no use LS 0.990587
2152.48/2157.85	restart_num  8071 8421
2152.48/2157.85	LS-restart 10 89
2152.48/2157.85	c similarity no use LS 0.993355
2210.02/2215.53	restart_num  8421 8799
2210.02/2215.53	LS-restart 10 49
2210.02/2215.53	c similarity no use LS 0.993355
2256.48/2262.15	restart_num  8799 9203
2256.48/2262.15	LS-restart 10 48
2256.48/2262.15	c similarity no use LS 0.991694
2337.25/2343.19	restart_num  9203 9599
2337.25/2343.19	LS-restart 10 51
2337.25/2343.19	c similarity no use LS 0.993355
2409.13/2415.27	c restart_num_ls  9599 10100
2409.13/2415.27	c LS 10 54
2409.13/2415.27	c similarity no use LS 0.991141
2528.69/2535.10	restart_num  10100 10521
2528.69/2535.10	LS-restart 10 35
2528.69/2535.10	c similarity no use LS 0.991694
2582.53/2589.14	restart_num  10521 10847
2582.53/2589.14	LS-restart 10 40
2582.53/2589.14	c similarity no use LS 0.993909
2625.99/2632.72	restart_num  10847 11152
2625.99/2632.72	LS-restart 10 93
2625.99/2632.72	c similarity no use LS 0.992802
2715.23/2722.29	restart_num  11152 11562
2715.23/2722.29	LS-restart 10 4
2812.78/2820.02	c Use LS-small
2812.78/2820.02	restart_num  11562 11872
2812.78/2820.02	c similarity no use LS 0.993909
3019.76/3027.66	restart_num  11872 12362
3019.76/3027.66	c similarity no use LS 0.992802
3068.83/3076.87	restart_num  12362 12725
3068.83/3076.87	c similarity no use LS 0.992802
3141.71/3149.98	c restart_num_ls  12725 13226
3141.71/3149.98	c similarity no use LS 0.992248
3230.56/3239.01	restart_num  13226 13656
3230.56/3239.01	c similarity no use LS 0.991141
3288.40/3297.09	restart_num  13656 13996
3288.40/3297.09	c similarity no use LS 0.992248
3397.18/3406.17	restart_num  13996 14353
3397.18/3406.17	c similarity no use LS 0.990587
3439.86/3449.00	restart_num  14353 14657
3439.86/3449.00	c similarity no use LS 0.990587
3493.70/3503.00	restart_num  14657 14977
3493.81/3503.00	c similarity no use LS 0.993909
3588.83/3598.31	restart_num  14977 15459
3588.83/3598.31	c similarity no use LS 0.990587
3600.09/3609.60	c Program interrupted by user.
3600.09/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: 63665 MiB (62341 MiB free)
  memory of node 1: 64507 MiB (63635 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514388-1751220318/watcher-4514388-1751220318 -o /tmp/evaluation-result-4514388-1751220318/solver-4514388-1751220318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751215247-25534 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4514388-1751220318.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=27016, runsolver pid=27013
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 27017
/proc/meminfo: memFree=128999732/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=87448 memory=14464 CPUtime=0.08 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 1644 0 0 0 8 0 0 0 20 0 1 0 37711657 89546752 3616 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 21862 3616 2272 595 0 6529 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 87448 KiB
Current children cumulated memory: 14464 KiB

[startup+0.205458 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 27017
/proc/meminfo: memFree=128996960/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=100480 memory=26580 CPUtime=0.19 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 5373 0 0 0 18 1 0 0 20 0 1 0 37711657 102891520 6645 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 25120 6645 2432 595 0 9787 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100480 KiB
Current children cumulated memory: 26580 KiB

[startup+0.305422 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 27017
/proc/meminfo: memFree=128994944/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=101328 memory=27604 CPUtime=0.29 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 5620 0 0 0 28 1 0 0 20 0 1 0 37711657 103759872 6901 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 25332 6901 2432 595 0 9999 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101328 KiB
Current children cumulated memory: 27604 KiB

[startup+0.70014 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 27017
/proc/meminfo: memFree=128990912/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=105288 memory=31700 CPUtime=0.67 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 6626 0 0 0 65 2 0 0 20 0 1 0 37711657 107814912 7925 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 26322 7925 2464 595 0 10989 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 31700 KiB

[startup+1.50014 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 27017
/proc/meminfo: memFree=128990912/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=105288 memory=31700 CPUtime=1.48 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 6626 0 0 0 143 5 0 0 20 0 1 0 37711657 107814912 7925 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 26322 7925 2464 595 0 10989 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 31700 KiB

[startup+3.10534 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 27017
/proc/meminfo: memFree=128991416/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=105288 memory=31700 CPUtime=3.07 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 6626 0 0 0 296 11 0 0 20 0 1 0 37711657 107814912 7925 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 26322 7925 2464 595 0 10989 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 31700 KiB

[startup+6.30012 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 27017
/proc/meminfo: memFree=128991944/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=105288 memory=31700 CPUtime=6.26 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 6626 0 0 0 603 23 0 0 20 0 1 0 37711657 107814912 7925 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 26322 7925 2464 595 0 10989 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 31700 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 27017
/proc/meminfo: memFree=128992220/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=105288 memory=31700 CPUtime=12.65 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 6626 0 0 0 1221 44 0 0 20 0 1 0 37711657 107814912 7925 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 26322 7925 2464 595 0 10989 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 31700 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 27062
/proc/meminfo: memFree=128996468/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=105288 memory=31700 CPUtime=25.42 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 6626 0 0 0 2453 89 0 0 20 0 1 0 37711657 107814912 7925 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 26322 7925 2464 595 0 10989 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 105288 KiB
Current children cumulated memory: 31700 KiB

[startup+51.1052 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 27063
/proc/meminfo: memFree=128994492/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=109684 memory=46508 CPUtime=50.98 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 7724 0 0 0 4943 155 0 0 20 0 1 0 37711657 112316416 11627 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 27421 11627 2528 595 0 12088 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 109684 KiB
Current children cumulated memory: 46508 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 27066
/proc/meminfo: memFree=128954972/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=113104 memory=56104 CPUtime=102.04 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 8564 0 0 0 10041 163 0 0 20 0 1 0 37711657 115818496 14026 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 28276 14026 2528 595 0 12943 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 113104 KiB
Current children cumulated memory: 56104 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 27068
/proc/meminfo: memFree=128943720/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=114100 memory=57256 CPUtime=161.91 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 8815 0 0 0 15991 200 0 0 20 0 1 0 37711657 116838400 14314 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 28525 14314 2528 595 0 13192 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 114100 KiB
Current children cumulated memory: 57256 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 27070
/proc/meminfo: memFree=128934560/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=114552 memory=57640 CPUtime=221.77 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 8923 0 0 0 21846 331 0 0 20 0 1 0 37711657 117301248 14410 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 28638 14410 2528 595 0 13305 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 114552 KiB
Current children cumulated memory: 57640 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 27116
/proc/meminfo: memFree=129110868/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=115004 memory=58152 CPUtime=281.64 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 9035 0 0 0 27776 388 0 0 20 0 1 0 37711657 117764096 14538 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 28751 14538 2528 595 0 13418 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 115004 KiB
Current children cumulated memory: 58152 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 27298
/proc/meminfo: memFree=129160088/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=115396 memory=58536 CPUtime=341.51 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 9141 0 0 0 33647 504 0 0 20 0 1 0 37711657 118165504 14634 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 28849 14634 2528 595 0 13516 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 115396 KiB
Current children cumulated memory: 58536 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 27300
/proc/meminfo: memFree=129164516/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=115596 memory=58792 CPUtime=401.39 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 9217 0 0 0 39585 554 0 0 20 0 1 0 37711657 118370304 14698 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 28899 14698 2528 595 0 13566 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 115596 KiB
Current children cumulated memory: 58792 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 27304
/proc/meminfo: memFree=129163872/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=115840 memory=58920 CPUtime=461.26 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 9253 0 0 0 45461 665 0 0 20 0 1 0 37711657 118620160 14730 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 28960 14730 2528 595 0 13627 0
Current children cumulated CPU time: 461.26 s

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

Current children cumulated memory: 70680 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 27817
/proc/meminfo: memFree=129128292/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=137596 memory=70936 CPUtime=2854.94 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 11858 0 0 0 283658 1836 0 0 20 0 1 0 37711657 140898304 17734 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34399 17734 2528 595 0 19066 0
Current children cumulated CPU time: 2854.94 s
Current children cumulated vsize: 137596 KiB
Current children cumulated memory: 70936 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 27822
/proc/meminfo: memFree=129131708/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=137596 memory=71064 CPUtime=2914.77 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 11890 0 0 0 289633 1844 0 0 20 0 1 0 37711657 140898304 17766 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34399 17766 2528 595 0 19066 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 137596 KiB
Current children cumulated memory: 71064 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 27824
/proc/meminfo: memFree=129130628/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=137756 memory=71192 CPUtime=2974.59 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 11900 0 0 0 295609 1850 0 0 20 0 1 0 37711657 141062144 17798 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34439 17798 2528 595 0 19106 0
Current children cumulated CPU time: 2974.59 s
Current children cumulated vsize: 137756 KiB
Current children cumulated memory: 71192 KiB

[startup+3042.3 s]
/proc/loadavg: 4.40 4.16 4.11 5/263 27828
/proc/meminfo: memFree=129129776/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=137948 memory=71320 CPUtime=3034.43 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 11970 0 0 0 301586 1857 0 0 20 0 1 0 37711657 141258752 17830 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34487 17830 2528 595 0 19154 0
Current children cumulated CPU time: 3034.43 s
Current children cumulated vsize: 137948 KiB
Current children cumulated memory: 71320 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/263 27832
/proc/meminfo: memFree=129143212/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138116 memory=71576 CPUtime=3094.25 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12013 0 0 0 307562 1863 0 0 20 0 1 0 37711657 141430784 17894 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34529 17894 2528 595 0 19196 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 138116 KiB
Current children cumulated memory: 71576 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 27834
/proc/meminfo: memFree=129144284/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138116 memory=71576 CPUtime=3154.08 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12014 0 0 0 313539 1869 0 0 20 0 1 0 37711657 141430784 17894 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34529 17894 2528 595 0 19196 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 138116 KiB
Current children cumulated memory: 71576 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 27837
/proc/meminfo: memFree=129133492/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138116 memory=71576 CPUtime=3213.91 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12015 0 0 0 319508 1883 0 0 20 0 1 0 37711657 141430784 17894 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34529 17894 2528 595 0 19196 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 138116 KiB
Current children cumulated memory: 71576 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 27839
/proc/meminfo: memFree=129125180/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138116 memory=73632 CPUtime=3273.73 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12017 0 0 0 325490 1883 0 0 20 0 1 0 37711657 141430784 18408 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34529 18408 2528 595 0 19196 0
Current children cumulated CPU time: 3273.73 s
Current children cumulated vsize: 138116 KiB
Current children cumulated memory: 73632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 27841
/proc/meminfo: memFree=129125220/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138116 memory=73632 CPUtime=3333.57 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12034 0 0 0 331469 1888 0 0 20 0 1 0 37711657 141430784 18408 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34529 18408 2528 595 0 19196 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 138116 KiB
Current children cumulated memory: 73632 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 27854
/proc/meminfo: memFree=129124868/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138116 memory=73632 CPUtime=3393.39 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12047 0 0 0 337446 1893 0 0 20 0 1 0 37711657 141430784 18408 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34529 18408 2528 595 0 19196 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 138116 KiB
Current children cumulated memory: 73632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 27856
/proc/meminfo: memFree=129121700/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138376 memory=73888 CPUtime=3453.22 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12082 0 0 0 343422 1900 0 0 20 0 1 0 37711657 141697024 18472 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34594 18472 2528 595 0 19261 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 138376 KiB
Current children cumulated memory: 73888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 27861
/proc/meminfo: memFree=129125528/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138376 memory=73888 CPUtime=3513.04 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12084 0 0 0 349399 1905 0 0 20 0 1 0 37711657 141697024 18472 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34594 18472 2528 595 0 19261 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 138376 KiB
Current children cumulated memory: 73888 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 27863
/proc/meminfo: memFree=129125380/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138376 memory=73888 CPUtime=3572.86 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12084 0 0 0 355373 1913 0 0 20 0 1 0 37711657 141697024 18472 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34594 18472 2528 595 0 19261 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 138376 KiB
Current children cumulated memory: 73888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 27867
/proc/meminfo: memFree=129124708/131250000 swapFree=33010684/33010684
[pid=27016] ppid=27013 vsize=138376 memory=73888 CPUtime=3600.09 cores=4,6
/proc/27016/stat : 27016 (SynLSCD) R 27013 27016 25523 0 -1 4194304 12084 0 0 0 358090 1919 0 0 20 0 1 0 37711657 141697024 18472 18446744073709551615 94392696467456 94392698901609 140726427818240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94392699383032 94392699416064 94392723869696 140726427822438 140726427822571 140726427822571 140726427828173 0
/proc/27016/statm: 34594 18472 2528 595 0 19261 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 138376 KiB
Current children cumulated memory: 73888 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.91 s, system=19.1946 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.1
CPU user time (s): 3580.91
CPU system time (s): 19.1946
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 138376
Max. memory (cumulated for all children) (KiB): 73888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.91
system time used= 19.1946
maximum resident set size= 81068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12114
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= 151
involuntary context switches= 2286


# summary of solver processes directly reported to runsolver:
#   pid: 27016
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3580.91
#   total CPU system time (s): 19.1946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94144 second user time and 13.1832 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-29 20:05:18
IDJOB=4514388
IDBENCH=162673
IDSOLVER=3369
FILE ID=nodeC027/4514388-1751220318
RUNJOBID= nodeC027-1751215247-25534
SLURM_JOB_ID= 9587651
Free space on /tmp= 433044 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_10.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-4514388-1751220318/watcher-4514388-1751220318 -o /tmp/evaluation-result-4514388-1751220318/solver-4514388-1751220318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751215247-25534 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4514388-1751220318.opb

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

MD5SUM BENCH= 7fddd5a63b4237b93179de1569c49542
RANDOM SEED=367298100

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.674
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.639
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.620
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.619
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.634
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.100
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3594.009
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129000488 kB
MemAvailable:   129371764 kB
Buffers:            3280 kB
Cached:          1175440 kB
SwapCached:            0 kB
Active:           735836 kB
Inactive:         918840 kB
Active(anon):     494024 kB
Inactive(anon):        0 kB
Active(file):     241812 kB
Inactive(file):   918840 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4268 kB
Writeback:             0 kB
AnonPages:        479024 kB
Mapped:           114332 kB
Shmem:             18068 kB
KReclaimable:      99324 kB
Slab:             185072 kB
SReclaimable:      99324 kB
SUnreclaim:        85748 kB
KernelStack:        4256 kB
PageTables:         4088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     838692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    391168 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC027 at 2025-06-29 21:05:28