Trace number 4505296

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
LSIPExact S2? (TO) 3602.26 1914.94

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
MD5SUMa79b156993afc0744effacd0e3c6c3c8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18798609
Best CPU time to get the best result obtained on this benchmark3600.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 182044199866
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 182044199866
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3493.96/1806.10	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3493.96/1806.10	c numVar: 1000400
3493.96/1806.10	c numCon: 2000307
3493.96/1806.10	c numEqual: 29707
3493.96/1806.10	c intSize: 38
3493.96/1806.10	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3493.96/1806.10	c ------------------- Paras list -------------------
3493.96/1806.10	c Name                	 Type      	 Now       	 Default   	 Comment
3493.96/1806.10	c timeout             	 double    	 3600.000000	 3600      	 
3493.96/1806.10	c mip_time            	 double    	 0.500000  	 0.5       	 
3493.96/1806.10	c ls_time             	 double    	 10.000000 	 10        	 
3493.96/1806.10	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3493.96/1806.10	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3493.96/1806.10	c random_seed         	 int       	 0         	 0         	 
3493.96/1806.10	c sample_size         	 int       	 50        	 50        	 
3493.96/1806.10	c sub_score           	 int       	 1         	 1         	 
3493.96/1806.10	c tabu_base           	 int       	 3         	 3         	 
3493.96/1806.10	c tabu_variation      	 int       	 1         	 1         	 
3493.96/1806.10	c sub_div             	 int       	 4         	 4         	 
3493.96/1806.10	c nbcore              	 int       	 2         	 1         	 
3493.96/1806.10	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3493.96/1806.10	c print_sol           	 int       	 1         	 1         	 
3493.96/1806.10	c tmpdir              	 string		 .         	 "."       	 
3493.96/1806.10	c home                	 string		 HOME	 "."       	 
3493.96/1806.10	c benchname           	 string		 HOME/instance-4505296-1751473911.opb	 ""        	 
3493.96/1806.10	c --------------------------------------------------
3493.96/1806.10	c Local Search solver
3493.96/1806.10	c MIP solver
3493.96/1806.10	c use Exact solver
3600.08/1912.70	c receive signal 15, try to interrupt solver...
3493.96/1912.81	c Exact solver (PID 67277) interrupted gracefully.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505296-1751473911/watcher-4505296-1751473911 -o /tmp/evaluation-result-4505296-1751473911/solver-4505296-1751473911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751468815-65340 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505296-1751473911.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
Starting watchdog thread
solver pid=67034, runsolver pid=67031
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 7.24 7.19 6.73 8/254 67035
/proc/meminfo: memFree=94951448/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=231596 memory=84360 CPUtime=0.09 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 14993 0 0 0 4 5 0 0 20 0 1 0 63070469 237154304 21090 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 57899 21090 1152 6655 0 48134 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 231596 KiB
Current children cumulated memory: 84360 KiB

[startup+0.207444 s]*
/proc/loadavg: 7.24 7.19 6.73 8/254 67035
/proc/meminfo: memFree=94887224/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=297596 memory=172936 CPUtime=0.2 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 31502 0 0 0 9 11 0 0 20 0 1 0 63070469 304738304 43234 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 74399 43234 1152 6655 0 64634 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 297596 KiB
Current children cumulated memory: 172936 KiB

[startup+0.307394 s]*
/proc/loadavg: 7.24 7.19 6.73 8/254 67035
/proc/meminfo: memFree=94806456/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=359240 memory=254984 CPUtime=0.29 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 46912 0 0 0 14 15 0 0 20 0 1 0 63070469 367861760 63746 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 89810 63746 1152 6655 0 80045 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 359240 KiB
Current children cumulated memory: 254984 KiB

[startup+0.700374 s]
/proc/loadavg: 7.24 7.19 6.73 8/254 67035
/proc/meminfo: memFree=94644536/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=550168 memory=507244 CPUtime=0.68 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 95247 0 0 0 37 31 0 0 20 0 1 0 63070469 563372032 126811 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 137542 126811 1152 6655 0 127777 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 550168 KiB
Current children cumulated memory: 507244 KiB

[startup+1.50038 s]
/proc/loadavg: 7.24 7.19 6.73 8/254 67035
/proc/meminfo: memFree=94551480/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=860756 memory=826200 CPUtime=1.48 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 116817 0 0 0 105 43 0 0 20 0 1 0 63070469 881414144 206550 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 215189 206550 1184 6655 0 205424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 860756 KiB
Current children cumulated memory: 826200 KiB

