Trace number 4527589

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.22 1847.98

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_7_mh_ic.opb
MD5SUM13b8bbb872de86791f42ef521acd2179
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 benchmark3135704
Best CPU time to get the best result obtained on this benchmark3585.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 135796744
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 69525451982
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 135796744
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 69525451982
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.11/1845.90	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.11/1845.90	c numVar: 370300
3600.11/1845.90	c numCon: 847958
3600.11/1845.90	c numEqual: 7358
3600.11/1845.90	c intSize: 37
3600.11/1845.90	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.11/1845.90	c ------------------- Paras list -------------------
3600.11/1845.90	c Name                	 Type      	 Now       	 Default   	 Comment
3600.11/1845.90	c timeout             	 double    	 3600.000000	 3600      	 
3600.11/1845.90	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.11/1845.90	c ls_time             	 double    	 10.000000 	 10        	 
3600.11/1845.90	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.11/1845.90	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.11/1845.90	c random_seed         	 int       	 0         	 0         	 
3600.11/1845.90	c sample_size         	 int       	 50        	 50        	 
3600.11/1845.90	c sub_score           	 int       	 1         	 1         	 
3600.11/1845.90	c tabu_base           	 int       	 3         	 3         	 
3600.11/1845.90	c tabu_variation      	 int       	 1         	 1         	 
3600.11/1845.90	c sub_div             	 int       	 4         	 4         	 
3600.11/1845.90	c nbcore              	 int       	 2         	 1         	 
3600.11/1845.90	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.11/1845.90	c print_sol           	 int       	 1         	 1         	 
3600.11/1845.90	c tmpdir              	 string		 .         	 "."       	 
3600.11/1845.90	c home                	 string		 HOME	 "."       	 
3600.11/1845.90	c benchname           	 string		 HOME/instance-4527589-1752234040.opb	 ""        	 
3600.11/1845.90	c --------------------------------------------------
3600.11/1845.90	c Local Search solver
3600.11/1845.90	c MIP solver
3600.11/1845.90	c receive signal 15, try to interrupt solver...
3600.35/1846.11	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: 63708 MiB (61895 MiB free)
  memory of node 1: 64465 MiB (53404 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527589-1752234040/watcher-4527589-1752234040 -o /tmp/evaluation-result-4527589-1752234040/solver-4527589-1752234040 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752232205-121539 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527589-1752234040.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=121819, runsolver pid=121815

[startup+0.100066 s]*
/proc/loadavg: 7.24 7.90 6.98 6/264 121822
/proc/meminfo: memFree=117868060/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=228480 memory=175536 CPUtime=0.08 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 32660 0 0 0 3 5 0 0 20 0 1 0 139082902 233963520 43884 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 57120 43884 1152 6655 0 47355 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 228480 KiB
Current children cumulated memory: 175536 KiB

[startup+0.205542 s]*
/proc/loadavg: 7.24 7.90 6.98 6/264 121822
/proc/meminfo: memFree=117768080/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=273528 memory=229640 CPUtime=0.18 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 44636 0 0 0 11 7 0 0 20 0 1 0 139082902 280092672 57410 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 68382 57410 1152 6655 0 58617 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 273528 KiB
Current children cumulated memory: 229640 KiB

[startup+0.305464 s]*
/proc/loadavg: 7.24 7.90 6.98 6/264 121822
/proc/meminfo: memFree=117646604/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=369392 memory=316868 CPUtime=0.28 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 51052 0 0 0 19 9 0 0 20 0 1 0 139082902 378257408 79217 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 92348 79217 1152 6655 0 82583 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 369392 KiB
Current children cumulated memory: 316868 KiB

[startup+0.700179 s]
/proc/loadavg: 7.24 7.90 6.98 6/264 121822
/proc/meminfo: memFree=117472780/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=523860 memory=487108 CPUtime=0.67 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 89547 0 0 0 51 16 0 0 20 0 1 0 139082902 536432640 121777 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 130965 121777 1152 6655 0 121200 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 523860 KiB
Current children cumulated memory: 487108 KiB

[startup+1.50017 s]
/proc/loadavg: 7.24 7.90 6.98 5/263 121828
/proc/meminfo: memFree=117273640/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=729216 memory=692456 CPUtime=1.47 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 140381 0 0 0 123 24 0 0 20 0 1 0 139082902 746717184 173114 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 182304 173114 1152 6655 0 172539 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 729216 KiB
Current children cumulated memory: 692456 KiB

[startup+3.10535 s]
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=116027644/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=729216 memory=692584 CPUtime=3.07 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 140452 0 0 0 282 25 0 0 20 0 1 0 139082902 746717184 173146 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 182304 173146 1152 6655 0 172539 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 729216 KiB
Current children cumulated memory: 692584 KiB

[startup+6.30017 s]
/proc/loadavg: 7.06 7.85 6.97 6/267 121832
/proc/meminfo: memFree=115378588/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=729216 memory=692584 CPUtime=6.25 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 140580 0 0 0 600 25 0 0 20 0 1 0 139082902 746717184 173146 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 182304 173146 1152 6655 0 172539 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 729216 KiB
Current children cumulated memory: 692584 KiB

[startup+12.7002 s]
/proc/loadavg: 6.81 7.79 6.95 5/268 121881
/proc/meminfo: memFree=116057332/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=1663540 memory=1503176 CPUtime=12.6 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 242938 0 0 0 1210 50 0 0 20 0 2 0 139082902 1703464960 375794 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 415885 375794 2752 6655 0 389768 0
[pid=121819/tid=121881] ppid=121815 vsize=1663540 memory=804284 CPUtime=0 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) S 121815 121819 121522 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139084031 1703464960 375794 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1663540 KiB
Current children cumulated memory: 1503176 KiB

