Trace number 4527591

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) 3604.18 1857.06

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
MD5SUMccba1baa4116ac35f164630a81450a8f
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 benchmark26093009
Best CPU time to get the best result obtained on this benchmark3601.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000400
Total number of constraints2000307
Number of constraints which are clauses980300
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints1020000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 29800
Biggest coefficient in the objective function 140608000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 193470682570
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 140608000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 193470682570
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=121831, runsolver pid=121828

[startup+0.100067 s]*
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=117079828/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=297860 memory=173064 CPUtime=0.09 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 31550 0 0 0 4 5 0 0 20 0 1 0 139083003 305008640 43266 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 74465 43266 1152 6655 0 64700 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 297860 KiB
Current children cumulated memory: 173064 KiB

[startup+0.20588 s]*
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=116865428/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=439232 memory=361728 CPUtime=0.19 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 66939 0 0 0 7 12 0 0 20 0 1 0 139083003 449773568 90400 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 109808 90432 1152 6655 0 100043 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 439232 KiB
Current children cumulated memory: 361728 KiB

[startup+0.305845 s]*
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=116691856/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=550168 memory=507236 CPUtime=0.29 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 95248 0 0 0 12 17 0 0 20 0 1 0 139083003 563372032 126809 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 137542 126809 1152 6655 0 127777 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 550168 KiB
Current children cumulated memory: 507236 KiB

[startup+0.700183 s]
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=116667664/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=592540 memory=549732 CPUtime=0.67 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 105863 0 0 0 48 19 0 0 20 0 1 0 139083003 606760960 137433 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 148135 137433 1152 6655 0 138370 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 592540 KiB
Current children cumulated memory: 549732 KiB

[startup+1.50018 s]
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=116285448/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=1064168 memory=1029456 CPUtime=1.47 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 167168 0 0 0 112 35 0 0 20 0 1 0 139083003 1089708032 257364 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 266042 257364 1152 6655 0 256277 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1064168 KiB
Current children cumulated memory: 1029456 KiB

[startup+3.10592 s]
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=115842460/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=1400332 memory=1365712 CPUtime=3.07 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 251782 0 0 0 258 49 0 0 20 0 1 0 139083003 1433939968 341428 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 350083 341428 1152 6655 0 340318 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1400332 KiB
Current children cumulated memory: 1365712 KiB

[startup+6.30016 s]
/proc/loadavg: 7.06 7.85 6.97 5/266 121832
/proc/meminfo: memFree=115717132/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=1827636 memory=1793024 CPUtime=6.25 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 355310 0 0 0 560 65 0 0 20 0 1 0 139083003 1871499264 448256 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 456909 448256 1152 6655 0 447144 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1827636 KiB
Current children cumulated memory: 1793024 KiB

[startup+12.7002 s]
/proc/loadavg: 6.81 7.79 6.95 5/268 121881
/proc/meminfo: memFree=114915696/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=3215424 memory=3167556 CPUtime=12.64 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 544634 0 0 0 1157 107 0 0 20 0 1 0 139083003 3292594176 791889 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 803856 791889 2240 6655 0 794091 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 3215424 KiB
Current children cumulated memory: 3167556 KiB

[startup+25.5002 s]
/proc/loadavg: 6.42 7.65 6.92 6/270 121883
/proc/meminfo: memFree=111863124/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=4405048 memory=4034216 CPUtime=25.4 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 611373 0 0 0 2394 146 0 0 20 0 2 0 139083003 4510769152 1008554 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 1101262 1008554 2816 6655 0 1075145 0
[pid=121831/tid=121882] ppid=121828 vsize=4405048 memory=3858240 CPUtime=0 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) S 121828 121831 121522 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139084346 4510769152 1008554 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4405048 KiB
Current children cumulated memory: 4034216 KiB

