Trace number 4527587

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.27 1841.04

General information on the benchmark

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

Solver Data 

3600.18/1839.01	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.18/1839.01	c numVar: 126385
3600.18/1839.01	c numCon: 286973
3600.18/1839.01	c numEqual: 3578
3600.18/1839.01	c intSize: 35
3600.18/1839.01	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.18/1839.01	c ------------------- Paras list -------------------
3600.18/1839.01	c Name                	 Type      	 Now       	 Default   	 Comment
3600.18/1839.01	c timeout             	 double    	 3600.000000	 3600      	 
3600.18/1839.01	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.18/1839.01	c ls_time             	 double    	 10.000000 	 10        	 
3600.18/1839.01	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.18/1839.01	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.18/1839.01	c random_seed         	 int       	 0         	 0         	 
3600.18/1839.01	c sample_size         	 int       	 50        	 50        	 
3600.18/1839.01	c sub_score           	 int       	 1         	 1         	 
3600.18/1839.01	c tabu_base           	 int       	 3         	 3         	 
3600.18/1839.01	c tabu_variation      	 int       	 1         	 1         	 
3600.18/1839.01	c sub_div             	 int       	 4         	 4         	 
3600.18/1839.01	c nbcore              	 int       	 2         	 1         	 
3600.18/1839.01	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.18/1839.01	c print_sol           	 int       	 1         	 1         	 
3600.18/1839.01	c tmpdir              	 string		 .         	 "."       	 
3600.18/1839.01	c home                	 string		 HOME	 "."       	 
3600.18/1839.01	c benchname           	 string		 HOME/instance-4527587-1752234040.opb	 ""        	 
3600.18/1839.01	c --------------------------------------------------
3600.18/1839.01	c Local Search solver
3600.18/1839.01	c LS find feasible solution for PBO with objective value 195293939
3600.18/1839.01	c MIP solver
3600.18/1839.01	c receive signal 15, try to interrupt solver...
3600.38/1839.12	c MIP solver find feasible solution
3600.38/1839.14	c MIP solver objective value: 2.93158e+06
3600.46/1839.22	c MIP find feasible solution for PBO with objective value 2931576
3600.46/1839.22	c copy file: 0
3600.46/1839.22	c gen ub file: HOME/instance-4527587-1752234040.opb_ub.opb
3600.46/1839.22	c use Exact solver

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62036 MiB free)
  memory of node 1: 64465 MiB (53403 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=121811, runsolver pid=121804

[startup+0.100063 s]*
/proc/loadavg: 7.24 7.90 6.98 4/259 121815
/proc/meminfo: memFree=118130708/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=123600 memory=80276 CPUtime=0.07 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 15718 0 0 0 4 3 0 0 20 0 1 0 139082886 126566400 20069 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 30900 20069 1152 6655 0 21135 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 123600 KiB
Current children cumulated memory: 80276 KiB

[startup+0.205389 s]*
/proc/loadavg: 7.24 7.90 6.98 5/264 121822
/proc/meminfo: memFree=117985164/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=191344 memory=156216 CPUtime=0.18 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 30271 0 0 0 12 6 0 0 20 0 1 0 139082886 195936256 39054 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 47836 39054 1152 6655 0 38071 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 191344 KiB
Current children cumulated memory: 156216 KiB

[startup+0.305472 s]*
/proc/loadavg: 7.24 7.90 6.98 6/264 121822
/proc/meminfo: memFree=117815960/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=218008 memory=182968 CPUtime=0.27 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 36962 0 0 0 21 6 0 0 20 0 1 0 139082886 223240192 45742 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 54502 45742 1152 6655 0 44737 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 218008 KiB
Current children cumulated memory: 182968 KiB

[startup+0.700185 s]
/proc/loadavg: 7.24 7.90 6.98 6/264 121822
/proc/meminfo: memFree=117569548/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=269480 memory=234296 CPUtime=0.66 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 49816 0 0 0 58 8 0 0 20 0 1 0 139082886 275947520 58574 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 67370 58574 1152 6655 0 57605 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234296 KiB

[startup+1.50018 s]
/proc/loadavg: 7.24 7.90 6.98 6/263 121823
/proc/meminfo: memFree=117326168/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=269480 memory=234424 CPUtime=1.45 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 49817 0 0 0 137 8 0 0 20 0 1 0 139082886 275947520 58606 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 67370 58606 1152 6655 0 57605 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234424 KiB

[startup+3.10536 s]
/proc/loadavg: 7.24 7.90 6.98 6/267 121832
/proc/meminfo: memFree=116043772/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=269480 memory=234424 CPUtime=3.06 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 49833 0 0 0 297 9 0 0 20 0 1 0 139082886 275947520 58606 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 67370 58606 1152 6655 0 57605 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234424 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=121811] ppid=121804 vsize=269480 memory=234424 CPUtime=6.25 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 49849 0 0 0 616 9 0 0 20 0 1 0 139082886 275947520 58606 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 67370 58606 1152 6655 0 57605 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 269480 KiB
Current children cumulated memory: 234424 KiB

