Trace number 4502817

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.43 1837.97

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
MD5SUMa008918ff26f135f427f5632a2cbbc59
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 benchmark60
Best CPU time to get the best result obtained on this benchmark3585.34
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/1835.90	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.08/1835.90	c numVar: 15312
3600.08/1835.90	c numCon: 65280
3600.08/1835.90	c numEqual: 0
3600.08/1835.90	c intSize: 14
3600.08/1835.90	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.08/1835.90	c ------------------- Paras list -------------------
3600.08/1835.90	c Name                	 Type      	 Now       	 Default   	 Comment
3600.08/1835.90	c timeout             	 double    	 3600.000000	 3600      	 
3600.08/1835.90	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.08/1835.90	c ls_time             	 double    	 10.000000 	 10        	 
3600.08/1835.90	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.08/1835.90	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.08/1835.90	c random_seed         	 int       	 0         	 0         	 
3600.08/1835.90	c sample_size         	 int       	 50        	 50        	 
3600.08/1835.90	c sub_score           	 int       	 1         	 1         	 
3600.08/1835.90	c tabu_base           	 int       	 3         	 3         	 
3600.08/1835.90	c tabu_variation      	 int       	 1         	 1         	 
3600.08/1835.90	c sub_div             	 int       	 4         	 4         	 
3600.08/1835.90	c nbcore              	 int       	 2         	 1         	 
3600.08/1835.90	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.08/1835.90	c print_sol           	 int       	 1         	 1         	 
3600.08/1835.90	c tmpdir              	 string		 .         	 "."       	 
3600.08/1835.90	c home                	 string		 HOME	 "."       	 
3600.08/1835.90	c benchname           	 string		 HOME/instance-4502817-1751477276.opb	 ""        	 
3600.08/1835.90	c --------------------------------------------------
3600.08/1835.90	c Local Search solver
3600.08/1835.90	c MIP solver
3600.08/1835.90	c receive signal 15, try to interrupt solver...
3600.67/1836.29	c MIP solver find feasible solution
3600.86/1836.33	c MIP solver objective value: 66
3600.95/1836.41	c MIP find feasible solution for PBO with objective value 66
3600.95/1836.41	c copy file: 0
3600.95/1836.41	c gen ub file: HOME/instance-4502817-1751477276.opb_ub.opb
3600.95/1836.41	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: 63794 MiB (62918 MiB free)
  memory of node 1: 64507 MiB (61813 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=70790, runsolver pid=70787

[startup+0.10007 s]*
/proc/loadavg: 1.03 2.51 3.44 5/250 70791
/proc/meminfo: memFree=127670692/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=84632 memory=41728 CPUtime=0.08 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 9473 0 0 0 6 2 0 0 20 0 1 0 63407429 86663168 10432 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 21158 10432 1152 6655 0 11393 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84632 KiB
Current children cumulated memory: 41728 KiB

[startup+0.210235 s]*
/proc/loadavg: 1.03 2.51 3.44 5/250 70791
/proc/meminfo: memFree=127607188/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=112220 memory=69248 CPUtime=0.18 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 16357 0 0 0 14 4 0 0 20 0 1 0 63407429 114913280 17312 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 28055 17312 1152 6655 0 18290 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 112220 KiB
Current children cumulated memory: 69248 KiB

[startup+0.310148 s]*
/proc/loadavg: 1.03 2.51 3.44 5/250 70791
/proc/meminfo: memFree=127559812/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=136904 memory=93952 CPUtime=0.27 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 22518 0 0 0 21 6 0 0 20 0 1 0 63407429 140189696 23488 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 34226 23488 1152 6655 0 24461 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 136904 KiB
Current children cumulated memory: 93952 KiB

[startup+0.700218 s]
/proc/loadavg: 1.03 2.51 3.44 5/250 70791
/proc/meminfo: memFree=127456756/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=234240 memory=199552 CPUtime=0.64 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 48967 0 0 0 51 13 0 0 20 0 1 0 63407429 239861760 49888 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 58560 49888 1152 6655 0 48795 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 234240 KiB
Current children cumulated memory: 199552 KiB

[startup+1.50019 s]
/proc/loadavg: 1.03 2.51 3.44 5/250 70791
/proc/meminfo: memFree=127190656/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=379760 memory=344320 CPUtime=1.43 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 85161 0 0 0 124 19 0 0 20 0 1 0 63407429 388874240 86080 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 94940 86080 1152 6655 0 85175 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 379760 KiB
Current children cumulated memory: 344320 KiB

[startup+3.10576 s]
/proc/loadavg: 1.27 2.54 3.44 5/248 70792
/proc/meminfo: memFree=126644628/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=670108 memory=635520 CPUtime=3.01 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 157942 0 0 0 269 32 0 0 20 0 1 0 63407429 686190592 158880 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 167527 158880 1152 6655 0 157762 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 670108 KiB
Current children cumulated memory: 635520 KiB

[startup+6.30018 s]
/proc/loadavg: 1.27 2.54 3.44 5/253 70801
/proc/meminfo: memFree=125222004/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=707436 memory=672768 CPUtime=6.17 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 167263 0 0 0 583 34 0 0 20 0 1 0 63407429 724414464 168192 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 176859 168192 1152 6655 0 167094 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 707436 KiB
Current children cumulated memory: 672768 KiB

[startup+12.7003 s]
/proc/loadavg: 1.49 2.56 3.45 6/251 70840
/proc/meminfo: memFree=123694564/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=1200864 memory=1082312 CPUtime=12.53 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 220237 0 0 0 1202 51 0 0 20 0 2 0 63407429 1229684736 270578 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 300216 270578 2656 6655 0 274099 0
[pid=70790/tid=70830] ppid=70787 vsize=1200864 memory=1077740 CPUtime=0 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) S 70787 70790 70730 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63408601 1229684736 270578 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 1200864 KiB
Current children cumulated memory: 1082312 KiB

