Trace number 4544833

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 NameAnswerCPU timeWall clock time
LSIPExact S1UNSAT 1428.8 727.297

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_10_triangular.opb
MD5SUM66da69fc5ff2d69cb07ac1ec77d1e0fe
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.05187
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6360
Total number of constraints63606
Number of constraints which are clauses61006
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2600
Minimum length of a constraint2
Maximum length of a constraint12
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1427.57/726.16	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1427.57/726.16	c numVar: 6360
1427.57/726.16	c numCon: 63606
1427.57/726.16	c numEqual: 0
1427.57/726.16	c intSize: 6
1427.57/726.16	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1427.57/726.16	c ------------------- Paras list -------------------
1427.57/726.16	c Name                	 Type      	 Now       	 Default   	 Comment
1427.57/726.16	c timeout             	 double    	 3600.000000	 3600      	 
1427.57/726.16	c mip_time            	 double    	 0.200000  	 0.5       	 
1427.57/726.16	c ls_time             	 double    	 10.000000 	 10        	 
1427.57/726.16	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1427.57/726.16	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1427.57/726.16	c random_seed         	 int       	 0         	 0         	 
1427.57/726.16	c sample_size         	 int       	 50        	 50        	 
1427.57/726.16	c sub_score           	 int       	 1         	 1         	 
1427.57/726.16	c tabu_base           	 int       	 3         	 3         	 
1427.57/726.16	c tabu_variation      	 int       	 1         	 1         	 
1427.57/726.16	c sub_div             	 int       	 4         	 4         	 
1427.57/726.16	c nbcore              	 int       	 2         	 1         	 
1427.57/726.16	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1427.57/726.16	c print_sol           	 int       	 1         	 1         	 
1427.57/726.16	c tmpdir              	 string		 .         	 "."       	 
1427.57/726.16	c home                	 string		 HOME	 "."       	 
1427.57/726.16	c benchname           	 string		 HOME/instance-4544833-1753222940.opb	 ""        	 
1427.57/726.16	c --------------------------------------------------
1427.57/726.16	c Local Search solver
1427.57/726.16	c MIP solver
1427.57/726.16	c use Exact solver
1428.70/727.23	c Exact infeasible
1428.70/727.28	s UNSATISFIABLE
1428.70/727.28	c Total time: 727

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 (62015 MiB free)
  memory of node 1: 64507 MiB (19625 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544833-1753222940/watcher-4544833-1753222940 -o /tmp/evaluation-result-4544833-1753222940/solver-4544833-1753222940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753221043-166586 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4544833-1753222940.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=167454, runsolver pid=167451

[startup+0.100067 s]*
/proc/loadavg: 5.14 5.12 4.95 6/266 167455
/proc/meminfo: memFree=83553472/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=87032 memory=52352 CPUtime=0.09 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 12088 0 0 0 8 1 0 0 20 0 1 0 237972906 89120768 13088 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 21758 13088 1152 6655 0 11993 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87032 KiB
Current children cumulated memory: 52352 KiB

[startup+0.20588 s]*
/proc/loadavg: 5.14 5.12 4.95 6/266 167455
/proc/meminfo: memFree=83553472/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=87164 memory=52608 CPUtime=0.2 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 12146 0 0 0 19 1 0 0 20 0 1 0 237972906 89255936 13152 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 21791 13152 1152 6655 0 12026 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87164 KiB
Current children cumulated memory: 52608 KiB

[startup+0.305653 s]*
/proc/loadavg: 5.14 5.12 4.95 6/266 167455
/proc/meminfo: memFree=83553472/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=87164 memory=52608 CPUtime=0.29 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 12146 0 0 0 28 1 0 0 20 0 1 0 237972906 89255936 13152 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 21791 13152 1152 6655 0 12026 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 87164 KiB
Current children cumulated memory: 52608 KiB

[startup+0.700173 s]
/proc/loadavg: 5.14 5.12 4.95 6/266 167455
/proc/meminfo: memFree=83553472/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=87164 memory=52608 CPUtime=0.68 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 12146 0 0 0 67 1 0 0 20 0 1 0 237972906 89255936 13152 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 21791 13152 1152 6655 0 12026 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 87164 KiB
Current children cumulated memory: 52608 KiB

[startup+1.50018 s]
/proc/loadavg: 5.14 5.12 4.95 6/266 167455
/proc/meminfo: memFree=83553472/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=87164 memory=52608 CPUtime=1.48 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 12146 0 0 0 147 1 0 0 20 0 1 0 237972906 89255936 13152 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 21791 13152 1152 6655 0 12026 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87164 KiB
Current children cumulated memory: 52608 KiB

[startup+3.10552 s]
/proc/loadavg: 5.13 5.12 4.95 6/266 167455
/proc/meminfo: memFree=83553764/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=87164 memory=52608 CPUtime=3.08 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 12146 0 0 0 307 1 0 0 20 0 1 0 237972906 89255936 13152 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 21791 13152 1152 6655 0 12026 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 87164 KiB
Current children cumulated memory: 52608 KiB

[startup+6.30016 s]
/proc/loadavg: 5.13 5.12 4.95 6/266 167455
/proc/meminfo: memFree=83549668/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=87164 memory=52608 CPUtime=6.27 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 12146 0 0 0 626 1 0 0 20 0 1 0 237972906 89255936 13152 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 21791 13152 1152 6655 0 12026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 87164 KiB
Current children cumulated memory: 52608 KiB

[startup+12.7002 s]
/proc/loadavg: 5.19 5.13 4.96 7/267 167456
/proc/meminfo: memFree=83352536/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=324072 memory=244004 CPUtime=14.56 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 51756 0 0 0 1447 9 0 0 20 0 2 0 237972906 331849728 61001 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 81018 61001 3328 6655 0 62805 0
[pid=167454/tid=167456] ppid=167451 vsize=324072 memory=232236 CPUtime=1.91 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 7331 0 0 0 189 2 0 0 20 0 2 0 237973916 331849728 61001 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 14.56 s
Current children cumulated vsize: 324072 KiB
Current children cumulated memory: 244004 KiB

[startup+25.5002 s]
/proc/loadavg: 5.24 5.14 4.97 7/267 167456
/proc/meminfo: memFree=83225200/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=450200 memory=347720 CPUtime=37.17 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 102349 0 0 0 3700 17 0 0 20 0 2 0 237972906 461004800 86930 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 112550 86930 3328 6655 0 90283 0
[pid=167454/tid=167456] ppid=167451 vsize=450200 memory=347720 CPUtime=14.6 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 26608 0 0 0 1454 6 0 0 20 0 2 0 237973916 461004800 86930 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 37.17 s
Current children cumulated vsize: 450200 KiB
Current children cumulated memory: 347720 KiB

[startup+51.1057 s]
/proc/loadavg: 5.56 5.23 5.00 7/267 167457
/proc/meminfo: memFree=83136996/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=460460 memory=410060 CPUtime=88.01 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 146309 0 0 0 8772 29 0 0 20 0 2 0 237972906 471511040 102515 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 115115 102515 3392 6655 0 105318 0
[pid=167454/tid=167456] ppid=167451 vsize=460460 memory=405960 CPUtime=40.12 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 33513 0 0 0 3999 13 0 0 20 0 2 0 237973916 471511040 102515 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 88.01 s
Current children cumulated vsize: 460460 KiB
Current children cumulated memory: 410060 KiB

[startup+102.3 s]
/proc/loadavg: 5.88 5.38 5.07 7/267 167458
/proc/meminfo: memFree=83025892/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=435796 memory=391352 CPUtime=189.65 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 188710 0 0 0 18926 39 0 0 20 0 2 0 237972906 446255104 97838 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 108949 97838 3392 6655 0 99152 0
[pid=167454/tid=167456] ppid=167451 vsize=435796 memory=391352 CPUtime=91.13 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 49235 0 0 0 9095 18 0 0 20 0 2 0 237973916 446255104 97838 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 189.65 s
Current children cumulated vsize: 435796 KiB
Current children cumulated memory: 391352 KiB

[startup+162.3 s]
/proc/loadavg: 6.07 5.52 5.14 7/267 167460
/proc/meminfo: memFree=82930564/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=443704 memory=394480 CPUtime=308.82 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 247269 0 0 0 30829 53 0 0 20 0 2 0 237972906 454352896 98620 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 110926 98620 3392 6655 0 101129 0
[pid=167454/tid=167456] ppid=167451 vsize=443704 memory=-7520064403629243257 CPUtime=150.94 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 64935 0 0 0 15069 25 0 0 20 0 2 0 237973916 454352896 98620 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 308.82 s
Current children cumulated vsize: 443704 KiB
Current children cumulated memory: 394480 KiB

[startup+222.3 s]
/proc/loadavg: 6.16 5.64 5.21 7/268 167463
/proc/meminfo: memFree=82774336/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=437332 memory=395812 CPUtime=427.93 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 296132 0 0 0 42724 69 0 0 20 0 2 0 237972906 447827968 98953 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 109333 98953 3392 6655 0 99536 0
[pid=167454/tid=167456] ppid=167451 vsize=437332 memory=379428 CPUtime=210.73 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 85559 0 0 0 21036 37 0 0 20 0 2 0 237973916 447827968 98953 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 427.93 s
Current children cumulated vsize: 437332 KiB
Current children cumulated memory: 395812 KiB

[startup+282.3 s]
/proc/loadavg: 6.00 5.68 5.25 7/271 167562
/proc/meminfo: memFree=82700340/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=510852 memory=414920 CPUtime=546.95 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 303617 0 0 0 54617 78 0 0 20 0 2 0 237972906 523112448 103730 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 127713 103730 3392 6655 0 106316 0
[pid=167454/tid=167456] ppid=167451 vsize=510852 memory=14444 CPUtime=270.52 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 90733 0 0 0 27011 41 0 0 20 0 2 0 237973916 523112448 103730 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 546.95 s
Current children cumulated vsize: 510852 KiB
Current children cumulated memory: 414920 KiB

[startup+342.3 s]
/proc/loadavg: 6.10 5.77 5.31 7/272 167569
/proc/meminfo: memFree=82531196/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=437508 CPUtime=665.82 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 373613 0 0 0 66484 98 0 0 20 0 2 0 237972906 527454208 109377 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 109377 3392 6655 0 110861 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=437380 CPUtime=330.09 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 118846 0 0 0 32954 55 0 0 20 0 2 0 237973916 527454208 109377 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 665.82 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 437508 KiB


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

/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 385946 0 0 0 78388 100 0 0 20 0 2 0 237972906 527454208 110906 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 110906 3392 6655 0 110861 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=443624 CPUtime=389.84 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 124191 0 0 0 38928 56 0 0 20 0 2 0 237973916 527454208 110906 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 784.88 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 443624 KiB

[startup+462.3 s]
/proc/loadavg: 6.15 5.90 5.41 7/272 167573
/proc/meminfo: memFree=82290328/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=443624 CPUtime=903.93 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 399918 0 0 0 90291 102 0 0 20 0 2 0 237972906 527454208 110906 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 110906 3392 6655 0 110861 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=443624 CPUtime=449.59 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 131216 0 0 0 44902 57 0 0 20 0 2 0 237973916 527454208 110906 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 903.93 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 443624 KiB

[startup+522.3 s]
/proc/loadavg: 6.11 5.93 5.46 7/270 167575
/proc/meminfo: memFree=82183004/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=443624 CPUtime=1022.98 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 399959 0 0 0 102196 102 0 0 20 0 2 0 237972906 527454208 110906 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 110906 3392 6655 0 110861 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=443624 CPUtime=509.34 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 131236 0 0 0 50877 57 0 0 20 0 2 0 237973916 527454208 110906 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1022.98 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 443624 KiB

[startup+582.3 s]
/proc/loadavg: 6.08 5.96 5.50 7/267 167577
/proc/meminfo: memFree=82056628/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=444008 CPUtime=1142.06 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 406247 0 0 0 114104 102 0 0 20 0 2 0 237972906 527454208 111002 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 111002 3392 6655 0 110861 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=443624 CPUtime=569.1 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 131239 0 0 0 56853 57 0 0 20 0 2 0 237973916 527454208 111002 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1142.06 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 444008 KiB

[startup+642.3 s]
/proc/loadavg: 6.13 6.00 5.54 7/266 167625
/proc/meminfo: memFree=102053012/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=444008 CPUtime=1261.19 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 416030 0 0 0 126015 104 0 0 20 0 2 0 237972906 527454208 111002 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 111002 3392 6655 0 110861 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=443624 CPUtime=628.89 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 133377 0 0 0 62832 57 0 0 20 0 2 0 237973916 527454208 111002 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1261.19 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 444008 KiB

[startup+702.3 s]
/proc/loadavg: 6.64 6.17 5.63 8/266 167627
/proc/meminfo: memFree=98698952/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=451744 CPUtime=1380.33 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 425889 0 0 0 137927 106 0 0 20 0 2 0 237972906 527454208 112936 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 112936 3392 6655 0 111877 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=443624 CPUtime=688.68 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 143189 0 0 0 68809 59 0 0 20 0 2 0 237973916 527454208 112936 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1380.33 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 451744 KiB

[startup+727.297 s]
# the end of solver process 167454 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1427.66 s, system=1.14174 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+704 s]*
/proc/loadavg: 6.67 6.19 5.64 8/266 167627
/proc/meminfo: memFree=98699204/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=451744 CPUtime=1383.71 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 425891 0 0 0 138265 106 0 0 20 0 2 0 237972906 527454208 112936 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 112936 3392 6655 0 111878 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=-7520064403646216569 CPUtime=690.38 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 143191 0 0 0 68979 59 0 0 20 0 2 0 237973916 527454208 112936 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1383.71 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 451744 KiB

[startup+716.8 s]
/proc/loadavg: 6.72 6.21 5.65 8/266 167627
/proc/meminfo: memFree=98695108/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=451872 CPUtime=1409.1 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 425911 0 0 0 140804 106 0 0 20 0 2 0 237972906 527454208 112968 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 112968 3392 6655 0 111881 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=14444 CPUtime=703.12 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 143211 0 0 0 70253 59 0 0 20 0 2 0 237973916 527454208 112968 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1409.1 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 451872 KiB

[startup+723.2 s]
/proc/loadavg: 6.92 6.27 5.68 8/266 167627
/proc/meminfo: memFree=98695108/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=452128 CPUtime=1421.81 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 428962 0 0 0 142075 106 0 0 20 0 2 0 237972906 527454208 113032 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 113032 3392 6655 0 111882 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=451872 CPUtime=709.5 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 143217 0 0 0 70891 59 0 0 20 0 2 0 237973916 527454208 113032 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1421.81 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 452128 KiB

[startup+724.8 s]
/proc/loadavg: 6.92 6.27 5.68 8/266 167628
/proc/meminfo: memFree=98695108/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=515092 memory=452128 CPUtime=1424.99 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) R 167451 167454 166575 0 -1 4194304 428963 0 0 0 142393 106 0 0 20 0 2 0 237972906 527454208 113032 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 128773 113032 3392 6655 0 111882 0
[pid=167454/tid=167456] ppid=167451 vsize=515092 memory=14444 CPUtime=711.1 cores=4,6
/proc/167454/task/167456/stat : 167456 (LSIPExact) R 167451 167454 166575 0 -1 4194368 143217 0 0 0 71051 59 0 0 20 0 2 0 237973916 527454208 113032 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
Current children cumulated CPU time: 1424.99 s
Current children cumulated vsize: 515092 KiB
Current children cumulated memory: 452128 KiB

