Trace number 4503699

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
LSIPExact S1? 3172.13 2638.82

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
MD5SUM5618df1e63c3ad3b10b24ba90f334740
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 benchmark538.408
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables248659
Total number of constraints5546518
Number of constraints which are clauses4965781
Number of constraints which are cardinality constraints (but not clauses)19724
Number of constraints which are nor clauses,nor cardinality constraints561013
Minimum length of a constraint2
Maximum length of a constraint2220
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2221
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1275.96/736.56	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1275.96/736.56	c numVar: 248659
1275.96/736.56	c numCon: 5546518
1275.96/736.56	c numEqual: 9882
1275.96/736.56	c intSize: 12
1275.96/736.56	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1275.96/736.56	c ------------------- Paras list -------------------
1275.96/736.56	c Name                	 Type      	 Now       	 Default   	 Comment
1275.96/736.56	c timeout             	 double    	 3600.000000	 3600      	 
1275.96/736.56	c mip_time            	 double    	 0.200000  	 0.5       	 
1275.96/736.56	c ls_time             	 double    	 10.000000 	 10        	 
1275.96/736.56	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1275.96/736.56	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1275.96/736.56	c random_seed         	 int       	 0         	 0         	 
1275.96/736.56	c sample_size         	 int       	 50        	 50        	 
1275.96/736.56	c sub_score           	 int       	 1         	 1         	 
1275.96/736.56	c tabu_base           	 int       	 3         	 3         	 
1275.96/736.56	c tabu_variation      	 int       	 1         	 1         	 
1275.96/736.56	c sub_div             	 int       	 4         	 4         	 
1275.96/736.56	c nbcore              	 int       	 2         	 1         	 
1275.96/736.56	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1275.96/736.56	c print_sol           	 int       	 1         	 1         	 
1275.96/736.56	c tmpdir              	 string		 .         	 "."       	 
1275.96/736.56	c home                	 string		 HOME	 "."       	 
1275.96/736.56	c benchname           	 string		 HOME/instance-4503699-1751134445.opb	 ""        	 
1275.96/736.56	c --------------------------------------------------
1275.96/736.56	c Local Search solver
1275.96/736.56	c MIP solver
1275.96/736.56	c use Exact solver
3171.89/2638.63	s UNKNOWN
3171.89/2638.63	c Total time: 2639

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503699-1751134445/watcher-4503699-1751134445 -o /tmp/evaluation-result-4503699-1751134445/solver-4503699-1751134445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751133631-12377 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4503699-1751134445.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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
Current StackSize limit: 8192 KiB

solver pid=13355, runsolver pid=13352

[startup+0.100067 s]*
/proc/loadavg: 7.93 7.39 4.59 8/267 13356
/proc/meminfo: memFree=128189124/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=543392 memory=203688 CPUtime=0.09 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 37657 0 0 0 3 6 0 0 20 0 1 0 29122255 556433408 50922 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 135848 50922 1152 6655 0 126083 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 543392 KiB
Current children cumulated memory: 203688 KiB

[startup+0.205841 s]*
/proc/loadavg: 7.93 7.39 4.59 8/267 13356
/proc/meminfo: memFree=127982660/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=702584 memory=416168 CPUtime=0.2 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 77484 0 0 0 7 13 0 0 20 0 1 0 29122255 719446016 104042 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 175646 104042 1152 6655 0 165881 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 702584 KiB
Current children cumulated memory: 416168 KiB

[startup+0.305731 s]*
/proc/loadavg: 7.93 7.39 4.59 8/267 13356
/proc/meminfo: memFree=127780300/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=853724 memory=618408 CPUtime=0.3 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 115281 0 0 0 10 20 0 0 20 0 1 0 29122255 874213376 154602 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 213431 154602 1152 6655 0 203666 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 853724 KiB
Current children cumulated memory: 618408 KiB

[startup+0.700182 s]
/proc/loadavg: 7.93 7.39 4.59 8/267 13356
/proc/meminfo: memFree=127371468/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=1434524 memory=1391656 CPUtime=0.68 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 261083 0 0 0 25 43 0 0 20 0 1 0 29122255 1468952576 347914 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 358631 347914 1152 6655 0 348866 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1434524 KiB
Current children cumulated memory: 1391656 KiB

