Trace number 4506202

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
OR-Tools CP-SAT 9.14? (TO) 3600.2 1835.97

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
MD5SUMdbf34b7abc88a78c4f9cfedcb1385de8
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-451137
Best CPU time to get the best result obtained on this benchmark71743.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 306555
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 596093810
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 596093810
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.11/1835.90	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60630 MiB free)
  memory of node 1: 64465 MiB (56554 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506202-1751456894/watcher-4506202-1751456894 -o /tmp/evaluation-result-4506202-1751456894/solver-4506202-1751456894 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751447326-61841 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1548633262 --competition_mode --input HOME/instance-4506202-1751456894.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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.el9_5.x86_64
Starting watchdog thread
solver pid=63740, runsolver pid=63737
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 7.77 7.98 7.99 8/270 63741
/proc/meminfo: memFree=119956792/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=57744 memory=44180 CPUtime=0.1 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 7838 0 0 0 8 2 0 0 20 0 1 0 61367857 59129856 11045 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 14436 11045 1088 2102 0 11976 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57744 KiB
Current children cumulated memory: 44180 KiB

[startup+0.205835 s]*
/proc/loadavg: 7.77 7.98 7.99 8/270 63741
/proc/meminfo: memFree=119916472/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=104608 memory=89812 CPUtime=0.2 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 18221 0 0 0 16 4 0 0 20 0 1 0 61367857 107118592 22453 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 26152 22453 1088 2102 0 23692 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104608 KiB
Current children cumulated memory: 89812 KiB

[startup+0.305856 s]*
/proc/loadavg: 7.77 7.98 7.99 8/270 63741
/proc/meminfo: memFree=119937976/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=140904 memory=124240 CPUtime=0.3 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 24798 0 0 0 24 6 0 0 20 0 1 0 61367857 144285696 31060 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 35226 31060 1088 2102 0 32766 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140904 KiB
Current children cumulated memory: 124240 KiB

[startup+0.700206 s]
/proc/loadavg: 7.77 7.98 7.99 8/270 63741
/proc/meminfo: memFree=119687864/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=395716 memory=373096 CPUtime=0.69 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 77387 0 0 0 54 15 0 0 20 0 1 0 61367857 405213184 93274 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 98929 93274 1088 2102 0 96469 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 395716 KiB
Current children cumulated memory: 373096 KiB

[startup+1.5002 s]
/proc/loadavg: 7.77 7.98 7.99 8/270 63741
/proc/meminfo: memFree=119335460/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=469780 memory=459080 CPUtime=1.49 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 93383 0 0 0 131 18 0 0 20 0 1 0 61367857 481054720 114770 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 117445 114770 1408 2102 0 114985 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 469780 KiB
Current children cumulated memory: 459080 KiB

[startup+3.10583 s]
/proc/loadavg: 7.77 7.98 7.99 8/270 63741
/proc/meminfo: memFree=119129780/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=560140 memory=545020 CPUtime=3.08 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 108199 0 0 0 288 20 0 0 20 0 1 0 61367857 573583360 136255 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 140035 136255 1504 2102 0 137575 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 560140 KiB
Current children cumulated memory: 545020 KiB

[startup+6.30021 s]
/proc/loadavg: 7.71 7.96 7.99 8/270 63742
/proc/meminfo: memFree=118452116/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=1061696 memory=967784 CPUtime=6.26 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 155994 0 0 0 590 36 0 0 20 0 1 0 61367857 1087176704 241946 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 265424 241946 1856 2102 0 262964 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1061696 KiB
Current children cumulated memory: 967784 KiB

[startup+12.7002 s]
/proc/loadavg: 7.65 7.94 7.98 8/270 63742
/proc/meminfo: memFree=118409464/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=1000052 memory=962088 CPUtime=12.64 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 168419 0 0 0 1225 39 0 0 20 0 1 0 61367857 1024053248 240522 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 250013 240522 1888 2102 0 247553 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1000052 KiB
Current children cumulated memory: 962088 KiB

[startup+25.5002 s]
/proc/loadavg: 7.58 7.91 7.97 8/270 63742
/proc/meminfo: memFree=118264516/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=1152584 memory=1127084 CPUtime=25.39 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) R 63737 63740 61831 0 -1 4194304 178732 0 0 0 2494 45 0 0 20 0 1 0 61367857 1180246016 281771 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 288146 281771 1888 2102 0 285686 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1152584 KiB
Current children cumulated memory: 1127084 KiB