[startup+726.4 s]
/proc/loadavg: 6.92 6.27 5.68 8/266 167628
/proc/meminfo: memFree=98695132/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=449556 memory=413440 CPUtime=1427.69 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) S 167451 167454 166575 0 -1 4194304 438647 0 0 0 142662 107 0 0 20 0 1 0 237972906 460345344 103360 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 112389 103360 3424 6655 0 102592 0
Current children cumulated CPU time: 1427.69 s
Current children cumulated vsize: 449556 KiB
Current children cumulated memory: 413440 KiB

[startup+726.8 s]
/proc/loadavg: 6.92 6.27 5.68 8/266 167628
/proc/meminfo: memFree=98695132/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=449556 memory=413440 CPUtime=1427.69 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) S 167451 167454 166575 0 -1 4194304 438647 0 0 0 142662 107 0 0 20 0 1 0 237972906 460345344 103360 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 112389 103360 3424 6655 0 102592 0
Current children cumulated CPU time: 1427.69 s
Current children cumulated vsize: 449556 KiB
Current children cumulated memory: 413440 KiB

[startup+727.2 s]
/proc/loadavg: 6.92 6.27 5.68 7/266 167629
/proc/meminfo: memFree=98669240/131249988 swapFree=33010160/33010684
[pid=167454] ppid=167451 vsize=449556 memory=413440 CPUtime=1427.69 cores=4,6
/proc/167454/stat : 167454 (LSIPExact) S 167451 167454 166575 0 -1 4194304 438647 0 0 0 142662 107 0 0 20 0 1 0 237972906 460345344 103360 18446744073709551615 94852557971456 94852585227857 140724834724320 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94852593730696 94852594162304 94852597010432 140724834728280 140724834728456 140724834728456 140724834734060 0
/proc/167454/statm: 112389 103360 3424 6655 0 102592 0
[pid=167629] ppid=167454 vsize=88540 memory=71288 CPUtime=1.01 cores=4,6
/proc/167629/stat : 167629 (Exact) R 167454 167629 167629 0 -1 4194304 14454 0 0 0 97 4 0 0 20 0 1 0 238045523 90664960 17822 18446744073709551615 4198400 8335837 140731820332832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 44531712 140731820341433 140731820341787 140731820341787 140731820347343 0
/proc/167629/statm: 22135 17822 1120 1011 0 20902 0
Current children cumulated CPU time: 1428.7 s
Current children cumulated vsize: 538096 KiB
Current children cumulated memory: 484728 KiB