[startup+51.1057 s]
/proc/loadavg: 6.35 7.53 6.90 7/270 121883
/proc/meminfo: memFree=107573408/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=7817344 memory=6620164 CPUtime=51.91 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 791337 0 0 0 4944 247 0 0 20 0 2 0 139083003 8004960256 1655041 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 1954336 1655041 3072 6655 0 1942123 0
[pid=121831/tid=121882] ppid=121828 vsize=7817344 memory=3200 CPUtime=0.98 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) S 121828 121831 121522 0 -1 4194368 14547 0 0 0 91 7 0 0 20 0 2 0 139084346 8004960256 1655041 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 51.91 s
Current children cumulated vsize: 7817344 KiB
Current children cumulated memory: 6620164 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=121831] ppid=121828 vsize=8862392 memory=7529508 CPUtime=125.53 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 975103 0 0 0 12227 326 0 0 20 0 2 0 139083003 9075089408 1882377 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 2215598 1882377 3264 6655 0 2185937 0
[pid=121831/tid=121882] ppid=121828 vsize=8862392 memory=7194420 CPUtime=23.71 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 68632 0 0 0 2341 30 0 0 20 0 2 0 139084346 9075089408 1882377 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 125.53 s
Current children cumulated vsize: 8862392 KiB
Current children cumulated memory: 7529508 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=121831] ppid=121828 vsize=8871364 memory=7482944 CPUtime=244.36 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 991846 0 0 0 24104 332 0 0 20 0 2 0 139083003 9084276736 1870736 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 2217841 1870736 3264 6655 0 2188372 0
[pid=121831/tid=121882] ppid=121828 vsize=8871364 memory=14692 CPUtime=82.88 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 73882 0 0 0 8257 31 0 0 20 0 2 0 139084346 9084276736 1870736 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 244.36 s
Current children cumulated vsize: 8871364 KiB
Current children cumulated memory: 7482944 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=121831] ppid=121828 vsize=8871364 memory=7483316 CPUtime=363.2 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 1006476 0 0 0 35983 337 0 0 20 0 2 0 139083003 9084276736 1870829 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 2217841 1870829 3264 6655 0 2188372 0
[pid=121831/tid=121882] ppid=121828 vsize=8871364 memory=7483316 CPUtime=142.06 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 73885 0 0 0 14174 32 0 0 20 0 2 0 139084346 9084276736 1870829 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 363.2 s
Current children cumulated vsize: 8871364 KiB
Current children cumulated memory: 7483316 KiB

[startup+282.3 s]
/proc/loadavg: 7.85 7.72 7.11 9/268 121893
/proc/meminfo: memFree=103306964/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=9490520 memory=8140008 CPUtime=481.81 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 1183675 0 0 0 47799 382 0 0 20 0 2 0 139083003 9718292480 2035002 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 2372630 2035002 3328 6655 0 2323377 0
[pid=121831/tid=121882] ppid=121828 vsize=9490520 memory=7885540 CPUtime=201.1 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 237701 0 0 0 20034 76 0 0 20 0 2 0 139084346 9718292480 2035002 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 481.81 s
Current children cumulated vsize: 9490520 KiB
Current children cumulated memory: 8140008 KiB

[startup+342.3 s]
/proc/loadavg: 7.98 7.78 7.18 9/267 121895
/proc/meminfo: memFree=103032552/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=9490520 memory=8183216 CPUtime=600.4 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 1224716 0 0 0 59647 393 0 0 20 0 2 0 139083003 9718292480 2045804 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 2372630 2045804 3328 6655 0 2332945 0
[pid=121831/tid=121882] ppid=121828 vsize=9490520 memory=7885540 CPUtime=260.13 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 277447 0 0 0 25927 86 0 0 20 0 2 0 139084346 9718292480 2045804 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 600.4 s
Current children cumulated vsize: 9490520 KiB
Current children cumulated memory: 8183216 KiB

[startup+402.3 s]
/proc/loadavg: 8.04 7.84 7.24 9/267 121897

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

/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2161404 0 0 0 285344 696 0 0 20 0 2 0 139083003 12617826304 2695420 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3080524 2695420 3360 6655 0 3044163 0
[pid=121831/tid=121882] ppid=121828 vsize=12322096 memory=14692 CPUtime=1385.04 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 663361 0 0 0 138298 206 0 0 20 0 2 0 139084346 12617826304 2695420 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 2860.4 s
Current children cumulated vsize: 12322096 KiB
Current children cumulated memory: 10781680 KiB

[startup+1542.3 s]
/proc/loadavg: 8.13 7.91 7.60 9/269 122198
/proc/meminfo: memFree=102888344/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12322096 memory=10781648 CPUtime=2979.51 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2190780 0 0 0 297251 700 0 0 20 0 2 0 139083003 12617826304 2695412 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3080524 2695412 3360 6655 0 3044163 0
[pid=121831/tid=121882] ppid=121828 vsize=12322096 memory=10781648 CPUtime=1444.38 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 669024 0 0 0 144231 207 0 0 20 0 2 0 139084346 12617826304 2695412 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 2979.51 s
Current children cumulated vsize: 12322096 KiB
Current children cumulated memory: 10781648 KiB

