Trace number 4506353

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.53 1868.75

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
MD5SUM623011bcb799422f8ca68e1af7825a24
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47741
Best CPU time to get the best result obtained on this benchmark21.3279
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables211564
Total number of constraints2445434
Number of constraints which are clauses2445434
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint579
Number of terms in the objective function 18980
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 10690980
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 10690980
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.17/1866.50	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.17/1866.50	c numVar: 211564
3600.17/1866.50	c numCon: 2445434
3600.17/1866.50	c numEqual: 0
3600.17/1866.50	c intSize: 24
3600.17/1866.50	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.17/1866.50	c ------------------- Paras list -------------------
3600.17/1866.50	c Name                	 Type      	 Now       	 Default   	 Comment
3600.17/1866.50	c timeout             	 double    	 3600.000000	 3600      	 
3600.17/1866.50	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.17/1866.50	c ls_time             	 double    	 10.000000 	 10        	 
3600.17/1866.50	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.17/1866.50	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.17/1866.50	c random_seed         	 int       	 0         	 0         	 
3600.17/1866.50	c sample_size         	 int       	 50        	 50        	 
3600.17/1866.50	c sub_score           	 int       	 1         	 1         	 
3600.17/1866.50	c tabu_base           	 int       	 3         	 3         	 
3600.17/1866.50	c tabu_variation      	 int       	 1         	 1         	 
3600.17/1866.50	c sub_div             	 int       	 4         	 4         	 
3600.17/1866.50	c nbcore              	 int       	 2         	 1         	 
3600.17/1866.50	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.17/1866.50	c print_sol           	 int       	 1         	 1         	 
3600.17/1866.50	c tmpdir              	 string		 .         	 "."       	 
3600.17/1866.50	c home                	 string		 HOME	 "."       	 
3600.17/1866.50	c benchname           	 string		 HOME/instance-4506353-1751484865.opb	 ""        	 
3600.17/1866.50	c --------------------------------------------------
3600.17/1866.50	c Local Search solver
3600.17/1866.50	c MIP solver
3600.17/1866.50	c receive signal 15, try to interrupt solver...
3600.55/1866.71	c MIP solver find feasible solution
3600.65/1866.86	c MIP solver objective value: 47743
3601.04/1867.22	c MIP find feasible solution for PBO with objective value 47743
3601.04/1867.22	c copy file: 0
3601.04/1867.22	c gen ub file: HOME/instance-4506353-1751484865.opb_ub.opb
3601.04/1867.22	c use Exact solver

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (60723 MiB free)
  memory of node 1: 64507 MiB (58000 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=72040, runsolver pid=72037

[startup+0.100066 s]*
/proc/loadavg: 7.12 7.05 6.92 8/254 72041
/proc/meminfo: memFree=121432196/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=316308 memory=160960 CPUtime=0.09 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 29519 0 0 0 4 5 0 0 20 0 1 0 64166439 323899392 40240 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 79077 40240 1184 6655 0 69312 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 316308 KiB
Current children cumulated memory: 160960 KiB

[startup+0.206631 s]*
/proc/loadavg: 7.12 7.05 6.92 8/254 72041
/proc/meminfo: memFree=121359504/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=383628 memory=250688 CPUtime=0.2 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 46357 0 0 0 9 11 0 0 20 0 1 0 64166439 392835072 62672 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 95907 62672 1184 6655 0 86142 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 383628 KiB
Current children cumulated memory: 250688 KiB

[startup+0.306525 s]*
/proc/loadavg: 7.12 7.05 6.92 8/254 72041
/proc/meminfo: memFree=121266448/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=456492 memory=346176 CPUtime=0.3 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 64581 0 0 0 14 16 0 0 20 0 1 0 64166439 467447808 86544 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 114123 86544 1184 6655 0 104358 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 456492 KiB
Current children cumulated memory: 346176 KiB

[startup+0.700366 s]
/proc/loadavg: 7.12 7.05 6.92 8/254 72041
/proc/meminfo: memFree=121072448/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=660044 memory=617152 CPUtime=0.68 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 116051 0 0 0 35 33 0 0 20 0 1 0 64166439 675885056 154288 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 165011 154288 1184 6655 0 155246 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 660044 KiB
Current children cumulated memory: 617152 KiB

[startup+1.50031 s]
/proc/loadavg: 7.12 7.05 6.92 8/254 72041
/proc/meminfo: memFree=120987456/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=856400 memory=821592 CPUtime=1.47 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 135537 0 0 0 107 40 0 0 20 0 1 0 64166439 876953600 205398 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 214100 205398 1184 6655 0 204335 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 856400 KiB
Current children cumulated memory: 821592 KiB

[startup+3.11335 s]
/proc/loadavg: 7.12 7.05 6.92 8/254 72041
/proc/meminfo: memFree=120399192/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=1254804 memory=1217904 CPUtime=3.08 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 232696 0 0 0 250 58 0 0 20 0 1 0 64166439 1284919296 304476 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 313701 304476 1184 6655 0 303936 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1254804 KiB
Current children cumulated memory: 1217904 KiB

[startup+6.3003 s]
/proc/loadavg: 7.11 7.05 6.92 8/254 72041
/proc/meminfo: memFree=120149084/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=1486988 memory=1449328 CPUtime=6.26 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 290714 0 0 0 557 69 0 0 20 0 1 0 64166439 1522675712 362332 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 371747 362332 1184 6655 0 361982 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1486988 KiB
Current children cumulated memory: 1449328 KiB

[startup+12.7003 s]
/proc/loadavg: 7.10 7.05 6.92 8/254 72041
/proc/meminfo: memFree=119052652/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=2896716 memory=2809224 CPUtime=12.64 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 469889 0 0 0 1156 108 0 0 20 0 1 0 64166439 2966237184 702306 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 724179 702306 2272 6655 0 714414 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2896716 KiB
Current children cumulated memory: 2809224 KiB

[startup+25.5004 s]
/proc/loadavg: 7.22 7.08 6.93 8/255 72042
/proc/meminfo: memFree=118341824/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=3334184 memory=3188748 CPUtime=25.41 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 561584 0 0 0 2381 160 0 0 20 0 2 0 64166439 3414204416 797187 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 833546 797187 2784 6655 0 807429 0
[pid=72040/tid=72042] ppid=72037 vsize=3334184 memory=280772616122656 CPUtime=0 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) S 72037 72040 70730 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 64167827 3414204416 797187 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3334184 KiB
Current children cumulated memory: 3188748 KiB

