Trace number 4501952

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD 2025-06-01? (TO) 3602.1 3610.8

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_3-sat.opb
MD5SUM69f6f997ce8de3d1a51b1c8599cc504d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19838
Total number of constraints62894
Number of constraints which are clauses62462
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints432
Minimum length of a constraint1
Maximum length of a constraint90
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 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 554
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.15	c #vars 19838 #constraints 45350 2.28602 0
0.38/0.49	c 45350 constraints
0.38/0.49	c Finish cloning data from SAT to LS
0.38/0.49	c restart_num_ls  -100000 0
71.99/72.25	c Use LS-small
71.99/72.25	restart_num  0 301
71.99/72.25	LS-restart 90 22
179.53/180.02	c Use LS-small
179.53/180.02	restart_num  301 602
179.53/180.02	LS-restart 80 85
179.53/180.02	c similarity no use LS 0.971872
256.10/256.81	restart_num  602 903
256.10/256.81	LS-restart 80 1
400.34/401.41	c Use LS-small
400.34/401.41	restart_num  903 1204
400.34/401.41	LS-restart 70 23
498.60/499.94	c Use LS-small
498.60/499.94	restart_num  1204 1505
498.60/499.94	LS-restart 60 15
615.42/617.01	c Use LS-small
615.42/617.01	restart_num  1505 1806
615.42/617.01	LS-restart 50 97
615.42/617.01	c similarity no use LS 0.950751
808.63/810.73	restart_num  1806 2107
808.63/810.73	LS-restart 50 45
944.38/946.86	c Use LS-small
944.38/946.86	restart_num  2107 2408
944.38/946.86	LS-restart 40 49
944.38/946.86	c similarity no use LS 0.957758
1045.93/1048.64	restart_num  2408 2709
1045.93/1048.64	LS-restart 40 59
1045.93/1048.64	c similarity no use LS 0.951507
1127.93/1130.88	restart_num  2709 3011
1127.93/1130.88	LS-restart 40 83
1127.93/1130.88	c similarity no use LS 0.963555
1256.19/1259.49	restart_num  3011 3312
1256.19/1259.49	LS-restart 40 40
1256.19/1259.49	c similarity no use LS 0.977417
1365.32/1368.80	restart_num  3312 3613
1365.32/1368.80	LS-restart 40 75
1365.32/1368.80	c similarity no use LS 0.974342
1442.43/1446.10	restart_num  3613 3914
1442.43/1446.10	LS-restart 40 46
1442.43/1446.10	c similarity no use LS 0.971217
1794.15/1798.75	restart_num  3914 4215
1794.15/1798.75	LS-restart 40 75
1794.15/1798.75	c similarity no use LS 0.965672
1877.04/1881.83	restart_num  4215 4516
1877.04/1881.83	LS-restart 40 67
1877.04/1881.83	c similarity no use LS 0.968646
1985.97/1991.03	restart_num  4516 4817
1985.97/1991.03	LS-restart 40 84
1985.97/1991.03	c similarity no use LS 0.950197
2149.96/2155.41	restart_num  4817 5118
2149.96/2155.41	LS-restart 40 1
2255.49/2261.23	c Use LS-small
2255.49/2261.23	restart_num  5118 5419
2255.49/2261.23	LS-restart 30 63
2255.49/2261.23	c similarity no use LS 0.978072
2360.43/2366.47	restart_num  5419 5720
2360.43/2366.47	LS-restart 30 55
2474.55/2480.87	c Use LS-small
2474.55/2480.87	restart_num  5720 6021
2474.55/2480.87	LS-restart 20 67
2474.55/2480.87	c similarity no use LS 0.965319
2701.42/2708.27	restart_num  6021 6322
2701.42/2708.27	LS-restart 20 98
2801.21/2808.26	c Use LS-small
2801.21/2808.26	restart_num  6322 6623
2801.21/2808.26	LS-restart 10 59
2957.08/2964.43	c Use LS-small
2957.08/2964.43	restart_num  6623 6924
2957.08/2964.43	c similarity no use LS 0.97656
3090.79/3098.49	restart_num  6924 7225
3090.79/3098.49	c similarity no use LS 0.969049
3177.01/3184.80	restart_num  7225 7526
3177.01/3184.80	c similarity no use LS 0.963152
3280.98/3289.01	restart_num  7526 7827
3280.98/3289.01	c similarity no use LS 0.956598
3362.20/3370.45	restart_num  7827 8128
3362.20/3370.45	c similarity no use LS 0.975048

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: 63708 MiB (63029 MiB free)
  memory of node 1: 64465 MiB (63992 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=21723, runsolver pid=21720

[startup+0.100062 s]*
/proc/loadavg: 4.10 4.13 4.10 5/264 21724
/proc/meminfo: memFree=130062996/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=105100 memory=34112 CPUtime=0.08 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 5077 0 0 0 7 1 0 0 20 0 1 0 30915998 107622400 8528 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 26275 8528 2208 595 0 10942 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 105100 KiB
Current children cumulated memory: 34112 KiB

[startup+0.205443 s]*
/proc/loadavg: 4.10 4.13 4.10 5/264 21724
/proc/meminfo: memFree=130062996/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=111344 memory=40640 CPUtime=0.18 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 6682 0 0 0 17 1 0 0 20 0 1 0 30915998 114016256 10160 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 27836 10160 2272 595 0 12503 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 111344 KiB
Current children cumulated memory: 40640 KiB

[startup+0.305476 s]*
/proc/loadavg: 4.10 4.13 4.10 5/264 21724
/proc/meminfo: memFree=130039496/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=138080 memory=63580 CPUtime=0.29 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 13232 0 0 0 26 3 0 0 20 0 1 0 30915998 141393920 15895 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 34520 15895 2464 595 0 19187 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 138080 KiB
Current children cumulated memory: 63580 KiB

[startup+0.700126 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 21724
/proc/meminfo: memFree=130015304/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=159688 memory=84444 CPUtime=0.67 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 18451 0 0 0 62 5 0 0 20 0 1 0 30915998 163520512 21111 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 39922 21111 2464 595 0 24589 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 159688 KiB
Current children cumulated memory: 84444 KiB

[startup+1.50011 s]
/proc/loadavg: 4.10 4.13 4.10 6/264 21724
/proc/meminfo: memFree=130015340/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=159688 memory=84444 CPUtime=1.47 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 18451 0 0 0 136 11 0 0 20 0 1 0 30915998 163520512 21111 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 39922 21111 2464 595 0 24589 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 159688 KiB
Current children cumulated memory: 84444 KiB

[startup+3.10481 s]
/proc/loadavg: 4.09 4.13 4.10 6/264 21724
/proc/meminfo: memFree=130015524/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=159688 memory=84444 CPUtime=3.07 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 18451 0 0 0 279 28 0 0 20 0 1 0 30915998 163520512 21111 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 39922 21111 2464 595 0 24589 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 159688 KiB
Current children cumulated memory: 84444 KiB

[startup+6.30012 s]
/proc/loadavg: 4.09 4.13 4.10 6/264 21724
/proc/meminfo: memFree=130015328/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=159688 memory=84444 CPUtime=6.26 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 18452 0 0 0 562 64 0 0 20 0 1 0 30915998 163520512 21111 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 39922 21111 2464 595 0 24589 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 159688 KiB
Current children cumulated memory: 84444 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.14 4.11 6/264 21725
/proc/meminfo: memFree=130015408/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=159688 memory=84444 CPUtime=12.65 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 18452 0 0 0 1136 129 0 0 20 0 1 0 30915998 163520512 21111 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 39922 21111 2464 595 0 24589 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 159688 KiB
Current children cumulated memory: 84444 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.14 4.10 6/264 21725
/proc/meminfo: memFree=130015504/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=166240 memory=95216 CPUtime=25.42 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 20091 0 0 0 2310 232 0 0 20 0 1 0 30915998 170229760 23804 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 41560 23804 2496 595 0 26227 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 166240 KiB
Current children cumulated memory: 95216 KiB

[startup+51.1049 s]
/proc/loadavg: 4.17 4.14 4.10 6/264 21725
/proc/meminfo: memFree=129991472/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=188956 memory=117488 CPUtime=50.96 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 25636 0 0 0 4858 238 0 0 20 0 1 0 30915998 193490944 29372 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 47239 29372 2528 595 0 31906 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 188956 KiB
Current children cumulated memory: 117488 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.10 6/264 21727
/proc/meminfo: memFree=129986576/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=198816 memory=129120 CPUtime=102.02 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 28031 0 0 0 9764 438 0 0 20 0 1 0 30915998 203587584 32280 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 49704 32280 2528 595 0 34371 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 198816 KiB
Current children cumulated memory: 129120 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/264 21733
/proc/meminfo: memFree=129970768/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=207908 memory=142984 CPUtime=161.87 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 30491 0 0 0 15745 442 0 0 20 0 1 0 30915998 212897792 35746 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 51977 35746 2528 595 0 36644 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 207908 KiB
Current children cumulated memory: 142984 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 6/264 21735
/proc/meminfo: memFree=129960136/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=215100 memory=154376 CPUtime=221.7 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 32309 0 0 0 21723 447 0 0 20 0 1 0 30915998 220262400 38594 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 53775 38594 2528 595 0 38442 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 215100 KiB
Current children cumulated memory: 154376 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/264 21737
/proc/meminfo: memFree=129953380/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=217772 memory=157960 CPUtime=281.55 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 32911 0 0 0 27399 756 0 0 20 0 1 0 30915998 222998528 39490 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 54443 39490 2528 595 0 39110 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 217772 KiB
Current children cumulated memory: 157960 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/265 21742
/proc/meminfo: memFree=129953056/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=221936 memory=162312 CPUtime=341.39 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 34045 0 0 0 33332 807 0 0 20 0 1 0 30915998 227262464 40578 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 55484 40578 2528 595 0 40151 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 221936 KiB
Current children cumulated memory: 162312 KiB

[startup+402.3 s]
/proc/loadavg: 4.36 4.19 4.12 6/265 21746
/proc/meminfo: memFree=129944872/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=225196 memory=165128 CPUtime=401.24 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 34772 0 0 0 39301 823 0 0 20 0 1 0 30915998 230600704 41282 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 56299 41282 2528 595 0 40966 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 225196 KiB
Current children cumulated memory: 165128 KiB

[startup+462.3 s]
/proc/loadavg: 4.69 4.29 4.15 6/265 21748
/proc/meminfo: memFree=129940368/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=227664 memory=167816 CPUtime=461.1 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 35473 0 0 0 45066 1044 0 0 20 0 1 0 30915998 233127936 41954 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 56916 41954 2528 595 0 41583 0
Current children cumulated CPU time: 461.1 s

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

[startup+3042.3 s]
/proc/loadavg: 1.13 1.82 2.91 2/249 21990
/proc/meminfo: memFree=129907024/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=310488 memory=244648 CPUtime=3034.81 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 47247 0 0 0 300858 2623 0 0 20 0 1 0 30915998 317939712 61162 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 77622 61162 2528 595 0 62289 0
Current children cumulated CPU time: 3034.81 s
Current children cumulated vsize: 310488 KiB
Current children cumulated memory: 244648 KiB

[startup+3102.3 s]
/proc/loadavg: 1.10 1.69 2.80 2/248 21992
/proc/meminfo: memFree=129899132/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=312336 memory=246440 CPUtime=3094.68 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 47676 0 0 0 306837 2631 0 0 20 0 1 0 30915998 319832064 61610 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78084 61610 2528 595 0 62751 0
Current children cumulated CPU time: 3094.68 s
Current children cumulated vsize: 312336 KiB
Current children cumulated memory: 246440 KiB

[startup+3162.3 s]
/proc/loadavg: 1.13 1.59 2.69 2/248 21994
/proc/meminfo: memFree=129899728/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=312956 memory=246824 CPUtime=3154.56 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 47804 0 0 0 312821 2635 0 0 20 0 1 0 30915998 320466944 61706 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78239 61706 2528 595 0 62906 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 312956 KiB
Current children cumulated memory: 246824 KiB

[startup+3222.3 s]
/proc/loadavg: 1.10 1.49 2.59 2/249 21999
/proc/meminfo: memFree=129899832/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=312956 memory=247080 CPUtime=3214.43 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 47843 0 0 0 318801 2642 0 0 20 0 1 0 30915998 320466944 61770 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78239 61770 2528 595 0 62906 0
Current children cumulated CPU time: 3214.43 s
Current children cumulated vsize: 312956 KiB
Current children cumulated memory: 247080 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.42 2.49 2/249 22002
/proc/meminfo: memFree=129902204/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=312956 memory=247080 CPUtime=3274.29 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 47851 0 0 0 324778 2651 0 0 20 0 1 0 30915998 320466944 61770 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78239 61770 2528 595 0 62906 0
Current children cumulated CPU time: 3274.29 s
Current children cumulated vsize: 312956 KiB
Current children cumulated memory: 247080 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.37 2.41 2/248 22004
/proc/meminfo: memFree=129898076/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=313840 memory=247976 CPUtime=3334.17 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48047 0 0 0 330763 2654 0 0 20 0 1 0 30915998 321372160 61994 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78460 61994 2528 595 0 63127 0
Current children cumulated CPU time: 3334.17 s
Current children cumulated vsize: 313840 KiB
Current children cumulated memory: 247976 KiB

[startup+3402.3 s]
/proc/loadavg: 1.09 1.31 2.32 2/248 22008
/proc/meminfo: memFree=129898360/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=313840 memory=248104 CPUtime=3394.03 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48067 0 0 0 336741 2662 0 0 20 0 1 0 30915998 321372160 62026 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78460 62026 2528 595 0 63127 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 313840 KiB
Current children cumulated memory: 248104 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.29 2.24 2/248 22013
/proc/meminfo: memFree=129898404/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=313840 memory=248104 CPUtime=3453.91 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48069 0 0 0 342726 2665 0 0 20 0 1 0 30915998 321372160 62026 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78460 62026 2528 595 0 63127 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 313840 KiB
Current children cumulated memory: 248104 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.25 2.17 2/247 22015
/proc/meminfo: memFree=129898704/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=314192 memory=248488 CPUtime=3513.78 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48171 0 0 0 348707 2671 0 0 20 0 1 0 30915998 321732608 62122 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78548 62122 2528 595 0 63215 0
Current children cumulated CPU time: 3513.78 s
Current children cumulated vsize: 314192 KiB
Current children cumulated memory: 248488 KiB

[startup+3582.3 s]
/proc/loadavg: 1.16 1.23 2.10 2/247 22017
/proc/meminfo: memFree=129899448/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=314548 memory=248744 CPUtime=3573.65 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48259 0 0 0 354686 2679 0 0 20 0 1 0 30915998 322097152 62186 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78637 62186 2528 595 0 63304 0
Current children cumulated CPU time: 3573.65 s
Current children cumulated vsize: 314548 KiB
Current children cumulated memory: 248744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 1.09 1.21 2.07 2/247 22018
/proc/meminfo: memFree=129899716/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=314680 memory=248872 CPUtime=3600.09 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48286 0 0 0 357329 2680 0 0 20 0 1 0 30915998 322232320 62218 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78670 62218 2528 595 0 63337 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 248872 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3610.8 s]
# the end of solver process 21723 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3575.29 s, system=26.8057 s

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

[startup+3609.6 s]
/proc/loadavg: 1.09 1.21 2.07 2/247 22018
/proc/meminfo: memFree=129899716/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=314680 memory=248872 CPUtime=3600.89 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48288 0 0 0 357409 2680 0 0 20 0 1 0 30915998 322232320 62218 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78670 62218 2528 595 0 63337 0
Current children cumulated CPU time: 3600.89 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 248872 KiB

[startup+3610.4 s]
/proc/loadavg: 1.09 1.21 2.07 2/247 22018
/proc/meminfo: memFree=129899716/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=314680 memory=249000 CPUtime=3601.69 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48302 0 0 0 357489 2680 0 0 20 0 1 0 30915998 322232320 62250 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78670 62250 2528 595 0 63337 0
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 249000 KiB

[startup+3610.8 s]
/proc/loadavg: 1.09 1.21 2.07 2/247 22018
/proc/meminfo: memFree=129899716/131250000 swapFree=33010684/33010684
[pid=21723] ppid=21720 vsize=314680 memory=249000 CPUtime=3602.09 cores=5,7
/proc/21723/stat : 21723 (SynLSCD) R 21720 21723 14971 0 -1 4194304 48302 0 0 0 357529 2680 0 0 20 0 1 0 30915998 322232320 62250 18446744073709551615 93882319413248 93882321847401 140727252588064 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 93882322328824 93882322361856 93882348814336 140727252597094 140727252597227 140727252597227 140727252602829 0
/proc/21723/statm: 78670 62250 2528 595 0 63337 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 249000 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.8
CPU time (s): 3602.1
CPU user time (s): 3575.29
CPU system time (s): 26.8057
CPU usage (%): 99.7589
Max. virtual memory (cumulated for all children) (KiB): 314680
Max. memory (cumulated for all children) (KiB): 249000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.29
system time used= 26.8057
maximum resident set size= 249000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48302
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= 199
involuntary context switches= 2168


# summary of solver processes directly reported to runsolver:
#   pid: 21723
#   total CPU time (s): 3602.1
#   total CPU user time (s): 3575.29
#   total CPU system time (s): 26.8057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17005 second user time and 13.6997 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 01:13:04
IDJOB=4501952
IDBENCH=152982
IDSOLVER=3369
FILE ID=nodeC016/4501952-1751152384
RUNJOBID= nodeC016-1751143366-14984
SLURM_JOB_ID= 9587436
Free space on /tmp= 433052 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_3-sat.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-4501952-1751152384/watcher-4501952-1751152384 -o /tmp/evaluation-result-4501952-1751152384/solver-4501952-1751152384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751143366-14984 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4501952-1751152384.opb

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

MD5SUM BENCH= 69f6f997ce8de3d1a51b1c8599cc504d
RANDOM SEED=150835730

nodeC016 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.736
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.48
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.738
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.48
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		: 3638.689
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.48
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		: 3600.010
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.48
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.738
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.48
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		: 3665.195
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.48
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		: 3650.659
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.48
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.319
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130070792 kB
MemAvailable:   129710072 kB
Buffers:            3280 kB
Cached:           442556 kB
SwapCached:            0 kB
Active:           372668 kB
Inactive:         221032 kB
Active(anon):     165936 kB
Inactive(anon):        0 kB
Active(file):     206732 kB
Inactive(file):   221032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5512 kB
Writeback:             0 kB
AnonPages:        150984 kB
Mapped:           114080 kB
Shmem:             18072 kB
KReclaimable:      86148 kB
Slab:             169156 kB
SReclaimable:      86148 kB
SUnreclaim:        83008 kB
KernelStack:        4288 kB
PageTables:         3480 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     511164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC016 at 2025-06-29 02:13:15