Trace number 4522399

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.24 1908.67

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
MD5SUM5650d49d55a36e62ab842bae231a0f3b
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 benchmark-9098882
Best CPU time to get the best result obtained on this benchmark3600.71
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables393800
Total number of constraints23067
Number of constraints which are clauses17479
Number of constraints which are cardinality constraints (but not clauses)1092
Number of constraints which are nor clauses,nor cardinality constraints4496
Minimum length of a constraint1
Maximum length of a constraint101656
Number of terms in the objective function 122664
Biggest coefficient in the objective function 30378
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 500013378
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 4511353
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 500013378
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.16/1906.60	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.16/1906.60	c numVar: 393800
3600.16/1906.60	c numCon: 23067
3600.16/1906.60	c numEqual: 4557
3600.16/1906.60	c intSize: 29
3600.16/1906.60	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.16/1906.60	c ------------------- Paras list -------------------
3600.16/1906.60	c Name                	 Type      	 Now       	 Default   	 Comment
3600.16/1906.60	c timeout             	 double    	 3600.000000	 3600      	 
3600.16/1906.60	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.16/1906.60	c ls_time             	 double    	 10.000000 	 10        	 
3600.16/1906.60	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.16/1906.60	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.16/1906.60	c random_seed         	 int       	 0         	 0         	 
3600.16/1906.60	c sample_size         	 int       	 50        	 50        	 
3600.16/1906.60	c sub_score           	 int       	 1         	 1         	 
3600.16/1906.60	c tabu_base           	 int       	 3         	 3         	 
3600.16/1906.60	c tabu_variation      	 int       	 1         	 1         	 
3600.16/1906.60	c sub_div             	 int       	 4         	 4         	 
3600.16/1906.60	c nbcore              	 int       	 2         	 1         	 
3600.16/1906.60	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.16/1906.60	c print_sol           	 int       	 1         	 1         	 
3600.16/1906.60	c tmpdir              	 string		 .         	 "."       	 
3600.16/1906.60	c home                	 string		 HOME	 "."       	 
3600.16/1906.60	c benchname           	 string		 HOME/instance-4522399-1751573739.opb	 ""        	 
3600.16/1906.60	c --------------------------------------------------
3600.16/1906.60	c Local Search solver
3600.16/1906.60	c MIP solver
3600.16/1906.60	c receive signal 15, try to interrupt solver...
3600.32/1906.77	c MIP solver find feasible solution
3600.41/1906.80	c MIP solver objective value: -9.09888e+06
3600.41/1906.89	c MIP find feasible solution for PBO with objective value -9098882
3600.41/1906.89	c copy file: 0
3600.41/1906.89	c gen ub file: HOME/instance-4522399-1751573739.opb_ub.opb
3600.41/1906.89	c use Exact solver

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (59851 MiB free)
  memory of node 1: 64507 MiB (39795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522399-1751573739/watcher-4522399-1751573739 -o /tmp/evaluation-result-4522399-1751573739/solver-4522399-1751573739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83967 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4522399-1751573739.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=86116, runsolver pid=86113

[startup+0.100066 s]*
/proc/loadavg: 5.80 6.32 6.81 6/266 86117
/proc/meminfo: memFree=101991424/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=96172 memory=52180 CPUtime=0.09 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 12543 0 0 0 7 2 0 0 20 0 1 0 73051684 98480128 13045 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 24043 13045 1152 6655 0 14278 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96172 KiB
Current children cumulated memory: 52180 KiB

[startup+0.205661 s]*
/proc/loadavg: 5.80 6.32 6.81 6/266 86117
/proc/meminfo: memFree=101902332/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=198856 memory=155816 CPUtime=0.2 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 26033 0 0 0 15 5 0 0 20 0 1 0 73051684 203628544 38954 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 49714 38954 1184 6655 0 39949 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 198856 KiB
Current children cumulated memory: 155816 KiB

[startup+0.305455 s]*
/proc/loadavg: 5.80 6.32 6.81 6/266 86117
/proc/meminfo: memFree=101837820/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=264988 memory=221992 CPUtime=0.3 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 42579 0 0 0 22 8 0 0 20 0 1 0 73051684 271347712 55498 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 66247 55498 1184 6655 0 56482 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 264988 KiB
Current children cumulated memory: 221992 KiB

[startup+0.700173 s]
/proc/loadavg: 5.80 6.32 6.81 6/266 86117
/proc/meminfo: memFree=101765244/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=371660 memory=328616 CPUtime=0.68 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 69223 0 0 0 57 11 0 0 20 0 1 0 73051684 380579840 82154 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 92915 82154 1184 6655 0 83150 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 371660 KiB
Current children cumulated memory: 328616 KiB

[startup+1.50017 s]
/proc/loadavg: 5.80 6.32 6.81 6/266 86117
/proc/meminfo: memFree=101648252/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=590872 memory=547908 CPUtime=1.48 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 123527 0 0 0 130 18 0 0 20 0 1 0 73051684 605052928 136977 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 147718 136977 1184 6655 0 137953 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 590872 KiB
Current children cumulated memory: 547908 KiB

[startup+3.10545 s]
/proc/loadavg: 5.80 6.32 6.81 6/266 86117
/proc/meminfo: memFree=101499256/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=590872 memory=547908 CPUtime=3.08 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 123546 0 0 0 290 18 0 0 20 0 1 0 73051684 605052928 136977 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 147718 136977 1184 6655 0 137953 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 590872 KiB
Current children cumulated memory: 547908 KiB

[startup+6.30016 s]
/proc/loadavg: 5.73 6.30 6.80 6/266 86117
/proc/meminfo: memFree=101499508/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=590872 memory=547908 CPUtime=6.27 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 123566 0 0 0 609 18 0 0 20 0 1 0 73051684 605052928 136977 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 147718 136977 1184 6655 0 137953 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 590872 KiB
Current children cumulated memory: 547908 KiB

[startup+12.7002 s]
/proc/loadavg: 5.67 6.28 6.79 6/267 86118
/proc/meminfo: memFree=101108112/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=1103840 memory=962876 CPUtime=12.65 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 180790 0 0 0 1233 32 0 0 20 0 2 0 73051684 1130332160 240719 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 275960 240719 2880 6655 0 249843 0
[pid=86116/tid=86118] ppid=86113 vsize=1103840 memory=927008 CPUtime=0 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) S 86113 86116 83956 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73052796 1130332160 240719 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1103840 KiB
Current children cumulated memory: 962876 KiB

