Trace number 4521056

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 NameAnswerobjective functionCPU timeWall clock time
Exact_proof 2025-06-02? (TO) 3602.08 3618.6

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
MD5SUM83591af43c3da6ede4007c8e5a8d776b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1892
Best CPU time to get the best result obtained on this benchmark3584.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3741
Total number of constraints423980
Number of constraints which are clauses423980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 3153
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3153
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3153
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

361.92/362.78	o 0
362.81/363.60	o -1110
362.81/363.61	o -1150
362.81/363.62	o -1444
363.11/363.94	o -1449
363.31/364.16	o -1466
363.70/364.58	o -1469
364.11/364.91	o -1476
367.30/368.13	o -1483
369.99/370.83	o -1491
371.79/372.69	o -1510
374.18/375.00	o -1514
378.47/379.35	o -1520
383.66/384.57	o -1523
385.16/386.01	o -1529
385.16/386.04	o -1546
385.16/386.07	o -1550
385.55/386.40	o -1560
386.95/387.87	o -1568
389.15/390.05	o -1599
393.14/394.02	o -1605
398.22/399.19	o -1609
402.51/403.44	o -1610
408.70/409.64	o -1617
413.49/414.41	o -1619
417.09/418.01	o -1620
421.67/422.67	o -1621
424.26/425.23	o -1623
460.05/461.57	o -1625
477.18/478.75	o -1644
479.08/480.66	o -1662
615.46/617.40	o -1663
621.84/623.84	o -1673
629.86/632.14	o -1676
646.82/649.14	o -1678
735.02/737.80	o -1681
1044.08/1052.94	o -1683
1048.07/1056.93	o -1685
1051.66/1060.58	o -1688
1056.56/1065.45	o -1692
1257.16/1266.50	o -1735
2791.34/2805.27	o -1739

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521056-1751576380/watcher-4521056-1751576380 -o /tmp/evaluation-result-4521056-1751576380/solver-4521056-1751576380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751568191-96512 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4521056-1751576380 --seed=518603153 HOME/instance-4521056-1751576380.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.19 4.19 4.17 5/271 97632
/proc/meminfo: memFree=126094516/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=66604 memory=38708 CPUtime=0.1 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 8842 0 0 0 9 1 0 0 20 0 1 0 73315517 68202496 9677 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 16651 9677 992 1201 0 15129 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66604 KiB
Current children cumulated memory: 38708 KiB

[startup+0.205563 s]*
/proc/loadavg: 4.19 4.19 4.17 5/271 97632
/proc/meminfo: memFree=126062256/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=101532 memory=69432 CPUtime=0.2 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 14487 0 0 0 18 2 0 0 20 0 1 0 73315517 103968768 17358 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 25383 17358 992 1201 0 23861 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101532 KiB
Current children cumulated memory: 69432 KiB

[startup+0.305471 s]*
/proc/loadavg: 4.19 4.19 4.17 5/271 97632
/proc/meminfo: memFree=126038188/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=178020 memory=113124 CPUtime=0.3 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 19799 0 0 0 27 3 0 0 20 0 1 0 73315517 182292480 28281 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 44505 28281 992 1201 0 42983 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 178020 KiB
Current children cumulated memory: 113124 KiB

[startup+0.700174 s]
/proc/loadavg: 4.19 4.19 4.17 5/271 97632
/proc/meminfo: memFree=125985452/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=171124 memory=149104 CPUtime=0.68 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 25703 0 0 0 63 5 0 0 20 0 1 0 73315517 175230976 37276 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 42781 37276 1024 1201 0 41259 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 171124 KiB
Current children cumulated memory: 149104 KiB