[startup+1.50017 s]
/proc/loadavg: 7.94 7.40 4.60 8/267 13356
/proc/meminfo: memFree=126991052/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=1436172 memory=1393448 CPUtime=1.49 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 261506 0 0 0 103 46 0 0 20 0 1 0 29122255 1470640128 348362 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 359043 348362 1152 6655 0 349278 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 1436172 KiB
Current children cumulated memory: 1393448 KiB

[startup+3.10555 s]
/proc/loadavg: 7.94 7.40 4.60 8/267 13356
/proc/meminfo: memFree=126286140/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=2178340 memory=2138732 CPUtime=3.08 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 378350 0 0 0 236 72 0 0 20 0 1 0 29122255 2230620160 534651 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 544585 534683 1184 6655 0 534820 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2178340 KiB
Current children cumulated memory: 2138732 KiB

[startup+6.30017 s]
/proc/loadavg: 7.86 7.39 4.62 8/267 13356
/proc/meminfo: memFree=125326616/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=3189840 memory=3132780 CPUtime=6.27 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 627189 0 0 0 513 114 0 0 20 0 1 0 29122255 3266396160 783195 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 797460 783195 1184 6655 0 787695 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 3189840 KiB
Current children cumulated memory: 3132780 KiB

[startup+12.7002 s]
/proc/loadavg: 7.79 7.38 4.63 8/267 13357
/proc/meminfo: memFree=124272712/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=5040092 memory=4982364 CPUtime=12.64 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1072961 0 0 0 1082 182 0 0 20 0 1 0 29122255 5161054208 1245559 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1260023 1245559 1248 6655 0 1250258 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 5040092 KiB
Current children cumulated memory: 4982364 KiB

[startup+25.5002 s]
/proc/loadavg: 7.67 7.37 4.66 8/268 13358
/proc/meminfo: memFree=120243044/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=8612084 memory=8126308 CPUtime=25.4 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1322923 0 0 0 2246 294 0 0 20 0 2 0 29122255 8818774016 2031577 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 2153021 2031577 2880 6655 0 2126904 0
[pid=13355/tid=13358] ppid=13352 vsize=8612084 memory=8055448 CPUtime=0 cores=0,2
/proc/13355/task/13358/stat : 13358 (LSIPExact) S 13352 13355 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29123979 8818774016 2031577 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 8612084 KiB
Current children cumulated memory: 8126308 KiB

[startup+51.1056 s]
/proc/loadavg: 7.48 7.35 4.74 8/268 13358
/proc/meminfo: memFree=120190992/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=8492660 memory=8186248 CPUtime=50.95 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1375960 0 0 0 4768 327 0 0 20 0 2 0 29122255 8696483840 2046562 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 2123165 2046562 2912 6655 0 2097048 0
[pid=13355/tid=13358] ppid=13352 vsize=8492660 memory=14432 CPUtime=0 cores=0,2
/proc/13355/task/13358/stat : 13358 (LSIPExact) S 13352 13355 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29123979 8696483840 2046562 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 8492660 KiB
Current children cumulated memory: 8186248 KiB

[startup+102.3 s]
/proc/loadavg: 6.79 7.19 4.82 7/268 13361
/proc/meminfo: memFree=118150328/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=10823864 memory=10223332 CPUtime=102.01 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1462461 0 0 0 9798 403 0 0 20 0 2 0 29122255 11083636736 2555833 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 2705966 2555833 2976 6655 0 2679849 0
[pid=13355/tid=13358] ppid=13352 vsize=10823864 memory=6944656425122961013 CPUtime=0 cores=0,2
/proc/13355/task/13358/stat : 13358 (LSIPExact) S 13352 13355 12362 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29123979 11083636736 2555833 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 10823864 KiB
Current children cumulated memory: 10223332 KiB