[startup+25.5002 s]
/proc/loadavg: 5.60 6.23 6.77 7/267 86119
/proc/meminfo: memFree=99975872/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=2537672 memory=2183160 CPUtime=29.82 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 416574 0 0 0 2895 87 0 0 20 0 2 0 73051684 2598576128 545790 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 634418 545790 3328 6655 0 610229 0
[pid=86116/tid=86118] ppid=86113 vsize=2537672 memory=1896188 CPUtime=4.45 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 97669 0 0 0 423 22 0 0 20 0 2 0 73052796 2598576128 545790 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 29.82 s
Current children cumulated vsize: 2537672 KiB
Current children cumulated memory: 2183160 KiB

[startup+51.1056 s]
/proc/loadavg: 5.80 6.23 6.75 7/267 86119
/proc/meminfo: memFree=99450348/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=2865352 memory=2521352 CPUtime=80.65 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 478870 0 0 0 7964 101 0 0 20 0 2 0 73051684 2934120448 630338 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 716338 630338 3328 6655 0 684865 0
[pid=86116/tid=86118] ppid=86113 vsize=2865352 memory=2569612 CPUtime=29.77 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 142078 0 0 0 2943 34 0 0 20 0 2 0 73052796 2934120448 630338 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 80.65 s
Current children cumulated vsize: 2865352 KiB
Current children cumulated memory: 2521352 KiB

[startup+102.3 s]
/proc/loadavg: 5.96 6.21 6.72 7/267 86121
/proc/meminfo: memFree=99244456/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=2996424 memory=2650572 CPUtime=182.27 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 530267 0 0 0 18117 110 0 0 20 0 2 0 73051684 3068338176 662643 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 749106 662643 3392 6655 0 717877 0
[pid=86116/tid=86118] ppid=86113 vsize=2996424 memory=2650572 CPUtime=80.41 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 183726 0 0 0 8000 41 0 0 20 0 2 0 73052796 3068338176 662643 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 182.27 s
Current children cumulated vsize: 2996424 KiB
Current children cumulated memory: 2650572 KiB

[startup+162.3 s]
/proc/loadavg: 6.10 6.20 6.68 7/267 86123
/proc/meminfo: memFree=98563728/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3602452 memory=3259588 CPUtime=300.82 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 737416 0 0 0 29939 143 0 0 20 0 2 0 73051684 3688910848 814897 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 900613 814897 3424 6655 0 874211 0
[pid=86116/tid=86118] ppid=86113 vsize=3602452 memory=3211460 CPUtime=139.36 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 228452 0 0 0 13889 47 0 0 20 0 2 0 73052796 3688910848 814897 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 300.82 s
Current children cumulated vsize: 3602452 KiB
Current children cumulated memory: 3259588 KiB