[startup+3.11336 s]
/proc/loadavg: 7.22 7.19 6.73 8/254 67035
/proc/meminfo: memFree=93875232/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=1234352 memory=1199832 CPUtime=3.09 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 210258 0 0 0 249 60 0 0 20 0 1 0 63070469 1263976448 299958 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 308588 299958 1184 6655 0 298823 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1234352 KiB
Current children cumulated memory: 1199832 KiB

[startup+6.30038 s]
/proc/loadavg: 7.22 7.19 6.73 8/254 67035
/proc/meminfo: memFree=93266368/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=1827636 memory=1793112 CPUtime=6.26 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 355245 0 0 0 542 84 0 0 20 0 1 0 63070469 1871499264 448278 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 456909 448278 1184 6655 0 447144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1827636 KiB
Current children cumulated memory: 1793112 KiB

[startup+12.7004 s]
/proc/loadavg: 7.26 7.20 6.74 8/254 67035
/proc/meminfo: memFree=92580280/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=3189060 memory=3127292 CPUtime=12.63 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 539740 0 0 0 1139 124 0 0 20 0 1 0 63070469 3265597440 781823 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 797265 781823 2304 6655 0 787500 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3189060 KiB
Current children cumulated memory: 3127292 KiB

[startup+25.5004 s]
/proc/loadavg: 7.22 7.19 6.74 8/255 67036
/proc/meminfo: memFree=90848700/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=4166068 memory=3833512 CPUtime=25.39 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 581776 0 0 0 2380 159 0 0 20 0 2 0 63070469 4266053632 958378 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 1041517 958378 2848 6655 0 1015400 0
[pid=67034/tid=67036] ppid=67031 vsize=4166068 memory=164 CPUtime=0 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) S 67031 67034 65327 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63071921 4266053632 958378 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4166068 KiB
Current children cumulated memory: 3833512 KiB

[startup+51.1136 s]
/proc/loadavg: 7.23 7.19 6.75 8/255 67036
/proc/meminfo: memFree=88591048/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=6633340 memory=5887464 CPUtime=51.97 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 755132 0 0 0 4952 245 0 0 20 0 2 0 63070469 6792540160 1471866 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 1658335 1471866 3200 6655 0 1646122 0
[pid=67034/tid=67036] ppid=67031 vsize=6633340 memory=5830288 CPUtime=1.35 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) S 67031 67034 65327 0 -1 4194368 13295 0 0 0 124 11 0 0 20 0 2 0 63071921 6792540160 1471866 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 51.97 s
Current children cumulated vsize: 6633340 KiB
Current children cumulated memory: 5887464 KiB

[startup+102.3 s]
/proc/loadavg: 7.38 7.22 6.79 9/256 67039
/proc/meminfo: memFree=87600036/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=7560704 memory=6747708 CPUtime=116.46 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 940043 0 0 0 11314 332 0 0 20 0 2 0 63070469 7742160896 1686927 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 1890176 1686927 3264 6655 0 1859362 0
[pid=67034/tid=67036] ppid=67031 vsize=7560704 memory=14080 CPUtime=15.1 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 66226 0 0 0 1468 42 0 0 20 0 2 0 63071921 7742160896 1686927 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 116.46 s
Current children cumulated vsize: 7560704 KiB
Current children cumulated memory: 6747708 KiB

[startup+162.3 s]
/proc/loadavg: 7.86 7.40 6.88 9/255 67041
/proc/meminfo: memFree=86799724/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8864704 memory=7468904 CPUtime=235.4 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 972682 0 0 0 23175 365 0 0 20 0 2 0 63070469 9077456896 1867226 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2216176 1867226 3424 6655 0 2186707 0
[pid=67034/tid=67036] ppid=67031 vsize=8864704 memory=7539412 CPUtime=74.36 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 70148 0 0 0 7393 43 0 0 20 0 2 0 63071921 9077456896 1867226 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 235.4 s
Current children cumulated vsize: 8864704 KiB
Current children cumulated memory: 7468904 KiB

[startup+222.3 s]
/proc/loadavg: 7.99 7.52 6.96 9/255 67043
/proc/meminfo: memFree=86766756/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8873112 memory=7483560 CPUtime=354.48 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 993434 0 0 0 35073 375 0 0 20 0 2 0 63070469 9086066688 1870890 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2218278 1870890 3424 6655 0 2188809 0
[pid=67034/tid=67036] ppid=67031 vsize=8873112 memory=7482664 CPUtime=133.71 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 70152 0 0 0 13327 44 0 0 20 0 2 0 63071921 9086066688 1870890 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 354.48 s
Current children cumulated vsize: 8873112 KiB
Current children cumulated memory: 7483560 KiB