[startup+162.3 s]
/proc/loadavg: 6.33 6.98 4.90 7/268 13364
/proc/meminfo: memFree=118474444/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=10339680 memory=9883164 CPUtime=162.1 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1544940 0 0 0 15740 470 0 0 20 0 2 0 29122255 10587832320 2470791 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 2584920 2470791 3008 6655 0 2569540 0
[pid=13355/tid=13358] ppid=13352 vsize=10339680 memory=9955584 CPUtime=0.25 cores=0,2
/proc/13355/task/13358/stat : 13358 (LSIPExact) S 13352 13355 12362 0 -1 4194368 10535 0 0 0 17 8 0 0 20 0 2 0 29123979 10587832320 2470791 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
Current children cumulated CPU time: 162.1 s
Current children cumulated vsize: 10339680 KiB
Current children cumulated memory: 9883164 KiB

[startup+222.3 s]
/proc/loadavg: 6.72 6.96 5.03 8/267 13366
/proc/meminfo: memFree=113930712/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=17093404 memory=14345228 CPUtime=258.57 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1823428 0 0 0 25117 740 0 0 20 0 2 0 29122255 17503645696 3586307 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 4273351 3586307 3360 6655 0 4260889 0
[pid=13355/tid=13358] ppid=13352 vsize=17093404 memory=9959672 CPUtime=37.05 cores=0,2
/proc/13355/task/13358/stat : 13358 (LSIPExact) R 13352 13355 12362 0 -1 4194368 149925 0 0 0 3621 84 0 0 20 0 2 0 29123979 17503645696 3586307 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
Current children cumulated CPU time: 258.57 s
Current children cumulated vsize: 17093404 KiB
Current children cumulated memory: 14345228 KiB

[startup+282.3 s]
/proc/loadavg: 6.96 6.99 5.16 8/267 13368
/proc/meminfo: memFree=113720828/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=17093404 memory=14496780 CPUtime=377.97 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1824559 0 0 0 37054 743 0 0 20 0 2 0 29122255 17503645696 3624195 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 4273351 3624195 3360 6655 0 4260889 0
[pid=13355/tid=13358] ppid=13352 vsize=17093404 memory=14496780 CPUtime=96.58 cores=0,2
/proc/13355/task/13358/stat : 13358 (LSIPExact) R 13352 13355 12362 0 -1 4194368 151045 0 0 0 9570 88 0 0 20 0 2 0 29123979 17503645696 3624195 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
Current children cumulated CPU time: 377.97 s
Current children cumulated vsize: 17093404 KiB
Current children cumulated memory: 14496780 KiB

[startup+342.3 s]
/proc/loadavg: 7.11 7.02 5.29 8/267 13370
/proc/meminfo: memFree=113576796/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=17093404 memory=14609420 CPUtime=497.39 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 1825897 0 0 0 48993 746 0 0 20 0 2 0 29122255 17503645696 3652355 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 4273351 3652355 3360 6655 0 4260889 0
[pid=13355/tid=13358] ppid=13352 vsize=17093404 memory=14570508 CPUtime=156.11 cores=0,2
/proc/13355/task/13358/stat : 13358 (LSIPExact) R 13352 13355 12362 0 -1 4194368 152369 0 0 0 15520 91 0 0 20 0 2 0 29123979 17503645696 3652355 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
Current children cumulated CPU time: 497.39 s
Current children cumulated vsize: 17093404 KiB
Current children cumulated memory: 14609420 KiB

[startup+402.3 s]
/proc/loadavg: 7.06 7.02 5.40 8/267 13372
/proc/meminfo: memFree=110489488/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=20312016 memory=17711280 CPUtime=613.91 cores=0,2

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

/proc/13355/statm: 1995257 1904650 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10195148 memory=8947008 CPUtime=1580.59 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1020687 0 0 0 157546 513 0 0 20 0 1 0 29195911 10439831552 2236752 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2548787 2236752 1088 1011 0 2547554 0
Current children cumulated CPU time: 2856.61 s
Current children cumulated vsize: 18176176 KiB
Current children cumulated memory: 16565608 KiB

[startup+2382.3 s]
/proc/loadavg: 4.84 4.43 4.87 6/269 13619
/proc/meminfo: memFree=111897980/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10196944 memory=8961196 CPUtime=1640.4 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1025832 0 0 0 163516 524 0 0 20 0 1 0 29195911 10441670656 2240299 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2549236 2240299 1088 1011 0 2548003 0
Current children cumulated CPU time: 2916.42 s
Current children cumulated vsize: 18177972 KiB
Current children cumulated memory: 16580308 KiB

