Trace number 4507105

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.08 3610.85

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
MD5SUM8df9702f370312ff59707c84e3b82f3b
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 benchmark28.0327
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23324
Total number of constraints23718
Number of constraints which are clauses23522
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
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 197
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 (63219 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-4507105-1751182966/watcher-4507105-1751182966 -o /tmp/evaluation-result-4507105-1751182966/solver-4507105-1751182966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751182966-21626 --watchdog 3760 HOME/solve.sh HOME/instance-4507105-1751182966.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=21681, runsolver pid=21669
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 0.87 1.24 2.26 7/260 21698
/proc/meminfo: memFree=130326408/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 309 116 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21695] ppid=21681 vsize=2792 memory=1408 CPUtime=0 cores=0,2
/proc/21695/stat : 21695 (cat) S 21681 21681 21616 0 -1 4194304 136 0 0 0 0 0 0 0 20 0 1 0 33976051 2859008 352 18446744073709551615 94274151378944 94274151394001 140721888877104 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94274151406224 94274151407720 94274174414848 140721888881123 140721888881194 140721888881194 140721888886763 0
/proc/21695/statm: 698 352 320 4 0 124 0
[pid=21696] ppid=21681 vsize=10228 memory=5888 CPUtime=0.02 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 1037 0 0 0 2 0 0 0 20 0 1 0 33976051 10473472 1472 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 2557 1472 544 108 0 1074 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 17212 KiB
Current children cumulated memory: 10112 KiB

[startup+0.21383 s]*
/proc/loadavg: 0.87 1.24 2.26 6/256 21698
/proc/meminfo: memFree=130286088/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=28764 memory=20608 CPUtime=0.14 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 4757 0 0 0 12 2 0 0 20 0 1 0 33976051 29454336 5152 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 7191 5152 544 108 0 5708 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 32956 KiB
Current children cumulated memory: 23424 KiB

[startup+0.313431 s]*
/proc/loadavg: 0.87 1.24 2.26 6/256 21698
/proc/meminfo: memFree=130285596/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=28764 memory=20992 CPUtime=0.24 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 4866 0 0 0 22 2 0 0 20 0 1 0 33976051 29454336 5248 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 7191 5248 544 108 0 5708 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 32956 KiB
Current children cumulated memory: 23808 KiB

[startup+0.700331 s]
/proc/loadavg: 0.87 1.24 2.26 6/256 21698
/proc/meminfo: memFree=130285764/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=29788 memory=21248 CPUtime=0.61 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 4940 0 0 0 59 2 0 0 20 0 1 0 33976051 30502912 5312 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 7447 5312 544 108 0 5964 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 24064 KiB

[startup+1.50039 s]
/proc/loadavg: 0.87 1.24 2.26 6/256 21698
/proc/meminfo: memFree=130282740/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=37672 memory=28032 CPUtime=1.4 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 6592 0 0 0 138 2 0 0 20 0 1 0 33976051 38576128 7008 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 9418 7008 576 108 0 7935 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 30848 KiB

[startup+3.11337 s]
/proc/loadavg: 1.13 1.29 2.27 6/256 21698
/proc/meminfo: memFree=130219092/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=48640 memory=38400 CPUtime=3.01 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 9168 0 0 0 298 3 0 0 20 0 1 0 33976051 49807360 9600 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 12160 9600 608 108 0 10677 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 52832 KiB
Current children cumulated memory: 41216 KiB

[startup+6.30037 s]
/proc/loadavg: 1.13 1.29 2.27 6/256 21698
/proc/meminfo: memFree=130138948/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=65372 memory=54528 CPUtime=6.19 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 13205 0 0 0 615 4 0 0 20 0 1 0 33976051 66940928 13632 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 16343 13632 608 108 0 14860 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 69564 KiB
Current children cumulated memory: 57344 KiB

[startup+12.7004 s]
/proc/loadavg: 1.36 1.33 2.28 6/256 21698
/proc/meminfo: memFree=130050780/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=92384 memory=80512 CPUtime=12.57 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 19675 0 0 0 1251 6 0 0 20 0 1 0 33976051 94601216 20128 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 23096 20128 608 108 0 21613 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 96576 KiB
Current children cumulated memory: 83328 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.47 2.31 6/256 21698
/proc/meminfo: memFree=129842140/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=135544 memory=121216 CPUtime=25.33 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 29858 0 0 0 2525 8 0 0 20 0 1 0 33976051 138797056 30304 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 33886 30304 608 108 0 32403 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 139736 KiB
Current children cumulated memory: 124032 KiB

[startup+51.1134 s]
/proc/loadavg: 2.71 1.69 2.36 6/256 21699
/proc/meminfo: memFree=129656724/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=181780 memory=166784 CPUtime=50.86 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 41270 0 0 0 5076 10 0 0 20 0 1 0 33976051 186142720 41696 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 45445 41696 608 108 0 43962 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 185972 KiB
Current children cumulated memory: 169600 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.06 2.45 6/257 21705
/proc/meminfo: memFree=129369144/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=249280 memory=232832 CPUtime=101.89 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 57764 0 0 0 10174 15 0 0 20 0 1 0 33976051 255262720 58208 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 62320 58208 608 108 0 60837 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 253472 KiB
Current children cumulated memory: 235648 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.43 2.56 6/258 21710
/proc/meminfo: memFree=129117804/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=310836 memory=290688 CPUtime=161.71 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 72224 0 0 0 16151 20 0 0 20 0 1 0 33976051 318296064 72672 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 77709 72672 608 108 0 76226 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 315028 KiB
Current children cumulated memory: 293504 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.74 2.66 6/258 21714
/proc/meminfo: memFree=128871756/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=380000 memory=352384 CPUtime=221.53 cores=0,2

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

