Trace number 4505673

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
Picat 2025-06-16? (TO) 3600.04 3610.8

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
MD5SUM0390bfe3f6c229f0cac833c3202307c0
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-186459
Best CPU time to get the best result obtained on this benchmark72000.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 25674
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 24116532
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 24116532
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c solving HOME/instance-4505673-1751480579.opb (Picat 3.9b6)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505673-1751480579/watcher-4505673-1751480579 -o /tmp/evaluation-result-4505673-1751480579/solver-4505673-1751480579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751480579-62273 --watchdog 3760 pb_picat HOME/instance-4505673-1751480579.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=62314, runsolver pid=62306

[startup+0.100063 s]*
/proc/loadavg: 0.78 1.01 1.24 4/265 62329
/proc/meminfo: memFree=128292840/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2027148 memory=44960 CPUtime=0.09 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 1220 0 0 0 9 0 0 0 20 0 1 0 63735427 2075799552 11240 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 506787 11240 1504 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 44960 KiB

[startup+0.205822 s]*
/proc/loadavg: 0.78 1.01 1.24 6/265 62329
/proc/meminfo: memFree=128215016/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2027148 memory=69648 CPUtime=0.2 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 1264 0 0 0 19 1 0 0 20 0 1 0 63735427 2075799552 17412 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 506787 17412 1504 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69648 KiB

[startup+0.305704 s]*
/proc/loadavg: 0.78 1.01 1.24 6/265 62329
/proc/meminfo: memFree=128129000/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2027148 memory=86048 CPUtime=0.29 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 1272 0 0 0 28 1 0 0 20 0 1 0 63735427 2075799552 21512 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 506787 21512 1504 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 86048 KiB

[startup+0.700177 s]
/proc/loadavg: 0.78 1.01 1.24 6/265 62329
/proc/meminfo: memFree=127928360/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2034964 memory=153792 CPUtime=0.68 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 1316 0 0 0 66 2 0 0 20 0 1 0 63735427 2083803136 38448 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 508741 38448 1536 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 153792 KiB

[startup+1.50017 s]
/proc/loadavg: 0.78 1.01 1.24 5/265 62329
/proc/meminfo: memFree=127509884/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2100648 memory=220380 CPUtime=1.48 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 5484 0 0 0 143 5 0 0 20 0 1 0 63735427 2151063552 55095 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 525162 55095 1536 343 0 522226 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2100648 KiB
Current children cumulated memory: 220380 KiB

[startup+3.10577 s]
/proc/loadavg: 0.78 1.01 1.24 5/265 62329
/proc/meminfo: memFree=127089528/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2100868 memory=220512 CPUtime=3.08 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 8757 0 0 0 301 7 0 0 20 0 1 0 63735427 2151288832 55128 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 525217 55128 1536 343 0 522281 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2100868 KiB
Current children cumulated memory: 220512 KiB

[startup+6.30017 s]
/proc/loadavg: 1.03 1.06 1.25 5/265 62329
/proc/meminfo: memFree=126469044/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2169192 memory=333824 CPUtime=6.26 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 11334 0 0 0 616 10 0 0 20 0 1 0 63735427 2221252608 83456 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 542298 83456 1632 343 0 539362 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2169192 KiB
Current children cumulated memory: 333824 KiB

[startup+12.7002 s]
/proc/loadavg: 1.27 1.11 1.27 5/265 62329
/proc/meminfo: memFree=125826908/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2366200 memory=508524 CPUtime=12.64 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 18682 0 0 0 1243 21 0 0 20 0 1 0 63735427 2422988800 127131 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 591550 127131 1664 343 0 588614 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2366200 KiB
Current children cumulated memory: 508524 KiB

[startup+25.5002 s]
/proc/loadavg: 1.88 1.25 1.31 5/265 62330
/proc/meminfo: memFree=125840620/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2366200 memory=496236 CPUtime=25.4 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 22232 0 0 0 2515 25 0 0 20 0 1 0 63735427 2422988800 124059 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 591550 124059 1664 343 0 588614 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2366200 KiB
Current children cumulated memory: 496236 KiB

