Trace number 4505249

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 S1? (TO) 3603.02 1860.14

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
MD5SUMae39b89921d4a5c4d7dfc676c1859a2a
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 benchmark24648945
Best CPU time to get the best result obtained on this benchmark3600.89
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 168196608
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 178958626766
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 168196608
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 178958626766
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 

3600.06/1858.01	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.06/1858.01	c numVar: 1000400
3600.06/1858.01	c numCon: 2000307
3600.06/1858.01	c numEqual: 29707
3600.06/1858.01	c intSize: 38
3600.06/1858.01	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.06/1858.01	c ------------------- Paras list -------------------
3600.06/1858.01	c Name                	 Type      	 Now       	 Default   	 Comment
3600.06/1858.01	c timeout             	 double    	 3600.000000	 3600      	 
3600.06/1858.01	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.06/1858.01	c ls_time             	 double    	 10.000000 	 10        	 
3600.06/1858.01	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.06/1858.01	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.06/1858.01	c random_seed         	 int       	 0         	 0         	 
3600.06/1858.01	c sample_size         	 int       	 50        	 50        	 
3600.06/1858.01	c sub_score           	 int       	 1         	 1         	 
3600.06/1858.01	c tabu_base           	 int       	 3         	 3         	 
3600.06/1858.01	c tabu_variation      	 int       	 1         	 1         	 
3600.06/1858.01	c sub_div             	 int       	 4         	 4         	 
3600.06/1858.01	c nbcore              	 int       	 2         	 1         	 
3600.06/1858.01	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.06/1858.01	c print_sol           	 int       	 1         	 1         	 
3600.06/1858.01	c tmpdir              	 string		 .         	 "."       	 
3600.06/1858.01	c home                	 string		 HOME	 "."       	 
3600.06/1858.01	c benchname           	 string		 HOME/instance-4505249-1751444118.opb	 ""        	 
3600.06/1858.01	c --------------------------------------------------
3600.06/1858.01	c Local Search solver
3600.06/1858.01	c MIP solver
3600.06/1858.01	c receive signal 15, try to interrupt solver...
3602.10/1859.22	c use Exact solver

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: 63665 MiB (58274 MiB free)
  memory of node 1: 64507 MiB (54913 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505249-1751444118/watcher-4505249-1751444118 -o /tmp/evaluation-result-4505249-1751444118/solver-4505249-1751444118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68009 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4505249-1751444118.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=68784, runsolver pid=68781

[startup+0.100063 s]*
/proc/loadavg: 5.71 6.40 6.99 5/267 68785
/proc/meminfo: memFree=115880956/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=312380 memory=191752 CPUtime=0.08 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 35187 0 0 0 2 6 0 0 20 0 1 0 60092109 319877120 47938 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 78095 47938 1152 6655 0 68330 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 312380 KiB
Current children cumulated memory: 191752 KiB

[startup+0.205539 s]*
/proc/loadavg: 5.71 6.40 6.99 5/267 68785
/proc/meminfo: memFree=115687916/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=461804 memory=390280 CPUtime=0.18 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 72567 0 0 0 6 12 0 0 20 0 1 0 60092109 472887296 97570 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 115451 97570 1152 6655 0 105686 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 461804 KiB
Current children cumulated memory: 390280 KiB

[startup+0.305478 s]*
/proc/loadavg: 5.71 6.40 6.99 5/267 68785
/proc/meminfo: memFree=115533804/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=550168 memory=507256 CPUtime=0.28 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 95246 0 0 0 11 17 0 0 20 0 1 0 60092109 563372032 126814 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 137542 126814 1152 6655 0 127777 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 550168 KiB
Current children cumulated memory: 507256 KiB

[startup+0.700164 s]
/proc/loadavg: 5.71 6.40 6.99 5/267 68785
/proc/meminfo: memFree=115533804/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=603424 memory=564776 CPUtime=0.67 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 107190 0 0 0 46 21 0 0 20 0 1 0 60092109 617906176 141194 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 150856 141194 1152 6655 0 141091 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 603424 KiB
Current children cumulated memory: 564776 KiB

[startup+1.50016 s]
/proc/loadavg: 5.71 6.40 6.99 5/267 68785
/proc/meminfo: memFree=115082608/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=1096640 memory=1061928 CPUtime=1.46 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 175297 0 0 0 111 35 0 0 20 0 1 0 60092109 1122959360 265482 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 274160 265482 1152 6655 0 264395 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1096640 KiB
Current children cumulated memory: 1061928 KiB

[startup+3.10563 s]
/proc/loadavg: 5.71 6.40 6.99 5/267 68785
/proc/meminfo: memFree=114473092/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=1524844 memory=1490188 CPUtime=3.07 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 278907 0 0 0 256 51 0 0 20 0 1 0 60092109 1561440256 372515 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 381211 372515 1152 6655 0 371446 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1524844 KiB
Current children cumulated memory: 1490188 KiB

[startup+6.30014 s]
/proc/loadavg: 5.57 6.36 6.97 5/267 68785
/proc/meminfo: memFree=114093836/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=1827636 memory=1792908 CPUtime=6.25 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 354795 0 0 0 561 64 0 0 20 0 1 0 60092109 1871499264 448227 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 456909 448227 1152 6655 0 447144 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1827636 KiB
Current children cumulated memory: 1792908 KiB

[startup+12.7002 s]
/proc/loadavg: 5.53 6.33 6.96 6/267 68785
/proc/meminfo: memFree=112203060/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=3344196 memory=3214064 CPUtime=12.63 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 544959 0 0 0 1154 109 0 0 20 0 1 0 60092109 3424456704 803516 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 836049 803516 2304 6655 0 826284 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 3344196 KiB
Current children cumulated memory: 3214064 KiB

[startup+25.5002 s]
/proc/loadavg: 5.49 6.28 6.93 6/268 68786
/proc/meminfo: memFree=109453268/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=3963404 memory=3756392 CPUtime=25.39 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 592752 0 0 0 2401 138 0 0 20 0 2 0 60092109 4058525696 939098 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 990851 939098 2880 6655 0 964734 0
[pid=68784/tid=68786] ppid=68781 vsize=3963404 memory=3850584 CPUtime=0 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) S 68781 68784 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 60093453 4058525696 939098 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3963404 KiB
Current children cumulated memory: 3756392 KiB

