Trace number 4517780

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
toulbar2 2025-06-13OPT5 656.624 658.302

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=3.opb
MD5SUM970aa3d1f1d45876cf8a11b4225544dc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.080382
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables124
Total number of constraints1676
Number of constraints which are clauses1668
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint9
Number of terms in the objective function 8
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 8
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 10
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.09/0.11	o 6
0.09/0.12	o 5
656.61/658.30	o 5
656.61/658.30	s OPTIMUM FOUND
656.61/658.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 x30 x31 x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 x124

Verifier Data 

OK	5

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517780-1751538429/watcher-4517780-1751538429 -o /tmp/evaluation-result-4517780-1751538429/solver-4517780-1751538429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751534583-75610 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4517780-1751538429.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

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=76236, runsolver pid=76233

[startup+0.100064 s]*
/proc/loadavg: 4.07 4.08 4.09 5/268 76238
/proc/meminfo: memFree=127538168/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=31336 memory=22144 CPUtime=0.09 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 4613 0 0 0 9 0 0 0 20 0 1 0 69519497 32088064 5536 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 7834 5536 1024 1162 0 6443 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35528 KiB
Current children cumulated memory: 25088 KiB

[startup+0.205567 s]*
/proc/loadavg: 4.07 4.08 4.09 5/268 76238
/proc/meminfo: memFree=127522040/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=46824 memory=38400 CPUtime=0.2 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 8547 0 0 0 19 1 0 0 20 0 1 0 69519497 47947776 9600 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 11706 9600 1184 1162 0 10315 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51016 KiB
Current children cumulated memory: 41344 KiB

[startup+0.305484 s]*
/proc/loadavg: 4.07 4.08 4.09 5/268 76238
/proc/meminfo: memFree=127522040/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=50912 memory=42496 CPUtime=0.29 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 9571 0 0 0 28 1 0 0 20 0 1 0 69519497 52133888 10624 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 12728 10624 1184 1162 0 11337 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55104 KiB
Current children cumulated memory: 45440 KiB