[startup+51.1058 s]
/proc/loadavg: 2.66 1.49 1.39 5/265 62331
/proc/meminfo: memFree=125838284/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2366140 memory=487984 CPUtime=50.92 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 38696 0 0 0 5046 46 0 0 20 0 1 0 63735427 2422927360 121996 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 591535 121996 1664 343 0 588599 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2366140 KiB
Current children cumulated memory: 487984 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.90 1.54 5/266 62333
/proc/meminfo: memFree=125749948/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2382012 memory=510108 CPUtime=101.94 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 57889 0 0 0 10126 68 0 0 20 0 1 0 63735427 2439180288 127527 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 595503 127527 1664 343 0 592567 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2382012 KiB
Current children cumulated memory: 510108 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.30 1.70 5/266 62335
/proc/meminfo: memFree=125738320/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2365484 memory=492932 CPUtime=161.74 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 85237 0 0 0 16080 94 0 0 20 0 1 0 63735427 2422255616 123233 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 591371 123233 1664 343 0 588435 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2365484 KiB
Current children cumulated memory: 492932 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.64 1.85 5/265 62337
/proc/meminfo: memFree=125764176/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2367844 memory=485068 CPUtime=221.54 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 98509 0 0 0 22047 107 0 0 20 0 1 0 63735427 2424672256 121267 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 591961 121267 1664 343 0 589025 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 2367844 KiB
Current children cumulated memory: 485068 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.90 2.00 5/264 62343
/proc/meminfo: memFree=125784036/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2371240 memory=498436 CPUtime=281.33 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 126290 0 0 0 28002 131 0 0 20 0 1 0 63735427 2428149760 124609 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 592810 124609 1664 343 0 589874 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 2371240 KiB
Current children cumulated memory: 498436 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.14 2.14 5/264 62345
/proc/meminfo: memFree=125791008/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2305704 memory=460236 CPUtime=341.13 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 139913 0 0 0 33970 143 0 0 20 0 1 0 63735427 2361040896 115059 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 576426 115059 1664 343 0 573490 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 2305704 KiB
Current children cumulated memory: 460236 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.31 2.26 5/263 62348
/proc/meminfo: memFree=125738264/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2368296 memory=490008 CPUtime=400.93 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 167617 0 0 0 39922 171 0 0 20 0 1 0 63735427 2425135104 122502 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 592074 122502 1664 343 0 589138 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 2368296 KiB
Current children cumulated memory: 490008 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.44 2.37 5/263 62350
/proc/meminfo: memFree=125806560/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2368296 memory=492152 CPUtime=460.72 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 174734 0 0 0 45895 177 0 0 20 0 1 0 63735427 2425135104 123038 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 592074 123038 1664 343 0 589138 0
Current children cumulated CPU time: 460.72 s

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

