Trace number 4545815

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-07-23? (TO) 3600.1 3610.61

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l080-r079-n1.opb
MD5SUM1372c66e4673859c6e3da379b7182901
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 benchmark879.083
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4323
Total number of constraints9214
Number of constraints which are clauses7773
Number of constraints which are cardinality constraints (but not clauses)1441
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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 4323 #constraints 10655 2.46472 1
0.00/0.04	c intsize: 3
0.07/0.11	c 10655 constraints
0.07/0.11	c Finish cloning data from SAT to LS
0.07/0.11	c restart_num_ls  -100000 0
61.31/61.57	c Use LS-small
61.31/61.57	c restart_num_ls  0 508
61.31/61.57	c LS 90 26
125.84/126.22	c Use LS-small
125.84/126.22	c restart_num_ls  508 1019
125.84/126.22	c LS 80 52
201.62/202.28	c Use LS-small
201.62/202.28	c restart_num_ls  1019 1532
201.62/202.28	c LS 70 57
286.47/287.35	c Use LS-small
286.47/287.35	c restart_num_ls  1532 2046
286.47/287.35	c LS 60 75
360.85/361.92	c Use LS-small
360.85/361.92	c restart_num_ls  2046 2557
360.85/361.92	c LS 50 95
424.57/425.83	c Use LS-small
424.57/425.83	c restart_num_ls  2557 3068
424.57/425.83	c LS 40 99
512.41/513.98	c Use LS-small
512.41/513.98	c restart_num_ls  3068 3830
512.41/513.98	c LS 30 74
654.39/656.39	c Use LS-small
654.39/656.39	c restart_num_ls  3830 4352
654.39/656.39	c LS 20 33
715.52/717.60	c Use LS-small
715.52/717.60	c restart_num_ls  4352 4867
715.52/717.60	c LS 10 98
780.73/783.06	c Use LS-small
780.73/783.06	c restart_num_ls  4867 5368
847.23/849.74	c Use LS-small
847.23/849.74	c restart_num_ls  5368 5913
947.94/950.71	c Use LS-small
947.94/950.71	c restart_num_ls  5913 6536
1010.95/1013.90	c Use LS-small
1010.95/1013.90	c restart_num_ls  6536 7097
1086.33/1089.57	c Use LS-small
1086.33/1089.57	c restart_num_ls  7097 7674
1132.50/1135.86	c Use LS-small
1132.50/1135.86	restart_num  7674 8029
1356.24/1360.26	c Use LS-small
1356.24/1360.26	c restart_num_ls  8029 8600
1414.58/1418.75	c Use LS-small
1414.58/1418.75	c restart_num_ls  8600 9105
1489.66/1494.08	c Use LS-small
1489.66/1494.08	c restart_num_ls  9105 9721
1563.04/1567.66	c Use LS-small
1563.04/1567.66	c restart_num_ls  9721 10236
1650.39/1655.23	c Use LS-small
1650.39/1655.23	c restart_num_ls  10236 10779
1721.89/1726.94	c Use LS-small
1721.89/1726.94	c restart_num_ls  10779 11329
1778.93/1784.12	c Use LS-small
1778.93/1784.12	c restart_num_ls  11329 11831
1913.22/1918.81	c Use LS-small
1913.22/1918.81	c restart_num_ls  11831 12340
1971.96/1977.77	c Use LS-small
1971.96/1977.77	c restart_num_ls  12340 12844
2049.53/2055.51	c Use LS-small
2049.53/2055.51	c restart_num_ls  12844 13488
2108.86/2115.04	c Use LS-small
2108.86/2115.04	c restart_num_ls  13488 14009
2207.26/2213.77	c Use LS-small
2207.26/2213.77	c restart_num_ls  14009 14596
2266.99/2273.68	c Use LS-small
2266.99/2273.68	c restart_num_ls  14596 15146
2336.10/2342.99	c Use LS-small
2336.10/2342.99	c restart_num_ls  15146 15680
2395.62/2402.60	c Use LS-small
2395.62/2402.60	c restart_num_ls  15680 16221
2776.09/2784.25	c Use LS-small
2776.09/2784.25	c restart_num_ls  16221 16726
2835.52/2843.80	c Use LS-small
2835.52/2843.80	c restart_num_ls  16726 17249
2903.72/2912.25	c Use LS-small
2903.72/2912.25	c restart_num_ls  17249 17784
2968.63/2977.31	c Use LS-small
2968.63/2977.31	c restart_num_ls  17784 18405
3067.05/3076.02	c Use LS-small
3067.05/3076.02	c restart_num_ls  18405 18964
3138.94/3148.11	c Use LS-small
3138.94/3148.11	c restart_num_ls  18964 19577
3199.66/3209.05	c Use LS-small
3199.66/3209.05	c restart_num_ls  19577 20128
3329.57/3339.34	c Use LS-small
3329.57/3339.34	c restart_num_ls  20128 20710
3392.49/3402.41	c Use LS-small
3392.49/3402.41	c restart_num_ls  20710 21250
3455.80/3465.93	c Use LS-small
3455.80/3465.93	c restart_num_ls  21250 21754
3515.23/3525.56	c Use LS-small
3515.23/3525.56	c restart_num_ls  21754 22296
3600.08/3610.60	c Use LS-small
3600.08/3610.60	c Program interrupted by user.
3600.08/3610.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 (62097 MiB free)
  memory of node 1: 64507 MiB (63580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545815-1753263399/watcher-4545815-1753263399 -o /tmp/evaluation-result-4545815-1753263399/solver-4545815-1753263399 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753259701-164142 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545815-1753263399.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=164971, runsolver pid=164961

[startup+0.100066 s]*
/proc/loadavg: 4.10 4.09 4.04 4/261 164978
/proc/meminfo: memFree=128677832/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=100172 memory=26920 CPUtime=0.07 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 5365 0 0 0 6 1 0 0 20 0 1 0 242017628 102576128 6730 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 25043 6730 2464 595 0 9710 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 100172 KiB
Current children cumulated memory: 26920 KiB

[startup+0.205412 s]*
/proc/loadavg: 4.10 4.09 4.04 4/263 164986
/proc/meminfo: memFree=128673736/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=105424 memory=31528 CPUtime=0.18 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 6508 0 0 0 16 2 0 0 20 0 1 0 242017628 107954176 7882 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB

[startup+0.30548 s]*
/proc/loadavg: 4.10 4.09 4.04 5/265 164991
/proc/meminfo: memFree=128673832/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=105424 memory=31528 CPUtime=0.28 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 6508 0 0 0 25 3 0 0 20 0 1 0 242017628 107954176 7882 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB

[startup+0.700165 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 164991
/proc/meminfo: memFree=128674108/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=105424 memory=31528 CPUtime=0.67 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 6508 0 0 0 60 7 0 0 20 0 1 0 242017628 107954176 7882 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 164991
/proc/meminfo: memFree=128674780/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=105424 memory=31528 CPUtime=1.46 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 6508 0 0 0 132 14 0 0 20 0 1 0 242017628 107954176 7882 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB

[startup+3.10524 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 164991
/proc/meminfo: memFree=128675256/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=105424 memory=31528 CPUtime=3.07 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 6508 0 0 0 274 33 0 0 20 0 1 0 242017628 107954176 7882 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 164991
/proc/meminfo: memFree=128675904/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=105424 memory=31528 CPUtime=6.26 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 6508 0 0 0 560 66 0 0 20 0 1 0 242017628 107954176 7882 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 164991
/proc/meminfo: memFree=128675928/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=105424 memory=31528 CPUtime=12.65 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 6508 0 0 0 1132 133 0 0 20 0 1 0 242017628 107954176 7882 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 26356 7882 2464 595 0 11023 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 31528 KiB

[startup+25.5001 s]
/proc/loadavg: 4.07 4.08 4.04 5/264 165036
/proc/meminfo: memFree=128786980/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=109048 memory=45492 CPUtime=25.42 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 7426 0 0 0 2400 142 0 0 20 0 1 0 242017628 111665152 11373 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 27262 11373 2496 595 0 11929 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 109048 KiB
Current children cumulated memory: 45492 KiB

[startup+51.1053 s]
/proc/loadavg: 4.04 4.08 4.03 5/264 165037
/proc/meminfo: memFree=128714188/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=110308 memory=46900 CPUtime=50.95 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 7766 0 0 0 4949 146 0 0 20 0 1 0 242017628 112955392 11725 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 27577 11725 2496 595 0 12244 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 46900 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.10 4.04 5/264 165083
/proc/meminfo: memFree=117834612/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=111028 memory=48436 CPUtime=102.01 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 7954 0 0 0 9896 305 0 0 20 0 1 0 242017628 113692672 12109 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 27757 12109 2496 595 0 12424 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 111028 KiB
Current children cumulated memory: 48436 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.05 5/264 165085
/proc/meminfo: memFree=117813372/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=111648 memory=49204 CPUtime=161.83 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 8137 0 0 0 15724 459 0 0 20 0 1 0 242017628 114327552 12301 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 27912 12301 2496 595 0 12579 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 111648 KiB
Current children cumulated memory: 49204 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/264 165087
/proc/meminfo: memFree=117816756/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=112372 memory=49844 CPUtime=221.66 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 8313 0 0 0 21554 612 0 0 20 0 1 0 242017628 115068928 12461 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 28093 12461 2496 595 0 12760 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 49844 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.11 4.05 5/263 165090
/proc/meminfo: memFree=117787800/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=112548 memory=50100 CPUtime=281.48 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 8365 0 0 0 27525 623 0 0 20 0 1 0 242017628 115249152 12525 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 28137 12525 2496 595 0 12804 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 112548 KiB
Current children cumulated memory: 50100 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/263 165092
/proc/meminfo: memFree=117832296/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=113236 memory=50740 CPUtime=341.3 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 8527 0 0 0 33357 773 0 0 20 0 1 0 242017628 115953664 12685 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 28309 12685 2496 595 0 12976 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 113236 KiB
Current children cumulated memory: 50740 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/263 165094
/proc/meminfo: memFree=117822708/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=113236 memory=50740 CPUtime=401.13 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 8570 0 0 0 39188 925 0 0 20 0 1 0 242017628 115953664 12685 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 28309 12685 2496 595 0 12976 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 113236 KiB
Current children cumulated memory: 50740 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/263 165096
/proc/meminfo: memFree=117820516/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=113612 memory=50996 CPUtime=460.96 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 8633 0 0 0 45019 1077 0 0 20 0 1 0 242017628 116338688 12749 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 28403 12749 2496 595 0 13070 0
Current children cumulated CPU time: 460.96 s

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

Current children cumulated memory: 56756 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/265 165229
/proc/meminfo: memFree=117671320/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119284 memory=56756 CPUtime=2853.97 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10152 0 0 0 280219 5178 0 0 20 0 1 0 242017628 122146816 14189 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29821 14189 2496 595 0 14488 0
Current children cumulated CPU time: 2853.97 s
Current children cumulated vsize: 119284 KiB
Current children cumulated memory: 56756 KiB

[startup+2922.3 s]
/proc/loadavg: 4.33 4.24 4.16 5/265 165232
/proc/meminfo: memFree=117678736/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119284 memory=56756 CPUtime=2913.79 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10152 0 0 0 286090 5289 0 0 20 0 1 0 242017628 122146816 14189 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29821 14189 2496 595 0 14488 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 119284 KiB
Current children cumulated memory: 56756 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/265 165234
/proc/meminfo: memFree=117667604/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119284 memory=56756 CPUtime=2973.62 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10158 0 0 0 291968 5394 0 0 20 0 1 0 242017628 122146816 14189 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29821 14189 2496 595 0 14488 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 119284 KiB
Current children cumulated memory: 56756 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.20 4.16 5/266 165244
/proc/meminfo: memFree=117666788/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119284 memory=56756 CPUtime=3033.44 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10158 0 0 0 297859 5485 0 0 20 0 1 0 242017628 122146816 14189 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29821 14189 2496 595 0 14488 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 119284 KiB
Current children cumulated memory: 56756 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.16 4.14 5/265 165246
/proc/meminfo: memFree=117667564/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119284 memory=56884 CPUtime=3093.27 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10176 0 0 0 303687 5640 0 0 20 0 1 0 242017628 122146816 14221 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29821 14221 2496 595 0 14488 0
Current children cumulated CPU time: 3093.27 s
Current children cumulated vsize: 119284 KiB
Current children cumulated memory: 56884 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/265 165248
/proc/meminfo: memFree=117667148/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119452 memory=57012 CPUtime=3153.09 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10194 0 0 0 309521 5788 0 0 20 0 1 0 242017628 122318848 14253 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29863 14253 2496 595 0 14530 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 119452 KiB
Current children cumulated memory: 57012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/264 165249
/proc/meminfo: memFree=117681772/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119452 memory=57012 CPUtime=3212.92 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10204 0 0 0 315357 5935 0 0 20 0 1 0 242017628 122318848 14253 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29863 14253 2496 595 0 14530 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 119452 KiB
Current children cumulated memory: 57012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/264 165251
/proc/meminfo: memFree=117664056/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119596 memory=57140 CPUtime=3272.74 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10262 0 0 0 321326 5948 0 0 20 0 1 0 242017628 122466304 14285 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29899 14285 2496 595 0 14566 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 119596 KiB
Current children cumulated memory: 57140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/263 165253
/proc/meminfo: memFree=117690776/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119596 memory=57268 CPUtime=3332.56 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10272 0 0 0 327266 5990 0 0 20 0 1 0 242017628 122466304 14317 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29899 14317 2496 595 0 14566 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 119596 KiB
Current children cumulated memory: 57268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/263 165256
/proc/meminfo: memFree=117693504/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119728 memory=57268 CPUtime=3392.39 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10277 0 0 0 333129 6110 0 0 20 0 1 0 242017628 122601472 14317 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29932 14317 2496 595 0 14599 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 119728 KiB
Current children cumulated memory: 57268 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/264 165260
/proc/meminfo: memFree=117698936/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119728 memory=57268 CPUtime=3452.21 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10277 0 0 0 338954 6267 0 0 20 0 1 0 242017628 122601472 14317 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29932 14317 2496 595 0 14599 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 119728 KiB
Current children cumulated memory: 57268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/264 165262
/proc/meminfo: memFree=117667556/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119728 memory=57268 CPUtime=3512.04 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10294 0 0 0 344783 6421 0 0 20 0 1 0 242017628 122601472 14317 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29932 14317 2496 595 0 14599 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 119728 KiB
Current children cumulated memory: 57268 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/264 165264
/proc/meminfo: memFree=117650092/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119728 memory=57268 CPUtime=3571.87 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10294 0 0 0 350613 6574 0 0 20 0 1 0 242017628 122601472 14317 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29932 14317 2496 595 0 14599 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 119728 KiB
Current children cumulated memory: 57268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.14 4.11 4.11 4/261 165281
/proc/meminfo: memFree=117700216/131249996 swapFree=33003468/33010684
[pid=164971] ppid=164961 vsize=119728 memory=57268 CPUtime=3600.08 cores=1,3
/proc/164971/stat : 164971 (SynLSCD) R 164961 164971 164123 0 -1 4194304 10294 0 0 0 353430 6578 0 0 20 0 1 0 242017628 122601472 14317 18446744073709551615 94447884836864 94447887271465 140736869784272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94447887752440 94447887785472 94447897239552 140736869792131 140736869792266 140736869792266 140736869797870 0
/proc/164971/statm: 29932 14317 2496 595 0 14599 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 119728 KiB
Current children cumulated memory: 57268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3534.31 s, system=65.7884 s

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

Child status: 0

Real time (s): 3610.61
CPU time (s): 3600.1
CPU user time (s): 3534.31
CPU system time (s): 65.7884
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 119728
Max. memory (cumulated for all children) (KiB): 57268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3534.31
system time used= 65.7884
maximum resident set size= 57652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10325
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= 183
involuntary context switches= 5284


# summary of solver processes directly reported to runsolver:
#   pid: 164971
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3534.31
#   total CPU system time (s): 65.7884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57816 second user time and 15.2123 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-23 11:36:39
IDJOB=4545815
IDBENCH=162572
IDSOLVER=3421
FILE ID=nodeC021/4545815-1753263399
RUNJOBID= nodeC021-1753259701-164142
SLURM_JOB_ID= 9689176
Free space on /tmp= 433016 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l080-r079-n1.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-4545815-1753263399/watcher-4545815-1753263399 -o /tmp/evaluation-result-4545815-1753263399/solver-4545815-1753263399 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753259701-164142 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545815-1753263399.opb

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

MD5SUM BENCH= 1372c66e4673859c6e3da379b7182901
RANDOM SEED=748932326

nodeC021 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.905
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.56
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.873
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.56
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		: 3593.648
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.781
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.56
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.842
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.56
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.776
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.56
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.759
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.56
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		: 3599.823
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128694736 kB
MemAvailable:   129503256 kB
Buffers:            1056 kB
Cached:          1544064 kB
SwapCached:           56 kB
Active:          1331436 kB
Inactive:         448180 kB
Active(anon):     217664 kB
Inactive(anon):    38488 kB
Active(file):    1113772 kB
Inactive(file):   409692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7252 kB
Writeback:            20 kB
AnonPages:        237268 kB
Mapped:           110488 kB
Shmem:             21656 kB
KReclaimable:     248188 kB
Slab:             345296 kB
SReclaimable:     248188 kB
SUnreclaim:        97108 kB
KernelStack:        4272 kB
PageTables:         3596 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     547792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC021 at 2025-07-23 12:36:50