Trace number 4504743

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) 3602.2 1829.96

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_4_mh_ic.opb
MD5SUMc58a3671c6a952d1c163a29e0b4e832b
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 benchmark4035713
Best CPU time to get the best result obtained on this benchmark3600.24
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 42268455767
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 42268455767
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.09/1827.90	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.09/1827.90	c numVar: 126385
3600.09/1827.90	c numCon: 286973
3600.09/1827.90	c numEqual: 3578
3600.09/1827.90	c intSize: 36
3600.09/1827.90	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.09/1827.90	c ------------------- Paras list -------------------
3600.09/1827.90	c Name                	 Type      	 Now       	 Default   	 Comment
3600.09/1827.90	c timeout             	 double    	 3600.000000	 3600      	 
3600.09/1827.90	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.09/1827.90	c ls_time             	 double    	 10.000000 	 10        	 
3600.09/1827.90	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.09/1827.90	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.09/1827.90	c random_seed         	 int       	 0         	 0         	 
3600.09/1827.90	c sample_size         	 int       	 50        	 50        	 
3600.09/1827.90	c sub_score           	 int       	 1         	 1         	 
3600.09/1827.90	c tabu_base           	 int       	 3         	 3         	 
3600.09/1827.90	c tabu_variation      	 int       	 1         	 1         	 
3600.09/1827.90	c sub_div             	 int       	 4         	 4         	 
3600.09/1827.90	c nbcore              	 int       	 2         	 1         	 
3600.09/1827.90	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.09/1827.90	c print_sol           	 int       	 1         	 1         	 
3600.09/1827.90	c tmpdir              	 string		 .         	 "."       	 
3600.09/1827.90	c home                	 string		 HOME	 "."       	 
3600.09/1827.90	c benchname           	 string		 HOME/instance-4504743-1751440305.opb	 ""        	 
3600.09/1827.90	c --------------------------------------------------
3600.09/1827.90	c Local Search solver
3600.09/1827.90	c LS find feasible solution for PBO with objective value 179052193
3600.09/1827.90	c MIP solver
3600.09/1827.90	c receive signal 15, try to interrupt solver...
3600.30/1828.02	c MIP solver find feasible solution
3600.30/1828.04	c MIP solver objective value: 8.28981e+06
3600.39/1828.13	c MIP find feasible solution for PBO with objective value 8289807
3600.39/1828.13	c copy file: 0
3600.39/1828.13	c gen ub file: HOME/instance-4504743-1751440305.opb_ub.opb
3600.39/1828.13	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 (62228 MiB free)
  memory of node 1: 64507 MiB (63520 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=68063, runsolver pid=68051

[startup+0.100065 s]*
/proc/loadavg: 0.64 1.16 2.25 5/264 68068
/proc/meminfo: memFree=128323788/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=126684 memory=87776 CPUtime=0.09 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 17278 0 0 0 6 3 0 0 20 0 1 0 59710794 129724416 21944 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 31671 21944 1152 6655 0 21906 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 126684 KiB
Current children cumulated memory: 87776 KiB

[startup+0.205617 s]*
/proc/loadavg: 0.64 1.16 2.25 5/264 68068
/proc/meminfo: memFree=128111464/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=194512 memory=159444 CPUtime=0.19 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 31085 0 0 0 14 5 0 0 20 0 1 0 59710794 199180288 39861 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 48628 39861 1152 6655 0 38863 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 194512 KiB
Current children cumulated memory: 159444 KiB

[startup+0.305619 s]*
/proc/loadavg: 0.64 1.16 2.25 5/264 68068
/proc/meminfo: memFree=127836512/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=222400 memory=187220 CPUtime=0.29 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 38051 0 0 0 23 6 0 0 20 0 1 0 59710794 227737600 46805 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 55600 46805 1152 6655 0 45835 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 222400 KiB
Current children cumulated memory: 187220 KiB

[startup+0.700196 s]
/proc/loadavg: 0.64 1.16 2.25 5/264 68068
/proc/meminfo: memFree=127596104/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=269480 memory=234324 CPUtime=0.68 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 49815 0 0 0 60 8 0 0 20 0 1 0 59710794 275947520 58581 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 67370 58581 1152 6655 0 57605 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234324 KiB

[startup+1.50018 s]
/proc/loadavg: 0.64 1.16 2.25 5/264 68068
/proc/meminfo: memFree=127362596/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=269480 memory=234324 CPUtime=1.47 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 49816 0 0 0 139 8 0 0 20 0 1 0 59710794 275947520 58581 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 67370 58581 1152 6655 0 57605 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234324 KiB

[startup+3.10548 s]
/proc/loadavg: 0.91 1.20 2.26 5/264 68068
/proc/meminfo: memFree=127363368/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=269480 memory=234324 CPUtime=3.07 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 49832 0 0 0 299 8 0 0 20 0 1 0 59710794 275947520 58581 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 67370 58581 1152 6655 0 57605 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234324 KiB

[startup+6.30018 s]
/proc/loadavg: 0.91 1.20 2.26 5/265 68069
/proc/meminfo: memFree=127363568/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=269480 memory=234324 CPUtime=6.26 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 49848 0 0 0 618 8 0 0 20 0 1 0 59710794 275947520 58581 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 67370 58581 1152 6655 0 57605 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234324 KiB

[startup+12.7001 s]
/proc/loadavg: 1.38 1.30 2.28 5/269 68073
/proc/meminfo: memFree=125599024/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=673308 memory=543368 CPUtime=12.64 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 103298 0 0 0 1245 19 0 0 20 0 2 0 59710794 689467392 135842 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 168327 135842 2752 6655 0 142210 0
[pid=68063/tid=68070] ppid=68051 vsize=673308 memory=540040 CPUtime=0 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) S 68051 68063 67998 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 59711840 689467392 135842 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 673308 KiB
Current children cumulated memory: 543368 KiB

