Trace number 4507213

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AI448PBSolver 2025-05-31? (TO) 3600.14 3611.14

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K177.opb
MD5SUM4b187363ec0683eba575f162bd763393
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark211.425
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21063
Total number of constraints21419
Number of constraints which are clauses21242
Number of constraints which are cardinality constraints (but not clauses)177
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint177
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 178
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63215 MiB free)
  memory of node 1: 64507 MiB (64058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507213-1751182967/watcher-4507213-1751182967 -o /tmp/evaluation-result-4507213-1751182967/solver-4507213-1751182967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751182966-21628 --watchdog 3760 HOME/solve.sh HOME/instance-4507213-1751182967.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100067 s]*
/proc/loadavg: 0.87 1.24 2.26 9/260 21698
/proc/meminfo: memFree=130326408/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 306 119 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21697] ppid=21685 vsize=2792 memory=1408 CPUtime=0 cores=1,3
/proc/21697/stat : 21697 (cat) S 21685 21685 21616 0 -1 4194304 135 0 0 0 0 0 0 0 20 0 1 0 33976051 2859008 352 18446744073709551615 94884174180352 94884174195409 140721222138064 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 94884174207632 94884174209128 94884190449664 140721222142435 140721222142506 140721222142506 140721222148075 0
/proc/21697/statm: 698 352 320 4 0 124 0
[pid=21698] ppid=21685 vsize=9964 memory=5376 CPUtime=0.02 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 942 0 0 0 2 0 0 0 20 0 1 0 33976051 10203136 1344 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 2491 1344 544 108 0 1008 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 16948 KiB
Current children cumulated memory: 9728 KiB

[startup+0.213485 s]*
/proc/loadavg: 0.87 1.24 2.26 7/256 21698
/proc/meminfo: memFree=130286088/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=27840 memory=18816 CPUtime=0.13 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 4320 0 0 0 12 1 0 0 20 0 1 0 33976051 28508160 4704 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 6960 4704 544 108 0 5477 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 32032 KiB
Current children cumulated memory: 21760 KiB

[startup+0.313273 s]*
/proc/loadavg: 0.87 1.24 2.26 7/256 21698
/proc/meminfo: memFree=130285596/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=28864 memory=19328 CPUtime=0.23 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 4426 0 0 0 22 1 0 0 20 0 1 0 33976051 29556736 4832 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 7216 4832 544 108 0 5733 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 33056 KiB
Current children cumulated memory: 22272 KiB

[startup+0.700332 s]
/proc/loadavg: 0.87 1.24 2.26 7/256 21698
/proc/meminfo: memFree=130285764/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=28864 memory=19456 CPUtime=0.6 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 4457 0 0 0 59 1 0 0 20 0 1 0 33976051 29556736 4864 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 7216 4864 544 108 0 5733 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 33056 KiB
Current children cumulated memory: 22400 KiB

[startup+1.50036 s]
/proc/loadavg: 0.87 1.24 2.26 7/256 21698
/proc/meminfo: memFree=130282740/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=35536 memory=25600 CPUtime=1.4 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 5937 0 0 0 138 2 0 0 20 0 1 0 33976051 36388864 6400 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 8884 6400 608 108 0 7401 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 39728 KiB
Current children cumulated memory: 28544 KiB

[startup+3.11274 s]
/proc/loadavg: 1.13 1.29 2.27 7/256 21698
/proc/meminfo: memFree=130219092/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=46052 memory=35456 CPUtime=3.01 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 8419 0 0 0 298 3 0 0 20 0 1 0 33976051 47157248 8864 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 11513 8864 608 108 0 10030 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 50244 KiB
Current children cumulated memory: 38400 KiB

[startup+6.30038 s]
/proc/loadavg: 1.13 1.29 2.27 7/256 21698
/proc/meminfo: memFree=130138948/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=70564 memory=58496 CPUtime=6.19 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 14175 0 0 0 615 4 0 0 20 0 1 0 33976051 72257536 14624 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 17641 14624 608 108 0 16158 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 74756 KiB
Current children cumulated memory: 61440 KiB