[startup+51.1061 s]
/proc/loadavg: 5.40 6.20 6.89 6/268 68787
/proc/meminfo: memFree=105877724/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=7817344 memory=6453244 CPUtime=52.07 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 787548 0 0 0 4965 242 0 0 20 0 2 0 60092109 8004960256 1613311 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 1954336 1613311 3168 6655 0 1942123 0
[pid=68784/tid=68786] ppid=68781 vsize=7817344 memory=6025832 CPUtime=1.17 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) S 68781 68784 67998 0 -1 4194368 14532 0 0 0 110 7 0 0 20 0 2 0 60093453 8004960256 1613311 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 52.07 s
Current children cumulated vsize: 7817344 KiB
Current children cumulated memory: 6453244 KiB

[startup+102.3 s]
/proc/loadavg: 6.01 6.22 6.86 8/269 68789
/proc/meminfo: memFree=104138932/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=8860244 memory=7500068 CPUtime=121.49 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 963549 0 0 0 11828 321 0 0 20 0 2 0 60092109 9072889856 1875017 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2215061 1875017 3264 6655 0 2184560 0
[pid=68784/tid=68786] ppid=68781 vsize=8860244 memory=7057536 CPUtime=19.73 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 66750 0 0 0 1942 31 0 0 20 0 2 0 60093453 9072889856 1875017 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 121.49 s
Current children cumulated vsize: 8860244 KiB
Current children cumulated memory: 7500068 KiB

[startup+162.3 s]
/proc/loadavg: 6.64 6.36 6.87 8/269 68791
/proc/meminfo: memFree=104082948/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=8871172 memory=7483064 CPUtime=240.55 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 995851 0 0 0 23725 330 0 0 20 0 2 0 60092109 9084080128 1870766 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2217793 1870766 3392 6655 0 2188324 0
[pid=68784/tid=68786] ppid=68781 vsize=8871172 memory=7480912 CPUtime=79.03 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 70365 0 0 0 7871 32 0 0 20 0 2 0 60093453 9084080128 1870766 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 240.55 s
Current children cumulated vsize: 8871172 KiB
Current children cumulated memory: 7483064 KiB