[startup+2442.3 s]
/proc/loadavg: 4.99 4.56 4.89 6/269 13621
/proc/meminfo: memFree=111869488/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10196944 memory=8961196 CPUtime=1700.2 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1028241 0 0 0 169496 524 0 0 20 0 1 0 29195911 10441670656 2240299 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2549236 2240299 1088 1011 0 2548003 0
Current children cumulated CPU time: 2976.22 s
Current children cumulated vsize: 18177972 KiB
Current children cumulated memory: 16580308 KiB

[startup+2502.3 s]
/proc/loadavg: 5.03 4.65 4.90 6/269 13623
/proc/meminfo: memFree=111843628/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10200180 memory=8964472 CPUtime=1760.01 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1033288 0 0 0 175466 535 0 0 20 0 1 0 29195911 10444984320 2241118 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2550045 2241118 1088 1011 0 2548812 0
Current children cumulated CPU time: 3036.03 s
Current children cumulated vsize: 18181208 KiB
Current children cumulated memory: 16583584 KiB

[startup+2562.3 s]
/proc/loadavg: 5.06 4.73 4.92 6/269 13625
/proc/meminfo: memFree=111839292/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10200180 memory=8964600 CPUtime=1819.82 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1036199 0 0 0 181446 536 0 0 20 0 1 0 29195911 10444984320 2241150 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2550045 2241150 1088 1011 0 2548812 0
Current children cumulated CPU time: 3095.84 s
Current children cumulated vsize: 18181208 KiB
Current children cumulated memory: 16583712 KiB

[startup+2622.3 s]
/proc/loadavg: 5.06 4.80 4.93 6/267 13627
/proc/meminfo: memFree=111777452/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10221824 memory=8985520 CPUtime=1879.62 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1043700 0 0 0 187414 548 0 0 20 0 1 0 29195911 10467147776 2246380 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2555456 2246380 1088 1011 0 2554223 0
Current children cumulated CPU time: 3155.64 s
Current children cumulated vsize: 18202852 KiB
Current children cumulated memory: 16604632 KiB

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

# cumulated CPU time of all completed processes:  user=3152.31 s, system=19.8229 s

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

[startup+2624 s]*
/proc/loadavg: 5.06 4.80 4.93 6/267 13627
/proc/meminfo: memFree=111777452/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10221824 memory=8985520 CPUtime=1881.32 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1043701 0 0 0 187584 548 0 0 20 0 1 0 29195911 10467147776 2246380 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2555456 2246380 1088 1011 0 2554223 0
Current children cumulated CPU time: 3157.34 s
Current children cumulated vsize: 18202852 KiB
Current children cumulated memory: 16604632 KiB

[startup+2630.4 s]
/proc/loadavg: 5.14 4.82 4.93 6/267 13627
/proc/meminfo: memFree=111777468/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=10221824 memory=8985520 CPUtime=1887.69 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1043703 0 0 0 188221 548 0 0 20 0 1 0 29195911 10467147776 2246380 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 2555456 2246380 1088 1011 0 2554223 0
Current children cumulated CPU time: 3163.71 s
Current children cumulated vsize: 18202852 KiB
Current children cumulated memory: 16604632 KiB

[startup+2633.6 s]
/proc/loadavg: 5.13 4.82 4.93 6/267 13627
/proc/meminfo: memFree=116316976/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7981028 memory=7619112 CPUtime=1276.02 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) S 13352 13355 12362 0 -1 4194304 3788753 0 0 0 126241 1361 0 0 20 0 1 0 29122255 8172572672 1904778 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1995257 1904778 3424 6655 0 1970458 0
[pid=13440] ppid=13355 vsize=4317120 memory=4059736 CPUtime=1890.89 cores=0,2
/proc/13440/stat : 13440 (Exact) R 13355 13440 13440 0 -1 4194304 1044374 0 0 0 188539 550 0 0 20 0 1 0 29195911 4420730880 1014934 18446744073709551615 4198400 8335837 140736689099088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 42176512 140736689105083 140736689105437 140736689105437 140736689110991 0
/proc/13440/statm: 1079280 1014934 1120 1011 0 1078047 0
Current children cumulated CPU time: 3166.91 s
Current children cumulated vsize: 12298148 KiB
Current children cumulated memory: 11678848 KiB