[startup+25.5002 s]
/proc/loadavg: 6.42 7.65 6.92 6/270 121883
/proc/meminfo: memFree=111923736/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=2309116 memory=2099776 CPUtime=25.37 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 323076 0 0 0 2466 71 0 0 20 0 2 0 139082902 2364534784 524944 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 577279 524944 2912 6655 0 551162 0
[pid=121819/tid=121881] ppid=121815 vsize=2309116 memory=2117260 CPUtime=0 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) S 121815 121819 121522 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139084031 2364534784 524944 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2309116 KiB
Current children cumulated memory: 2099776 KiB

[startup+51.1055 s]
/proc/loadavg: 6.35 7.53 6.90 8/270 121883
/proc/meminfo: memFree=107420260/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=3098940 memory=2782676 CPUtime=51.96 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 502693 0 0 0 5075 121 0 0 20 0 2 0 139082902 3173314560 695669 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 774735 695669 3264 6655 0 754012 0
[pid=121819/tid=121881] ppid=121815 vsize=3098940 memory=2786960 CPUtime=1.17 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 36197 0 0 0 107 10 0 0 20 0 2 0 139084031 3173314560 695669 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 51.96 s
Current children cumulated vsize: 3098940 KiB
Current children cumulated memory: 2782676 KiB

[startup+102.3 s]
/proc/loadavg: 6.92 7.50 6.92 8/268 121885
/proc/meminfo: memFree=104941004/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4669040 memory=4319144 CPUtime=152.78 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 882519 0 0 0 15042 236 0 0 20 0 2 0 139082902 4781096960 1079786 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1167260 1079786 3520 6655 0 1149771 0
[pid=121819/tid=121881] ppid=121815 vsize=4669040 memory=4820740 CPUtime=51.06 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 142306 0 0 0 5066 40 0 0 20 0 2 0 139084031 4781096960 1079786 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 152.78 s
Current children cumulated vsize: 4669040 KiB
Current children cumulated memory: 4319144 KiB

[startup+162.3 s]
/proc/loadavg: 7.61 7.58 6.99 9/269 121888
/proc/meminfo: memFree=104175808/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4692932 memory=4369392 CPUtime=271.7 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 933015 0 0 0 26913 257 0 0 20 0 2 0 139082902 4805562368 1092348 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1173233 1092348 3520 6655 0 1155744 0
[pid=121819/tid=121881] ppid=121815 vsize=4692932 memory=19456 CPUtime=110.31 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 169299 0 0 0 10976 55 0 0 20 0 2 0 139084031 4805562368 1092348 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 271.7 s
Current children cumulated vsize: 4692932 KiB
Current children cumulated memory: 4369392 KiB

[startup+222.3 s]
/proc/loadavg: 7.91 7.67 7.06 9/269 121891
/proc/meminfo: memFree=104133660/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4861896 memory=4442612 CPUtime=390.61 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 1043647 0 0 0 38770 291 0 0 20 0 2 0 139082902 4978581504 1110653 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1215474 1110653 3520 6655 0 1197985 0
[pid=121819/tid=121881] ppid=121815 vsize=4861896 memory=4442484 CPUtime=169.55 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 196636 0 0 0 16886 69 0 0 20 0 2 0 139084031 4978581504 1110653 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 390.61 s
Current children cumulated vsize: 4861896 KiB
Current children cumulated memory: 4442612 KiB