[startup+0.700181 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 76238
/proc/meminfo: memFree=127522040/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=63420 memory=55040 CPUtime=0.68 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 12708 0 0 0 67 1 0 0 20 0 1 0 69519497 64942080 13760 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 15855 13760 1184 1162 0 14464 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67612 KiB
Current children cumulated memory: 57984 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 76238
/proc/meminfo: memFree=127506164/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=75648 memory=67328 CPUtime=1.48 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 15779 0 0 0 146 2 0 0 20 0 1 0 69519497 77463552 16832 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 18912 16832 1184 1162 0 17521 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79840 KiB
Current children cumulated memory: 70272 KiB

[startup+3.10508 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 76238
/proc/meminfo: memFree=127498172/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=75784 memory=67456 CPUtime=3.08 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 15792 0 0 0 306 2 0 0 20 0 1 0 69519497 77602816 16864 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 18946 16864 1184 1162 0 17555 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79976 KiB
Current children cumulated memory: 70400 KiB

[startup+6.30018 s]
/proc/loadavg: 4.22 4.11 4.10 5/268 76238
/proc/meminfo: memFree=127495244/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=80068 memory=71680 CPUtime=6.27 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 16876 0 0 0 625 2 0 0 20 0 1 0 69519497 81989632 17920 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 20017 17920 1184 1162 0 18626 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84260 KiB
Current children cumulated memory: 74624 KiB

[startup+12.7001 s]
/proc/loadavg: 4.28 4.13 4.10 5/268 76238
/proc/meminfo: memFree=127490960/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=84120 memory=75776 CPUtime=12.65 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 17905 0 0 0 1263 2 0 0 20 0 1 0 69519497 86138880 18944 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 21030 18944 1184 1162 0 19639 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 88312 KiB
Current children cumulated memory: 78720 KiB

[startup+25.5002 s]
/proc/loadavg: 4.36 4.15 4.11 5/268 76239
/proc/meminfo: memFree=127473072/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=86876 memory=78304 CPUtime=25.42 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 18669 0 0 0 2540 2 0 0 20 0 1 0 69519497 88961024 19576 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 21719 19576 1184 1162 0 20328 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 91068 KiB
Current children cumulated memory: 81248 KiB

[startup+51.1052 s]
/proc/loadavg: 4.32 4.16 4.11 5/268 76239
/proc/meminfo: memFree=127454348/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=89688 memory=80736 CPUtime=50.95 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 19475 0 0 0 5093 2 0 0 20 0 1 0 69519497 91840512 20184 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 22422 20184 1184 1162 0 21031 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 93880 KiB
Current children cumulated memory: 83680 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/267 76241
/proc/meminfo: memFree=127448248/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=93992 memory=85344 CPUtime=102.02 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 20628 0 0 0 10200 2 0 0 20 0 1 0 69519497 96247808 21336 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 23498 21336 1184 1162 0 22107 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 98184 KiB
Current children cumulated memory: 88288 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/267 76244
/proc/meminfo: memFree=127420868/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=97764 memory=88660 CPUtime=161.87 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 21313 0 0 0 16184 3 0 0 20 0 1 0 69519497 100110336 22165 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 24441 22165 1184 1162 0 23050 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 101956 KiB
Current children cumulated memory: 91604 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/267 76247
/proc/meminfo: memFree=127418176/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=99808 memory=90708 CPUtime=221.69 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 21841 0 0 0 22166 3 0 0 20 0 1 0 69519497 102203392 22677 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 24952 22677 1184 1162 0 23561 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 104000 KiB

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

/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22213 0 0 0 40119 3 0 0 20 0 1 0 69519497 105742336 24606 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 25816 24606 1184 1162 0 24425 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 107456 KiB
Current children cumulated memory: 101368 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 76255
/proc/meminfo: memFree=127411588/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=103264 memory=98424 CPUtime=461.08 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22231 0 0 0 46105 3 0 0 20 0 1 0 69519497 105742336 24606 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 25816 24606 1184 1162 0 24425 0
Current children cumulated CPU time: 461.08 s
Current children cumulated vsize: 107456 KiB
Current children cumulated memory: 101368 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 76261
/proc/meminfo: memFree=127421420/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=103264 memory=99192 CPUtime=520.94 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22412 0 0 0 52091 3 0 0 20 0 1 0 69519497 105742336 24798 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 25816 24798 1184 1162 0 24425 0
Current children cumulated CPU time: 520.94 s
Current children cumulated vsize: 107456 KiB
Current children cumulated memory: 102136 KiB

[startup+582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 76267
/proc/meminfo: memFree=127425104/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=103264 memory=100472 CPUtime=580.79 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22763 0 0 0 58076 3 0 0 20 0 1 0 69519497 105742336 25118 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 25816 25118 1184 1162 0 24425 0
Current children cumulated CPU time: 580.79 s
Current children cumulated vsize: 107456 KiB
Current children cumulated memory: 103416 KiB

[startup+642.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 76269
/proc/meminfo: memFree=127427812/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=640.65 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22989 0 0 0 64062 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 640.65 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

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

# cumulated CPU time of all completed processes:  user=656.587 s, system=0.036872 s

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

[startup+646.4 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 76269
/proc/meminfo: memFree=127427812/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=644.74 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22989 0 0 0 64471 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 644.74 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

[startup+652.8 s]
/proc/loadavg: 4.30 4.14 4.10 5/268 76269
/proc/meminfo: memFree=127428064/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=651.12 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22990 0 0 0 65109 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 651.12 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

[startup+656 s]*
/proc/loadavg: 4.35 4.15 4.11 5/268 76269
/proc/meminfo: memFree=127424228/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=654.32 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22994 0 0 0 65429 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 654.32 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

[startup+657.6 s]
/proc/loadavg: 4.35 4.15 4.11 5/268 76269
/proc/meminfo: memFree=127424228/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=655.91 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22995 0 0 0 65588 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 655.91 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

[startup+658 s]*
/proc/loadavg: 4.35 4.15 4.11 5/268 76269
/proc/meminfo: memFree=127424228/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=656.32 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22996 0 0 0 65629 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 656.32 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

[startup+658.2 s]
/proc/loadavg: 4.35 4.15 4.11 5/268 76269
/proc/meminfo: memFree=127424228/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=656.51 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22996 0 0 0 65648 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 656.51 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

[startup+658.3 s]
/proc/loadavg: 4.35 4.15 4.11 5/268 76269
/proc/meminfo: memFree=127424228/131250000 swapFree=33010672/33010684
[pid=76236] ppid=76233 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/76236/stat : 76236 (toulbar2.sh) S 76233 76236 75595 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 69519496 4292608 736 18446744073709551615 94292881833984 94292882728517 140722311420464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94292882967568 94292883015312 94292889280512 140722311424311 140722311424487 140722311424487 140722311430089 0
/proc/76236/statm: 1048 736 672 219 0 110 0
[pid=76238] ppid=76236 vsize=110176 memory=103236 CPUtime=656.61 cores=1,3
/proc/76238/stat : 76238 (toulbar2) R 76236 76236 75595 0 -1 4194304 22997 0 0 0 65658 3 0 0 20 0 1 0 69519497 112820224 25809 18446744073709551615 4198400 8956741 140729394038816 0 0 0 0 0 33570818 0 0 0 17 1 0 0 0 0 0 9785056 9890480 21807104 140729394043253 140729394043372 140729394043372 140729394048972 0
/proc/76238/statm: 27544 25809 1184 1162 0 26153 0
Current children cumulated CPU time: 656.61 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 106180 KiB

Child status: 0

Real time (s): 658.302
CPU time (s): 656.624
CPU user time (s): 656.587
CPU system time (s): 0.036872
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 114368
Max. memory (cumulated for all children) (KiB): 106180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 656.587
system time used= 0.036872
maximum resident set size= 106932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23212
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= 94
involuntary context switches= 1282


# summary of solver processes directly reported to runsolver:
#   pid: 76236
#   total CPU time (s): 656.624
#   total CPU user time (s): 656.587
#   total CPU system time (s): 0.036872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3411 second user time and 2.58988 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-03 12:27:09
IDJOB=4517780
IDBENCH=176184
IDSOLVER=3371
FILE ID=nodeC014/4517780-1751538429
RUNJOBID= nodeC014-1751534583-75610
SLURM_JOB_ID= 9598682
Free space on /tmp= 430476 MiB

SOLVER NAME= toulbar2 2025-06-13
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=8-t=3.opb
COMMAND LINE= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517780-1751538429/watcher-4517780-1751538429 -o /tmp/evaluation-result-4517780-1751538429/solver-4517780-1751538429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751534583-75610 --watchdog 3760  toulbar2.sh toulbar2 HOME/instance-4517780-1751538429.opb -timer=3600 -hve=512 -f=3 -n: -precision=0

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

MD5SUM BENCH= 970aa3d1f1d45876cf8a11b4225544dc
RANDOM SEED=1684287382

nodeC014 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		: 3600.203
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	: 7000.23
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.196
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	: 7000.23
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		: 3654.014
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.371
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	: 7000.23
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		: 3600.117
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	: 7000.23
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		: 3600.061
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	: 7000.23
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		: 3725.435
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	: 7000.23
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		: 3600.383
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127562028 kB
MemAvailable:   129447608 kB
Buffers:            2508 kB
Cached:          2680596 kB
SwapCached:            4 kB
Active:           935160 kB
Inactive:        2122244 kB
Active(anon):     388512 kB
Inactive(anon):     3852 kB
Active(file):     546648 kB
Inactive(file):  2118392 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6488 kB
Writeback:             0 kB
AnonPages:        377408 kB
Mapped:           118728 kB
Shmem:             18064 kB
KReclaimable:     119556 kB
Slab:             210404 kB
SReclaimable:     119556 kB
SUnreclaim:        90848 kB
KernelStack:        4320 kB
PageTables:         3852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     747144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430468 MiB
End job on nodeC014 at 2025-07-03 12:38:08