[startup+51.1059 s]
/proc/loadavg: 7.23 7.09 6.94 9/255 72043
/proc/meminfo: memFree=117831772/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=3991828 memory=3841312 CPUtime=61.94 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 676584 0 0 0 6001 193 0 0 20 0 2 0 64166439 4087631872 960328 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 997957 960328 3776 6655 0 986403 0
[pid=72040/tid=72042] ppid=72037 vsize=3991828 memory=3839392 CPUtime=11.78 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 33736 0 0 0 1162 16 0 0 20 0 2 0 64167827 4087631872 960328 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 61.94 s
Current children cumulated vsize: 3991828 KiB
Current children cumulated memory: 3841312 KiB

[startup+102.3 s]
/proc/loadavg: 7.36 7.14 6.96 8/255 72045
/proc/meminfo: memFree=117760884/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4074300 memory=3908816 CPUtime=115.07 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 695342 0 0 0 11311 196 0 0 20 0 2 0 64166439 4172083200 977204 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1018575 977204 3776 6655 0 1007021 0
[pid=72040/tid=72042] ppid=72037 vsize=4074300 memory=14336 CPUtime=13.98 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) S 72037 72040 70730 0 -1 4194368 36192 0 0 0 1381 17 0 0 20 0 2 0 64167827 4172083200 977204 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 115.07 s
Current children cumulated vsize: 4074300 KiB
Current children cumulated memory: 3908816 KiB

[startup+162.3 s]
/proc/loadavg: 7.93 7.34 7.05 9/255 72051
/proc/meminfo: memFree=117391532/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4442248 memory=4285228 CPUtime=219.73 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 843439 0 0 0 21722 251 0 0 20 0 2 0 64166439 4548861952 1071307 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1110562 1071307 3840 6655 0 1095660 0
[pid=72040/tid=72042] ppid=72037 vsize=4442248 memory=4238456 CPUtime=58.91 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 72824 0 0 0 5856 35 0 0 20 0 2 0 64167827 4548861952 1071307 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 219.73 s
Current children cumulated vsize: 4442248 KiB
Current children cumulated memory: 4285228 KiB