[startup+282.3 s]
/proc/loadavg: 7.85 7.72 7.11 8/268 121893
/proc/meminfo: memFree=103581456/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4540140 memory=4329912 CPUtime=500.14 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 1233124 0 0 0 49677 337 0 0 20 0 2 0 139082902 4649103360 1082478 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1135035 1082478 3520 6655 0 1117546 0
[pid=121819/tid=121881] ppid=121815 vsize=4540140 memory=4329912 CPUtime=219.59 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) S 121815 121819 121522 0 -1 4194368 236902 0 0 0 21882 77 0 0 20 0 2 0 139084031 4649103360 1082478 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 500.14 s
Current children cumulated vsize: 4540140 KiB
Current children cumulated memory: 4329912 KiB

[startup+342.3 s]
/proc/loadavg: 7.98 7.78 7.18 9/267 121895
/proc/meminfo: memFree=103032300/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=5028504 memory=4776012 CPUtime=618.65 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 1321781 0 0 0 61501 364 0 0 20 0 2 0 139082902 5149188096 1194003 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1257126 1194003 3520 6655 0 1239637 0
[pid=121819/tid=121881] ppid=121815 vsize=5028504 memory=4775544 CPUtime=278.47 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 276815 0 0 0 27751 96 0 0 20 0 2 0 139084031 5149188096 1194003 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 618.65 s
Current children cumulated vsize: 5028504 KiB
Current children cumulated memory: 4776012 KiB

[startup+402.3 s]

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

/proc/loadavg: 8.10 7.94 7.64 9/267 122200
/proc/meminfo: memFree=102862424/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=5174652 memory=4950868 CPUtime=3116.99 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 2899134 0 0 0 310701 998 0 0 20 0 2 0 139082902 5298843648 1237717 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1293663 1237717 3520 6655 0 1276174 0
[pid=121819/tid=121881] ppid=121815 vsize=5174652 memory=14692 CPUtime=1522.95 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 679991 0 0 0 152062 233 0 0 20 0 2 0 139084031 5298843648 1237717 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 3116.99 s
Current children cumulated vsize: 5174652 KiB
Current children cumulated memory: 4950868 KiB

[startup+1662.3 s]
/proc/loadavg: 8.15 7.99 7.67 9/267 122203
/proc/meminfo: memFree=102873668/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=5176424 memory=4953388 CPUtime=3235.97 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 2986134 0 0 0 322556 1041 0 0 20 0 2 0 139082902 5300658176 1238347 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1294106 1238347 3520 6655 0 1276617 0
[pid=121819/tid=121881] ppid=121815 vsize=5176424 memory=14692 CPUtime=1582.23 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 699867 0 0 0 157981 242 0 0 20 0 2 0 139084031 5300658176 1238347 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 3235.97 s
Current children cumulated vsize: 5176424 KiB
Current children cumulated memory: 4953388 KiB

[startup+1722.3 s]
/proc/loadavg: 8.11 8.01 7.70 9/267 122205
/proc/meminfo: memFree=102831188/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=5179300 memory=4962376 CPUtime=3354.95 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 3023486 0 0 0 334420 1075 0 0 20 0 2 0 139082902 5303603200 1240594 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1294825 1240594 3520 6655 0 1277336 0
[pid=121819/tid=121881] ppid=121815 vsize=5179300 memory=14692 CPUtime=1641.5 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 733776 0 0 0 163895 255 0 0 20 0 2 0 139084031 5303603200 1240594 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 3354.95 s
Current children cumulated vsize: 5179300 KiB
Current children cumulated memory: 4962376 KiB

[startup+1782.3 s]
/proc/loadavg: 8.08 8.02 7.73 9/267 122208
/proc/meminfo: memFree=102797152/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=5179300 memory=4962400 CPUtime=3473.95 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 3114378 0 0 0 346268 1127 0 0 20 0 2 0 139082902 5303603200 1240600 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1294825 1240600 3520 6655 0 1277336 0
[pid=121819/tid=121881] ppid=121815 vsize=5179300 memory=14692 CPUtime=1700.79 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 744552 0 0 0 169818 261 0 0 20 0 2 0 139084031 5303603200 1240600 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 3473.95 s
Current children cumulated vsize: 5179300 KiB
Current children cumulated memory: 4962400 KiB