[startup+51.106 s]
/proc/loadavg: 7.61 7.89 7.96 9/272 63744
/proc/meminfo: memFree=116447032/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3392988 memory=2687740 CPUtime=60.87 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 382828 0 0 0 5963 124 0 0 20 0 3 0 61367857 3474419712 671935 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 848247 671935 2144 2102 0 816064 0
[pid=63740/tid=63743] ppid=63737 vsize=3392988 memory=2642148 CPUtime=10.07 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 94724 0 0 0 978 29 0 0 20 0 3 0 61371953 3474419712 671935 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3392988 memory=2149460 CPUtime=9.98 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 101588 0 0 0 954 44 0 0 20 0 3 0 61371953 3474419712 671935 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 60.87 s
Current children cumulated vsize: 3392988 KiB
Current children cumulated memory: 2687740 KiB

[startup+102.3 s]
/proc/loadavg: 7.95 7.94 7.98 9/271 63746
/proc/meminfo: memFree=115652292/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3201304 memory=2940776 CPUtime=162.28 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 1987975 0 0 0 15668 560 0 0 20 0 3 0 61367857 3278135296 735194 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 800326 735194 2144 2102 0 772530 0
[pid=63740/tid=63743] ppid=63737 vsize=3201304 memory=2982280 CPUtime=60.97 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 175490 0 0 0 6055 42 0 0 20 0 3 0 61371953 3278135296 735194 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3201304 memory=2940776 CPUtime=60.47 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 1625843 0 0 0 5580 467 0 0 20 0 3 0 61371953 3278135296 735194 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 3201304 KiB
Current children cumulated memory: 2940776 KiB

[startup+162.3 s]
/proc/loadavg: 8.16 8.00 8.00 9/271 63750
/proc/meminfo: memFree=115658680/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3266840 memory=3024828 CPUtime=281.17 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 3875479 0 0 0 27053 1064 0 0 20 0 3 0 61367857 3345244160 756207 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 816710 756207 2144 2102 0 792660 0
[pid=63740/tid=63743] ppid=63737 vsize=3266840 memory=2989248 CPUtime=120.64 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 232429 0 0 0 12016 48 0 0 20 0 3 0 61371953 3345244160 756207 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3266840 memory=14976 CPUtime=119.66 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 3456352 0 0 0 11003 963 0 0 20 0 3 0 61371953 3345244160 756207 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 3266840 KiB
Current children cumulated memory: 3024828 KiB

[startup+222.3 s]
/proc/loadavg: 8.10 8.01 8.00 9/271 63752
/proc/meminfo: memFree=115519156/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3266840 memory=3025212 CPUtime=400.03 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 5713523 0 0 0 38425 1578 0 0 20 0 3 0 61367857 3345244160 756303 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 816710 756303 2144 2102 0 792735 0
[pid=63740/tid=63743] ppid=63737 vsize=3266840 memory=3025212 CPUtime=180.3 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 233030 0 0 0 17982 48 0 0 20 0 3 0 61371953 3345244160 756303 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3266840 memory=14976 CPUtime=178.83 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 5293753 0 0 0 16407 1476 0 0 20 0 3 0 61371953 3345244160 756303 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 400.03 s
Current children cumulated vsize: 3266840 KiB
Current children cumulated memory: 3025212 KiB