[startup+12.7002 s]
/proc/loadavg: 6.81 7.79 6.95 5/268 121881
/proc/meminfo: memFree=116255224/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=673308 memory=545808 CPUtime=12.62 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 101699 0 0 0 1241 21 0 0 20 0 2 0 139082886 689467392 136452 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 168327 136452 2752 6655 0 142210 0
[pid=121811/tid=121880] ppid=121804 vsize=673308 memory=542352 CPUtime=0 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) S 121804 121811 121522 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139083933 689467392 136452 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 673308 KiB
Current children cumulated memory: 545808 KiB

[startup+25.5002 s]
/proc/loadavg: 6.42 7.65 6.92 6/270 121883
/proc/meminfo: memFree=111931800/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1315384 memory=1200364 CPUtime=28.38 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 231444 0 0 0 2789 49 0 0 20 0 2 0 139082886 1346953216 300091 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 328846 300091 3360 6655 0 313026 0
[pid=121811/tid=121880] ppid=121804 vsize=1315384 memory=1142304 CPUtime=3.02 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 27365 0 0 0 297 5 0 0 20 0 2 0 139083933 1346953216 300091 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 28.38 s
Current children cumulated vsize: 1315384 KiB
Current children cumulated memory: 1200364 KiB

[startup+51.1057 s]
/proc/loadavg: 6.35 7.53 6.90 8/270 121883
/proc/meminfo: memFree=107428452/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1947196 memory=1835104 CPUtime=78.99 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 406274 0 0 0 7815 84 0 0 20 0 2 0 139082886 1993928704 458776 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 486799 458776 3520 6655 0 474781 0
[pid=121811/tid=121880] ppid=121804 vsize=1947196 memory=1834464 CPUtime=28.12 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 59013 0 0 0 2800 12 0 0 20 0 2 0 139083933 1993928704 458776 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 78.99 s
Current children cumulated vsize: 1947196 KiB
Current children cumulated memory: 1835104 KiB

[startup+102.3 s]
/proc/loadavg: 6.92 7.50 6.92 8/268 121885
/proc/meminfo: memFree=104943052/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1904256 memory=1844200 CPUtime=179.19 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 536901 0 0 0 17817 102 0 0 20 0 2 0 139082886 1949958144 461050 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 461050 3520 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=-7808294779730950015 CPUtime=77.55 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 108785 0 0 0 7733 22 0 0 20 0 2 0 139083933 1949958144 461050 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 179.19 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1844200 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=121811] ppid=121804 vsize=1904256 memory=1845128 CPUtime=298.12 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 564608 0 0 0 29704 108 0 0 20 0 2 0 139082886 1949958144 461282 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 461282 3520 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=1844360 CPUtime=136.79 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 122987 0 0 0 13654 25 0 0 20 0 2 0 139083933 1949958144 461282 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 298.12 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1845128 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=121811] ppid=121804 vsize=1904256 memory=1845256 CPUtime=417.04 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 618237 0 0 0 41591 113 0 0 20 0 2 0 139082886 1949958144 461314 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 461314 3520 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=14692 CPUtime=196.03 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 142040 0 0 0 19577 26 0 0 20 0 2 0 139083933 1949958144 461314 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 417.04 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1845256 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=121811] ppid=121804 vsize=1904256 memory=1846408 CPUtime=535.9 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 671435 0 0 0 53471 119 0 0 20 0 2 0 139082886 1949958144 461602 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 461602 3520 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=1846408 CPUtime=255.24 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 156892 0 0 0 25495 29 0 0 20 0 2 0 139083933 1949958144 461602 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 535.9 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1846408 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=121811] ppid=121804 vsize=1915308 memory=1859120 CPUtime=654.73 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 696469 0 0 0 65344 129 0 0 20 0 2 0 139082886 1961275392 464780 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 478827 464780 3520 6655 0 466036 0
[pid=121811/tid=121880] ppid=121804 vsize=1915308 memory=1846408 CPUtime=314.42 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 171971 0 0 0 31405 37 0 0 20 0 2 0 139083933 1961275392 464780 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 654.73 s
Current children cumulated vsize: 1915308 KiB
Current children cumulated memory: 1859120 KiB