[startup+25.5002 s]
/proc/loadavg: 2.35 2.70 3.48 8/256 70851
/proc/meminfo: memFree=121237632/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=1850716 memory=1754152 CPUtime=31.91 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 302693 0 0 0 3098 93 0 0 20 0 2 0 63407429 1895133184 438538 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 462679 438538 3296 6655 0 441467 0
[pid=70790/tid=70830] ppid=70787 vsize=1850716 memory=14336 CPUtime=6.68 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 60880 0 0 0 643 25 0 0 20 0 2 0 63408601 1895133184 438538 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 1850716 KiB
Current children cumulated memory: 1754152 KiB

[startup+51.1142 s]
/proc/loadavg: 3.72 3.00 3.56 7/256 70851
/proc/meminfo: memFree=114730832/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=1673252 memory=1615164 CPUtime=57.52 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 314418 0 0 0 5657 95 0 0 20 0 2 0 63407429 1713410048 403791 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 418313 403791 3296 6655 0 407391 0
[pid=70790/tid=70830] ppid=70787 vsize=1673252 memory=1587324 CPUtime=6.74 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) S 70787 70790 70730 0 -1 4194368 60885 0 0 0 649 25 0 0 20 0 2 0 63408601 1713410048 403791 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 57.52 s
Current children cumulated vsize: 1673252 KiB
Current children cumulated memory: 1615164 KiB

[startup+102.3 s]
/proc/loadavg: 5.66 3.63 3.74 8/257 70854
/proc/meminfo: memFree=112234528/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2319152 memory=2260476 CPUtime=156.79 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 457505 0 0 0 15546 133 0 0 20 0 2 0 63407429 2374811648 565119 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 579788 565119 3392 6655 0 568866 0
[pid=70790/tid=70830] ppid=70787 vsize=2319152 memory=14336 CPUtime=54.98 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 111713 0 0 0 5462 36 0 0 20 0 2 0 63408601 2374811648 565119 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 156.79 s
Current children cumulated vsize: 2319152 KiB
Current children cumulated memory: 2260476 KiB

[startup+162.3 s]
/proc/loadavg: 7.12 4.42 4.01 9/257 70856
/proc/meminfo: memFree=109199864/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2318960 memory=2260464 CPUtime=275.92 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 497110 0 0 0 27454 138 0 0 20 0 2 0 63407429 2374615040 565116 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 579740 565116 3392 6655 0 568818 0
[pid=70790/tid=70830] ppid=70787 vsize=2318960 memory=5632 CPUtime=114.34 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 126893 0 0 0 11395 39 0 0 20 0 2 0 63408601 2374615040 565116 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 275.92 s
Current children cumulated vsize: 2318960 KiB
Current children cumulated memory: 2260464 KiB