[startup+282.3 s]
/proc/loadavg: 8.14 8.04 8.01 9/271 63754
/proc/meminfo: memFree=114943472/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3332376 memory=3063716 CPUtime=518.89 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 7565909 0 0 0 49795 2094 0 0 20 0 3 0 61367857 3412353024 765929 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 833094 765929 2144 2102 0 802755 0
[pid=63740/tid=63743] ppid=63737 vsize=3332376 memory=3025212 CPUtime=239.94 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 233080 0 0 0 23946 48 0 0 20 0 3 0 61371953 3412353024 765929 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3332376 memory=3025212 CPUtime=238.01 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 7145989 0 0 0 21812 1989 0 0 20 0 3 0 61371953 3412353024 765929 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 518.89 s
Current children cumulated vsize: 3332376 KiB
Current children cumulated memory: 3063716 KiB

[startup+342.3 s]
/proc/loadavg: 8.11 8.05 8.01 9/271 63756
/proc/meminfo: memFree=114923272/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3786204 memory=3111428 CPUtime=637.76 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 9413634 0 0 0 61159 2617 0 0 20 0 3 0 61367857 3877072896 777857 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0

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

Current children cumulated memory: 3743652 KiB

[startup+1362.3 s]
/proc/loadavg: 4.31 5.42 6.46 5/255 63879
/proc/meminfo: memFree=122691176/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3987736 memory=3746468 CPUtime=2660.61 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 11579371 0 0 0 262783 3278 0 0 20 0 3 0 61367857 4083441664 936617 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 996934 936617 2144 2102 0 973051 0
[pid=63740/tid=63743] ppid=63737 vsize=3987736 memory=3787644 CPUtime=1314.55 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 604566 0 0 0 131376 79 0 0 20 0 3 0 61371953 4083441664 936617 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3987736 memory=5632 CPUtime=1304.52 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10787011 0 0 0 127321 3131 0 0 20 0 3 0 61371953 4083441664 936617 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 2660.61 s
Current children cumulated vsize: 3987736 KiB
Current children cumulated memory: 3746468 KiB

[startup+1422.3 s]
/proc/loadavg: 4.17 5.17 6.31 5/255 63881
/proc/meminfo: memFree=122557892/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=4053272 memory=3812004 CPUtime=2779.65 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 11656613 0 0 0 274660 3305 0 0 20 0 3 0 61367857 4150550528 953001 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 1013318 953001 2144 2102 0 989435 0
[pid=63740/tid=63743] ppid=63737 vsize=4053272 memory=3848112 CPUtime=1374.28 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 640437 0 0 0 137346 82 0 0 20 0 3 0 61371953 4150550528 953001 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=4053272 memory=14976 CPUtime=1363.81 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10828377 0 0 0 133226 3155 0 0 20 0 3 0 61371953 4150550528 953001 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 2779.65 s
Current children cumulated vsize: 4053272 KiB
Current children cumulated memory: 3812004 KiB

[startup+1482.3 s]
/proc/loadavg: 4.17 4.99 6.17 5/256 63884
/proc/meminfo: memFree=122561640/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=4053272 memory=3812004 CPUtime=2898.65 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 11697251 0 0 0 286537 3328 0 0 20 0 3 0 61367857 4150550528 953001 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 1013318 953001 2144 2102 0 989435 0
[pid=63740/tid=63743] ppid=63737 vsize=4053272 memory=4003844 CPUtime=1433.96 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 679258 0 0 0 143311 85 0 0 20 0 3 0 61371953 4150550528 953001 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=4053272 memory=4040436 CPUtime=1423.09 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10830190 0 0 0 139135 3174 0 0 20 0 3 0 61371953 4150550528 953001 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 2898.65 s
Current children cumulated vsize: 4053272 KiB
Current children cumulated memory: 3812004 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.82 6.04 5/256 63886
/proc/meminfo: memFree=122611012/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3922200 memory=3680932 CPUtime=3017.67 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 11738026 0 0 0 298419 3348 0 0 20 0 3 0 61367857 4016332800 920233 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 980550 920233 2144 2102 0 956667 0
[pid=63740/tid=63743] ppid=63737 vsize=3922200 memory=14976 CPUtime=1493.64 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 718181 0 0 0 149277 87 0 0 20 0 3 0 61371953 4016332800 920233 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3922200 memory=3908216 CPUtime=1482.39 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10832036 0 0 0 145048 3191 0 0 20 0 3 0 61371953 4016332800 920233 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 3017.67 s
Current children cumulated vsize: 3922200 KiB
Current children cumulated memory: 3680932 KiB