[startup+2636.8 s]
/proc/loadavg: 5.13 4.82 4.93 6/266 13627
/proc/meminfo: memFree=120904332/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7851028 memory=7489108 CPUtime=3170.09 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 4087794 1044378 0 0 126407 1376 188664 562 20 0 1 0 29122255 8039452672 1872277 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1962757 1872277 3424 6655 0 1937958 0
Current children cumulated CPU time: 3170.09 s
Current children cumulated vsize: 7851028 KiB
Current children cumulated memory: 7489108 KiB

[startup+2637.6 s]
/proc/loadavg: 5.12 4.83 4.94 6/266 13627
/proc/meminfo: memFree=120904380/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7750756 memory=7388836 CPUtime=3170.9 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 4178670 1044378 0 0 126483 1381 188664 562 20 0 1 0 29122255 7936774144 1847209 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1937689 1847209 3424 6655 0 1912890 0
Current children cumulated CPU time: 3170.9 s
Current children cumulated vsize: 7750756 KiB
Current children cumulated memory: 7388836 KiB

[startup+2638.4 s]
/proc/loadavg: 5.12 4.83 4.94 6/266 13627
/proc/meminfo: memFree=121008736/131250000 swapFree=33010684/33010684
[pid=13355] ppid=13352 vsize=7693820 memory=7331900 CPUtime=3171.69 cores=0,2
/proc/13355/stat : 13355 (LSIPExact) R 13352 13355 12362 0 -1 4194304 4461926 1044378 0 0 126549 1394 188664 562 20 0 1 0 29122255 7878471680 1832975 18446744073709551615 94383608500224 94383635756625 140730642819072 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94383644259464 94383644691072 94383653457920 140730642827610 140730642827786 140730642827786 140730642833388 0
/proc/13355/statm: 1923455 1832975 3424 6655 0 1898656 0
Current children cumulated CPU time: 3171.69 s
Current children cumulated vsize: 7693820 KiB
Current children cumulated memory: 7331900 KiB

[startup+2638.81 s]
/proc/loadavg: 5.12 4.83 4.94 6/266 13627
/proc/meminfo: memFree=123587880/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 2638.82
CPU time (s): 3172.13
CPU user time (s): 3152.31
CPU system time (s): 19.8229
CPU usage (%): 120.21
Max. virtual memory (cumulated for all children) (KiB): 21545596
Max. memory (cumulated for all children) (KiB): 18721796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3152.31
system time used= 19.8229
maximum resident set size= 18721796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5625733
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= 493
involuntary context switches= 13392


# summary of solver processes directly reported to runsolver:
#   pid: 13355
#   total CPU time (s): 3172.13
#   total CPU user time (s): 3152.31
#   total CPU system time (s): 19.8229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36842 second user time and 12.1736 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-28 20:14:07
IDJOB=4503699
IDBENCH=155548
IDSOLVER=3336
FILE ID=nodeC016/4503699-1751134445
RUNJOBID= nodeC016-1751133631-12377
SLURM_JOB_ID= 9587416
Free space on /tmp= 432664 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-174.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503699-1751134445/watcher-4503699-1751134445 -o /tmp/evaluation-result-4503699-1751134445/solver-4503699-1751134445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751133631-12377 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4503699-1751134445.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 5618df1e63c3ad3b10b24ba90f334740
RANDOM SEED=1248656310

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128383048 kB
MemAvailable:   128383916 kB
Buffers:            3280 kB
Cached:           814392 kB
SwapCached:            0 kB
Active:          1660176 kB
Inactive:         607992 kB
Active(anon):    1468596 kB
Inactive(anon):        0 kB
Active(file):     191580 kB
Inactive(file):   607992 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            309272 kB
Writeback:             0 kB
AnonPages:       1452368 kB
Mapped:           139068 kB
Shmem:             18072 kB
KReclaimable:      81072 kB
Slab:             163020 kB
SReclaimable:      81072 kB
SUnreclaim:        81948 kB
KernelStack:        4336 kB
PageTables:         6148 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1879484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    516096 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432628 MiB
End job on nodeC016 at 2025-06-28 20:58:06