[startup+1842.3 s]
/proc/loadavg: 8.06 8.03 7.75 7/263 122247
/proc/meminfo: memFree=104581312/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=5212096 memory=4968524 CPUtime=3592.94 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 3174806 0 0 0 358126 1168 0 0 20 0 2 0 139082902 5337186304 1242131 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1303024 1242131 3520 6655 0 1285535 0
[pid=121819/tid=121881] ppid=121815 vsize=5212096 memory=4962408 CPUtime=1760.07 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 767339 0 0 0 175737 270 0 0 20 0 2 0 139084031 5337186304 1242131 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 3592.94 s
Current children cumulated vsize: 5212096 KiB
Current children cumulated memory: 4968524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1845.9 s]
/proc/loadavg: 7.97 8.01 7.75 8/266 122257
/proc/meminfo: memFree=104604228/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=5212096 memory=4968524 CPUtime=3600.11 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) R 121815 121819 121522 0 -1 4194304 3174806 0 0 0 358842 1169 0 0 20 0 2 0 139082902 5337186304 1242131 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1303024 1242131 3520 6655 0 1285535 0
[pid=121819/tid=121881] ppid=121815 vsize=5212096 memory=4962408 CPUtime=1763.63 cores=4,6
/proc/121819/task/121881/stat : 121881 (LSIPExact) R 121815 121819 121522 0 -1 4194368 767339 0 0 0 176093 270 0 0 20 0 2 0 139084031 5337186304 1242131 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 5212096 KiB
Current children cumulated memory: 4968524 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3588.61 s, system=11.8328 s

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

# cumulated CPU time of all completed processes:  user=3590.19 s, system=12.0253 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+1846.4 s]
/proc/loadavg: 7.97 8.01 7.75 7/266 122257
/proc/meminfo: memFree=104990528/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4116828 memory=4004216 CPUtime=3600.36 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) S 121815 121819 121522 0 -1 4194304 3276291 0 0 0 358861 1175 0 0 20 0 1 0 139082902 4215631872 1001054 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1029207 1001054 3552 6655 0 1011718 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 4116828 KiB
Current children cumulated memory: 4004216 KiB

[startup+1847.2 s]
/proc/loadavg: 7.97 8.01 7.75 7/266 122258
/proc/meminfo: memFree=105153648/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4116828 memory=4004216 CPUtime=3600.36 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) S 121815 121819 121522 0 -1 4194304 3276291 0 0 0 358861 1175 0 0 20 0 1 0 139082902 4215631872 1001054 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1029207 1001054 3552 6655 0 1011718 0
[pid=122258] ppid=121819 vsize=480324 memory=456504 CPUtime=1.05 cores=4,6
/proc/122258/stat : 122258 (Exact) R 121819 122258 122258 0 -1 4194304 56350 0 0 0 90 15 0 0 20 0 1 0 139267514 491851776 114126 18446744073709551615 4198400 8335837 140727521846560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27185152 140727521855673 140727521856027 140727521856027 140727521861583 0
/proc/122258/statm: 120081 114126 960 1011 0 118848 0
Current children cumulated CPU time: 3601.41 s
Current children cumulated vsize: 4597152 KiB
Current children cumulated memory: 4460720 KiB

[startup+1847.6 s]
/proc/loadavg: 7.97 8.01 7.75 7/266 122258
/proc/meminfo: memFree=105153648/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4116828 memory=4004216 CPUtime=3600.36 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) S 121815 121819 121522 0 -1 4194304 3276291 0 0 0 358861 1175 0 0 20 0 1 0 139082902 4215631872 1001054 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1029207 1001054 3552 6655 0 1011718 0
[pid=122258] ppid=121819 vsize=488112 memory=473400 CPUtime=1.45 cores=4,6
/proc/122258/stat : 122258 (Exact) R 121819 122258 122258 0 -1 4194304 58510 0 0 0 130 15 0 0 20 0 1 0 139267514 499826688 118350 18446744073709551615 4198400 8335837 140727521846560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27185152 140727521855673 140727521856027 140727521856027 140727521861583 0
/proc/122258/statm: 122028 118350 960 1011 0 120795 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 4604940 KiB
Current children cumulated memory: 4477616 KiB