[startup+282.3 s]
/proc/loadavg: 8.05 7.63 7.03 9/255 67045
/proc/meminfo: memFree=81662196/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=11574776 memory=10147240 CPUtime=471.73 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 1303179 0 0 0 46635 538 0 0 20 0 2 0 63070469 11852570624 2536810 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2893694 2536810 3520 6655 0 2864225 0
[pid=67034/tid=67036] ppid=67031 vsize=11574776 memory=10145108 CPUtime=191.28 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 134927 0 0 0 19052 76 0 0 20 0 2 0 63071921 11852570624 2536810 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 471.73 s
Current children cumulated vsize: 11574776 KiB
Current children cumulated memory: 10147240 KiB

[startup+342.3 s]
/proc/loadavg: 8.06 7.71 7.10 9/255 67051
/proc/meminfo: memFree=81606728/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=11575288 memory=10180300 CPUtime=590.65 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 1344174 0 0 0 58518 547 0 0 20 0 2 0 63070469 11853094912 2545075 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2893822 2545075 3520 6655 0 2864353 0
[pid=67034/tid=67036] ppid=67031 vsize=11575288 memory=10147240 CPUtime=250.52 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 139341 0 0 0 24973 79 0 0 20 0 2 0 63071921 11853094912 2545075 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 590.65 s
Current children cumulated vsize: 11575288 KiB
Current children cumulated memory: 10180300 KiB

[startup+402.3 s]
/proc/loadavg: 8.13 7.80 7.17 9/253 67053
/proc/meminfo: memFree=81595316/131382116 swapFree=33010160/33010684

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


[startup+1542.3 s]
/proc/loadavg: 7.01 7.39 7.40 7/256 67205
/proc/meminfo: memFree=73997516/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=12072660 memory=10594944 CPUtime=2971.44 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 1852703 0 0 0 296487 657 0 0 20 0 2 0 63070469 12362403840 2648736 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 3018165 2648736 3584 6655 0 2988696 0
[pid=67034/tid=67036] ppid=67031 vsize=12072660 memory=14080 CPUtime=1437.05 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 347304 0 0 0 143573 132 0 0 20 0 2 0 63071921 12362403840 2648736 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 2971.44 s
Current children cumulated vsize: 12072660 KiB
Current children cumulated memory: 10594944 KiB

[startup+1602.3 s]
/proc/loadavg: 6.48 7.17 7.32 7/256 67211
/proc/meminfo: memFree=74050380/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=12074360 memory=10596196 CPUtime=3090.42 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 1884537 0 0 0 308378 664 0 0 20 0 2 0 63070469 12364144640 2649049 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 3018590 2649049 3584 6655 0 2989121 0
[pid=67034/tid=67036] ppid=67031 vsize=12074360 memory=10596196 CPUtime=1496.36 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 362883 0 0 0 149500 136 0 0 20 0 2 0 63071921 12364144640 2649049 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 3090.42 s
Current children cumulated vsize: 12074360 KiB
Current children cumulated memory: 10596196 KiB

[startup+1662.3 s]
/proc/loadavg: 6.23 6.97 7.24 7/255 67261
/proc/meminfo: memFree=77916036/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=12075248 memory=10601600 CPUtime=3209.38 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 1904795 0 0 0 320271 667 0 0 20 0 2 0 63070469 12365053952 2650400 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 3018812 2650400 3584 6655 0 2989343 0
[pid=67034/tid=67036] ppid=67031 vsize=12075248 memory=10596196 CPUtime=1555.67 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 380250 0 0 0 155428 139 0 0 20 0 2 0 63071921 12365053952 2650400 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 3209.38 s
Current children cumulated vsize: 12075248 KiB
Current children cumulated memory: 10601600 KiB

[startup+1722.3 s]
/proc/loadavg: 6.13 6.80 7.17 7/255 67263
/proc/meminfo: memFree=74651468/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=12075716 memory=10602004 CPUtime=3328.29 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 1924631 0 0 0 332157 672 0 0 20 0 2 0 63070469 12365533184 2650501 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 3018929 2650501 3584 6655 0 2989460 0
[pid=67034/tid=67036] ppid=67031 vsize=12075716 memory=10596196 CPUtime=1614.95 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 381417 0 0 0 161355 140 0 0 20 0 2 0 63071921 12365533184 2650501 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 3328.29 s
Current children cumulated vsize: 12075716 KiB
Current children cumulated memory: 10602004 KiB