[startup+222.3 s]
/proc/loadavg: 6.10 6.17 6.64 8/268 86218
/proc/meminfo: memFree=114975492/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3611660 memory=3285300 CPUtime=419.83 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 818270 0 0 0 41828 155 0 0 20 0 2 0 73051684 3698339840 821325 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 902915 821325 3424 6655 0 876513 0
[pid=86116/tid=86118] ppid=86113 vsize=3611660 memory=18688 CPUtime=198.65 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 241231 0 0 0 19816 49 0 0 20 0 2 0 73052796 3698339840 821325 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 419.83 s
Current children cumulated vsize: 3611660 KiB
Current children cumulated memory: 3285300 KiB

[startup+282.3 s]
/proc/loadavg: 6.72 6.34 6.67 8/270 86226
/proc/meminfo: memFree=114999444/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3611660 memory=3278540 CPUtime=538.88 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 954147 0 0 0 53711 177 0 0 20 0 2 0 73051684 3698339840 819635 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 902915 819635 3424 6655 0 876513 0
[pid=86116/tid=86118] ppid=86113 vsize=3611660 memory=3285436 CPUtime=257.95 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 262453 0 0 0 25745 50 0 0 20 0 2 0 73052796 3698339840 819635 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 538.88 s
Current children cumulated vsize: 3611660 KiB
Current children cumulated memory: 3278540 KiB

[startup+342.3 s]
/proc/loadavg: 6.95 6.48 6.70 8/270 86228
/proc/meminfo: memFree=114433356/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3558488 memory=3251232 CPUtime=657.94 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 1014178 0 0 0 65600 194 0 0 20 0 2 0 73051684 3643891712 812808 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 889622 812808 3424 6655 0 863220 0
[pid=86116/tid=86118] ppid=86113 vsize=3558488 memory=3248416 CPUtime=317.27 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 262761 0 0 0 31676 51 0 0 20 0 2 0 73052796 3643891712 812808 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 657.94 s
Current children cumulated vsize: 3558488 KiB
Current children cumulated memory: 3251232 KiB


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

[pid=86116] ppid=86113 vsize=3728360 memory=3531376 CPUtime=3056.63 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 2469772 0 0 0 305324 339 0 0 20 0 2 0 73051684 3817840640 882844 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 932090 882844 3424 6655 0 905688 0
[pid=86116/tid=86118] ppid=86113 vsize=3728360 memory=3521136 CPUtime=1470.23 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 772376 0 0 0 146930 93 0 0 20 0 2 0 73052796 3817840640 882844 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 3056.63 s
Current children cumulated vsize: 3728360 KiB
Current children cumulated memory: 3531376 KiB

[startup+1662.3 s]
/proc/loadavg: 6.44 6.84 6.93 7/267 86337
/proc/meminfo: memFree=115632256/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3728360 memory=3531376 CPUtime=3175.67 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 2472838 0 0 0 317227 340 0 0 20 0 2 0 73051684 3817840640 882844 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 932090 882844 3424 6655 0 905688 0
[pid=86116/tid=86118] ppid=86113 vsize=3728360 memory=3521136 CPUtime=1529.51 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 775438 0 0 0 152858 93 0 0 20 0 2 0 73052796 3817840640 882844 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 3175.67 s
Current children cumulated vsize: 3728360 KiB
Current children cumulated memory: 3531376 KiB

[startup+1722.3 s]
/proc/loadavg: 5.74 6.59 6.84 5/267 86341
/proc/meminfo: memFree=115304480/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3728360 memory=3531504 CPUtime=3257.28 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 2593602 0 0 0 325379 349 0 0 20 0 2 0 73051684 3817840640 882876 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 932090 882876 3456 6655 0 905688 0
[pid=86116/tid=86118] ppid=86113 vsize=3728360 memory=3521136 CPUtime=1552.05 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) S 86113 86116 83956 0 -1 4194368 801548 0 0 0 155110 95 0 0 20 0 2 0 73052796 3817840640 882876 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 3257.28 s
Current children cumulated vsize: 3728360 KiB
Current children cumulated memory: 3531504 KiB

[startup+1782.3 s]
/proc/loadavg: 5.13 6.24 6.70 6/267 86343
/proc/meminfo: memFree=113624644/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3728360 memory=3533168 CPUtime=3353.58 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 2669866 0 0 0 335004 354 0 0 20 0 2 0 73051684 3817840640 883292 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 932090 883292 3456 6655 0 905688 0
[pid=86116/tid=86118] ppid=86113 vsize=3728360 memory=4480 CPUtime=1588.57 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 839115 0 0 0 158760 97 0 0 20 0 2 0 73052796 3817840640 883292 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 3353.58 s
Current children cumulated vsize: 3728360 KiB
Current children cumulated memory: 3533168 KiB