Child status: 0

Real time (s): 727.297
CPU time (s): 1428.8
CPU user time (s): 1427.66
CPU system time (s): 1.14174
CPU usage (%): 196.454
Max. virtual memory (cumulated for all children) (KiB): 558628
Max. memory (cumulated for all children) (KiB): 494172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1427.66
system time used= 1.14174
maximum resident set size= 496220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 392
involuntary context switches= 15002


# summary of solver processes directly reported to runsolver:
#   pid: 167454
#   total CPU time (s): 1428.8
#   total CPU user time (s): 1427.66
#   total CPU system time (s): 1.14174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.87253 second user time and 3.03993 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-23 00:22:20
IDJOB=4544833
IDBENCH=180684
IDSOLVER=3336
FILE ID=nodeC034/4544833-1753222940
RUNJOBID= nodeC034-1753221043-166586
SLURM_JOB_ID= 9687808
Free space on /tmp= 432780 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat12_10_triangular.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544833-1753222940/watcher-4544833-1753222940 -o /tmp/evaluation-result-4544833-1753222940/solver-4544833-1753222940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753221043-166586 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4544833-1753222940.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 66da69fc5ff2d69cb07ac1ec77d1e0fe
RANDOM SEED=1240392458

nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        83600596 kB
MemAvailable:   84561980 kB
Buffers:            2128 kB
Cached:          1700260 kB
SwapCached:           32 kB
Active:         46229976 kB
Inactive:         579620 kB
Active(anon):   45131320 kB
Inactive(anon):     2152 kB
Active(file):    1098656 kB
Inactive(file):   577468 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47096 kB
Writeback:             4 kB
AnonPages:      45094064 kB
Mapped:           152224 kB
Shmem:             26264 kB
KReclaimable:     248600 kB
Slab:             346980 kB
SReclaimable:     248600 kB
SUnreclaim:        98380 kB
KernelStack:        4288 kB
PageTables:        92052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   50031276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23920640 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432760 MiB
End job on nodeC034 at 2025-07-23 00:34:28