[startup+222.3 s]
/proc/loadavg: 8.03 7.48 7.12 9/254 72053
/proc/meminfo: memFree=117271976/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4526672 memory=4387688 CPUtime=338.77 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 879118 0 0 0 33603 274 0 0 20 0 2 0 64166439 4635312128 1096922 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1131668 1096922 3840 6655 0 1116766 0
[pid=72040/tid=72042] ppid=72037 vsize=4526672 memory=4352656 CPUtime=118.2 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 78605 0 0 0 11782 38 0 0 20 0 2 0 64167827 4635312128 1096922 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 338.77 s
Current children cumulated vsize: 4526672 KiB
Current children cumulated memory: 4387688 KiB

[startup+282.3 s]
/proc/loadavg: 8.09 7.59 7.18 9/254 72055
/proc/meminfo: memFree=117073256/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4698300 memory=4569676 CPUtime=457.82 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 964924 0 0 0 45485 297 0 0 20 0 2 0 64166439 4811059200 1142419 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1174575 1142419 3840 6655 0 1162449 0
[pid=72040/tid=72042] ppid=72037 vsize=4698300 memory=4339140 CPUtime=177.5 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 113213 0 0 0 17703 47 0 0 20 0 2 0 64167827 4811059200 1142419 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 457.82 s
Current children cumulated vsize: 4698300 KiB
Current children cumulated memory: 4569676 KiB

[startup+342.3 s]
/proc/loadavg: 8.09 7.69 7.24 9/253 72057
/proc/meminfo: memFree=117044260/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4714684 memory=4598904 CPUtime=576.81 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 1025182 0 0 0 57373 308 0 0 20 0 2 0 64166439 4827836416 1149726 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1178671 1149726 3840 6655 0 1166545 0
[pid=72040/tid=72042] ppid=72037 vsize=4714684 memory=4569884 CPUtime=236.76 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 140352 0 0 0 23622 54 0 0 20 0 2 0 64167827 4827836416 1149726 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 576.81 s
Current children cumulated vsize: 4714684 KiB
Current children cumulated memory: 4598904 KiB

[startup+402.3 s]
/proc/loadavg: 8.00 7.74 7.29 8/253 72059
/proc/meminfo: memFree=117030488/131382116 swapFree=33010684/33010684

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

/proc/72040/statm: 1154575 1118561 3840 6655 0 1141098 0
[pid=72040/tid=72042] ppid=72037 vsize=4618300 memory=4469980 CPUtime=1362.43 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 457937 0 0 0 136079 164 0 0 20 0 2 0 64167827 4729139200 1118561 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 2837.68 s
Current children cumulated vsize: 4618300 KiB
Current children cumulated memory: 4474244 KiB

[startup+1542.3 s]
/proc/loadavg: 6.64 6.43 6.91 8/253 72306
/proc/meminfo: memFree=108869900/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4600588 memory=4459556 CPUtime=2956.75 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 2112426 0 0 0 295088 587 0 0 20 0 2 0 64166439 4711002112 1114889 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1150147 1114889 3840 6655 0 1136670 0
[pid=72040/tid=72042] ppid=72037 vsize=4600588 memory=4476744 CPUtime=1421.73 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 471973 0 0 0 142007 166 0 0 20 0 2 0 64167827 4711002112 1114889 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 2956.75 s
Current children cumulated vsize: 4600588 KiB
Current children cumulated memory: 4459556 KiB

[startup+1602.3 s]
/proc/loadavg: 6.92 6.55 6.92 8/253 72319
/proc/meminfo: memFree=108804068/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4621696 memory=4499900 CPUtime=3075.83 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 2139166 0 0 0 306988 595 0 0 20 0 2 0 64166439 4732616704 1124975 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1155424 1124975 3840 6655 0 1141947 0
[pid=72040/tid=72042] ppid=72037 vsize=4621696 memory=4476744 CPUtime=1481.03 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 482931 0 0 0 147935 168 0 0 20 0 2 0 64167827 4732616704 1124975 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 3075.83 s
Current children cumulated vsize: 4621696 KiB
Current children cumulated memory: 4499900 KiB

[startup+1662.3 s]
/proc/loadavg: 7.09 6.66 6.94 8/254 72322
/proc/meminfo: memFree=108812328/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4621796 memory=4500412 CPUtime=3194.91 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 2165860 0 0 0 318893 598 0 0 20 0 2 0 64166439 4732719104 1125103 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1155449 1125103 3840 6655 0 1141972 0
[pid=72040/tid=72042] ppid=72037 vsize=4621796 memory=4476744 CPUtime=1540.32 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 489149 0 0 0 153863 169 0 0 20 0 2 0 64167827 4732719104 1125103 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 3194.91 s
Current children cumulated vsize: 4621796 KiB
Current children cumulated memory: 4500412 KiB