[startup+25.5002 s]
/proc/loadavg: 1.78 1.39 2.30 7/269 68073
/proc/meminfo: memFree=123496412/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1310488 memory=1194824 CPUtime=28.79 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 231051 0 0 0 2831 48 0 0 20 0 2 0 59710794 1341939712 298706 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 327622 298706 3360 6655 0 311620 0
[pid=68063/tid=68070] ppid=68051 vsize=1310488 memory=1133580 CPUtime=3.41 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 27233 0 0 0 336 5 0 0 20 0 2 0 59711840 1341939712 298706 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 1310488 KiB
Current children cumulated memory: 1194824 KiB

[startup+51.1057 s]
/proc/loadavg: 3.59 1.84 2.43 7/269 68073
/proc/meminfo: memFree=120225072/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1845160 memory=1685328 CPUtime=79.33 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 415421 0 0 0 7847 86 0 0 20 0 2 0 59710794 1889443840 421332 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 461290 421332 3456 6655 0 449074 0
[pid=68063/tid=68070] ppid=68051 vsize=1845160 memory=3832625087626505482 CPUtime=28.47 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 64987 0 0 0 2835 12 0 0 20 0 2 0 59711840 1889443840 421332 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 79.33 s
Current children cumulated vsize: 1845160 KiB
Current children cumulated memory: 1685328 KiB

[startup+102.3 s]
/proc/loadavg: 6.10 2.82 2.73 9/269 68075
/proc/meminfo: memFree=118810528/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1862844 memory=1757572 CPUtime=180.87 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 615587 0 0 0 17938 149 0 0 20 0 2 0 59710794 1907552256 439393 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 465711 439393 3456 6655 0 453882 0
[pid=68063/tid=68070] ppid=68051 vsize=1862844 memory=1872356 CPUtime=79.05 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 120072 0 0 0 7869 36 0 0 20 0 2 0 59711840 1907552256 439393 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 180.87 s
Current children cumulated vsize: 1862844 KiB
Current children cumulated memory: 1757572 KiB

[startup+162.3 s]
/proc/loadavg: 7.41 3.80 3.07 9/269 68077
/proc/meminfo: memFree=118815852/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1785676 memory=1693892 CPUtime=299.81 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 729663 0 0 0 29772 209 0 0 20 0 2 0 59710794 1828532224 423473 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 446419 423473 3456 6655 0 434590 0
[pid=68063/tid=68070] ppid=68051 vsize=1785676 memory=1649176 CPUtime=138.28 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 165080 0 0 0 13748 80 0 0 20 0 2 0 59711840 1828532224 423473 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 299.81 s
Current children cumulated vsize: 1785676 KiB
Current children cumulated memory: 1693892 KiB