[startup+1782.3 s]
/proc/loadavg: 6.14 6.69 7.10 7/254 67276
/proc/meminfo: memFree=75733856/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=12146420 memory=10674660 CPUtime=3447.18 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 1950685 0 0 0 344039 679 0 0 20 0 2 0 63070469 12437934080 2668665 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 3036605 2668665 3584 6655 0 3007136 0
[pid=67034/tid=67036] ppid=67031 vsize=12146420 memory=5632 CPUtime=1674.22 cores=0,2
/proc/67034/task/67036/stat : 67036 (LSIPExact) R 67031 67034 65327 0 -1 4194368 397474 0 0 0 167276 146 0 0 20 0 2 0 63071921 12437934080 2668665 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
Current children cumulated CPU time: 3447.18 s
Current children cumulated vsize: 12146420 KiB
Current children cumulated memory: 10674660 KiB

[startup+1842.3 s]
/proc/loadavg: 5.69 6.47 7.00 7/254 67279
/proc/meminfo: memFree=66757768/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8187544 memory=7548500 CPUtime=3493.96 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) S 67031 67034 65327 0 -1 4194304 2176944 0 0 0 348698 698 0 0 20 0 1 0 63070469 8384045056 1887125 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2046886 1887125 3616 6655 0 2017438 0
[pid=67277] ppid=67034 vsize=3262252 memory=3170500 CPUtime=36.02 cores=0,2
/proc/67277/stat : 67277 (Exact) R 67034 67277 67277 0 -1 4194304 283103 0 0 0 3474 128 0 0 20 0 1 0 63251080 3340546048 792625 18446744073709551615 4198400 8335837 140724843430304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 32296960 140724843436219 140724843436573 140724843436573 140724843442127 0
/proc/67277/statm: 815563 792625 1120 1011 0 814330 0
Current children cumulated CPU time: 3529.98 s
Current children cumulated vsize: 11449796 KiB
Current children cumulated memory: 10719000 KiB

[startup+1902.3 s]
/proc/loadavg: 6.64 6.60 7.01 8/255 67284
/proc/meminfo: memFree=58044712/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8187544 memory=7548500 CPUtime=3493.96 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) S 67031 67034 65327 0 -1 4194304 2176944 0 0 0 348698 698 0 0 20 0 1 0 63070469 8384045056 1887125 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2046886 1887125 3616 6655 0 2017438 0
[pid=67277] ppid=67034 vsize=3500272 memory=3323384 CPUtime=95.76 cores=0,2
/proc/67277/stat : 67277 (Exact) R 67034 67277 67277 0 -1 4194304 311697 0 0 0 9436 140 0 0 20 0 1 0 63251080 3584278528 830846 18446744073709551615 4198400 8335837 140724843430304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 32296960 140724843436219 140724843436573 140724843436573 140724843442127 0
/proc/67277/statm: 875068 830846 1120 1011 0 873835 0
Current children cumulated CPU time: 3589.72 s
Current children cumulated vsize: 11687816 KiB
Current children cumulated memory: 10871884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1912.7 s]
/proc/loadavg: 6.70 6.61 7.01 8/255 67284
/proc/meminfo: memFree=58016476/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8187544 memory=7548500 CPUtime=3493.96 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) S 67031 67034 65327 0 -1 4194304 2176944 0 0 0 348698 698 0 0 20 0 1 0 63070469 8384045056 1887125 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2046886 1887125 3616 6655 0 2017438 0
[pid=67277] ppid=67034 vsize=3540952 memory=3364088 CPUtime=106.12 cores=0,2
/proc/67277/stat : 67277 (Exact) R 67034 67277 67277 0 -1 4194304 321887 0 0 0 10469 143 0 0 20 0 1 0 63251080 3625934848 841022 18446744073709551615 4198400 8335837 140724843430304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 32296960 140724843436219 140724843436573 140724843436573 140724843442127 0
/proc/67277/statm: 885238 841022 1120 1011 0 884005 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 11728496 KiB
Current children cumulated memory: 10912588 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+1914.94 s]
# the end of solver process 67034 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3593.32 s, system=8.94012 s

Solver just ended.
Dumping a history of the last processes samples