[startup+1722.3 s]
/proc/loadavg: 7.09 6.74 6.95 8/254 72324
/proc/meminfo: memFree=108739896/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4644764 memory=4523964 CPUtime=3314 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 2216517 0 0 0 330790 610 0 0 20 0 2 0 64166439 4756238336 1130991 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1161191 1130991 3840 6655 0 1147714 0
[pid=72040/tid=72042] ppid=72037 vsize=4644764 memory=4476744 CPUtime=1599.62 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 495105 0 0 0 159792 170 0 0 20 0 2 0 64167827 4756238336 1130991 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 3314 s
Current children cumulated vsize: 4644764 KiB
Current children cumulated memory: 4523964 KiB

[startup+1782.3 s]
/proc/loadavg: 7.03 6.79 6.95 8/254 72326
/proc/meminfo: memFree=108806940/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4634044 memory=4493208 CPUtime=3433.09 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 2274143 0 0 0 342687 622 0 0 20 0 2 0 64166439 4745261056 1123302 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1158511 1123302 3840 6655 0 1145034 0
[pid=72040/tid=72042] ppid=72037 vsize=4634044 memory=4463616 CPUtime=1658.93 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 510113 0 0 0 165721 172 0 0 20 0 2 0 64167827 4745261056 1123302 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 3433.09 s
Current children cumulated vsize: 4634044 KiB
Current children cumulated memory: 4493208 KiB

[startup+1842.3 s]
/proc/loadavg: 7.11 6.86 6.97 8/255 72331
/proc/meminfo: memFree=108796344/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4635468 memory=4479844 CPUtime=3552.15 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 2311241 0 0 0 354583 632 0 0 20 0 2 0 64166439 4746719232 1119961 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1158867 1119961 3840 6655 0 1145390 0
[pid=72040/tid=72042] ppid=72037 vsize=4635468 memory=4493440 CPUtime=1718.22 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 520078 0 0 0 171643 179 0 0 20 0 2 0 64167827 4746719232 1119961 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 3552.15 s
Current children cumulated vsize: 4635468 KiB
Current children cumulated memory: 4479844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1866.5 s]
/proc/loadavg: 7.07 6.88 6.97 8/255 72332
/proc/meminfo: memFree=108773360/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=4636012 memory=4489828 CPUtime=3600.17 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) R 72037 72040 70730 0 -1 4194304 2325433 0 0 0 359378 639 0 0 20 0 2 0 64166439 4747276288 1122457 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 1159003 1122457 3840 6655 0 1145526 0
[pid=72040/tid=72042] ppid=72037 vsize=4636012 memory=4493440 CPUtime=1742.13 cores=4,6
/proc/72040/task/72042/stat : 72042 (LSIPExact) R 72037 72040 70730 0 -1 4194368 520145 0 0 0 174034 179 0 0 20 0 2 0 64167827 4747276288 1122457 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 4636012 KiB
Current children cumulated memory: 4489828 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3595.7 s, system=6.83861 s

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

[startup+1867.2 s]
/proc/loadavg: 7.07 6.88 6.97 7/254 72332
/proc/meminfo: memFree=109837296/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=3498724 memory=3431796 CPUtime=3601.04 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) S 72037 72040 70730 0 -1 4194304 2621430 0 0 0 359451 653 0 0 20 0 1 0 64166439 3582693376 857949 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 65536 6 16384 1 0 0 17 4 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 874681 857949 3872 6655 0 863368 0
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 3498724 KiB
Current children cumulated memory: 3431796 KiB

[startup+1868 s]*
/proc/loadavg: 7.07 6.88 6.97 7/255 72334
/proc/meminfo: memFree=109657896/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=3498724 memory=3431796 CPUtime=3601.04 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) S 72037 72040 70730 0 -1 4194304 2621430 227 0 0 359451 653 0 0 20 0 1 0 64166439 3582693376 857949 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 874681 857949 3872 6655 0 863368 0
[pid=72334] ppid=72040 vsize=191896 memory=179164 CPUtime=0.74 cores=4,6
/proc/72334/stat : 72334 (Exact) R 72040 72334 72334 0 -1 4194304 21151 0 0 0 69 5 0 0 20 0 1 0 64353162 196501504 44791 18446744073709551615 4198400 8335837 140729717008624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 45551616 140729717016756 140729717017117 140729717017117 140729717022671 0
/proc/72334/statm: 47974 44791 928 1011 0 46741 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 3690620 KiB
Current children cumulated memory: 3610960 KiB