[startup+1847.8 s]
/proc/loadavg: 7.97 8.01 7.75 7/266 122258
/proc/meminfo: memFree=105153648/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4116828 memory=4004216 CPUtime=3600.36 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) S 121815 121819 121522 0 -1 4194304 3276291 0 0 0 358861 1175 0 0 20 0 1 0 139082902 4215631872 1001054 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1029207 1001054 3552 6655 0 1011718 0
[pid=122258] ppid=121819 vsize=539644 memory=506792 CPUtime=1.65 cores=4,6
/proc/122258/stat : 122258 (Exact) R 121819 122258 122258 0 -1 4194304 65744 0 0 0 148 17 0 0 20 0 1 0 139267514 552595456 126698 18446744073709551615 4198400 8335837 140727521846560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27185152 140727521855673 140727521856027 140727521856027 140727521861583 0
/proc/122258/statm: 134911 126698 960 1011 0 133678 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 4656472 KiB
Current children cumulated memory: 4511008 KiB

[startup+1847.9 s]
/proc/loadavg: 7.97 8.01 7.75 7/266 122258
/proc/meminfo: memFree=105153648/131249992 swapFree=33010160/33010684
[pid=121819] ppid=121815 vsize=4116828 memory=4004216 CPUtime=3600.36 cores=4,6
/proc/121819/stat : 121819 (LSIPExact) S 121815 121819 121522 0 -1 4194304 3276291 0 0 0 358861 1175 0 0 20 0 1 0 139082902 4215631872 1001054 18446744073709551615 94376170262528 94376197519697 140723756309696 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94376206021768 94376206453376 94376228634624 140723756312920 140723756313096 140723756313096 140723756318700 0
/proc/121819/statm: 1029207 1001054 3552 6655 0 1011718 0
[pid=122258] ppid=121819 vsize=553768 memory=522980 CPUtime=1.75 cores=4,6
/proc/122258/stat : 122258 (Exact) R 121819 122258 122258 0 -1 4194304 69270 0 0 0 157 18 0 0 20 0 1 0 139267514 567058432 130745 18446744073709551615 4198400 8335837 140727521846560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 27185152 140727521855673 140727521856027 140727521856027 140727521861583 0
/proc/122258/statm: 138442 130745 960 1011 0 137209 0
Current children cumulated CPU time: 3602.11 s
Current children cumulated vsize: 4670596 KiB
Current children cumulated memory: 4527196 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1847.98
CPU time (s): 3602.22
CPU user time (s): 3590.19
CPU system time (s): 12.0253
CPU usage (%): 194.927
Max. virtual memory (cumulated for all children) (KiB): 5494544
Max. memory (cumulated for all children) (KiB): 5009028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.19
system time used= 12.0253
maximum resident set size= 5015724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3345562
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= 414
involuntary context switches= 111800


# summary of solver processes directly reported to runsolver:
#   pid: 121819,122258
#   total CPU time (s): 3602.22
#   total CPU user time (s): 3590.19
#   total CPU system time (s): 12.0253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.75549 second user time and 8.72217 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-11 13:40:41
IDJOB=4527589
IDBENCH=155702
IDSOLVER=3384
FILE ID=nodeC025/4527589-1752234040
RUNJOBID= nodeC025-1752232205-121539
SLURM_JOB_ID= 9682536
Free space on /tmp= 432728 MiB

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

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

MD5SUM BENCH= 13b8bbb872de86791f42ef521acd2179
RANDOM SEED=1287912451

nodeC025 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.978
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.869
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		: 3600.064
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.216
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		: 3600.003
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.500
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		: 3604.708
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		: 3595.724
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:       131249992 kB
MemFree:        118146048 kB
MemAvailable:   127204860 kB
Buffers:            2128 kB
Cached:          9805152 kB
SwapCached:          200 kB
Active:          2907780 kB
Inactive:        9447620 kB
Active(anon):    2548912 kB
Inactive(anon):    17064 kB
Active(file):     358868 kB
Inactive(file):  9430556 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            123120 kB
Writeback:          8092 kB
AnonPages:       2551016 kB
Mapped:           117380 kB
Shmem:             17856 kB
KReclaimable:     217256 kB
Slab:             310360 kB
SReclaimable:     217256 kB
SUnreclaim:        93104 kB
KernelStack:        4176 kB
PageTables:         7880 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2859224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1099776 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432668 MiB
End job on nodeC025 at 2025-07-11 14:11:29