[startup+1.50018 s]
/proc/loadavg: 4.19 4.19 4.17 5/271 97632
/proc/meminfo: memFree=125964240/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=1.48 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 142 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+3.10528 s]
/proc/loadavg: 4.26 4.20 4.17 5/271 97632
/proc/meminfo: memFree=126049608/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=3.08 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 302 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+6.30011 s]
/proc/loadavg: 4.26 4.20 4.17 5/271 97632
/proc/meminfo: memFree=126043708/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=6.27 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 621 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+12.7001 s]
/proc/loadavg: 4.22 4.20 4.17 5/271 97632
/proc/meminfo: memFree=126048876/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=12.65 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 1259 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+25.5001 s]
/proc/loadavg: 4.18 4.19 4.17 5/270 97633
/proc/meminfo: memFree=125989160/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=25.42 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 2536 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+51.1053 s]
/proc/loadavg: 4.18 4.19 4.17 5/270 97633
/proc/meminfo: memFree=125913884/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=50.97 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 5091 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/270 97692
/proc/meminfo: memFree=125298968/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=102.05 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 10199 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/270 97695
/proc/meminfo: memFree=124225868/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=161.93 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 16187 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.17 4.16 5/271 97698
/proc/meminfo: memFree=123258460/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=221.81 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 22175 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/270 97701
/proc/meminfo: memFree=122673636/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=281.68 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 28162 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/270 97703
/proc/meminfo: memFree=122415240/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=126372 memory=110116 CPUtime=341.55 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 26457 0 0 0 34149 6 0 0 20 0 1 0 73315517 129404928 27529 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 31593 27529 1024 1201 0 30071 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 126372 KiB
Current children cumulated memory: 110116 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/271 97710
/proc/meminfo: memFree=120705744/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=450984 memory=418948 CPUtime=401.42 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 47646 0 0 0 40092 50 0 0 20 0 1 0 73315517 461807616 104737 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 112746 104737 1280 1201 0 111224 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 450984 KiB
Current children cumulated memory: 418948 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/272 97714
/proc/meminfo: memFree=118728772/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=450984 memory=429244 CPUtime=460.83 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 47905 0 0 0 45991 92 0 0 20 0 1 0 73315517 461807616 107311 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 112746 107311 1280 1201 0 111224 0
Current children cumulated CPU time: 460.83 s

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

[startup+3042.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/271 97873
/proc/meminfo: memFree=66925228/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=666688 memory=587720 CPUtime=3027.79 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 86009 0 0 0 301547 1232 0 0 20 0 1 0 73315517 682688512 146930 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 166672 146930 1280 1201 0 165150 0
Current children cumulated CPU time: 3027.79 s
Current children cumulated vsize: 666688 KiB
Current children cumulated memory: 587720 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/270 97875
/proc/meminfo: memFree=65603816/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=677076 memory=598088 CPUtime=3087.63 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 88717 0 0 0 307528 1235 0 0 20 0 1 0 73315517 693325824 149522 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 169269 149522 1280 1201 0 167747 0
Current children cumulated CPU time: 3087.63 s
Current children cumulated vsize: 677076 KiB
Current children cumulated memory: 598088 KiB

[startup+3162.3 s]
/proc/loadavg: 3.28 3.95 4.06 3/258 97938
/proc/meminfo: memFree=97730140/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=678984 memory=600008 CPUtime=3147.46 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 89196 0 0 0 313507 1239 0 0 20 0 1 0 73315517 695279616 150002 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 169746 150002 1280 1201 0 168224 0
Current children cumulated CPU time: 3147.46 s
Current children cumulated vsize: 678984 KiB
Current children cumulated memory: 600008 KiB

[startup+3222.3 s]
/proc/loadavg: 2.54 3.61 3.94 3/257 97940
/proc/meminfo: memFree=97204364/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=682280 memory=603336 CPUtime=3207.25 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 90113 0 0 0 319481 1244 0 0 20 0 1 0 73315517 698654720 150834 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 170570 150834 1280 1201 0 169048 0
Current children cumulated CPU time: 3207.25 s
Current children cumulated vsize: 682280 KiB
Current children cumulated memory: 603336 KiB

[startup+3282.3 s]
/proc/loadavg: 2.25 3.33 3.82 3/257 97943
/proc/meminfo: memFree=96719124/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=608712 CPUtime=3267.04 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91474 0 0 0 325457 1247 0 0 20 0 1 0 73315517 704212992 152178 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152178 1280 1201 0 170405 0
Current children cumulated CPU time: 3267.04 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 608712 KiB

[startup+3342.3 s]
/proc/loadavg: 2.13 3.10 3.71 3/258 97946
/proc/meminfo: memFree=96189812/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=608712 CPUtime=3326.82 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91551 0 0 0 331431 1251 0 0 20 0 1 0 73315517 704212992 152178 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152178 1280 1201 0 170405 0
Current children cumulated CPU time: 3326.82 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 608712 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.91 3.60 3/261 97956
/proc/meminfo: memFree=95651524/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=608712 CPUtime=3386.59 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91565 0 0 0 337404 1255 0 0 20 0 1 0 73315517 704212992 152178 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152178 1280 1201 0 170405 0
Current children cumulated CPU time: 3386.59 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 608712 KiB

[startup+3462.3 s]
/proc/loadavg: 2.07 2.76 3.50 3/260 97958
/proc/meminfo: memFree=95106004/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=608712 CPUtime=3446.36 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91654 0 0 0 343377 1259 0 0 20 0 1 0 73315517 704212992 152178 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152178 1280 1201 0 170405 0
Current children cumulated CPU time: 3446.36 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 608712 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.65 3.42 3/260 97960
/proc/meminfo: memFree=94750808/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=610504 CPUtime=3506.12 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91678 0 0 0 349349 1263 0 0 20 0 1 0 73315517 704212992 152626 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152626 1280 1201 0 170405 0
Current children cumulated CPU time: 3506.12 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 610504 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.56 3.34 3/259 97965
/proc/meminfo: memFree=94749468/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=610504 CPUtime=3565.91 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91685 0 0 0 355324 1267 0 0 20 0 1 0 73315517 704212992 152626 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152626 1280 1201 0 170405 0
Current children cumulated CPU time: 3565.91 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 610504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.6 s]
/proc/loadavg: 2.08 2.49 3.29 3/259 97965
/proc/meminfo: memFree=94749736/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=610504 CPUtime=3600.08 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91762 0 0 0 358739 1269 0 0 20 0 1 0 73315517 704212992 152626 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152626 1280 1201 0 170405 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 610504 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3589.38 s, system=12.6932 s

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