[startup+1868.4 s]
/proc/loadavg: 7.07 6.88 6.97 7/255 72334
/proc/meminfo: memFree=109657896/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=3498724 memory=3431796 CPUtime=3601.04 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) S 72037 72040 70730 0 -1 4194304 2621430 227 0 0 359451 653 0 0 20 0 1 0 64166439 3582693376 857949 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 874681 857949 3872 6655 0 863368 0
[pid=72334] ppid=72040 vsize=202188 memory=190576 CPUtime=1.13 cores=4,6
/proc/72334/stat : 72334 (Exact) R 72040 72334 72334 0 -1 4194304 23507 0 0 0 107 6 0 0 20 0 1 0 64353162 207040512 47644 18446744073709551615 4198400 8335837 140729717008624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 45551616 140729717016756 140729717017117 140729717017117 140729717022671 0
/proc/72334/statm: 50547 47644 928 1011 0 49314 0
Current children cumulated CPU time: 3602.17 s
Current children cumulated vsize: 3700912 KiB
Current children cumulated memory: 3622372 KiB

[startup+1868.5 s]
/proc/loadavg: 7.07 6.88 6.97 7/255 72334
/proc/meminfo: memFree=109657896/131382116 swapFree=33010684/33010684
[pid=72040] ppid=72037 vsize=3498724 memory=3431796 CPUtime=3601.04 cores=4,6
/proc/72040/stat : 72040 (LSIPExact) S 72037 72040 70730 0 -1 4194304 2621430 227 0 0 359451 653 0 0 20 0 1 0 64166439 3582693376 857949 18446744073709551615 94701797613568 94701824869969 140730058931632 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94701833372808 94701833804416 94701865410560 140730058934618 140730058934794 140730058934794 140730058940396 0
/proc/72040/statm: 874681 857949 3872 6655 0 863368 0
[pid=72334] ppid=72040 vsize=205232 memory=195952 CPUtime=1.24 cores=4,6
/proc/72334/stat : 72334 (Exact) R 72040 72334 72334 0 -1 4194304 24315 0 0 0 117 7 0 0 20 0 1 0 64353162 210157568 48988 18446744073709551615 4198400 8335837 140729717008624 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 45551616 140729717016756 140729717017117 140729717017117 140729717022671 0
/proc/72334/statm: 51308 48988 928 1011 0 50075 0
Current children cumulated CPU time: 3602.28 s
Current children cumulated vsize: 3703956 KiB
Current children cumulated memory: 3627748 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1868.75
CPU time (s): 3602.53
CPU user time (s): 3595.7
CPU system time (s): 6.83861
CPU usage (%): 192.778
Max. virtual memory (cumulated for all children) (KiB): 5029184
Max. memory (cumulated for all children) (KiB): 4827244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.7
system time used= 6.83861
maximum resident set size= 4827244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2645973
page faults= 0
swaps= 0
block input operations= 56648
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 483
involuntary context switches= 57265


# summary of solver processes directly reported to runsolver:
#   pid: 72040
#   total CPU time (s): 3602.53
#   total CPU user time (s): 3595.7
#   total CPU system time (s): 6.83861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31339 second user time and 9.25768 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 21:34:27
IDJOB=4506353
IDBENCH=158189
IDSOLVER=3336
FILE ID=nodeC011/4506353-1751484865
RUNJOBID= nodeC011-1751477276-70741
SLURM_JOB_ID= 9598512
Free space on /tmp= 430264 MiB

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

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

MD5SUM BENCH= 623011bcb799422f8ca68e1af7825a24
RANDOM SEED=871995586

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        121573476 kB
MemAvailable:   123761208 kB
Buffers:            3276 kB
Cached:          2989912 kB
SwapCached:            0 kB
Active:          6680764 kB
Inactive:        2561472 kB
Active(anon):    6264904 kB
Inactive(anon):     2104 kB
Active(file):     415860 kB
Inactive(file):  2559368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            120784 kB
Writeback:             4 kB
AnonPages:       6249032 kB
Mapped:           140628 kB
Shmem:             17960 kB
KReclaimable:     103876 kB
Slab:             188772 kB
SReclaimable:     103876 kB
SUnreclaim:        84896 kB
KernelStack:        4096 kB
PageTables:        15568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6857140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2828288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430048 MiB
End job on nodeC011 at 2025-07-02 22:05:36