[startup+222.3 s]
/proc/loadavg: 7.73 4.55 3.38 9/271 68085
/proc/meminfo: memFree=118507904/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1982284 memory=1899324 CPUtime=416.09 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 836879 0 0 0 41386 223 0 0 20 0 2 0 59710794 2029858816 474831 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 495571 474831 3456 6655 0 479661 0
[pid=68063/tid=68070] ppid=68051 vsize=1982284 memory=1649176 CPUtime=194.86 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 200828 0 0 0 19397 89 0 0 20 0 2 0 59711840 2029858816 474831 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 416.09 s
Current children cumulated vsize: 1982284 KiB
Current children cumulated memory: 1899324 KiB

[startup+282.3 s]
/proc/loadavg: 7.98 5.20 3.68 9/271 68087
/proc/meminfo: memFree=118317816/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1982284 memory=1914620 CPUtime=535.06 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 894683 0 0 0 53275 231 0 0 20 0 2 0 59710794 2029858816 478655 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 495571 478655 3456 6655 0 481362 0
[pid=68063/tid=68070] ppid=68051 vsize=1982284 memory=1649176 CPUtime=254.11 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 222711 0 0 0 25318 93 0 0 20 0 2 0 59711840 2029858816 478655 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 535.06 s
Current children cumulated vsize: 1982284 KiB
Current children cumulated memory: 1914620 KiB

[startup+342.3 s]
/proc/loadavg: 8.06 5.73 3.96 9/268 68089
/proc/meminfo: memFree=118249120/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1983576 memory=1919252 CPUtime=654.02 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 936874 0 0 0 65166 236 0 0 20 0 2 0 59710794 2031181824 479813 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 495894 479813 3456 6655 0 481685 0
[pid=68063/tid=68070] ppid=68051 vsize=1983576 memory=1950732 CPUtime=313.36 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 252119 0 0 0 31240 96 0 0 20 0 2 0 59711840 2031181824 479813 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 654.02 s
Current children cumulated vsize: 1983576 KiB
Current children cumulated memory: 1919252 KiB

[startup+402.3 s]

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

[startup+1482.3 s]
/proc/loadavg: 8.12 8.08 6.92 9/268 68146
/proc/meminfo: memFree=114558336/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=2116636 memory=1998768 CPUtime=2914.63 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 1857675 0 0 0 291080 383 0 0 20 0 2 0 59710794 2167435264 499692 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 529159 499692 3456 6655 0 500565 0
[pid=68063/tid=68070] ppid=68051 vsize=2116636 memory=1998768 CPUtime=1439.44 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 611850 0 0 0 143756 188 0 0 20 0 2 0 59711840 2167435264 499692 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 2914.63 s
Current children cumulated vsize: 2116636 KiB
Current children cumulated memory: 1998768 KiB

[startup+1542.3 s]
/proc/loadavg: 8.15 8.09 7.00 9/268 68148
/proc/meminfo: memFree=113671856/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=2116636 memory=1998768 CPUtime=3033.66 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 1861747 0 0 0 302983 383 0 0 20 0 2 0 59710794 2167435264 499692 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 529159 499692 3456 6655 0 500565 0
[pid=68063/tid=68070] ppid=68051 vsize=2116636 memory=14720 CPUtime=1498.73 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 613869 0 0 0 149685 188 0 0 20 0 2 0 59711840 2167435264 499692 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 2116636 KiB
Current children cumulated memory: 1998768 KiB

[startup+1602.3 s]
/proc/loadavg: 8.10 8.09 7.07 9/267 68150
/proc/meminfo: memFree=113328304/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=2116636 memory=1998896 CPUtime=3152.68 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 1920642 0 0 0 314880 388 0 0 20 0 2 0 59710794 2167435264 499724 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 529159 499724 3456 6655 0 500565 0
[pid=68063/tid=68070] ppid=68051 vsize=2116636 memory=14720 CPUtime=1558.02 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 641696 0 0 0 155612 190 0 0 20 0 2 0 59711840 2167435264 499724 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 2116636 KiB
Current children cumulated memory: 1998896 KiB