[startup+12.7003 s]
/proc/loadavg: 1.36 1.33 2.28 7/256 21698
/proc/meminfo: memFree=130050780/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=100624 memory=87296 CPUtime=12.57 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 21371 0 0 0 1252 5 0 0 20 0 1 0 33976051 103038976 21824 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 25156 21824 608 108 0 23673 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 104816 KiB
Current children cumulated memory: 90240 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.47 2.31 7/256 21698
/proc/meminfo: memFree=129842140/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=141348 memory=126464 CPUtime=25.33 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 31169 0 0 0 2525 8 0 0 20 0 1 0 33976051 144740352 31616 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 35337 31616 608 108 0 33854 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 145540 KiB
Current children cumulated memory: 129408 KiB

[startup+51.1133 s]
/proc/loadavg: 2.71 1.69 2.36 7/256 21699
/proc/meminfo: memFree=129656724/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=184704 memory=169984 CPUtime=50.87 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 42035 0 0 0 5076 11 0 0 20 0 1 0 33976051 189136896 42496 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 46176 42496 608 108 0 44693 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 188896 KiB
Current children cumulated memory: 172928 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.06 2.45 7/257 21705
/proc/meminfo: memFree=129369144/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=268684 memory=249984 CPUtime=101.9 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 62053 0 0 0 10174 16 0 0 20 0 1 0 33976051 275132416 62496 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 67171 62496 608 108 0 65688 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 272876 KiB
Current children cumulated memory: 252928 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.43 2.56 7/258 21710
/proc/meminfo: memFree=129117804/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=322560 memory=301440 CPUtime=161.73 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 74911 0 0 0 16152 21 0 0 20 0 1 0 33976051 330301440 75360 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 80640 75360 608 108 0 79157 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 326752 KiB
Current children cumulated memory: 304384 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.74 2.66 7/258 21714
/proc/meminfo: memFree=128871756/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=393212 memory=365056 CPUtime=221.57 cores=1,3

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