[startup+1842.3 s]
/proc/loadavg: 5.12 6.03 6.60 6/267 86349
/proc/meminfo: memFree=112898256/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3728360 memory=3533680 CPUtime=3472.62 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 2733045 0 0 0 346905 357 0 0 20 0 2 0 73051684 3817840640 883420 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 932090 883420 3456 6655 0 905688 0
[pid=86116/tid=86118] ppid=86113 vsize=3728360 memory=3533168 CPUtime=1647.87 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 865325 0 0 0 164688 99 0 0 20 0 2 0 73052796 3817840640 883420 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 3472.62 s
Current children cumulated vsize: 3728360 KiB
Current children cumulated memory: 3533680 KiB

[startup+1902.3 s]
/proc/loadavg: 5.10 5.85 6.50 6/267 86351
/proc/meminfo: memFree=112947408/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3662824 memory=3475804 CPUtime=3591.63 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 2815010 0 0 0 358799 364 0 0 20 0 2 0 73051684 3750731776 868951 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 915706 868951 3456 6655 0 889449 0
[pid=86116/tid=86118] ppid=86113 vsize=3662824 memory=3533168 CPUtime=1707.15 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 897501 0 0 0 170612 103 0 0 20 0 2 0 73052796 3750731776 868951 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 3591.63 s
Current children cumulated vsize: 3662824 KiB
Current children cumulated memory: 3475804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1906.6 s]
/proc/loadavg: 5.09 5.84 6.49 6/267 86351
/proc/meminfo: memFree=112967396/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3662824 memory=3475804 CPUtime=3600.16 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) R 86113 86116 83956 0 -1 4194304 2816716 0 0 0 359652 364 0 0 20 0 2 0 73051684 3750731776 868951 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 915706 868951 3456 6655 0 889449 0
[pid=86116/tid=86118] ppid=86113 vsize=3662824 memory=4480 CPUtime=1711.4 cores=4,6
/proc/86116/task/86118/stat : 86118 (LSIPExact) R 86113 86116 83956 0 -1 4194368 897501 0 0 0 171037 103 0 0 20 0 2 0 73052796 3750731776 868951 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3662824 KiB
Current children cumulated memory: 3475804 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3596.8 s, system=3.75547 s

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

# cumulated CPU time of all completed processes:  user=3598.28 s, system=3.96556 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+1907.2 s]
/proc/loadavg: 5.09 5.84 6.49 5/267 86353
/proc/meminfo: memFree=113402160/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3002644 memory=2872628 CPUtime=3600.48 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) S 86113 86116 83956 0 -1 4194304 2900045 228 0 0 359679 369 0 0 20 0 1 0 73051684 3074707456 718157 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 750661 718157 3488 6655 0 736753 0
[pid=86353] ppid=86116 vsize=353556 memory=331180 CPUtime=0.27 cores=4,6
/proc/86353/stat : 86353 (Exact) R 86116 86353 86353 0 -1 4194304 31966 0 0 0 17 10 0 0 20 0 1 0 73242373 362041344 82763 18446744073709551615 4198400 8335837 140734039219952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19574784 140734039226548 140734039226909 140734039226909 140734039232463 0
/proc/86353/statm: 88423 82795 960 1011 0 87190 0
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 3356200 KiB
Current children cumulated memory: 3203808 KiB

[startup+1908 s]*
/proc/loadavg: 5.09 5.84 6.49 5/267 86353
/proc/meminfo: memFree=113011448/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3002644 memory=2872628 CPUtime=3600.48 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) S 86113 86116 83956 0 -1 4194304 2900045 228 0 0 359679 369 0 0 20 0 1 0 73051684 3074707456 718157 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 750661 718157 3488 6655 0 736753 0
[pid=86353] ppid=86116 vsize=557828 memory=545776 CPUtime=1.08 cores=4,6
/proc/86353/stat : 86353 (Exact) R 86116 86353 86353 0 -1 4194304 82559 0 0 0 90 18 0 0 20 0 1 0 73242373 571215872 136444 18446744073709551615 4198400 8335837 140734039219952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19574784 140734039226548 140734039226909 140734039226909 140734039232463 0
/proc/86353/statm: 139457 136444 960 1011 0 138224 0
Current children cumulated CPU time: 3601.56 s
Current children cumulated vsize: 3560472 KiB
Current children cumulated memory: 3418404 KiB

