Trace number 4545941

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

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-0.opb
MD5SUMab6600e5fcf1c6d7769b5fd648c35e77
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3539.86
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.09/0.12	c #vars 4288 #constraints 9896 2.30784 0
0.09/0.12	c intsize: 4
0.40/0.42	c 9896 constraints
0.40/0.42	c Finish cloning data from SAT to LS
0.40/0.42	c restart_num_ls  -100000 0
93.94/94.20	c Use LS-small
93.94/94.20	restart_num  0 301
93.94/94.20	c LS-restart 90 50
214.33/214.97	c Use LS-small
214.33/214.97	restart_num  301 602
214.33/214.97	c LS-restart 80 44
323.74/324.65	c Use LS-small
323.74/324.65	restart_num  602 903
323.74/324.65	c LS-restart 70 53
483.74/485.05	c Use LS-small
483.74/485.05	restart_num  903 1208
483.74/485.05	c LS-restart 60 55
598.85/600.43	c Use LS-small
598.85/600.43	restart_num  1208 1509
598.85/600.43	c LS-restart 50 25
745.61/747.57	c Use LS-small
745.61/747.57	restart_num  1509 1810
745.61/747.57	c LS-restart 40 40
991.03/993.51	c Use LS-small
991.03/993.51	restart_num  1810 2112
991.03/993.51	c LS-restart 30 50
1106.45/1109.26	c Use LS-small
1106.45/1109.26	restart_num  2112 2413
1106.45/1109.26	c LS-restart 20 96
1244.83/1247.93	c Use LS-small
1244.83/1247.93	restart_num  2413 2714
1244.83/1247.93	c LS-restart 10 61
1367.54/1370.96	c Use LS-small
1367.54/1370.96	restart_num  2714 3015
1552.46/1556.32	c Use LS-small
1552.46/1556.32	restart_num  3015 3316
1737.00/1741.53	c Use LS-small
1737.00/1741.53	restart_num  3316 3617
1878.62/1883.68	c Use LS-small
1878.62/1883.68	restart_num  3617 3918
2464.24/2470.92	c Use LS-small
2464.24/2470.92	restart_num  3918 4219
2601.46/2608.58	c Use LS-small
2601.46/2608.58	restart_num  4219 4520
2772.81/2780.37	c Use LS-small
2772.81/2780.37	restart_num  4520 4821
3013.17/3021.32	c Use LS-small
3013.17/3021.32	restart_num  4821 5125
3149.63/3158.17	c Use LS-small
3149.63/3158.17	restart_num  5125 5426
3315.60/3324.57	c Use LS-small
3315.60/3324.57	restart_num  5426 5727
3459.13/3468.40	c Use LS-small
3459.13/3468.40	restart_num  5727 6029
3600.07/3609.70	c Use LS-small
3600.07/3609.70	c Program interrupted by user.
3600.07/3609.70	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (60375 MiB free)
  memory of node 1: 64465 MiB (62834 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545941-1753261938/watcher-4545941-1753261938 -o /tmp/evaluation-result-4545941-1753261938/solver-4545941-1753261938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166040 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545941-1753261938.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
solver pid=167414, runsolver pid=167411
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126154724/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=89300 memory=16128 CPUtime=0.09 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 2076 0 0 0 8 1 0 0 20 0 1 0 241872656 91443200 4032 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 22325 4032 2208 595 0 6992 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89300 KiB
Current children cumulated memory: 16128 KiB

[startup+0.212708 s]*
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126146660/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=99592 memory=25924 CPUtime=0.2 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 5054 0 0 0 18 2 0 0 20 0 1 0 241872656 101982208 6481 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 24898 6481 2464 595 0 9565 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 25924 KiB

[startup+0.312773 s]*
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126147884/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=119668 memory=44996 CPUtime=0.3 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 9777 0 0 0 26 4 0 0 20 0 1 0 241872656 122540032 11249 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 29917 11249 2496 595 0 14584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119668 KiB
Current children cumulated memory: 44996 KiB

[startup+0.700326 s]
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126107564/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=0.68 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18052 0 0 0 61 7 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB

[startup+1.50031 s]
/proc/loadavg: 4.09 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126107564/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=1.47 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18056 0 0 0 139 8 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB

[startup+3.11244 s]
/proc/loadavg: 4.08 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126126676/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=3.08 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18056 0 0 0 297 11 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB

[startup+6.30028 s]
/proc/loadavg: 4.08 4.13 3.84 5/249 167415
/proc/meminfo: memFree=126159464/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=6.26 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 607 19 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.13 3.84 5/249 167416
/proc/meminfo: memFree=126206564/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=12.64 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 1229 35 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 3.85 5/249 167416
/proc/meminfo: memFree=126315132/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=25.41 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 2473 68 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB

[startup+51.1125 s]
/proc/loadavg: 4.08 4.13 3.86 5/249 167416
/proc/meminfo: memFree=126527880/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=151740 memory=78148 CPUtime=50.96 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 18057 0 0 0 4969 127 0 0 20 0 1 0 241872656 155381760 19537 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 37935 19537 2496 595 0 22602 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 151740 KiB
Current children cumulated memory: 78148 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 3.88 5/249 167418
/proc/meminfo: memFree=126529956/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=162360 memory=105348 CPUtime=102.02 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 20715 0 0 0 10023 179 0 0 20 0 1 0 241872656 166256640 26337 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 40590 26337 2560 595 0 25257 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 162360 KiB
Current children cumulated memory: 105348 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.14 3.90 5/249 167420
/proc/meminfo: memFree=126536372/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=162712 memory=105732 CPUtime=161.87 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 20831 0 0 0 15881 306 0 0 20 0 1 0 241872656 166617088 26433 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 40678 26433 2560 595 0 25345 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 162712 KiB
Current children cumulated memory: 105732 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 3.91 5/249 167422
/proc/meminfo: memFree=126526856/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=182036 memory=120360 CPUtime=221.71 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 22664 0 0 0 21837 334 0 0 20 0 1 0 241872656 186404864 30090 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 45509 30090 2560 595 0 30176 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 182036 KiB
Current children cumulated memory: 120360 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 3.93 5/250 167431
/proc/meminfo: memFree=126524676/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=182212 memory=120360 CPUtime=281.56 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 22683 0 0 0 27697 459 0 0 20 0 1 0 241872656 186585088 30090 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 45553 30090 2560 595 0 30220 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 182212 KiB
Current children cumulated memory: 120360 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.12 3.94 5/250 167433
/proc/meminfo: memFree=126520168/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=184412 memory=122792 CPUtime=341.4 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 23263 0 0 0 33629 511 0 0 20 0 1 0 241872656 188837888 30698 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 46103 30698 2560 595 0 30770 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 184412 KiB
Current children cumulated memory: 122792 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 3.96 5/250 167435
/proc/meminfo: memFree=126520192/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=184672 memory=122920 CPUtime=401.26 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 23307 0 0 0 39512 614 0 0 20 0 1 0 241872656 189104128 30730 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 46168 30730 2560 595 0 30835 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 184672 KiB
Current children cumulated memory: 122920 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 3.97 5/250 167437
/proc/meminfo: memFree=126508552/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=189056 memory=127272 CPUtime=461.1 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 24405 0 0 0 45484 626 0 0 20 0 1 0 241872656 193593344 31818 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 47264 31818 2560 595 0 31931 0
Current children cumulated CPU time: 461.1 s

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

Current children cumulated memory: 171808 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 167971
/proc/meminfo: memFree=104726328/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=242876 memory=171808 CPUtime=2914.44 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32504 0 0 0 288584 2860 0 0 20 0 1 0 241872656 248705024 42952 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60719 42952 2560 595 0 45386 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 242876 KiB
Current children cumulated memory: 171808 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/251 167984
/proc/meminfo: memFree=104713488/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=243016 memory=171936 CPUtime=2974.28 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32544 0 0 0 294560 2868 0 0 20 0 1 0 241872656 248848384 42984 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60754 42984 2560 595 0 45421 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 243016 KiB
Current children cumulated memory: 171936 KiB

[startup+3042.3 s]
/proc/loadavg: 4.51 4.20 4.12 5/251 167986
/proc/meminfo: memFree=104694312/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=243984 memory=172832 CPUtime=3034.12 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32777 0 0 0 300485 2927 0 0 20 0 1 0 241872656 249839616 43208 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60996 43208 2560 595 0 45663 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 243984 KiB
Current children cumulated memory: 172832 KiB

[startup+3102.3 s]
/proc/loadavg: 4.53 4.28 4.16 5/251 167988
/proc/meminfo: memFree=104613844/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=243984 memory=172832 CPUtime=3093.96 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32777 0 0 0 306367 3029 0 0 20 0 1 0 241872656 249839616 43208 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 60996 43208 2560 595 0 45663 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 243984 KiB
Current children cumulated memory: 172832 KiB

[startup+3162.3 s]
/proc/loadavg: 4.30 4.26 4.16 5/251 167990
/proc/meminfo: memFree=104605084/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244320 memory=173216 CPUtime=3153.81 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32861 0 0 0 312332 3049 0 0 20 0 1 0 241872656 250183680 43304 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61080 43304 2560 595 0 45747 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 244320 KiB
Current children cumulated memory: 173216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.22 4.15 5/251 167992
/proc/meminfo: memFree=104601252/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244320 memory=173216 CPUtime=3213.65 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32861 0 0 0 318174 3191 0 0 20 0 1 0 241872656 250183680 43304 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61080 43304 2560 595 0 45747 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 244320 KiB
Current children cumulated memory: 173216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.19 4.15 5/251 167994
/proc/meminfo: memFree=104603596/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244496 memory=173344 CPUtime=3273.5 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 32905 0 0 0 324149 3201 0 0 20 0 1 0 241872656 250363904 43336 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61124 43336 2560 595 0 45791 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 244496 KiB
Current children cumulated memory: 173344 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/251 168002
/proc/meminfo: memFree=104601576/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244960 memory=173856 CPUtime=3333.35 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33021 0 0 0 330083 3252 0 0 20 0 1 0 241872656 250839040 43464 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61240 43464 2560 595 0 45907 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 244960 KiB
Current children cumulated memory: 173856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/250 168004
/proc/meminfo: memFree=104595312/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=244960 memory=173856 CPUtime=3393.2 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33051 0 0 0 335958 3362 0 0 20 0 1 0 241872656 250839040 43464 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61240 43464 2560 595 0 45907 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 244960 KiB
Current children cumulated memory: 173856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/251 168007
/proc/meminfo: memFree=104578784/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=245332 memory=174240 CPUtime=3453.05 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33128 0 0 0 341935 3370 0 0 20 0 1 0 241872656 251219968 43560 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61333 43560 2560 595 0 46000 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 245332 KiB
Current children cumulated memory: 174240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/251 168009
/proc/meminfo: memFree=104570012/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=245332 memory=174240 CPUtime=3512.9 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33128 0 0 0 347779 3511 0 0 20 0 1 0 241872656 251219968 43560 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61333 43560 2560 595 0 46000 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 245332 KiB
Current children cumulated memory: 174240 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/251 168011
/proc/meminfo: memFree=104570692/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=245492 memory=174368 CPUtime=3572.74 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33168 0 0 0 353744 3530 0 0 20 0 1 0 241872656 251383808 43592 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61373 43592 2560 595 0 46040 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 245492 KiB
Current children cumulated memory: 174368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.10 4.14 4.13 5/251 168012
/proc/meminfo: memFree=104573372/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=246132 memory=175008 CPUtime=3600.07 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33328 0 0 0 356473 3534 0 0 20 0 1 0 241872656 252039168 43752 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61533 43752 2560 595 0 46200 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 246132 KiB
Current children cumulated memory: 175008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3564.74 s, system=35.349 s

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

[startup+3609.7 s]
/proc/loadavg: 4.10 4.14 4.13 5/251 168012
/proc/meminfo: memFree=104573372/131382120 swapFree=33010416/33010684
[pid=167414] ppid=167411 vsize=246132 memory=175008 CPUtime=3600.07 cores=1,3
/proc/167414/stat : 167414 (SynLSCD) R 167411 167414 166021 0 -1 4194304 33328 0 0 0 356473 3534 0 0 20 0 1 0 241872656 252039168 43752 18446744073709551615 93861147426816 93861149861417 140722801401312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93861150342392 93861150375424 93861174165504 140722801404291 140722801404426 140722801404426 140722801410030 0
/proc/167414/statm: 61533 43752 2560 595 0 46200 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 246132 KiB
Current children cumulated memory: 175008 KiB

Child status: 0

Real time (s): 3609.71
CPU time (s): 3600.09
CPU user time (s): 3564.74
CPU system time (s): 35.349
CPU usage (%): 99.7335
Max. virtual memory (cumulated for all children) (KiB): 246132
Max. memory (cumulated for all children) (KiB): 175008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.74
system time used= 35.349
maximum resident set size= 176408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33361
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= 155
involuntary context switches= 1867


# summary of solver processes directly reported to runsolver:
#   pid: 167414
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3564.74
#   total CPU system time (s): 35.349

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7464 second user time and 33.3558 second system time

The end

Launcher Data

Begin job on nodeC002 at 2025-07-23 11:12:19
IDJOB=4545941
IDBENCH=162160
IDSOLVER=3421
FILE ID=nodeC002/4545941-1753261938
RUNJOBID= nodeC002-1753259701-166040
SLURM_JOB_ID= 9689157
Free space on /tmp= 432272 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round23-0.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-4545941-1753261938/watcher-4545941-1753261938 -o /tmp/evaluation-result-4545941-1753261938/solver-4545941-1753261938 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166040 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545941-1753261938.opb

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

MD5SUM BENCH= ab6600e5fcf1c6d7769b5fd648c35e77
RANDOM SEED=427538893

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126167376 kB
MemAvailable:   127509752 kB
Buffers:            2128 kB
Cached:          2094212 kB
SwapCached:           28 kB
Active:          3062856 kB
Inactive:         985396 kB
Active(anon):    1971736 kB
Inactive(anon):     6300 kB
Active(file):    1091120 kB
Inactive(file):   979096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3936 kB
Writeback:             0 kB
AnonPages:       1954984 kB
Mapped:           120576 kB
Shmem:             26124 kB
KReclaimable:     223572 kB
Slab:             314992 kB
SReclaimable:     223572 kB
SUnreclaim:        91420 kB
KernelStack:        4048 kB
PageTables:         7052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2419204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1859584 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432264 MiB
End job on nodeC002 at 2025-07-23 12:12:28