[startup+402.3 s]

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

/proc/meminfo: memFree=102877448/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=2773.35 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1235848 0 0 0 277137 198 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=1889552 CPUtime=1358.4 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 418939 0 0 0 135764 76 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 2773.35 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 KiB

[startup+1482.3 s]
/proc/loadavg: 8.08 7.85 7.56 9/269 122196
/proc/meminfo: memFree=102905772/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=2892.44 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1254281 0 0 0 289044 200 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=5632 CPUtime=1417.74 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 421895 0 0 0 141698 76 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 2892.44 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 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=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=3011.51 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1275206 0 0 0 300949 202 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=1858264 CPUtime=1477.07 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 430998 0 0 0 147630 77 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 3011.51 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 KiB

[startup+1602.3 s]
/proc/loadavg: 8.10 7.94 7.64 9/267 122200
/proc/meminfo: memFree=102862424/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=3130.65 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1278272 0 0 0 312862 203 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=1858264 CPUtime=1536.42 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 431058 0 0 0 153565 77 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 3130.65 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 KiB

[startup+1662.3 s]
/proc/loadavg: 8.15 7.99 7.67 9/267 122203
/proc/meminfo: memFree=102875968/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=3249.7 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1279451 0 0 0 324767 203 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=1858264 CPUtime=1595.75 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 431739 0 0 0 159497 78 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 3249.7 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 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=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=3368.78 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1280727 0 0 0 336674 204 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=1858264 CPUtime=1655.08 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 432550 0 0 0 165429 79 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 3368.78 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 KiB

[startup+1782.3 s]
/proc/loadavg: 8.08 8.02 7.73 9/267 122208
/proc/meminfo: memFree=102799200/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=3487.6 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1288080 0 0 0 348555 205 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=14692 CPUtime=1714.53 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 439852 0 0 0 171373 80 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 3487.6 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1839 s]*
/proc/loadavg: 8.15 8.04 7.76 9/267 122209
/proc/meminfo: memFree=102854352/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1904256 memory=1858264 CPUtime=3600.18 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) R 121804 121811 121522 0 -1 4194304 1293105 0 0 0 359808 210 0 0 20 0 2 0 139082886 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 476064 464566 3584 6655 0 463273 0
[pid=121811/tid=121880] ppid=121804 vsize=1904256 memory=-7808294779764113022 CPUtime=1771.01 cores=0,2
/proc/121811/task/121880/stat : 121880 (LSIPExact) R 121804 121811 121522 0 -1 4194368 444842 0 0 0 177017 84 0 0 20 0 2 0 139083933 1949958144 464566 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1904256 KiB
Current children cumulated memory: 1858264 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3598.35 s, system=2.15974 s

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

# cumulated CPU time of all completed processes:  user=3599.98 s, system=2.29534 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+1840 s]*
/proc/loadavg: 8.06 8.03 7.75 8/267 122211
/proc/meminfo: memFree=102787688/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1796612 memory=1750304 CPUtime=3600.46 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) S 121804 121811 121522 0 -1 4194304 1334696 230 0 0 359834 212 0 0 20 0 1 0 139082886 1839730688 437576 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 449153 437576 3616 6655 0 436631 0
[pid=122211] ppid=121811 vsize=192864 memory=185020 CPUtime=0.74 cores=0,2
/proc/122211/stat : 122211 (Exact) R 121811 122211 122211 0 -1 4194304 33502 0 0 0 68 6 0 0 20 0 1 0 139266809 197492736 46255 18446744073709551615 4198400 8335837 140734921465808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 43872256 140734921472178 140734921472539 140734921472539 140734921478095 0
/proc/122211/statm: 48216 46255 960 1011 0 46983 0
Current children cumulated CPU time: 3601.2 s
Current children cumulated vsize: 1989476 KiB
Current children cumulated memory: 1935324 KiB