[startup+1662.3 s]
/proc/loadavg: 8.15 8.10 7.14 9/267 68152
/proc/meminfo: memFree=113087440/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=2143392 memory=2021668 CPUtime=3271.65 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 1989522 0 0 0 326771 394 0 0 20 0 2 0 59710794 2194833408 505417 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 535848 505417 3456 6655 0 507254 0
[pid=68063/tid=68070] ppid=68051 vsize=2143392 memory=14720 CPUtime=1617.29 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 664101 0 0 0 161537 192 0 0 20 0 2 0 59711840 2194833408 505417 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 3271.65 s
Current children cumulated vsize: 2143392 KiB
Current children cumulated memory: 2021668 KiB

[startup+1722.3 s]
/proc/loadavg: 7.96 8.06 7.19 8/267 68157
/proc/meminfo: memFree=112871200/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=2130444 memory=2046600 CPUtime=3390.66 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 2039829 0 0 0 338666 400 0 0 20 0 2 0 59710794 2181574656 511650 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 532611 511650 3456 6655 0 514269 0
[pid=68063/tid=68070] ppid=68051 vsize=2130444 memory=14720 CPUtime=1676.58 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 674436 0 0 0 167464 194 0 0 20 0 2 0 59711840 2181574656 511650 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 3390.66 s
Current children cumulated vsize: 2130444 KiB
Current children cumulated memory: 2046600 KiB

[startup+1782.3 s]
/proc/loadavg: 7.40 7.88 7.18 8/267 68159
/proc/meminfo: memFree=112879576/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=2130444 memory=2047624 CPUtime=3509.66 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 2082615 0 0 0 350561 405 0 0 20 0 2 0 59710794 2181574656 511906 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 532611 511906 3456 6655 0 514269 0
[pid=68063/tid=68070] ppid=68051 vsize=2130444 memory=2046600 CPUtime=1735.86 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 680124 0 0 0 173392 194 0 0 20 0 2 0 59711840 2181574656 511906 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 3509.66 s
Current children cumulated vsize: 2130444 KiB
Current children cumulated memory: 2047624 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1827.9 s]
/proc/loadavg: 7.23 7.77 7.18 8/267 68160
/proc/meminfo: memFree=112888692/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=2130444 memory=2048008 CPUtime=3600.09 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) R 68051 68063 67998 0 -1 4194304 2114600 0 0 0 359601 408 0 0 20 0 2 0 59710794 2181574656 512002 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 532611 512002 3456 6655 0 514269 0
[pid=68063/tid=68070] ppid=68051 vsize=2130444 memory=2047880 CPUtime=1780.92 cores=1,3
/proc/68063/task/68070/stat : 68070 (LSIPExact) R 68051 68063 67998 0 -1 4194368 686765 0 0 0 177897 195 0 0 20 0 2 0 59711840 2181574656 512002 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2130444 KiB
Current children cumulated memory: 2048008 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3596.28 s, system=4.17408 s

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

# cumulated CPU time of all completed processes:  user=3597.87 s, system=4.32445 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+1828.8 s]
/proc/loadavg: 7.23 7.77 7.18 7/267 68160
/proc/meminfo: memFree=112888724/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1826192 memory=1774612 CPUtime=3600.39 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) S 68051 68063 67998 0 -1 4194304 2169202 228 0 0 359627 412 0 0 20 0 1 0 59710794 1870020608 443653 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 456548 443653 3488 6655 0 444561 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 1826192 KiB
Current children cumulated memory: 1774612 KiB

[startup+1829.6 s]
/proc/loadavg: 7.23 7.77 7.18 7/267 68162
/proc/meminfo: memFree=112962316/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1826192 memory=1774612 CPUtime=3600.39 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) S 68051 68063 67998 0 -1 4194304 2169202 228 0 0 359627 412 0 0 20 0 1 0 59710794 1870020608 443653 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 456548 443653 3488 6655 0 444561 0
[pid=68162] ppid=68063 vsize=302208 memory=278384 CPUtime=1.43 cores=1,3
/proc/68162/stat : 68162 (Exact) R 68063 68162 68162 0 -1 4194304 48546 0 0 0 131 12 0 0 20 0 1 0 59893607 309460992 69596 18446744073709551615 4198400 8335837 140729726371280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29360128 140729726376116 140729726376477 140729726376477 140729726382031 0
/proc/68162/statm: 75552 69596 960 1011 0 74319 0
Current children cumulated CPU time: 3601.82 s
Current children cumulated vsize: 2128400 KiB
Current children cumulated memory: 2052996 KiB

