Trace number 4545721

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.38 3611.78

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUMd06d89796adb8259df968e568daeeb68
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark99.5978
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23621
Total number of constraints67526
Number of constraints which are clauses65126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint1
Maximum length of a constraint13
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 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 261
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.45/0.53	c #vars 23621 #constraints 67526 2.85873 1
0.45/0.53	c intsize: 9
0.82/1.00	c 67526 constraints
0.82/1.00	c Finish cloning data from SAT to LS
0.82/1.00	c restart_num_ls  -100000 0
59.63/60.09	c Use LS-small
59.63/60.09	restart_num  0 301
59.63/60.09	c LS-restart 90 43
119.07/119.74	c Use LS-small
119.07/119.74	restart_num  301 604
119.07/119.74	c LS-restart 80 87
177.69/178.59	c Use LS-small
177.69/178.59	restart_num  604 906
177.69/178.59	c LS-restart 70 33
263.12/264.27	c Use LS-small
263.12/264.27	restart_num  906 1208
263.12/264.27	c LS-restart 60 53
324.73/326.05	c Use LS-small
324.73/326.05	restart_num  1208 1519
324.73/326.05	c LS-restart 50 1
408.62/410.23	c Use LS-small
408.62/410.23	restart_num  1519 1828
408.62/410.23	c LS-restart 40 69
538.77/540.85	c Use LS-small
538.77/540.85	restart_num  1828 2132
538.77/540.85	c LS-restart 30 92
611.54/613.88	c Use LS-small
611.54/613.88	restart_num  2132 2436
611.54/613.88	c LS-restart 20 2
692.85/695.48	c Use LS-small
692.85/695.48	restart_num  2436 2748
692.85/695.48	c LS-restart 10 0
762.61/765.41	c Use LS-small
762.61/765.41	restart_num  2748 3052
880.49/883.72	c Use LS-small
880.49/883.72	restart_num  3052 3356
962.72/966.22	c Use LS-small
962.72/966.22	restart_num  3356 3659
1034.86/1038.60	c Use LS-small
1034.86/1038.60	restart_num  3659 3961
1034.86/1038.60	c similarity no use LS 0.952288
1284.78/1289.49	restart_num  3961 4267
1284.78/1289.49	c similarity no use LS 0.96266
1343.96/1348.81	restart_num  4267 4569
1343.96/1348.81	c similarity no use LS 0.951611
1424.38/1429.59	restart_num  4569 4870
1424.38/1429.59	c similarity no use LS 0.959739
1531.79/1537.36	restart_num  4870 5171
1531.79/1537.36	c similarity no use LS 0.952669
1592.07/1597.80	restart_num  5171 5475
1689.84/1695.95	c Use LS-small
1689.84/1695.95	restart_num  5475 5779
1689.84/1695.95	c similarity no use LS 0.951357
1756.50/1762.82	restart_num  5779 6082
1756.50/1762.82	c similarity no use LS 0.955421
1927.39/1934.37	restart_num  6082 6383
1927.39/1934.37	c similarity no use LS 0.95559
2020.64/2028.00	restart_num  6383 6685
2020.64/2028.00	c similarity no use LS 0.953177
2076.66/2084.11	restart_num  6685 6986
2200.25/2208.05	c Use LS-small
2200.25/2208.05	restart_num  6986 7287
2200.25/2208.05	c similarity no use LS 0.952246
2261.58/2269.52	restart_num  7287 7591
2261.58/2269.52	c similarity no use LS 0.957665
2327.71/2335.88	restart_num  7591 7892
2327.71/2335.89	c similarity no use LS 0.953474
2875.69/2885.21	restart_num  7892 8194
2875.69/2885.21	c similarity no use LS 0.955209
2944.51/2954.21	restart_num  8194 8495
3057.32/3067.31	c Use LS-small
3057.32/3067.31	restart_num  8495 8797
3163.55/3173.84	c Use LS-small
3163.55/3173.84	restart_num  8797 9105
3163.55/3173.84	c similarity no use LS 0.957961
3278.46/3289.05	restart_num  9105 9414
3278.46/3289.05	c similarity no use LS 0.961221
3339.18/3349.96	restart_num  9414 9716
3339.18/3349.96	c similarity no use LS 0.963253
3438.52/3449.59	restart_num  9716 10020
3438.52/3449.59	c similarity no use LS 0.959697
3600.09/3611.50	c Program interrupted by user.
3600.09/3611.50	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: 63794 MiB (62492 MiB free)
  memory of node 1: 64507 MiB (63535 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=203976, runsolver pid=203966

[startup+0.100073 s]*
/proc/loadavg: 0.28 0.12 0.10 3/238 203980
/proc/meminfo: memFree=129037104/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=99864 memory=26480 CPUtime=0.04 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 3604 0 0 0 2 2 0 0 20 0 1 0 241649931 102260736 6620 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 24966 6620 2272 595 0 9633 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 99864 KiB
Current children cumulated memory: 26480 KiB

[startup+0.214738 s]*
/proc/loadavg: 0.28 0.12 0.10 3/245 203990
/proc/meminfo: memFree=129036236/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=103480 memory=32672 CPUtime=0.16 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 4650 0 0 0 12 4 0 0 20 0 1 0 241649931 105963520 8168 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 25870 8168 2272 595 0 10537 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 103480 KiB
Current children cumulated memory: 32672 KiB

[startup+0.314081 s]*
/proc/loadavg: 0.28 0.12 0.10 4/241 203993
/proc/meminfo: memFree=129036200/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=106380 memory=35488 CPUtime=0.25 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 5393 0 0 0 20 5 0 0 20 0 1 0 241649931 108933120 8872 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 26595 8872 2272 595 0 11262 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 106380 KiB
Current children cumulated memory: 35488 KiB

[startup+0.700294 s]
/proc/loadavg: 0.28 0.12 0.10 3/247 204002
/proc/meminfo: memFree=129028700/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=130916 memory=61732 CPUtime=0.62 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 10800 0 0 0 56 6 0 0 20 0 1 0 241649931 134057984 15433 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 32729 15433 2400 595 0 17396 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 130916 KiB
Current children cumulated memory: 61732 KiB

[startup+1.50032 s]
/proc/loadavg: 0.28 0.12 0.10 3/245 204010
/proc/meminfo: memFree=128932420/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=187680 memory=113644 CPUtime=1.41 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 23352 0 0 0 124 17 0 0 20 0 1 0 241649931 192184320 28411 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 46920 28411 2496 595 0 31587 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 187680 KiB
Current children cumulated memory: 113644 KiB

[startup+3.11289 s]
/proc/loadavg: 0.28 0.12 0.10 3/246 204019
/proc/meminfo: memFree=128916016/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=187680 memory=113644 CPUtime=3.02 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 23352 0 0 0 272 30 0 0 20 0 1 0 241649931 192184320 28411 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 46920 28411 2496 595 0 31587 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 187680 KiB
Current children cumulated memory: 113644 KiB

[startup+6.30027 s]
/proc/loadavg: 0.65 0.20 0.13 3/243 204022
/proc/meminfo: memFree=128921116/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=187680 memory=113644 CPUtime=6.2 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 23352 0 0 0 572 48 0 0 20 0 1 0 241649931 192184320 28411 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 46920 28411 2496 595 0 31587 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 187680 KiB
Current children cumulated memory: 113644 KiB

[startup+12.7002 s]
/proc/loadavg: 0.92 0.27 0.15 3/243 204022
/proc/meminfo: memFree=128919424/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=187680 memory=113644 CPUtime=12.58 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 23352 0 0 0 1176 82 0 0 20 0 1 0 241649931 192184320 28411 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 46920 28411 2496 595 0 31587 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 187680 KiB
Current children cumulated memory: 113644 KiB

[startup+25.5003 s]
/proc/loadavg: 1.60 0.45 0.21 3/243 204067
/proc/meminfo: memFree=128917520/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=192008 memory=117996 CPUtime=25.33 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 24416 0 0 0 2375 158 0 0 20 0 1 0 241649931 196616192 29499 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 48002 29499 2528 595 0 32669 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 192008 KiB
Current children cumulated memory: 117996 KiB

[startup+51.1136 s]
/proc/loadavg: 2.57 0.77 0.32 3/245 204109
/proc/meminfo: memFree=126598152/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=207208 memory=139756 CPUtime=50.78 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 28292 0 0 0 4914 164 0 0 20 0 1 0 241649931 212180992 34939 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 51802 34939 2560 595 0 36469 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 207208 KiB
Current children cumulated memory: 139756 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.28 0.52 5/251 204323
/proc/meminfo: memFree=126515412/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=213164 memory=151276 CPUtime=101.72 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 29672 0 0 0 9844 328 0 0 20 0 1 0 241649931 218279936 37819 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 53291 37819 2560 595 0 37958 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 213164 KiB
Current children cumulated memory: 151276 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.81 0.75 5/252 204326
/proc/meminfo: memFree=126617600/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=218768 memory=156908 CPUtime=161.55 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 31142 0 0 0 15684 471 0 0 20 0 1 0 241649931 224018432 39227 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 54692 39227 2560 595 0 39359 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 218768 KiB
Current children cumulated memory: 156908 KiB

[startup+222.3 s]
/proc/loadavg: 4.37 2.31 0.99 5/252 204328
/proc/meminfo: memFree=126471516/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=225336 memory=164516 CPUtime=221.36 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 32545 0 0 0 21512 624 0 0 20 0 1 0 241649931 230744064 41129 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 56334 41129 2560 595 0 41001 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 225336 KiB
Current children cumulated memory: 164516 KiB

[startup+282.3 s]
/proc/loadavg: 4.54 2.75 1.23 5/252 204330
/proc/meminfo: memFree=126454476/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=227868 memory=167204 CPUtime=281.17 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 33254 0 0 0 27373 744 0 0 20 0 1 0 241649931 233336832 41801 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 56967 41801 2560 595 0 41634 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 227868 KiB
Current children cumulated memory: 167204 KiB

[startup+342.3 s]
/proc/loadavg: 4.31 3.01 1.42 5/250 204332
/proc/meminfo: memFree=126437936/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=233876 memory=172964 CPUtime=340.97 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 34711 0 0 0 33212 885 0 0 20 0 1 0 241649931 239489024 43241 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 58469 43241 2560 595 0 43136 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 233876 KiB
Current children cumulated memory: 172964 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 3.22 1.59 5/250 204334
/proc/meminfo: memFree=126384984/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=236360 memory=176420 CPUtime=400.75 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 35569 0 0 0 39149 926 0 0 20 0 1 0 241649931 242032640 44105 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 59090 44105 2560 595 0 43757 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 236360 KiB
Current children cumulated memory: 176420 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.38 1.75 5/250 204336
/proc/meminfo: memFree=126407724/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=240352 memory=179748 CPUtime=460.56 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 36467 0 0 0 44979 1077 0 0 20 0 1 0 241649931 246120448 44937 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 60088 44937 2560 595 0 44755 0
Current children cumulated CPU time: 460.56 s

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

Current children cumulated memory: 252964 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.01 5/249 204480
/proc/meminfo: memFree=125783212/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=311180 memory=252964 CPUtime=2972.54 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 54669 0 0 0 294791 2463 0 0 20 0 1 0 241649931 318648320 63241 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 77795 63241 2560 595 0 62462 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 311180 KiB
Current children cumulated memory: 252964 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.10 4.00 5/250 204489
/proc/meminfo: memFree=125786152/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=312116 memory=254244 CPUtime=3032.39 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55089 0 0 0 300775 2464 0 0 20 0 1 0 241649931 319606784 63561 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78029 63561 2560 595 0 62696 0
Current children cumulated CPU time: 3032.39 s
Current children cumulated vsize: 312116 KiB
Current children cumulated memory: 254244 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.12 4.01 5/250 204490
/proc/meminfo: memFree=125786080/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=312708 memory=254500 CPUtime=3092.23 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55162 0 0 0 306606 2617 0 0 20 0 1 0 241649931 320212992 63625 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78177 63625 2560 595 0 62844 0
Current children cumulated CPU time: 3092.23 s
Current children cumulated vsize: 312708 KiB
Current children cumulated memory: 254500 KiB

[startup+3162.3 s]
/proc/loadavg: 4.78 4.30 4.08 5/250 204492
/proc/meminfo: memFree=125790588/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=313208 memory=254756 CPUtime=3152.08 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55227 0 0 0 312589 2619 0 0 20 0 1 0 241649931 320724992 63689 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78302 63689 2560 595 0 62969 0
Current children cumulated CPU time: 3152.08 s
Current children cumulated vsize: 313208 KiB
Current children cumulated memory: 254756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.26 4.08 5/250 204493
/proc/meminfo: memFree=125783276/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=313960 memory=255652 CPUtime=3211.92 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55437 0 0 0 318572 2620 0 0 20 0 1 0 241649931 321495040 63913 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78490 63913 2560 595 0 63157 0
Current children cumulated CPU time: 3211.92 s
Current children cumulated vsize: 313960 KiB
Current children cumulated memory: 255652 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.23 4.08 5/250 204495
/proc/meminfo: memFree=125780708/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=314352 memory=256164 CPUtime=3271.76 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55594 0 0 0 324553 2623 0 0 20 0 1 0 241649931 321896448 64041 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78588 64041 2560 595 0 63255 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 314352 KiB
Current children cumulated memory: 256164 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.20 4.08 5/251 204498
/proc/meminfo: memFree=125778948/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=314852 memory=256548 CPUtime=3331.6 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55687 0 0 0 330537 2623 0 0 20 0 1 0 241649931 322408448 64137 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78713 64137 2560 595 0 63380 0
Current children cumulated CPU time: 3331.6 s
Current children cumulated vsize: 314852 KiB
Current children cumulated memory: 256548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.17 4.08 5/250 204500
/proc/meminfo: memFree=125748388/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=315052 memory=257060 CPUtime=3391.44 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55812 0 0 0 336520 2624 0 0 20 0 1 0 241649931 322613248 64265 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78763 64265 2560 595 0 63430 0
Current children cumulated CPU time: 3391.44 s
Current children cumulated vsize: 315052 KiB
Current children cumulated memory: 257060 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.15 4.08 5/250 204502
/proc/meminfo: memFree=125747660/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=315552 memory=257060 CPUtime=3451.29 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 55813 0 0 0 342504 2625 0 0 20 0 1 0 241649931 323125248 64265 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 78888 64265 2560 595 0 63555 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 315552 KiB
Current children cumulated memory: 257060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.08 5/250 204504
/proc/meminfo: memFree=125740368/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=316520 memory=257828 CPUtime=3511.13 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 56000 0 0 0 348487 2626 0 0 20 0 1 0 241649931 324116480 64457 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 79130 64457 2560 595 0 63797 0
Current children cumulated CPU time: 3511.13 s
Current children cumulated vsize: 316520 KiB
Current children cumulated memory: 257828 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/250 204506
/proc/meminfo: memFree=125714004/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=317920 memory=259748 CPUtime=3570.97 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 56476 0 0 0 354469 2628 0 0 20 0 1 0 241649931 325550080 64937 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 79480 64937 2560 595 0 64147 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 317920 KiB
Current children cumulated memory: 259748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.08 4.13 4.09 5/250 204508
/proc/meminfo: memFree=125715028/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=317920 memory=260004 CPUtime=3600.09 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 56544 0 0 0 357381 2628 0 0 20 0 1 0 241649931 325550080 65001 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 79480 65001 2560 595 0 64147 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 317920 KiB
Current children cumulated memory: 260004 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.09 s, system=26.29 s

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

[startup+3611.6 s]
/proc/loadavg: 4.08 4.13 4.09 5/250 204508
/proc/meminfo: memFree=125715028/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=300664 memory=245344 CPUtime=3600.19 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 56551 0 0 0 357391 2628 0 0 20 0 1 0 241649931 307879936 61336 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 75166 61336 2656 595 0 59833 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 300664 KiB
Current children cumulated memory: 245344 KiB

[startup+3611.7 s]
/proc/loadavg: 4.08 4.13 4.09 5/250 204508
/proc/meminfo: memFree=125715028/131382112 swapFree=33010416/33010684
[pid=203976] ppid=203966 vsize=300664 memory=245344 CPUtime=3600.29 cores=1,3
/proc/203976/stat : 203976 (SynLSCD) R 203966 203976 203929 0 -1 4194304 56551 0 0 0 357401 2628 0 0 20 0 1 0 241649931 307879936 61336 18446744073709551615 94131050815488 94131053250089 140732219832496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94131053731064 94131053764096 94131063566336 140732219836803 140732219836938 140732219836938 140732219842542 0
/proc/203976/statm: 75166 61336 2656 595 0 59833 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 300664 KiB
Current children cumulated memory: 245344 KiB

Child status: 0

Real time (s): 3611.78
CPU time (s): 3600.38
CPU user time (s): 3574.09
CPU system time (s): 26.29
CPU usage (%): 99.6843
Max. virtual memory (cumulated for all children) (KiB): 317920
Max. memory (cumulated for all children) (KiB): 260004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.09
system time used= 26.29
maximum resident set size= 260388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56576
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= 239
involuntary context switches= 2300


# summary of solver processes directly reported to runsolver:
#   pid: 203976
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3574.09
#   total CPU system time (s): 26.29

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7786 second user time and 34.911 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-23 10:35:01
IDJOB=4545721
IDBENCH=147736
IDSOLVER=3421
FILE ID=nodeC012/4545721-1753259701
RUNJOBID= nodeC012-1753259701-203948
SLURM_JOB_ID= 9689167
Free space on /tmp= 432924 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.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-4545721-1753259701/watcher-4545721-1753259701 -o /tmp/evaluation-result-4545721-1753259701/solver-4545721-1753259701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753259701-203948 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545721-1753259701.opb

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

MD5SUM BENCH= d06d89796adb8259df968e568daeeb68
RANDOM SEED=1977601264

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.635
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.39
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.067
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.39
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		: 3700.000
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.39
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.437
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.39
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		: 3700.000
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.240
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.39
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.195
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.39
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.316
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129046724 kB
MemAvailable:   129849208 kB
Buffers:            2136 kB
Cached:          1567724 kB
SwapCached:           12 kB
Active:          1273232 kB
Inactive:         364148 kB
Active(anon):      88992 kB
Inactive(anon):     4688 kB
Active(file):    1184240 kB
Inactive(file):   359460 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5620 kB
Writeback:             0 kB
AnonPages:         68708 kB
Mapped:           108608 kB
Shmem:             26140 kB
KReclaimable:     196440 kB
Slab:             288472 kB
SReclaimable:     196440 kB
SUnreclaim:        92032 kB
KernelStack:        3824 kB
PageTables:         2852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     348400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149176 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432864 MiB
End job on nodeC012 at 2025-07-23 11:35:14