[startup+222.3 s]
/proc/loadavg: 6.98 6.51 6.89 8/269 68793
/proc/meminfo: memFree=100485644/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=8871828 memory=7483908 CPUtime=359.66 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 1008738 0 0 0 35631 335 0 0 20 0 2 0 60092109 9084751872 1870977 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2217957 1870977 3392 6655 0 2188488 0
[pid=68784/tid=68786] ppid=68781 vsize=8871828 memory=14720 CPUtime=138.36 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 70369 0 0 0 13803 33 0 0 20 0 2 0 60093453 9084751872 1870977 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 359.66 s
Current children cumulated vsize: 8871828 KiB
Current children cumulated memory: 7483908 KiB

[startup+282.3 s]
/proc/loadavg: 7.05 6.62 6.91 8/269 68841
/proc/meminfo: memFree=94258336/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=8939072 memory=7560972 CPUtime=478.74 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 1077576 0 0 0 47525 349 0 0 20 0 2 0 60092109 9153609728 1890243 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2234768 1890243 3392 6655 0 2188988 0
[pid=68784/tid=68786] ppid=68781 vsize=8939072 memory=14720 CPUtime=197.67 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 106580 0 0 0 19728 39 0 0 20 0 2 0 60093453 9153609728 1890243 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 478.74 s
Current children cumulated vsize: 8939072 KiB
Current children cumulated memory: 7560972 KiB

[startup+342.3 s]
/proc/loadavg: 7.28 6.75 6.94 9/269 68846
/proc/meminfo: memFree=91719236/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=9462728 memory=8158932 CPUtime=597.59 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 1228927 0 0 0 59370 389 0 0 20 0 2 0 60092109 9689833472 2039733 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2365682 2039733 3488 6655 0 2325934 0
[pid=68784/tid=68786] ppid=68781 vsize=9462728 memory=8131660 CPUtime=256.85 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 252451 0 0 0 25607 78 0 0 20 0 2 0 60093453 9689833472 2039733 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 597.59 s
Current children cumulated vsize: 9462728 KiB
Current children cumulated memory: 8158932 KiB

[startup+402.3 s]
/proc/loadavg: 7.80 7.00 7.01 9/268 68848
/proc/meminfo: memFree=91539408/131250000 swapFree=33010684/33010684

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

Current children cumulated CPU time: 2736.49 s
Current children cumulated vsize: 12198876 KiB
Current children cumulated memory: 10797896 KiB

[startup+1482.3 s]
/proc/loadavg: 8.12 8.08 7.79 9/266 68897
/proc/meminfo: memFree=86099276/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12200472 memory=10798372 CPUtime=2855.41 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2186437 0 0 0 284879 662 0 0 20 0 2 0 60092109 12493283328 2699593 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3050118 2699593 3488 6655 0 3014587 0
[pid=68784/tid=68786] ppid=68781 vsize=12200472 memory=14720 CPUtime=1380.36 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 546102 0 0 0 137855 181 0 0 20 0 2 0 60093453 12493283328 2699593 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 2855.41 s
Current children cumulated vsize: 12200472 KiB
Current children cumulated memory: 10798372 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 8.08 7.82 9/268 68903
/proc/meminfo: memFree=86071928/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12201688 memory=10800552 CPUtime=2974.32 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2215522 0 0 0 296764 668 0 0 20 0 2 0 60092109 12494528512 2700138 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3050422 2700138 3488 6655 0 3014891 0
[pid=68784/tid=68786] ppid=68781 vsize=12201688 memory=10800552 CPUtime=1439.58 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 549562 0 0 0 143774 184 0 0 20 0 2 0 60093453 12494528512 2700138 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 2974.32 s
Current children cumulated vsize: 12201688 KiB
Current children cumulated memory: 10800552 KiB

[startup+1602.3 s]
/proc/loadavg: 8.14 8.09 7.84 9/268 68905
/proc/meminfo: memFree=85825436/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12203608 memory=10801260 CPUtime=3093.21 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2250232 0 0 0 308645 676 0 0 20 0 2 0 60092109 12496494592 2700315 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3050902 2700315 3488 6655 0 3015371 0
[pid=68784/tid=68786] ppid=68781 vsize=12203608 memory=10800552 CPUtime=1498.79 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 560284 0 0 0 149690 189 0 0 20 0 2 0 60093453 12496494592 2700315 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 12203608 KiB
Current children cumulated memory: 10801260 KiB