[startup+1829.8 s]
/proc/loadavg: 7.23 7.77 7.18 7/267 68162
/proc/meminfo: memFree=112962316/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1826192 memory=1774612 CPUtime=3600.39 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) S 68051 68063 67998 0 -1 4194304 2169202 228 0 0 359627 412 0 0 20 0 1 0 59710794 1870020608 443653 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 456548 443653 3488 6655 0 444561 0
[pid=68162] ppid=68063 vsize=334944 memory=325560 CPUtime=1.63 cores=1,3
/proc/68162/stat : 68162 (Exact) R 68063 68162 68162 0 -1 4194304 56759 0 0 0 150 13 0 0 20 0 1 0 59893607 342982656 81390 18446744073709551615 4198400 8335837 140729726371280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29360128 140729726376116 140729726376477 140729726376477 140729726382031 0
/proc/68162/statm: 83736 81390 960 1011 0 82503 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 2161136 KiB
Current children cumulated memory: 2100172 KiB

[startup+1829.9 s]
/proc/loadavg: 7.23 7.77 7.18 7/267 68162
/proc/meminfo: memFree=112962316/131250000 swapFree=33010684/33010684
[pid=68063] ppid=68051 vsize=1826192 memory=1774612 CPUtime=3600.39 cores=1,3
/proc/68063/stat : 68063 (LSIPExact) S 68051 68063 67998 0 -1 4194304 2169202 228 0 0 359627 412 0 0 20 0 1 0 59710794 1870020608 443653 18446744073709551615 93858506715136 93858533971537 140726701089296 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93858542474376 93858542905984 93858543591424 140726701095258 140726701095434 140726701095434 140726701101036 0
/proc/68063/statm: 456548 443653 3488 6655 0 444561 0
[pid=68162] ppid=68063 vsize=362788 memory=355468 CPUtime=1.73 cores=1,3
/proc/68162/stat : 68162 (Exact) R 68063 68162 68162 0 -1 4194304 58596 0 0 0 159 14 0 0 20 0 1 0 59893607 371494912 88867 18446744073709551615 4198400 8335837 140729726371280 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 29360128 140729726376116 140729726376477 140729726376477 140729726382031 0
/proc/68162/statm: 90697 88867 960 1011 0 89464 0
Current children cumulated CPU time: 3602.12 s
Current children cumulated vsize: 2188980 KiB
Current children cumulated memory: 2130080 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1829.96
CPU time (s): 3602.2
CPU user time (s): 3597.87
CPU system time (s): 4.32445
CPU usage (%): 196.846
Max. virtual memory (cumulated for all children) (KiB): 2194584
Max. memory (cumulated for all children) (KiB): 2130080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.87
system time used= 4.32445
maximum resident set size= 2091740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2228026
page faults= 0
swaps= 0
block input operations= 24744
block output operations= 1328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 549
involuntary context switches= 73671


# summary of solver processes directly reported to runsolver:
#   pid: 68063,68162
#   total CPU time (s): 3602.2
#   total CPU user time (s): 3597.87
#   total CPU system time (s): 4.32445

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86135 second user time and 9.2616 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-02 09:11:45
IDJOB=4504743
IDBENCH=155675
IDSOLVER=3336
FILE ID=nodeC013/4504743-1751440305
RUNJOBID= nodeC013-1751440305-68010
SLURM_JOB_ID= 9598399
Free space on /tmp= 432640 MiB

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

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

MD5SUM BENCH= c58a3671c6a952d1c163a29e0b4e832b
RANDOM SEED=1719328969

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.830
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		: 3603.115
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		: 3700.000
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		: 3599.821
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		: 3599.783
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.840
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		: 3700.000
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		: 3700.000
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:        128774748 kB
MemAvailable:   129769836 kB
Buffers:            3280 kB
Cached:          1794084 kB
SwapCached:            0 kB
Active:           313904 kB
Inactive:        1549180 kB
Active(anon):      79004 kB
Inactive(anon):        0 kB
Active(file):     234900 kB
Inactive(file):  1549180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            254536 kB
Writeback:             0 kB
AnonPages:         68792 kB
Mapped:            99320 kB
Shmem:             13284 kB
KReclaimable:     100096 kB
Slab:             188832 kB
SReclaimable:     100096 kB
SUnreclaim:        88736 kB
KernelStack:        4016 kB
PageTables:         2804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     316812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 432448 MiB
End job on nodeC013 at 2025-07-02 09:42:15