[startup+1913.6 s]
/proc/loadavg: 6.70 6.61 7.01 8/254 67285
/proc/meminfo: memFree=61359204/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8140660 memory=7501620 CPUtime=3600.9 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 2298792 322063 0 0 348758 714 10470 148 20 0 1 0 63070469 8336035840 1875405 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2035165 1875405 3616 6655 0 2005717 0
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 8140660 KiB
Current children cumulated memory: 7501620 KiB

[startup+1914.4 s]
/proc/loadavg: 6.70 6.61 7.01 8/254 67285
/proc/meminfo: memFree=61403464/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8140660 memory=7501620 CPUtime=3601.7 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 2308995 322063 0 0 348836 716 10470 148 20 0 1 0 63070469 8336035840 1875405 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2035165 1875405 3616 6655 0 2005717 0
Current children cumulated CPU time: 3601.7 s
Current children cumulated vsize: 8140660 KiB
Current children cumulated memory: 7501620 KiB

[startup+1914.6 s]
/proc/loadavg: 6.70 6.61 7.01 8/254 67285
/proc/meminfo: memFree=61403464/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8031244 memory=7392200 CPUtime=3601.89 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 2331084 322063 0 0 348852 719 10470 148 20 0 1 0 63070469 8223993856 1848050 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2007811 1848050 3616 6655 0 1978363 0
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 8031244 KiB
Current children cumulated memory: 7392200 KiB

[startup+1914.7 s]
/proc/loadavg: 6.70 6.61 7.01 8/254 67285
/proc/meminfo: memFree=61403464/131382116 swapFree=33010160/33010684
[pid=67034] ppid=67031 vsize=8031244 memory=7392200 CPUtime=3601.99 cores=0,2
/proc/67034/stat : 67034 (LSIPExact) R 67031 67034 65327 0 -1 4194304 2353949 322063 0 0 348860 721 10470 148 20 0 1 0 63070469 8223993856 1848050 18446744073709551615 94565218861056 94565246117457 140728615589168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94565254620296 94565255051904 94565270392832 140728615594330 140728615594506 140728615594506 140728615600108 0
/proc/67034/statm: 2007811 1848050 3616 6655 0 1978363 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 8031244 KiB
Current children cumulated memory: 7392200 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1914.94
CPU time (s): 3602.26
CPU user time (s): 3593.32
CPU system time (s): 8.94012
CPU usage (%): 188.113
Max. virtual memory (cumulated for all children) (KiB): 12732540
Max. memory (cumulated for all children) (KiB): 10912588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.32
system time used= 8.94012
maximum resident set size= 10896476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2676057
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= 404
involuntary context switches= 81430


# summary of solver processes directly reported to runsolver:
#   pid: 67034
#   total CPU time (s): 3602.26
#   total CPU user time (s): 3593.32
#   total CPU system time (s): 8.94012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87937 second user time and 10.9599 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-02 18:31:53
IDJOB=4505296
IDBENCH=155752
IDSOLVER=3337
FILE ID=nodeC004/4505296-1751473911
RUNJOBID= nodeC004-1751468815-65340
SLURM_JOB_ID= 9598488
Free space on /tmp= 431204 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_7_ic.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505296-1751473911/watcher-4505296-1751473911 -o /tmp/evaluation-result-4505296-1751473911/solver-4505296-1751473911 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751468815-65340 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4505296-1751473911.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= a79b156993afc0744effacd0e3c6c3c8
RANDOM SEED=1049739263

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.526
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.74
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		: 3491.916
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.74
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		: 2793.517
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.74
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		: 3492.127
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.74
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		: 3510.503
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.74
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		: 3550.386
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.74
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		: 3491.876
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.74
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		: 3492.100
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        95007836 kB
MemAvailable:   101046124 kB
Buffers:            2720 kB
Cached:          6788040 kB
SwapCached:           20 kB
Active:         29068000 kB
Inactive:        6451360 kB
Active(anon):   28740368 kB
Inactive(anon):     6188 kB
Active(file):     327632 kB
Inactive(file):  6445172 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            144468 kB
Writeback:             4 kB
AnonPages:      28721148 kB
Mapped:           138632 kB
Shmem:             17956 kB
KReclaimable:     210224 kB
Slab:             296600 kB
SReclaimable:     210224 kB
SUnreclaim:        86376 kB
KernelStack:        4096 kB
PageTables:        60772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   33017624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18669568 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430920 MiB
End job on nodeC004 at 2025-07-02 19:03:48