/proc/21696/statm: 344752 314740 608 108 0 343269 0
Current children cumulated CPU time: 3033.09 s
Current children cumulated vsize: 1383200 KiB
Current children cumulated memory: 1261776 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.16 6/254 21862
/proc/meminfo: memFree=125001936/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1398376 memory=1273424 CPUtime=3092.93 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 314005 0 0 0 309193 100 0 0 20 0 1 0 33976051 1431937024 318356 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 349594 318356 608 108 0 348111 0
Current children cumulated CPU time: 3092.93 s
Current children cumulated vsize: 1402568 KiB
Current children cumulated memory: 1276240 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.15 6/254 21866
/proc/meminfo: memFree=124944288/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1414896 memory=1285840 CPUtime=3152.76 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 317388 0 0 0 315175 101 0 0 20 0 1 0 33976051 1448853504 321460 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 353724 321460 608 108 0 352241 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 1419088 KiB
Current children cumulated memory: 1288656 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.15 6/255 21871
/proc/meminfo: memFree=124903964/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1431832 memory=1298384 CPUtime=3212.59 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 320536 0 0 0 321157 102 0 0 20 0 1 0 33976051 1466195968 324596 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 357958 324596 608 108 0 356475 0
Current children cumulated CPU time: 3212.59 s
Current children cumulated vsize: 1436024 KiB
Current children cumulated memory: 1301200 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/255 21873
/proc/meminfo: memFree=124871148/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1446880 memory=1309520 CPUtime=3272.42 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 323309 0 0 0 327140 102 0 0 20 0 1 0 33976051 1481605120 327380 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 361720 327380 608 108 0 360237 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 1451072 KiB
Current children cumulated memory: 1312336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.13 6/255 21875
/proc/meminfo: memFree=124847300/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1464424 memory=1322832 CPUtime=3332.26 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 326630 0 0 0 333122 104 0 0 20 0 1 0 33976051 1499570176 330708 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 366106 330708 608 108 0 364623 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 1468616 KiB
Current children cumulated memory: 1325648 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.13 6/255 21877
/proc/meminfo: memFree=124802588/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1483184 memory=1337040 CPUtime=3392.09 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 330174 0 0 0 339104 105 0 0 20 0 1 0 33976051 1518780416 334260 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 370796 334260 608 108 0 369313 0
Current children cumulated CPU time: 3392.09 s
Current children cumulated vsize: 1487376 KiB
Current children cumulated memory: 1339856 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.12 6/255 21879
/proc/meminfo: memFree=124730304/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1506840 memory=1354320 CPUtime=3451.91 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 334524 0 0 0 345085 106 0 0 20 0 1 0 33976051 1543004160 338580 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 376710 338580 608 108 0 375227 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 1511032 KiB
Current children cumulated memory: 1357136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.12 6/254 21881
/proc/meminfo: memFree=124684564/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1534528 memory=1374032 CPUtime=3511.75 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 339453 0 0 0 351068 107 0 0 20 0 1 0 33976051 1571356672 343508 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 383632 343508 608 108 0 382149 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 1538720 KiB
Current children cumulated memory: 1376848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.12 6/254 21883
/proc/meminfo: memFree=124608744/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1562220 memory=1395536 CPUtime=3571.57 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 344828 0 0 0 357049 108 0 0 20 0 1 0 33976051 1599713280 348884 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 390555 348884 608 108 0 389072 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 1566412 KiB
Current children cumulated memory: 1398352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.07 4.09 4.11 6/254 21885
/proc/meminfo: memFree=124561520/131382120 swapFree=33010684/33010684
[pid=21681] ppid=21669 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/21681/stat : 21681 (bash) S 21669 21681 21616 0 -1 4194304 310 255 0 0 0 0 0 0 20 0 1 0 33976044 4292608 704 18446744073709551615 94719203749888 94719204644421 140728493402240 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94719204883472 94719204931216 94719214182400 140728493410708 140728493410824 140728493410824 140728493416426 0
/proc/21681/statm: 1048 704 640 219 0 110 0
[pid=21696] ppid=21681 vsize=1574256 memory=1404624 CPUtime=3600 cores=0,2
/proc/21696/stat : 21696 (solve_pb) R 21681 21681 21616 0 -1 4194304 347100 0 0 0 359891 109 0 0 20 0 1 0 33976051 1612038144 351156 18446744073709551615 94340657533952 94340657972096 140735817521104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94340658000816 94340658003232 94340658671616 140735817529732 140735817529796 140735817529796 140735817535416 0
/proc/21696/statm: 393564 351156 608 108 0 392081 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1578448 KiB
Current children cumulated memory: 1407440 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.16142 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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.85
CPU time (s): 3600.08
CPU user time (s): 3598.91
CPU system time (s): 1.16142
CPU usage (%): 99.7017
Max. virtual memory (cumulated for all children) (KiB): 1578448
Max. memory (cumulated for all children) (KiB): 1407440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.16142
maximum resident set size= 1404624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347665
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= 947
involuntary context switches= 9318


# summary of solver processes directly reported to runsolver:
#   pid: 21681,21696
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.16142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3357 second user time and 36.8314 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 09:42:47
IDJOB=4507105
IDBENCH=158326
IDSOLVER=3321
FILE ID=nodeC006/4507105-1751182966
RUNJOBID= nodeC006-1751182966-21626
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_K196.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507105-1751182966/watcher-4507105-1751182966 -o /tmp/evaluation-result-4507105-1751182966/solver-4507105-1751182966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751182966-21626 --watchdog 3760  HOME/solve.sh HOME/instance-4507105-1751182966.opb

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

MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
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:     330952 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