[startup+222.3 s]
/proc/loadavg: 7.30 4.99 4.23 8/257 70858
/proc/meminfo: memFree=108999924/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2318960 memory=2260464 CPUtime=395.1 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 510648 0 0 0 39371 139 0 0 20 0 2 0 63407429 2374615040 565116 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 579740 565116 3392 6655 0 568818 0
[pid=70790/tid=70830] ppid=70787 vsize=2318960 memory=5632 CPUtime=173.74 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 140429 0 0 0 17334 40 0 0 20 0 2 0 63408601 2374615040 565116 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 395.1 s
Current children cumulated vsize: 2318960 KiB
Current children cumulated memory: 2260464 KiB

[startup+282.3 s]
/proc/loadavg: 7.16 5.37 4.42 8/258 70865
/proc/meminfo: memFree=109679644/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2117660 memory=2070944 CPUtime=513.47 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 576572 0 0 0 51199 148 0 0 20 0 2 0 63407429 2168483840 517736 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 529415 517736 3392 6655 0 518493 0
[pid=70790/tid=70830] ppid=70787 vsize=2117660 memory=5632 CPUtime=232.65 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 153154 0 0 0 23222 43 0 0 20 0 2 0 63408601 2168483840 517736 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 513.47 s
Current children cumulated vsize: 2117660 KiB
Current children cumulated memory: 2070944 KiB

[startup+342.3 s]
/proc/loadavg: 7.10 5.69 4.59 8/255 70867
/proc/meminfo: memFree=110050136/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2117324 memory=2070628 CPUtime=632.63 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 583841 0 0 0 63113 150 0 0 20 0 2 0 63407429 2168139776 517657 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 529331 517657 3392 6655 0 518409 0
[pid=70790/tid=70830] ppid=70787 vsize=2117324 memory=2069092 CPUtime=292.02 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 156062 0 0 0 29157 45 0 0 20 0 2 0 63408601 2168139776 517657 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 632.63 s
Current children cumulated vsize: 2117324 KiB
Current children cumulated memory: 2070628 KiB

[startup+402.3 s]

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

/proc/70790/statm: 545294 534275 3392 6655 0 534372 0
[pid=70790/tid=70830] ppid=70787 vsize=2181176 memory=2136672 CPUtime=1361.01 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 255496 0 0 0 136035 66 0 0 20 0 2 0 63408601 2233524224 534275 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 2778.56 s
Current children cumulated vsize: 2181176 KiB
Current children cumulated memory: 2137100 KiB

[startup+1482.3 s]
/proc/loadavg: 6.47 5.56 5.23 8/255 71020
/proc/meminfo: memFree=110001032/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2181176 memory=2137100 CPUtime=2897.74 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 782753 0 0 0 289592 182 0 0 20 0 2 0 63407429 2233524224 534275 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 545294 534275 3392 6655 0 534372 0
[pid=70790/tid=70830] ppid=70787 vsize=2181176 memory=2137100 CPUtime=1420.37 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 257918 0 0 0 141970 67 0 0 20 0 2 0 63408601 2233524224 534275 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 2897.74 s
Current children cumulated vsize: 2181176 KiB
Current children cumulated memory: 2137100 KiB

[startup+1542.3 s]
/proc/loadavg: 6.81 5.82 5.35 8/255 71022
/proc/meminfo: memFree=109817812/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2328720 memory=2279676 CPUtime=3016.92 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 818937 0 0 0 301497 195 0 0 20 0 2 0 63407429 2384609280 569919 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 582180 569919 3392 6655 0 570988 0
[pid=70790/tid=70830] ppid=70787 vsize=2328720 memory=2137100 CPUtime=1479.73 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 293062 0 0 0 147895 78 0 0 20 0 2 0 63408601 2384609280 569919 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 3016.92 s
Current children cumulated vsize: 2328720 KiB
Current children cumulated memory: 2279676 KiB

[startup+1602.3 s]
/proc/loadavg: 7.08 6.09 5.47 8/254 71024
/proc/meminfo: memFree=109826020/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2328720 memory=2279792 CPUtime=3136.05 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 821353 0 0 0 313409 196 0 0 20 0 2 0 63407429 2384609280 569948 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 582180 569948 3392 6655 0 570988 0
[pid=70790/tid=70830] ppid=70787 vsize=2328720 memory=14336 CPUtime=1539.05 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 294898 0 0 0 153826 79 0 0 20 0 2 0 63408601 2384609280 569948 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 3136.05 s
Current children cumulated vsize: 2328720 KiB
Current children cumulated memory: 2279792 KiB