[startup+1662.3 s]
/proc/loadavg: 8.11 8.09 7.86 9/268 68907
/proc/meminfo: memFree=85320124/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12203748 memory=10801500 CPUtime=3212.12 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2279150 0 0 0 320532 680 0 0 20 0 2 0 60092109 12496637952 2700375 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3050937 2700375 3488 6655 0 3015406 0
[pid=68784/tid=68786] ppid=68781 vsize=12203748 memory=5632 CPUtime=1558.01 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 561233 0 0 0 155612 189 0 0 20 0 2 0 60093453 12496637952 2700375 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 3212.12 s
Current children cumulated vsize: 12203748 KiB
Current children cumulated memory: 10801500 KiB

[startup+1722.3 s]
/proc/loadavg: 8.16 8.10 7.88 9/268 68909
/proc/meminfo: memFree=85325592/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12205428 memory=10802136 CPUtime=3331.03 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2303468 0 0 0 332417 686 0 0 20 0 2 0 60092109 12498358272 2700534 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3051357 2700534 3488 6655 0 3015826 0
[pid=68784/tid=68786] ppid=68781 vsize=12205428 memory=10801500 CPUtime=1617.23 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 570904 0 0 0 161529 194 0 0 20 0 2 0 60093453 12498358272 2700534 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 3331.03 s
Current children cumulated vsize: 12205428 KiB
Current children cumulated memory: 10802136 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.10 7.90 9/268 68911
/proc/meminfo: memFree=85426680/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12205528 memory=10802248 CPUtime=3449.94 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2341867 0 0 0 344301 693 0 0 20 0 2 0 60092109 12498460672 2700562 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3051382 2700562 3488 6655 0 3015851 0
[pid=68784/tid=68786] ppid=68781 vsize=12205528 memory=10802248 CPUtime=1676.46 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 575866 0 0 0 167449 197 0 0 20 0 2 0 60093453 12498460672 2700562 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 3449.94 s
Current children cumulated vsize: 12205528 KiB
Current children cumulated memory: 10802248 KiB

[startup+1842.3 s]
/proc/loadavg: 7.52 7.94 7.86 6/262 68973
/proc/meminfo: memFree=100876508/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12206444 memory=10806968 CPUtime=3568.86 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2384207 0 0 0 356182 704 0 0 20 0 2 0 60092109 12499398656 2701742 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3051611 2701742 3488 6655 0 3016080 0
[pid=68784/tid=68786] ppid=68781 vsize=12206444 memory=10802248 CPUtime=1735.69 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 591484 0 0 0 173364 205 0 0 20 0 2 0 60093453 12499398656 2701742 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 3568.86 s
Current children cumulated vsize: 12206444 KiB
Current children cumulated memory: 10806968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1858 s]*
/proc/loadavg: 7.27 7.86 7.83 7/266 69010
/proc/meminfo: memFree=93462536/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=12206900 memory=10807584 CPUtime=3600.06 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2388522 0 0 0 359299 707 0 0 20 0 2 0 60092109 12499865600 2701896 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 3051725 2701896 3488 6655 0 3016194 0
[pid=68784/tid=68786] ppid=68781 vsize=12206900 memory=-6731301893608411489 CPUtime=1751.24 cores=4,6
/proc/68784/task/68786/stat : 68786 (LSIPExact) R 68781 68784 67998 0 -1 4194368 595510 0 0 0 174916 208 0 0 20 0 2 0 60093453 12499865600 2701896 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 12206900 KiB
Current children cumulated memory: 10807584 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3594.89 s, system=7.37369 s

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

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

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

[startup+1859.2 s]
/proc/loadavg: 7.27 7.86 7.83 6/265 69010
/proc/meminfo: memFree=94623932/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=9561568 memory=8684620 CPUtime=3602.1 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) R 68781 68784 67998 0 -1 4194304 2588702 0 0 0 359486 724 0 0 20 0 1 0 60092109 9791045632 2171155 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2390392 2171155 3552 6655 0 2354861 0
Current children cumulated CPU time: 3602.1 s
Current children cumulated vsize: 9561568 KiB
Current children cumulated memory: 8684620 KiB