Current children cumulated memory: 461068 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.00 5/263 62479
/proc/meminfo: memFree=122988800/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2376924 memory=461068 CPUtime=2853.68 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 498380 0 0 0 284879 489 0 0 20 0 1 0 63735427 2433970176 115267 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 594231 115267 1664 343 0 591295 0
Current children cumulated CPU time: 2853.68 s
Current children cumulated vsize: 2376924 KiB
Current children cumulated memory: 461068 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/265 62485
/proc/meminfo: memFree=122709484/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2344156 memory=458228 CPUtime=2913.5 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 501949 0 0 0 290857 493 0 0 20 0 1 0 63735427 2400415744 114557 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 586039 114557 1664 343 0 583103 0
Current children cumulated CPU time: 2913.5 s
Current children cumulated vsize: 2344156 KiB
Current children cumulated memory: 458228 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/265 62488
/proc/meminfo: memFree=122675892/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2376924 memory=458896 CPUtime=2973.32 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 503891 0 0 0 296838 494 0 0 20 0 1 0 63735427 2433970176 114724 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 594231 114724 1664 343 0 591295 0
Current children cumulated CPU time: 2973.32 s
Current children cumulated vsize: 2376924 KiB
Current children cumulated memory: 458896 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/265 62490
/proc/meminfo: memFree=122741120/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2311388 memory=448784 CPUtime=3033.14 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 507292 0 0 0 302814 500 0 0 20 0 1 0 63735427 2366861312 112196 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 577847 112196 1664 343 0 574911 0
Current children cumulated CPU time: 3033.14 s
Current children cumulated vsize: 2311388 KiB
Current children cumulated memory: 448784 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/265 62492
/proc/meminfo: memFree=122544692/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2507996 memory=586000 CPUtime=3092.97 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 513367 0 0 0 308789 508 0 0 20 0 1 0 63735427 2568187904 146500 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 626999 146500 1664 343 0 624063 0
Current children cumulated CPU time: 3092.97 s
Current children cumulated vsize: 2507996 KiB
Current children cumulated memory: 586000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.02 5/265 62494
/proc/meminfo: memFree=122545064/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2507996 memory=604432 CPUtime=3152.81 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 518416 0 0 0 314766 515 0 0 20 0 1 0 63735427 2568187904 151108 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 626999 151108 1664 343 0 624063 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 2507996 KiB
Current children cumulated memory: 604432 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/264 62496
/proc/meminfo: memFree=122631208/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2311388 memory=459024 CPUtime=3212.64 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 519881 0 0 0 320747 517 0 0 20 0 1 0 63735427 2366861312 114756 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 577847 114756 1664 343 0 574911 0
Current children cumulated CPU time: 3212.64 s
Current children cumulated vsize: 2311388 KiB
Current children cumulated memory: 459024 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/265 62503
/proc/meminfo: memFree=122754732/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2311388 memory=457176 CPUtime=3272.47 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 526461 0 0 0 326717 530 0 0 20 0 1 0 63735427 2366861312 114294 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 577847 114294 1664 343 0 574911 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 2311388 KiB
Current children cumulated memory: 457176 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/265 62507
/proc/meminfo: memFree=122911336/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2311388 memory=455128 CPUtime=3332.31 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 531316 0 0 0 332694 537 0 0 20 0 1 0 63735427 2366861312 113782 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 577847 113782 1664 343 0 574911 0
Current children cumulated CPU time: 3332.31 s
Current children cumulated vsize: 2311388 KiB
Current children cumulated memory: 455128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/265 62509
/proc/meminfo: memFree=122777324/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2311388 memory=457176 CPUtime=3392.14 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 531318 0 0 0 338677 537 0 0 20 0 1 0 63735427 2366861312 114294 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 577847 114294 1664 343 0 574911 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 2311388 KiB
Current children cumulated memory: 457176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/265 62511
/proc/meminfo: memFree=122591084/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2507996 memory=627160 CPUtime=3451.97 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 534177 0 0 0 344655 542 0 0 20 0 1 0 63735427 2568187904 156790 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 626999 156790 1664 343 0 624063 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 2507996 KiB
Current children cumulated memory: 627160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.03 5/265 62515
/proc/meminfo: memFree=122974420/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2311388 memory=453080 CPUtime=3511.78 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 536153 0 0 0 350634 544 0 0 20 0 1 0 63735427 2366861312 113270 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 577847 113270 1664 343 0 574911 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 2311388 KiB
Current children cumulated memory: 453080 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 62517
/proc/meminfo: memFree=123252216/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2507996 memory=600536 CPUtime=3571.61 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 539000 0 0 0 356613 548 0 0 20 0 1 0 63735427 2568187904 150134 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 626999 150134 1664 343 0 624063 0
Current children cumulated CPU time: 3571.61 s
Current children cumulated vsize: 2507996 KiB
Current children cumulated memory: 600536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.15 4.11 4.04 4/260 62526
/proc/meminfo: memFree=127129512/131250000 swapFree=33007332/33010684
[pid=62314] ppid=62306 vsize=2311388 memory=430352 CPUtime=3600.03 cores=5,7
/proc/62314/stat : 62314 (pb_picat) R 62306 62314 62260 0 -1 4194304 541648 0 0 0 359452 551 0 0 20 0 1 0 63735427 2366861312 107588 18446744073709551615 94234099113984 94234100515565 140732796453520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94234100786992 94234102661296 94234122346496 140732796459422 140732796459498 140732796459498 140732796465100 0
/proc/62314/statm: 577847 107588 1664 343 0 574911 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2311388 KiB
Current children cumulated memory: 430352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.52 s, system=5.51949 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.8
CPU time (s): 3600.04
CPU user time (s): 3594.52
CPU system time (s): 5.51949
CPU usage (%): 99.7019
Max. virtual memory (cumulated for all children) (KiB): 2639072
Max. memory (cumulated for all children) (KiB): 711932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.52
system time used= 5.51949
maximum resident set size= 711932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541648
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= 122
involuntary context switches= 4395


# summary of solver processes directly reported to runsolver:
#   pid: 62314
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3594.52
#   total CPU system time (s): 5.51949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75259 second user time and 16.6789 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-02 20:22:59
IDJOB=4505673
IDBENCH=156158
IDSOLVER=3346
FILE ID=nodeC019/4505673-1751480579
RUNJOBID= nodeC019-1751480579-62273
SLURM_JOB_ID= 9598523
Free space on /tmp= 431720 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505673-1751480579/watcher-4505673-1751480579 -o /tmp/evaluation-result-4505673-1751480579/solver-4505673-1751480579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751480579-62273 --watchdog 3760  pb_picat HOME/instance-4505673-1751480579.opb

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

MD5SUM BENCH= 0390bfe3f6c229f0cac833c3202307c0
RANDOM SEED=405412557

nodeC019 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.678
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.37
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		: 3600.933
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.37
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		: 3599.367
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.37
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.676
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.37
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		: 3604.593
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128400720 kB
MemAvailable:   129750480 kB
Buffers:             904 kB
Cached:          2153988 kB
SwapCached:          440 kB
Active:           219924 kB
Inactive:        2009692 kB
Active(anon):      62220 kB
Inactive(anon):    27772 kB
Active(file):     157704 kB
Inactive(file):  1981920 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             43408 kB
Writeback:             0 kB
AnonPages:         77484 kB
Mapped:           103232 kB
Shmem:             15192 kB
KReclaimable:      98752 kB
Slab:             186300 kB
SReclaimable:      98752 kB
SUnreclaim:        87548 kB
KernelStack:        4144 kB
PageTables:         2928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     338040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431688 MiB
End job on nodeC019 at 2025-07-02 21:23:10