[startup+1908.4 s]
/proc/loadavg: 5.09 5.84 6.49 5/267 86353
/proc/meminfo: memFree=113011448/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3002644 memory=2872628 CPUtime=3600.48 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) S 86113 86116 83956 0 -1 4194304 2900045 228 0 0 359679 369 0 0 20 0 1 0 73051684 3074707456 718157 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 750661 718157 3488 6655 0 736753 0
[pid=86353] ppid=86116 vsize=578612 memory=568564 CPUtime=1.47 cores=4,6
/proc/86353/stat : 86353 (Exact) R 86116 86353 86353 0 -1 4194304 87311 0 0 0 128 19 0 0 20 0 1 0 73242373 592498688 142141 18446744073709551615 4198400 8335837 140734039219952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19574784 140734039226548 140734039226909 140734039226909 140734039232463 0
/proc/86353/statm: 144653 142141 960 1011 0 143420 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 3581256 KiB
Current children cumulated memory: 3441192 KiB

[startup+1908.6 s]
/proc/loadavg: 5.09 5.84 6.49 5/267 86353
/proc/meminfo: memFree=113011448/131249996 swapFree=33010672/33010684
[pid=86116] ppid=86113 vsize=3002644 memory=2872628 CPUtime=3600.48 cores=4,6
/proc/86116/stat : 86116 (LSIPExact) S 86113 86116 83956 0 -1 4194304 2900045 228 0 0 359679 369 0 0 20 0 1 0 73051684 3074707456 718157 18446744073709551615 94612809060352 94612836316753 140721179309136 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94612844819592 94612845251200 94612851445760 140721179314522 140721179314698 140721179314698 140721179320300 0
/proc/86116/statm: 750661 718157 3488 6655 0 736753 0
[pid=86353] ppid=86116 vsize=579396 memory=570612 CPUtime=1.66 cores=4,6
/proc/86353/stat : 86353 (Exact) R 86116 86353 86353 0 -1 4194304 88887 0 0 0 147 19 0 0 20 0 1 0 73242373 593301504 142653 18446744073709551615 4198400 8335837 140734039219952 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 19574784 140734039226548 140734039226909 140734039226909 140734039232463 0
/proc/86353/statm: 144849 142653 960 1011 0 143616 0
Current children cumulated CPU time: 3602.14 s
Current children cumulated vsize: 3582040 KiB
Current children cumulated memory: 3443240 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1908.67
CPU time (s): 3602.24
CPU user time (s): 3598.28
CPU system time (s): 3.96556
CPU usage (%): 188.73
Max. virtual memory (cumulated for all children) (KiB): 3796636
Max. memory (cumulated for all children) (KiB): 3603660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 3.96556
maximum resident set size= 3610260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2989160
page faults= 0
swaps= 0
block input operations= 64840
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 512
involuntary context switches= 28516


# summary of solver processes directly reported to runsolver:
#   pid: 86116,86353
#   total CPU time (s): 3602.24
#   total CPU user time (s): 3598.28
#   total CPU system time (s): 3.96556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08007 second user time and 7.9045 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2025-07-03 22:15:39
IDJOB=4522399
IDBENCH=178803
IDSOLVER=3336
FILE ID=nodeC017/4522399-1751573739
RUNJOBID= nodeC017-1751565791-83967
SLURM_JOB_ID= 9598774
Free space on /tmp= 432124 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-bab3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522399-1751573739/watcher-4522399-1751573739 -o /tmp/evaluation-result-4522399-1751573739/solver-4522399-1751573739 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751565791-83967 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4522399-1751573739.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 5650d49d55a36e62ab842bae231a0f3b
RANDOM SEED=871696623

nodeC017 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.060
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	: 7000.12
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		: 3600.068
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	: 7000.12
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		: 3602.406
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	: 7000.12
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		: 3600.081
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	: 7000.12
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		: 3700.000
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	: 7000.12
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		: 3600.060
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	: 7000.12
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		: 3600.053
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        102039304 kB
MemAvailable:   106077056 kB
Buffers:            1688 kB
Cached:          4806160 kB
SwapCached:            8 kB
Active:         23908240 kB
Inactive:        4516780 kB
Active(anon):   23619116 kB
Inactive(anon):    16128 kB
Active(file):     289124 kB
Inactive(file):  4500652 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             81008 kB
Writeback:             0 kB
AnonPages:      23612844 kB
Mapped:           139920 kB
Shmem:             18072 kB
KReclaimable:     174032 kB
Slab:             265688 kB
SReclaimable:     174032 kB
SUnreclaim:        91656 kB
KernelStack:        4288 kB
PageTables:        50440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   29175512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14602240 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432152 MiB
End job on nodeC017 at 2025-07-03 22:47:28