[startup+1602.3 s]
/proc/loadavg: 8.10 7.94 7.64 9/267 122200
/proc/meminfo: memFree=102868568/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12324120 memory=10782516 CPUtime=3098.63 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2216806 0 0 0 309157 706 0 0 20 0 2 0 139083003 12619898880 2695629 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081030 2695629 3360 6655 0 3044669 0
[pid=121831/tid=121882] ppid=121828 vsize=12324120 memory=10781648 CPUtime=1503.72 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 685245 0 0 0 150160 212 0 0 20 0 2 0 139084346 12619898880 2695629 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3098.63 s
Current children cumulated vsize: 12324120 KiB
Current children cumulated memory: 10782516 KiB

[startup+1662.3 s]
/proc/loadavg: 8.15 7.99 7.67 9/267 122203
/proc/meminfo: memFree=102875716/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12324456 memory=10788084 CPUtime=3217.75 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2251412 0 0 0 321060 715 0 0 20 0 2 0 139083003 12620242944 2697021 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081114 2697021 3360 6655 0 3044753 0
[pid=121831/tid=121882] ppid=121828 vsize=12324456 memory=10781648 CPUtime=1563.05 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 696526 0 0 0 156090 215 0 0 20 0 2 0 139084346 12620242944 2697021 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3217.75 s
Current children cumulated vsize: 12324456 KiB
Current children cumulated memory: 10788084 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=121831] ppid=121828 vsize=12325468 memory=10789640 CPUtime=3336.83 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2285195 0 0 0 332960 723 0 0 20 0 2 0 139083003 12621279232 2697410 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081367 2697410 3360 6655 0 3045006 0
[pid=121831/tid=121882] ppid=121828 vsize=12325468 memory=10781648 CPUtime=1622.38 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 712628 0 0 0 162018 220 0 0 20 0 2 0 139084346 12621279232 2697410 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3336.83 s
Current children cumulated vsize: 12325468 KiB
Current children cumulated memory: 10789640 KiB

[startup+1782.3 s]
/proc/loadavg: 8.08 8.02 7.73 9/267 122208
/proc/meminfo: memFree=102795104/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12326824 memory=10791352 CPUtime=3455.92 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2311223 0 0 0 344864 728 0 0 20 0 2 0 139083003 12622667776 2697838 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081706 2697838 3360 6655 0 3045345 0
[pid=121831/tid=121882] ppid=121828 vsize=12326824 memory=14692 CPUtime=1681.71 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 722149 0 0 0 167948 223 0 0 20 0 2 0 139084346 12622667776 2697838 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3455.92 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10791352 KiB

[startup+1842.3 s]
/proc/loadavg: 8.06 8.03 7.75 8/266 122257
/proc/meminfo: memFree=104587336/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12326824 memory=10791352 CPUtime=3575.02 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2319972 0 0 0 356773 729 0 0 20 0 2 0 139083003 12622667776 2697838 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081706 2697838 3360 6655 0 3045345 0
[pid=121831/tid=121882] ppid=121828 vsize=12326824 memory=10791352 CPUtime=1741.04 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 727227 0 0 0 173881 223 0 0 20 0 2 0 139084346 12622667776 2697838 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3575.02 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10791352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1854.9 s]
/proc/loadavg: 7.75 7.96 7.73 8/266 122304
/proc/meminfo: memFree=109575036/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12326824 memory=10791280 CPUtime=3600.03 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2334922 0 0 0 359271 732 0 0 20 0 2 0 139083003 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081706 2697820 3360 6655 0 3045345 0
[pid=121831/tid=121882] ppid=121828 vsize=12326824 memory=10791280 CPUtime=1753.51 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 728435 0 0 0 175127 224 0 0 20 0 2 0 139084346 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10791280 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3596.68 s, system=7.49991 s

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

[startup+1856 s]*
/proc/loadavg: 7.75 7.96 7.73 8/266 122304
/proc/meminfo: memFree=109592324/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12326824 memory=10791280 CPUtime=3602.22 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2344882 0 0 0 359488 734 0 0 20 0 2 0 139083003 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081706 2697820 3360 6655 0 3045345 0
[pid=121831/tid=121882] ppid=121828 vsize=12326824 memory=-7808294779646475646 CPUtime=1754.6 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 728680 0 0 0 175236 224 0 0 20 0 2 0 139084346 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3602.22 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10791280 KiB