[startup+3617.6 s]
/proc/loadavg: 2.08 2.49 3.29 3/259 97965
/proc/meminfo: memFree=94749736/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=610504 CPUtime=3601.07 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91763 0 0 0 358838 1269 0 0 20 0 1 0 73315517 704212992 152626 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152626 1280 1201 0 170405 0
Current children cumulated CPU time: 3601.07 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 610504 KiB

[startup+3618.4 s]
/proc/loadavg: 2.07 2.49 3.28 3/259 97965
/proc/meminfo: memFree=94749736/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=610504 CPUtime=3601.87 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91763 0 0 0 358918 1269 0 0 20 0 1 0 73315517 704212992 152626 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152626 1280 1201 0 170405 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 610504 KiB

[startup+3618.6 s]
/proc/loadavg: 2.07 2.49 3.28 3/259 97965
/proc/meminfo: memFree=94749736/131250000 swapFree=33010160/33010684
[pid=97631] ppid=97628 vsize=687708 memory=610504 CPUtime=3602.07 cores=4,6
/proc/97631/stat : 97631 (Exact_proof) R 97628 97631 96496 0 -1 4194304 91763 0 0 0 358938 1269 0 0 20 0 1 0 73315517 704212992 152626 18446744073709551615 4198400 9115581 140726220210656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 39628800 140726220216521 140726220216807 140726220216807 140726220222409 0
/proc/97631/statm: 171927 152626 1280 1201 0 170405 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 687708 KiB
Current children cumulated memory: 610504 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3618.6
CPU time (s): 3602.08
CPU user time (s): 3589.38
CPU system time (s): 12.6932
CPU usage (%): 99.5433
Max. virtual memory (cumulated for all children) (KiB): 687708
Max. memory (cumulated for all children) (KiB): 610504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.38
system time used= 12.6932
maximum resident set size= 663612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33188320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 5452


# summary of solver processes directly reported to runsolver:
#   pid: 97631
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3589.38
#   total CPU system time (s): 12.6932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08987 second user time and 14.1056 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-03 22:59:40
IDJOB=4521056
IDBENCH=178219
IDSOLVER=3325
FILE ID=nodeC016/4521056-1751576380
RUNJOBID= nodeC016-1751568191-96512
SLURM_JOB_ID= 9598785
Free space on /tmp= 432832 MiB

SOLVER NAME= Exact_proof 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521056-1751576380/watcher-4521056-1751576380 -o /tmp/evaluation-result-4521056-1751576380/solver-4521056-1751576380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751568191-96512 --watchdog 3760  HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4521056-1751576380 --seed=518603153 HOME/instance-4521056-1751576380.opb

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

MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=518603153

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.925
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.740
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		: 3604.265
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		: 3807.944
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.732
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		: 3599.727
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		: 3627.817
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		: 3637.001
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:        126122932 kB
MemAvailable:   128928132 kB
Buffers:            2144 kB
Cached:          3535780 kB
SwapCached:           28 kB
Active:          1388484 kB
Inactive:        2858204 kB
Active(anon):     721312 kB
Inactive(anon):     5220 kB
Active(file):     667172 kB
Inactive(file):  2852984 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            659344 kB
Writeback:             0 kB
AnonPages:        711112 kB
Mapped:           118844 kB
Shmem:             18044 kB
KReclaimable:     248564 kB
Slab:             362752 kB
SReclaimable:     248564 kB
SUnreclaim:       114188 kB
KernelStack:        4432 kB
PageTables:         4444 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1144912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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= 432852 MiB
End job on nodeC016 at 2025-07-03 23:59:58