[startup+1602.3 s]
/proc/loadavg: 4.09 4.68 5.92 5/256 63887
/proc/meminfo: memFree=122631720/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3922200 memory=3680932 CPUtime=3136.69 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 11805416 0 0 0 310300 3369 0 0 20 0 3 0 61367857 4016332800 920233 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 980550 920233 2144 2102 0 956667 0
[pid=63740/tid=63743] ppid=63737 vsize=3922200 memory=10752 CPUtime=1553.33 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 782920 0 0 0 155242 91 0 0 20 0 3 0 61371953 4016332800 920233 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3922200 memory=18688 CPUtime=1541.68 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10834684 0 0 0 150960 3208 0 0 20 0 3 0 61371953 4016332800 920233 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 3136.69 s
Current children cumulated vsize: 3922200 KiB
Current children cumulated memory: 3680932 KiB

[startup+1662.3 s]
/proc/loadavg: 4.18 4.60 5.81 5/256 63889
/proc/meminfo: memFree=122658840/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3922200 memory=3672748 CPUtime=3255.68 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 11872900 0 0 0 322174 3394 0 0 20 0 3 0 61367857 4016332800 918187 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 980550 918187 2144 2102 0 956667 0
[pid=63740/tid=63743] ppid=63737 vsize=3922200 memory=3672748 CPUtime=1613.01 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 828607 0 0 0 161207 94 0 0 20 0 3 0 61371953 4016332800 918187 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3922200 memory=18688 CPUtime=1600.95 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10856473 0 0 0 156867 3228 0 0 20 0 3 0 61371953 4016332800 918187 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 3255.68 s
Current children cumulated vsize: 3922200 KiB
Current children cumulated memory: 3672748 KiB

[startup+1722.3 s]
/proc/loadavg: 4.12 4.51 5.70 5/257 63895
/proc/meminfo: memFree=122401540/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=4245084 memory=3897328 CPUtime=3374.71 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 11960520 0 0 0 334055 3416 0 0 20 0 3 0 61367857 4346966016 974332 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 1061271 974332 2144 2102 0 1037390 0
[pid=63740/tid=63743] ppid=63737 vsize=4245084 memory=3710804 CPUtime=1672.7 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 870484 0 0 0 167173 97 0 0 20 0 3 0 61371953 4346966016 974332 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=4245084 memory=3670700 CPUtime=1660.25 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10902213 0 0 0 162779 3246 0 0 20 0 3 0 61371953 4346966016 974332 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 3374.71 s
Current children cumulated vsize: 4245084 KiB
Current children cumulated memory: 3897328 KiB

[startup+1782.3 s]
/proc/loadavg: 4.16 4.44 5.60 5/257 63897
/proc/meminfo: memFree=122628892/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3952184 memory=3664588 CPUtime=3493.7 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 12011254 0 0 0 345936 3434 0 0 20 0 3 0 61367857 4047036416 916147 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 988046 916147 2144 2102 0 964863 0
[pid=63740/tid=63743] ppid=63737 vsize=3952184 memory=3779276 CPUtime=1732.38 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 919069 0 0 0 173137 101 0 0 20 0 3 0 61371953 4047036416 916147 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3952184 memory=3664588 CPUtime=1719.53 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10904355 0 0 0 168694 3259 0 0 20 0 3 0 61371953 4047036416 916147 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 3493.7 s
Current children cumulated vsize: 3952184 KiB
Current children cumulated memory: 3664588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1835.9 s]
/proc/loadavg: 3.29 4.18 5.44 3/248 63929
/proc/meminfo: memFree=125272540/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3856664 memory=3618220 CPUtime=3600.11 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 12073623 0 0 0 356555 3456 0 0 20 0 3 0 61367857 3949223936 904555 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 964166 904555 2144 2102 0 940983 0
[pid=63740/tid=63743] ppid=63737 vsize=3856664 memory=3713740 CPUtime=1785.75 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 948673 0 0 0 178470 105 0 0 20 0 3 0 61371953 3949223936 904555 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3856664 memory=3811704 CPUtime=1772.55 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10937112 0 0 0 173978 3277 0 0 20 0 3 0 61371953 3949223936 904555 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3856664 KiB
Current children cumulated memory: 3618220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3565.57 s, system=34.6339 s

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