[startup+1856.4 s]
/proc/loadavg: 7.75 7.96 7.73 8/266 122304
/proc/meminfo: memFree=109592324/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12326824 memory=10791280 CPUtime=3603 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2344913 0 0 0 359566 734 0 0 20 0 2 0 139083003 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081706 2697820 3360 6655 0 3045345 0
[pid=121831/tid=121882] ppid=121828 vsize=12326824 memory=2764 CPUtime=1754.99 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 728711 0 0 0 175275 224 0 0 20 0 2 0 139084346 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3603 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10791280 KiB

[startup+1856.8 s]
/proc/loadavg: 7.75 7.96 7.73 8/266 122304
/proc/meminfo: memFree=109592324/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12326824 memory=10791280 CPUtime=3603.8 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2344918 0 0 0 359646 734 0 0 20 0 2 0 139083003 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081706 2697820 3360 6655 0 3045345 0
[pid=121831/tid=121882] ppid=121828 vsize=12326824 memory=5732 CPUtime=1755.39 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 728716 0 0 0 175315 224 0 0 20 0 2 0 139084346 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3603.8 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10791280 KiB

[startup+1856.9 s]
/proc/loadavg: 7.75 7.96 7.73 8/266 122304
/proc/meminfo: memFree=109592324/131249992 swapFree=33010160/33010684
[pid=121831] ppid=121828 vsize=12326824 memory=10791280 CPUtime=3604 cores=5,7
/proc/121831/stat : 121831 (LSIPExact) R 121828 121831 121522 0 -1 4194304 2344934 0 0 0 359666 734 0 0 20 0 2 0 139083003 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
/proc/121831/statm: 3081706 2697820 3360 6655 0 3045345 0
[pid=121831/tid=121882] ppid=121828 vsize=12326824 memory=10791280 CPUtime=1755.49 cores=5,7
/proc/121831/task/121882/stat : 121882 (LSIPExact) R 121828 121831 121522 0 -1 4194368 728732 0 0 0 175325 224 0 0 20 0 2 0 139084346 12622667776 2697820 18446744073709551615 93981334818816 93981362075985 140732422703024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 93981370578056 93981371009664 93981394964480 140732422707544 140732422707720 140732422707720 140732422713324 0
Current children cumulated CPU time: 3604 s
Current children cumulated vsize: 12326824 KiB
Current children cumulated memory: 10791280 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1857.06
CPU time (s): 3604.18
CPU user time (s): 3596.68
CPU system time (s): 7.49991
CPU usage (%): 194.08
Max. virtual memory (cumulated for all children) (KiB): 13440888
Max. memory (cumulated for all children) (KiB): 11388576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.67
system time used= 7.49991
maximum resident set size= 11391696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2344934
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= 150
involuntary context switches= 73765


# summary of solver processes directly reported to runsolver:
#   pid: 121831
#   total CPU time (s): 3604.18
#   total CPU user time (s): 3596.68
#   total CPU system time (s): 7.49991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.07806 second user time and 9.78763 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-11 13:40:42
IDJOB=4527591
IDBENCH=155755
IDSOLVER=3384
FILE ID=nodeC025/4527591-1752234041
RUNJOBID= nodeC025-1752232205-121541
SLURM_JOB_ID= 9682536
Free space on /tmp= 432648 MiB

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

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

MD5SUM BENCH= ccba1baa4116ac35f164630a81450a8f
RANDOM SEED=1101230875

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.836
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.802
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		: 3589.294
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.657
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.879
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		: 3700.000
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		: 3599.851
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:        117310040 kB
MemAvailable:   126454244 kB
Buffers:            2128 kB
Cached:          9890552 kB
SwapCached:          200 kB
Active:          3681284 kB
Inactive:        9533012 kB
Active(anon):    3322416 kB
Inactive(anon):    17064 kB
Active(file):     358868 kB
Inactive(file):  9515948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            267480 kB
Writeback:             0 kB
AnonPages:       3324576 kB
Mapped:           123076 kB
Shmem:             17856 kB
KReclaimable:     217256 kB
Slab:             310084 kB
SReclaimable:     217256 kB
SUnreclaim:        92828 kB
KernelStack:        4304 kB
PageTables:         9560 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3681452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1265664 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= 432704 MiB
End job on nodeC025 at 2025-07-11 14:11:40