[startup+1859.6 s]
/proc/loadavg: 7.27 7.86 7.83 6/265 69010
/proc/meminfo: memFree=94623932/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=9561568 memory=8684620 CPUtime=3602.12 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) S 68781 68784 67998 0 -1 4194304 2599288 0 0 0 359488 724 0 0 20 0 1 0 60092109 9791045632 2171155 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2390392 2171155 3552 6655 0 2354861 0
Current children cumulated CPU time: 3602.12 s
Current children cumulated vsize: 9561568 KiB
Current children cumulated memory: 8684620 KiB

[startup+1860 s]*
/proc/loadavg: 7.08 7.81 7.81 6/266 69011
/proc/meminfo: memFree=94520476/131250000 swapFree=33010684/33010684
[pid=68784] ppid=68781 vsize=9561568 memory=8684620 CPUtime=3602.12 cores=4,6
/proc/68784/stat : 68784 (LSIPExact) S 68781 68784 67998 0 -1 4194304 2599288 0 0 0 359488 724 0 0 20 0 1 0 60092109 9791045632 2171155 18446744073709551615 94497804730368 94497831986769 140721653703904 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94497840489608 94497840921216 94497866907648 140721653709146 140721653709322 140721653709322 140721653714924 0
/proc/68784/statm: 2390392 2171155 3552 6655 0 2354861 0
[pid=69011] ppid=68784 vsize=615012 memory=602568 CPUtime=0.75 cores=4,6
/proc/69011/stat : 69011 (Exact) R 68784 69011 69011 0 -1 4194304 32023 0 0 0 60 15 0 0 20 0 1 0 60278031 629772288 150642 18446744073709551615 4198400 8335837 140724665598592 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9148648 9230840 18350080 140724665600187 140724665600541 140724665600541 140724665606095 0
/proc/69011/statm: 153753 150642 960 1011 0 152520 0
Current children cumulated CPU time: 3602.87 s
Current children cumulated vsize: 10176580 KiB
Current children cumulated memory: 9287188 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1860.14
CPU time (s): 3603.02
CPU user time (s): 3595.49
CPU system time (s): 7.53147
CPU usage (%): 193.696
Max. virtual memory (cumulated for all children) (KiB): 13316016
Max. memory (cumulated for all children) (KiB): 11362756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.49
system time used= 7.53147
maximum resident set size= 11362756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2631311
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= 373
involuntary context switches= 93045


# summary of solver processes directly reported to runsolver:
#   pid: 68784,69011
#   total CPU time (s): 3603.02
#   total CPU user time (s): 3595.49
#   total CPU system time (s): 7.53147

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70784 second user time and 9.13534 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-02 10:15:18
IDJOB=4505249
IDBENCH=155751
IDSOLVER=3336
FILE ID=nodeC013/4505249-1751444118
RUNJOBID= nodeC013-1751440305-68009
SLURM_JOB_ID= 9598399
Free space on /tmp= 432268 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_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-4505249-1751444118/watcher-4505249-1751444118 -o /tmp/evaluation-result-4505249-1751444118/solver-4505249-1751444118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751440305-68009 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4505249-1751444118.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= ae39b89921d4a5c4d7dfc676c1859a2a
RANDOM SEED=48801606

nodeC013 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.803
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.67
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.811
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.67
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		: 3608.201
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.67
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		: 3611.443
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.67
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		: 3700.000
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.67
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.629
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.67
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.636
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.67
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		: 3593.641
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115925184 kB
MemAvailable:   117163180 kB
Buffers:            3280 kB
Cached:          2036928 kB
SwapCached:            0 kB
Active:         12719864 kB
Inactive:        1792008 kB
Active(anon):   12484948 kB
Inactive(anon):        0 kB
Active(file):     234916 kB
Inactive(file):  1792008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            288976 kB
Writeback:             0 kB
AnonPages:      12470016 kB
Mapped:           137012 kB
Shmem:             13284 kB
KReclaimable:     100224 kB
Slab:             189024 kB
SReclaimable:     100224 kB
SUnreclaim:        88800 kB
KernelStack:        4304 kB
PageTables:        27992 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   13987808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6623232 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432012 MiB
End job on nodeC013 at 2025-07-02 10:46:19