[startup+1662.3 s]
/proc/loadavg: 7.08 6.27 5.57 8/254 71026
/proc/meminfo: memFree=109800948/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2346720 memory=2302304 CPUtime=3255.16 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 846119 0 0 0 325317 199 0 0 20 0 2 0 63407429 2403041280 575576 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 586680 575576 3392 6655 0 575713 0
[pid=70790/tid=70830] ppid=70787 vsize=2346720 memory=2302304 CPUtime=1598.38 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 308656 0 0 0 159757 81 0 0 20 0 2 0 63408601 2403041280 575576 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 3255.16 s
Current children cumulated vsize: 2346720 KiB
Current children cumulated memory: 2302304 KiB

[startup+1722.3 s]
/proc/loadavg: 7.07 6.42 5.67 8/254 71028
/proc/meminfo: memFree=109740068/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2412400 memory=2367580 CPUtime=3374.33 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 870499 0 0 0 337228 205 0 0 20 0 2 0 63407429 2470297600 591895 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 603100 591895 3392 6655 0 592048 0
[pid=70790/tid=70830] ppid=70787 vsize=2412400 memory=14336 CPUtime=1657.72 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 329972 0 0 0 165687 85 0 0 20 0 2 0 63408601 2470297600 591895 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 3374.33 s
Current children cumulated vsize: 2412400 KiB
Current children cumulated memory: 2367580 KiB

[startup+1782.3 s]
/proc/loadavg: 7.08 6.54 5.76 8/255 71031
/proc/meminfo: memFree=109735096/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2412400 memory=2368312 CPUtime=3493.57 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 879582 0 0 0 349150 207 0 0 20 0 2 0 63407429 2470297600 592078 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 603100 592078 3392 6655 0 592125 0
[pid=70790/tid=70830] ppid=70787 vsize=2412400 memory=2368312 CPUtime=1717.12 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 338024 0 0 0 171625 87 0 0 20 0 2 0 63408601 2470297600 592078 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 3493.57 s
Current children cumulated vsize: 2412400 KiB
Current children cumulated memory: 2368312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1835.9 s]
/proc/loadavg: 7.08 6.64 5.84 8/255 71036
/proc/meminfo: memFree=109733940/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=2412400 memory=2368312 CPUtime=3600.08 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) R 70787 70790 70730 0 -1 4194304 881438 0 0 0 359801 207 0 0 20 0 2 0 63407429 2470297600 592078 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 603100 592078 3392 6655 0 592125 0
[pid=70790/tid=70830] ppid=70787 vsize=2412400 memory=2368312 CPUtime=1770.19 cores=4,6
/proc/70790/task/70830/stat : 70830 (LSIPExact) R 70787 70790 70730 0 -1 4194368 338254 0 0 0 176932 87 0 0 20 0 2 0 63408601 2470297600 592078 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2412400 KiB
Current children cumulated memory: 2368312 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3600.2 s, system=2.2368 s

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

[startup+1836.8 s]
/proc/loadavg: 7.08 6.64 5.84 8/255 71036
/proc/meminfo: memFree=109733956/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=1849892 memory=1810872 CPUtime=3600.95 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) S 70787 70790 70730 0 -1 4194304 952819 229 0 0 359884 211 0 0 20 0 1 0 63407429 1894289408 452718 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 462473 452718 3392 6655 0 451555 0
Current children cumulated CPU time: 3600.95 s
Current children cumulated vsize: 1849892 KiB
Current children cumulated memory: 1810872 KiB

[startup+1837.6 s]
/proc/loadavg: 7.08 6.64 5.84 7/255 71038
/proc/meminfo: memFree=110224796/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=1849892 memory=1810872 CPUtime=3600.95 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) S 70787 70790 70730 0 -1 4194304 952819 229 0 0 359884 211 0 0 20 0 1 0 63407429 1894289408 452718 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 462473 452718 3392 6655 0 451555 0
[pid=71038] ppid=70790 vsize=73916 memory=60064 CPUtime=1.1 cores=4,6
/proc/71038/stat : 71038 (Exact) R 70790 71038 71038 0 -1 4194304 13143 0 0 0 106 4 0 0 20 0 1 0 63591070 75689984 15016 18446744073709551615 4198400 8335837 140720410665104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 24739840 140720410671284 140720410671645 140720410671645 140720410677199 0
/proc/71038/statm: 18479 15016 928 1011 0 17246 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 1923808 KiB
Current children cumulated memory: 1870936 KiB