[startup+1835.9 s]
/proc/loadavg: 3.29 4.18 5.44 3/248 63929
/proc/meminfo: memFree=125272540/131249996 swapFree=33010160/33010684
[pid=63740] ppid=63737 vsize=3856664 memory=3618220 CPUtime=3600.11 cores=0,2
/proc/63740/stat : 63740 (cp-sat-runner) S 63737 63740 61831 0 -1 4194304 12073623 0 0 0 356555 3456 0 0 20 0 3 0 61367857 3949223936 904555 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
/proc/63740/statm: 964166 904555 2144 2102 0 940983 0
[pid=63740/tid=63743] ppid=63737 vsize=3856664 memory=3713740 CPUtime=1785.75 cores=0,2
/proc/63740/task/63743/stat : 63743 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 948673 0 0 0 178470 105 0 0 20 0 3 0 61371953 3949223936 904555 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
[pid=63740/tid=63744] ppid=63737 vsize=3856664 memory=3811704 CPUtime=1772.55 cores=0,2
/proc/63740/task/63744/stat : 63744 (cp-sat-runner) R 63737 63740 61831 0 -1 4194368 10937112 0 0 0 173978 3277 0 0 20 0 3 0 61371953 3949223936 904555 18446744073709551615 4198400 12805993 140737096290592 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 18612224 140737096292632 140737096292837 140737096292837 140737096298439 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3856664 KiB
Current children cumulated memory: 3618220 KiB

Child status: 0

Real time (s): 1835.97
CPU time (s): 3600.2
CPU user time (s): 3565.57
CPU system time (s): 34.6339
CPU usage (%): 196.092
Max. virtual memory (cumulated for all children) (KiB): 4374136
Max. memory (cumulated for all children) (KiB): 4078200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.57
system time used= 34.6339
maximum resident set size= 4078200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12073631
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= 26743
involuntary context switches= 78312


# summary of solver processes directly reported to runsolver:
#   pid: 63740
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3565.57
#   total CPU system time (s): 34.6339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74352 second user time and 9.05845 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 13:48:14
IDJOB=4506202
IDBENCH=157926
IDSOLVER=3320
FILE ID=nodeC029/4506202-1751456894
RUNJOBID= nodeC029-1751447326-61841
SLURM_JOB_ID= 9598426
Free space on /tmp= 432112 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506202-1751456894/watcher-4506202-1751456894 -o /tmp/evaluation-result-4506202-1751456894/solver-4506202-1751456894 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751447326-61841 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1548633262 --competition_mode --input HOME/instance-4506202-1751456894.opb

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

MD5SUM BENCH= dbf34b7abc88a78c4f9cfedcb1385de8
RANDOM SEED=1548633262

nodeC029 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.721
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.46
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.729
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.46
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		: 3583.977
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.46
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		: 3599.983
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.46
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.725
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.46
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.633
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.46
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		: 3599.723
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        120001656 kB
MemAvailable:   120878280 kB
Buffers:            2128 kB
Cached:          1677112 kB
SwapCached:           40 kB
Active:          9360616 kB
Inactive:        1237584 kB
Active(anon):    8932212 kB
Inactive(anon):     4768 kB
Active(file):     428404 kB
Inactive(file):  1232816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             83720 kB
Writeback:           204 kB
AnonPages:       8919668 kB
Mapped:           130308 kB
Shmem:             18020 kB
KReclaimable:     109288 kB
Slab:             197928 kB
SReclaimable:     109288 kB
SUnreclaim:        88640 kB
KernelStack:        4384 kB
PageTables:        20792 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9655248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4179968 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432224 MiB
End job on nodeC029 at 2025-07-02 14:18:50