Trace number 4506918

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
SynLSCD 2025-06-01? (TO) 3600.46 3609.9

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K166.opb
MD5SUM50117bf6e22b142cc615b717d0d3b45a
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 benchmark462.134
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19754
Total number of constraints20088
Number of constraints which are clauses19922
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint166
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 167
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 

0.18/0.28	c #vars 19754 #constraints 20088 1.01691 1
1.84/1.94	c 20088 constraints
1.84/1.94	c Finish cloning data from SAT to LS
1.84/1.94	c restart_num_ls  -100000 0
216.61/217.32	c Use LS-small
216.61/217.32	restart_num  0 302
216.61/217.32	LS-restart 90 74
701.94/704.06	c Use LS-small
701.94/704.06	restart_num  302 603
701.94/704.06	LS-restart 80 58
1276.18/1279.80	c Use LS-small
1276.18/1279.80	restart_num  603 904
1276.18/1279.80	LS-restart 70 88
1276.18/1279.80	c similarity no use LS 0.993875
2674.39/2681.53	restart_num  904 1205
2674.39/2681.53	LS-restart 70 51
3456.30/3465.49	c Use LS-small
3456.30/3465.49	restart_num  1205 1506
3456.30/3465.49	LS-restart 60 76
3456.30/3465.49	c similarity no use LS 0.993824
3600.05/3609.50	c Program interrupted by user.
3600.05/3609.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61170 MiB free)
  memory of node 1: 64465 MiB (63492 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506918-1751173979/watcher-4506918-1751173979 -o /tmp/evaluation-result-4506918-1751173979/solver-4506918-1751173979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751170366-18594 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4506918-1751173979.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
Current StackSize limit: 8192 KiB

solver pid=19013, runsolver pid=19010

[startup+0.10007 s]*
/proc/loadavg: 4.05 4.09 4.09 5/250 19014
/proc/meminfo: memFree=127653160/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=103484 memory=30192 CPUtime=0.08 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 4593 0 0 0 6 2 0 0 20 0 1 0 33076717 105967616 7548 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 25871 7548 2240 595 0 10538 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103484 KiB
Current children cumulated memory: 30192 KiB

[startup+0.214759 s]*
/proc/loadavg: 4.05 4.09 4.09 5/250 19014
/proc/meminfo: memFree=127634952/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=107252 memory=36460 CPUtime=0.18 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 5628 0 0 0 16 2 0 0 20 0 1 0 33076717 109826048 9115 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 26813 9115 2240 595 0 11480 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 107252 KiB
Current children cumulated memory: 36460 KiB

[startup+0.318744 s]*
/proc/loadavg: 4.05 4.09 4.09 5/250 19014
/proc/meminfo: memFree=127634952/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=108440 memory=37868 CPUtime=0.28 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 5954 0 0 0 26 2 0 0 20 0 1 0 33076717 111042560 9467 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 27110 9467 2272 595 0 11777 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 108440 KiB
Current children cumulated memory: 37868 KiB

[startup+0.700251 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 19014
/proc/meminfo: memFree=127634952/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=137640 memory=65924 CPUtime=0.65 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 12761 0 0 0 61 4 0 0 20 0 1 0 33076717 140943360 16481 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 34410 16481 2432 595 0 19077 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 137640 KiB
Current children cumulated memory: 65924 KiB

[startup+1.50025 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 19014
/proc/meminfo: memFree=127571200/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=142508 memory=69508 CPUtime=1.45 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 13655 0 0 0 140 5 0 0 20 0 1 0 33076717 145928192 17377 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 35627 17377 2432 595 0 20294 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 142508 KiB
Current children cumulated memory: 69508 KiB

[startup+3.11302 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 19014
/proc/meminfo: memFree=127530980/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=182520 memory=108676 CPUtime=3.05 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 23411 0 0 0 287 18 0 0 20 0 1 0 33076717 186900480 27169 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 45630 27169 2464 595 0 30297 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 182520 KiB
Current children cumulated memory: 108676 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 19014
/proc/meminfo: memFree=127531012/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=182520 memory=108676 CPUtime=6.23 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 23411 0 0 0 582 41 0 0 20 0 1 0 33076717 186900480 27169 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 45630 27169 2464 595 0 30297 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 182520 KiB
Current children cumulated memory: 108676 KiB

[startup+12.7003 s]
/proc/loadavg: 4.28 4.14 4.10 5/250 19014
/proc/meminfo: memFree=127531012/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=182520 memory=108676 CPUtime=12.62 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 23411 0 0 0 1175 87 0 0 20 0 1 0 33076717 186900480 27169 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 45630 27169 2464 595 0 30297 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 182520 KiB
Current children cumulated memory: 108676 KiB

[startup+25.5003 s]
/proc/loadavg: 4.44 4.18 4.12 5/250 19059
/proc/meminfo: memFree=127835964/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=182520 memory=108676 CPUtime=25.38 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 23411 0 0 0 2352 186 0 0 20 0 1 0 33076717 186900480 27169 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 45630 27169 2464 595 0 30297 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 182520 KiB
Current children cumulated memory: 108676 KiB

[startup+51.113 s]
/proc/loadavg: 4.63 4.25 4.14 5/250 19059
/proc/meminfo: memFree=127605916/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=251152 memory=174368 CPUtime=50.92 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 32240 0 0 0 4890 202 0 0 20 0 1 0 33076717 257179648 43592 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 62788 43592 2496 595 0 47455 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 251152 KiB
Current children cumulated memory: 174368 KiB

[startup+102.3 s]
/proc/loadavg: 4.39 4.24 4.14 5/251 19106
/proc/meminfo: memFree=129632124/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=274288 memory=205584 CPUtime=101.95 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 38067 0 0 0 9989 206 0 0 20 0 1 0 33076717 280870912 51396 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 68572 51396 2496 595 0 53239 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 274288 KiB
Current children cumulated memory: 205584 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.21 4.14 5/251 19108
/proc/meminfo: memFree=129419436/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=330536 memory=237072 CPUtime=161.77 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 42780 0 0 0 15964 213 0 0 20 0 1 0 33076717 338468864 59268 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 82634 59268 2528 595 0 67301 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 330536 KiB
Current children cumulated memory: 237072 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.17 4.12 5/251 19111
/proc/meminfo: memFree=129349036/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=339220 memory=251304 CPUtime=221.59 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 44820 0 0 0 21904 255 0 0 20 0 1 0 33076717 347361280 62826 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 84805 62826 2528 595 0 69472 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 339220 KiB
Current children cumulated memory: 251304 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/251 19113
/proc/meminfo: memFree=129270468/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=347552 memory=261288 CPUtime=281.42 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 46918 0 0 0 27683 459 0 0 20 0 1 0 33076717 355893248 65322 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 86888 65322 2528 595 0 71555 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 347552 KiB
Current children cumulated memory: 261288 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/251 19115
/proc/meminfo: memFree=129222696/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=354152 memory=269096 CPUtime=341.21 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 48536 0 0 0 33653 468 0 0 20 0 1 0 33076717 362651648 67274 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 88538 67274 2528 595 0 73205 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 354152 KiB
Current children cumulated memory: 269096 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/251 19118
/proc/meminfo: memFree=129199392/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=362996 memory=278440 CPUtime=401.03 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 50823 0 0 0 39631 472 0 0 20 0 1 0 33076717 371707904 69610 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 90749 69610 2528 595 0 75416 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 362996 KiB
Current children cumulated memory: 278440 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/251 19120
/proc/meminfo: memFree=129156512/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=369764 memory=285992 CPUtime=460.86 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 52572 0 0 0 45614 472 0 0 20 0 1 0 33076717 378638336 71498 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 92441 71498 2528 595 0 77108 0

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

Current children cumulated memory: 479116 KiB

[startup+3042.3 s]
/proc/loadavg: 4.65 4.35 4.20 5/250 19348
/proc/meminfo: memFree=128630100/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=647672 memory=479116 CPUtime=3034.28 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 76037 0 0 0 302366 1062 0 0 20 0 1 0 33076717 663216128 119779 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 161918 119779 2528 595 0 146585 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 647672 KiB
Current children cumulated memory: 479116 KiB

[startup+3102.3 s]
/proc/loadavg: 4.43 4.35 4.21 5/250 19350
/proc/meminfo: memFree=128632368/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=650052 memory=481804 CPUtime=3094.13 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 76695 0 0 0 308351 1062 0 0 20 0 1 0 33076717 665653248 120451 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 162513 120451 2528 595 0 147180 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 650052 KiB
Current children cumulated memory: 481804 KiB

[startup+3162.3 s]
/proc/loadavg: 4.26 4.32 4.20 5/250 19352
/proc/meminfo: memFree=128621324/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=652040 memory=483852 CPUtime=3153.98 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 77207 0 0 0 314335 1063 0 0 20 0 1 0 33076717 667688960 120963 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 163010 120963 2528 595 0 147677 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 652040 KiB
Current children cumulated memory: 483852 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.27 4.19 5/250 19354
/proc/meminfo: memFree=128621176/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=653084 memory=484748 CPUtime=3213.83 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 77436 0 0 0 320314 1069 0 0 20 0 1 0 33076717 668758016 121187 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 163271 121187 2528 595 0 147938 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 653084 KiB
Current children cumulated memory: 484748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.24 4.18 5/251 19357
/proc/meminfo: memFree=128622956/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=653084 memory=484748 CPUtime=3273.68 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 77436 0 0 0 326299 1069 0 0 20 0 1 0 33076717 668758016 121187 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 163271 121187 2528 595 0 147938 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 653084 KiB
Current children cumulated memory: 484748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.21 4.17 5/250 19359
/proc/meminfo: memFree=128616924/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=657012 memory=488588 CPUtime=3333.52 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78421 0 0 0 332283 1069 0 0 20 0 1 0 33076717 672780288 122147 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 164253 122147 2528 595 0 148920 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 657012 KiB
Current children cumulated memory: 488588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/250 19361
/proc/meminfo: memFree=128610496/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=657012 memory=489740 CPUtime=3393.36 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78458 0 0 0 338267 1069 0 0 20 0 1 0 33076717 672780288 122435 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 164253 122435 2528 595 0 148920 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 657012 KiB
Current children cumulated memory: 489740 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.16 4.16 5/250 19363
/proc/meminfo: memFree=128611624/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=657520 memory=489868 CPUtime=3453.21 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78495 0 0 0 344252 1069 0 0 20 0 1 0 33076717 673300480 122467 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 164380 122467 2528 595 0 149047 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 657520 KiB
Current children cumulated memory: 489868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/250 19366
/proc/meminfo: memFree=128604632/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=657520 memory=489868 CPUtime=3513.06 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78496 0 0 0 350237 1069 0 0 20 0 1 0 33076717 673300480 122467 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 164380 122467 2528 595 0 149047 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 657520 KiB
Current children cumulated memory: 489868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/251 19371
/proc/meminfo: memFree=128606160/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=658180 memory=490508 CPUtime=3572.92 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78653 0 0 0 356223 1069 0 0 20 0 1 0 33076717 673976320 122627 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 164545 122627 2528 595 0 149212 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 658180 KiB
Current children cumulated memory: 490508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.10 4.14 4.15 5/250 19371
/proc/meminfo: memFree=128606664/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=658180 memory=490508 CPUtime=3600.05 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78654 0 0 0 358928 1077 0 0 20 0 1 0 33076717 673976320 122627 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 164545 122627 2528 595 0 149212 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 658180 KiB
Current children cumulated memory: 490508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.69 s, system=10.7784 s

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

[startup+3609.6 s]
/proc/loadavg: 4.10 4.14 4.15 5/250 19371
/proc/meminfo: memFree=128606664/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=374984 memory=319668 CPUtime=3600.15 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78660 0 0 0 358938 1077 0 0 20 0 1 0 33076717 383983616 79917 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 93746 79917 2624 595 0 78413 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 374984 KiB
Current children cumulated memory: 319668 KiB

[startup+3609.8 s]
/proc/loadavg: 4.10 4.14 4.15 5/250 19371
/proc/meminfo: memFree=128606664/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=374984 memory=319668 CPUtime=3600.35 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78660 0 0 0 358958 1077 0 0 20 0 1 0 33076717 383983616 79917 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 93746 79917 2624 595 0 78413 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 374984 KiB
Current children cumulated memory: 319668 KiB

[startup+3609.9 s]
/proc/loadavg: 4.10 4.14 4.15 5/250 19371
/proc/meminfo: memFree=128606664/131382120 swapFree=33010684/33010684
[pid=19013] ppid=19010 vsize=355088 memory=299152 CPUtime=3600.45 cores=0,2
/proc/19013/stat : 19013 (SynLSCD) R 19010 19013 18584 0 -1 4194304 78660 0 0 0 358968 1077 0 0 20 0 1 0 33076717 363610112 74788 18446744073709551615 94756143931392 94756146365545 140728750506656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94756146846968 94756146880000 94756181295104 140728750512486 140728750512619 140728750512619 140728750518221 0
/proc/19013/statm: 88617 74788 2624 595 0 73284 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 355088 KiB
Current children cumulated memory: 299152 KiB

Child status: 0

Real time (s): 3609.9
CPU time (s): 3600.46
CPU user time (s): 3589.69
CPU system time (s): 10.7784
CPU usage (%): 99.7385
Max. virtual memory (cumulated for all children) (KiB): 658180
Max. memory (cumulated for all children) (KiB): 490508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.69
system time used= 10.7784
maximum resident set size= 614956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78685
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= 230
involuntary context switches= 8257


# summary of solver processes directly reported to runsolver:
#   pid: 19013
#   total CPU time (s): 3600.46
#   total CPU user time (s): 3589.69
#   total CPU system time (s): 10.7784

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8472 second user time and 35.207 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-29 07:12:59
IDJOB=4506918
IDBENCH=158308
IDSOLVER=3369
FILE ID=nodeC002/4506918-1751173979
RUNJOBID= nodeC002-1751170366-18594
SLURM_JOB_ID= 9587526
Free space on /tmp= 432992 MiB

SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506918-1751173979/watcher-4506918-1751173979 -o /tmp/evaluation-result-4506918-1751173979/solver-4506918-1751173979 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751170366-18594 --watchdog 3760  SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4506918-1751173979.opb

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

MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a
RANDOM SEED=1485764269

nodeC002 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		: 3493.392
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.81
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.213
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.81
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.224
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.81
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		: 1198.025
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.81
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		: 3661.151
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.81
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		: 3662.793
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.81
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		: 1197.810
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.81
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		: 1198.062
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127654588 kB
MemAvailable:   127354616 kB
Buffers:            3280 kB
Cached:           511796 kB
SwapCached:            0 kB
Active:          2907624 kB
Inactive:         264636 kB
Active(anon):    2675148 kB
Inactive(anon):        0 kB
Active(file):     232476 kB
Inactive(file):   264636 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10036 kB
Writeback:             0 kB
AnonPages:       2660304 kB
Mapped:           113348 kB
Shmem:             17960 kB
KReclaimable:      85088 kB
Slab:             166868 kB
SReclaimable:      85088 kB
SUnreclaim:        81780 kB
KernelStack:        4064 kB
PageTables:         8340 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3364000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2498560 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC002 at 2025-06-29 08:13:09