[startup+1837.8 s]
/proc/loadavg: 7.08 6.64 5.84 7/255 71038
/proc/meminfo: memFree=110224796/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=1849892 memory=1810872 CPUtime=3600.95 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) S 70787 70790 70730 0 -1 4194304 952819 229 0 0 359884 211 0 0 20 0 1 0 63407429 1894289408 452718 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 462473 452718 3392 6655 0 451555 0
[pid=71038] ppid=70790 vsize=79536 memory=67896 CPUtime=1.3 cores=4,6
/proc/71038/stat : 71038 (Exact) R 70790 71038 71038 0 -1 4194304 14582 0 0 0 125 5 0 0 20 0 1 0 63591070 81444864 16974 18446744073709551615 4198400 8335837 140720410665104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 24739840 140720410671284 140720410671645 140720410671645 140720410677199 0
/proc/71038/statm: 19884 16974 928 1011 0 18651 0
Current children cumulated CPU time: 3602.25 s
Current children cumulated vsize: 1929428 KiB
Current children cumulated memory: 1878768 KiB

[startup+1837.9 s]
/proc/loadavg: 7.08 6.64 5.84 7/255 71038
/proc/meminfo: memFree=110224796/131382116 swapFree=33010684/33010684
[pid=70790] ppid=70787 vsize=1849892 memory=1810872 CPUtime=3600.95 cores=4,6
/proc/70790/stat : 70790 (LSIPExact) S 70787 70790 70730 0 -1 4194304 952819 229 0 0 359884 211 0 0 20 0 1 0 63407429 1894289408 452718 18446744073709551615 94367085420544 94367112676945 140730235143008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94367121179784 94367121611392 94367138877440 140730235148634 140730235148810 140730235148810 140730235154412 0
/proc/70790/statm: 462473 452718 3392 6655 0 451555 0
[pid=71038] ppid=70790 vsize=82512 memory=70840 CPUtime=1.4 cores=4,6
/proc/71038/stat : 71038 (Exact) R 70790 71038 71038 0 -1 4194304 15330 0 0 0 135 5 0 0 20 0 1 0 63591070 84492288 17710 18446744073709551615 4198400 8335837 140720410665104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 24739840 140720410671284 140720410671645 140720410671645 140720410677199 0
/proc/71038/statm: 20628 17710 928 1011 0 19395 0
Current children cumulated CPU time: 3602.35 s
Current children cumulated vsize: 1932404 KiB
Current children cumulated memory: 1881712 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1837.97
CPU time (s): 3602.43
CPU user time (s): 3600.2
CPU system time (s): 2.2368
CPU usage (%): 196.001
Max. virtual memory (cumulated for all children) (KiB): 2477936
Max. memory (cumulated for all children) (KiB): 2388900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.2
system time used= 2.2368
maximum resident set size= 2389412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 968378
page faults= 0
swaps= 0
block input operations= 56648
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 532
involuntary context switches= 28628


# summary of solver processes directly reported to runsolver:
#   pid: 70790
#   total CPU time (s): 3602.43
#   total CPU user time (s): 3600.2
#   total CPU system time (s): 2.2368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38244 second user time and 8.74935 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 19:27:57
IDJOB=4502817
IDBENCH=155399
IDSOLVER=3336
FILE ID=nodeC011/4502817-1751477276
RUNJOBID= nodeC011-1751477276-70741
SLURM_JOB_ID= 9598512
Free space on /tmp= 430280 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502817-1751477276/watcher-4502817-1751477276 -o /tmp/evaluation-result-4502817-1751477276/solver-4502817-1751477276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751477276-70741 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4502817-1751477276.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=989161634

nodeC011 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	: 0xb00001f
cpu MHz		: 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1297.445
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1697.375
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.319
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1795.960
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1796.190
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        127742700 kB
MemAvailable:   129912404 kB
Buffers:            3276 kB
Cached:          2971988 kB
SwapCached:            0 kB
Active:           536576 kB
Inactive:        2543512 kB
Active(anon):     120724 kB
Inactive(anon):     2104 kB
Active(file):     415852 kB
Inactive(file):  2541408 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            332432 kB
Writeback:             0 kB
AnonPages:        108128 kB
Mapped:           109116 kB
Shmem:             17960 kB
KReclaimable:     103756 kB
Slab:             188352 kB
SReclaimable:     103756 kB
SUnreclaim:        84596 kB
KernelStack:        4032 kB
PageTables:         3172 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     417044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429744 MiB
End job on nodeC011 at 2025-07-02 19:58:35