[startup+1840.8 s]
/proc/loadavg: 8.06 8.03 7.75 8/267 122211
/proc/meminfo: memFree=102787688/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1796612 memory=1750304 CPUtime=3600.46 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) S 121804 121811 121522 0 -1 4194304 1334696 230 0 0 359834 212 0 0 20 0 1 0 139082886 1839730688 437576 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 449153 437576 3616 6655 0 436631 0
[pid=122211] ppid=121811 vsize=333888 memory=324264 CPUtime=1.54 cores=0,2
/proc/122211/stat : 122211 (Exact) R 121811 122211 122211 0 -1 4194304 56900 0 0 0 143 11 0 0 20 0 1 0 139266809 341901312 81066 18446744073709551615 4198400 8335837 140734921465808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 43872256 140734921472178 140734921472539 140734921472539 140734921478095 0
/proc/122211/statm: 83472 81066 960 1011 0 82239 0
Current children cumulated CPU time: 3602 s
Current children cumulated vsize: 2130500 KiB
Current children cumulated memory: 2074568 KiB

[startup+1841 s]*
/proc/loadavg: 8.06 8.03 7.75 8/267 122212
/proc/meminfo: memFree=102609892/131249992 swapFree=33010160/33010684
[pid=121811] ppid=121804 vsize=1796612 memory=1750304 CPUtime=3600.46 cores=0,2
/proc/121811/stat : 121811 (LSIPExact) S 121804 121811 121522 0 -1 4194304 1334696 230 0 0 359834 212 0 0 20 0 1 0 139082886 1839730688 437576 18446744073709551615 94283139284992 94283166542161 140730147390416 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94283175044232 94283175475840 94283180101632 140730147395928 140730147396104 140730147396104 140730147401708 0
/proc/121811/statm: 449153 437576 3616 6655 0 436631 0
[pid=122211] ppid=121811 vsize=384544 memory=378052 CPUtime=1.75 cores=0,2
/proc/122211/stat : 122211 (Exact) R 121811 122211 122211 0 -1 4194304 60600 0 0 0 163 12 0 0 20 0 1 0 139266809 393773056 94513 18446744073709551615 4198400 8335837 140734921465808 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 43872256 140734921472178 140734921472539 140734921472539 140734921478095 0
/proc/122211/statm: 96136 94513 1024 1011 0 94903 0
Current children cumulated CPU time: 3602.21 s
Current children cumulated vsize: 2181156 KiB
Current children cumulated memory: 2128356 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1841.04
CPU time (s): 3602.27
CPU user time (s): 3599.98
CPU system time (s): 2.29534
CPU usage (%): 195.665
Max. virtual memory (cumulated for all children) (KiB): 2181156
Max. memory (cumulated for all children) (KiB): 2128356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.98
system time used= 2.29534
maximum resident set size= 1988432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1395532
page faults= 0
swaps= 0
block input operations= 24736
block output operations= 1320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 568
involuntary context switches= 81629


# summary of solver processes directly reported to runsolver:
#   pid: 121811,122211
#   total CPU time (s): 3602.27
#   total CPU user time (s): 3599.98
#   total CPU system time (s): 2.29534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81152 second user time and 8.66575 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-11 13:40:41
IDJOB=4527587
IDBENCH=155700
IDSOLVER=3384
FILE ID=nodeC025/4527587-1752234040
RUNJOBID= nodeC025-1752232205-121538
SLURM_JOB_ID= 9682536
Free space on /tmp= 432776 MiB

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

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

MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
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		: 3600.089
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.871
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		: 3622.604
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.854
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.121
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.738
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.775
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		: 3603.919
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:        118171880 kB
MemAvailable:   127185704 kB
Buffers:            2128 kB
Cached:          9760164 kB
SwapCached:          200 kB
Active:          2908276 kB
Inactive:        9402632 kB
Active(anon):    2549408 kB
Inactive(anon):    17064 kB
Active(file):     358868 kB
Inactive(file):  9385568 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             94348 kB
Writeback:             4 kB
AnonPages:       2551480 kB
Mapped:           117608 kB
Shmem:             17856 kB
KReclaimable:     217256 kB
Slab:             310156 kB
SReclaimable:     217256 kB
SUnreclaim:        92900 kB
KernelStack:        4192 kB
PageTables:         7920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2859892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1095680 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= 432656 MiB
End job on nodeC025 at 2025-07-11 14:11:22