/proc/21698/statm: 359743 331482 608 108 0 358260 0
Current children cumulated CPU time: 3092.82 s
Current children cumulated vsize: 1443164 KiB
Current children cumulated memory: 1328872 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.15 7/254 21866
/proc/meminfo: memFree=124944288/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1452224 memory=1336040 CPUtime=3152.64 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 314901 0 0 0 315146 118 0 0 20 0 1 0 33976051 1487077376 334010 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 363056 334010 608 108 0 361573 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 1456416 KiB
Current children cumulated memory: 1338984 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.15 7/255 21871
/proc/meminfo: memFree=124903964/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1462628 memory=1343848 CPUtime=3212.46 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 316877 0 0 0 321127 119 0 0 20 0 1 0 33976051 1497731072 335962 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 365657 335962 608 108 0 364174 0
Current children cumulated CPU time: 3212.46 s
Current children cumulated vsize: 1466820 KiB
Current children cumulated memory: 1346792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.14 7/255 21873
/proc/meminfo: memFree=124871148/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1476172 memory=1354216 CPUtime=3272.27 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 319475 0 0 0 327107 120 0 0 20 0 1 0 33976051 1511600128 338554 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 369043 338554 608 108 0 367560 0
Current children cumulated CPU time: 3272.27 s
Current children cumulated vsize: 1480364 KiB
Current children cumulated memory: 1357160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.13 7/255 21875
/proc/meminfo: memFree=124847300/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1489424 memory=1364456 CPUtime=3332.09 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 322005 0 0 0 333087 122 0 0 20 0 1 0 33976051 1525170176 341114 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 372356 341114 608 108 0 370873 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 1493616 KiB
Current children cumulated memory: 1367400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.13 7/255 21877
/proc/meminfo: memFree=124802588/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1507052 memory=1378664 CPUtime=3391.91 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 325563 0 0 0 339068 123 0 0 20 0 1 0 33976051 1543221248 344666 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 376763 344666 608 108 0 375280 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 1511244 KiB
Current children cumulated memory: 1381608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.12 7/255 21879
/proc/meminfo: memFree=124730304/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1529840 memory=1396712 CPUtime=3451.73 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 330070 0 0 0 345048 125 0 0 20 0 1 0 33976051 1566556160 349178 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 382460 349178 608 108 0 380977 0
Current children cumulated CPU time: 3451.73 s
Current children cumulated vsize: 1534032 KiB
Current children cumulated memory: 1399656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.12 7/254 21881
/proc/meminfo: memFree=124684564/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1552324 memory=1414504 CPUtime=3511.54 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 334532 0 0 0 351027 127 0 0 20 0 1 0 33976051 1589579776 353626 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 388081 353626 608 108 0 386598 0
Current children cumulated CPU time: 3511.54 s
Current children cumulated vsize: 1556516 KiB
Current children cumulated memory: 1417448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.12 7/254 21883
/proc/meminfo: memFree=124608744/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1573012 memory=1430632 CPUtime=3571.36 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 338574 0 0 0 357007 129 0 0 20 0 1 0 33976051 1610764288 357658 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 393253 357658 608 108 0 391770 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 1577204 KiB
Current children cumulated memory: 1433576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.07 4.09 4.11 4/248 21893
/proc/meminfo: memFree=127426340/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1584236 memory=1439592 CPUtime=3600.08 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 341053 0 0 0 359878 130 0 0 20 0 1 0 33976051 1622257664 359898 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 396059 359898 608 108 0 394576 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1588428 KiB
Current children cumulated memory: 1442536 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.004725 s, system=0.017573 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3598.79 s, system=1.34494 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.11 s]
/proc/loadavg: 4.07 4.09 4.11 4/248 21893
/proc/meminfo: memFree=127426340/131382120 swapFree=33010684/33010684
[pid=21685] ppid=21670 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/21685/stat : 21685 (bash) S 21670 21685 21616 0 -1 4194304 307 257 0 0 0 0 0 0 20 0 1 0 33976045 4292608 736 18446744073709551615 93960316051456 93960316945989 140736565506240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93960317185040 93960317232784 93960337498112 140736565508500 140736565508616 140736565508616 140736565514218 0
/proc/21685/statm: 1048 736 672 219 0 110 0
[pid=21698] ppid=21685 vsize=1584236 memory=1439592 CPUtime=3600.08 cores=1,3
/proc/21698/stat : 21698 (solve_pb) R 21685 21685 21616 0 -1 4194304 341053 0 0 0 359878 130 0 0 20 0 1 0 33976051 1622257664 359898 18446744073709551615 94008339600384 94008340038528 140726037501760 0 0 0 0 4096 1088 0 0 0 17 1 0 0 0 0 0 94008340067248 94008340069664 94008364453888 140726037510532 140726037510596 140726037510596 140726037516216 0
/proc/21698/statm: 396059 359898 608 108 0 394576 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1588428 KiB
Current children cumulated memory: 1442536 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.14
CPU time (s): 3600.14
CPU user time (s): 3598.79
CPU system time (s): 1.34494
CPU usage (%): 99.6954
Max. virtual memory (cumulated for all children) (KiB): 1588428
Max. memory (cumulated for all children) (KiB): 1442536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.34494
maximum resident set size= 1439592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341617
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= 974
involuntary context switches= 4830


# summary of solver processes directly reported to runsolver:
#   pid: 21685,21698
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.79
#   total CPU system time (s): 1.34494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7181 second user time and 35.5352 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 09:42:47
IDJOB=4507213
IDBENCH=158331
IDSOLVER=3321
FILE ID=nodeC006/4507213-1751182967
RUNJOBID= nodeC006-1751182966-21628
SLURM_JOB_ID= 9587566
Free space on /tmp= 433056 MiB

SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507213-1751182967/watcher-4507213-1751182967 -o /tmp/evaluation-result-4507213-1751182967/solver-4507213-1751182967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751182966-21628 --watchdog 3760  HOME/solve.sh HOME/instance-4507213-1751182967.opb

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

MD5SUM BENCH= 4b187363ec0683eba575f162bd763393
RANDOM SEED=1562338754

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.613
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.256
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.103
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1191.568
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1198.181
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.096
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130316896 kB
MemAvailable:   129951676 kB
Buffers:            3280 kB
Cached:           434380 kB
SwapCached:            0 kB
Active:           316872 kB
Inactive:         186636 kB
Active(anon):      83808 kB
Inactive(anon):        0 kB
Active(file):     233064 kB
Inactive(file):   186636 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7772 kB
Writeback:             4 kB
AnonPages:         68904 kB
Mapped:           102036 kB
Shmem:             17960 kB
KReclaimable:      85344 kB
Slab:             163852 kB
SReclaimable:      85344 kB
SUnreclaim:        78508 kB
KernelStack:        3784 kB
PageTables:         2760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC006 at 2025-06-29 10:42:58