Trace number 4507940

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 S2UNSAT 2168.4 1128.95

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
MD5SUMb67c8b15922ffb2eac696beabc53406c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark0.626446
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9324
Total number of constraints28660
Number of constraints which are clauses26658
Number of constraints which are cardinality constraints (but not clauses)238
Number of constraints which are nor clauses,nor cardinality constraints1764
Minimum length of a constraint2
Maximum length of a constraint240
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 670
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2166.57/1127.29	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
2166.57/1127.29	c numVar: 9324
2166.57/1127.29	c numCon: 28660
2166.57/1127.29	c numEqual: 0
2166.57/1127.29	c intSize: 10
2166.57/1127.29	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
2166.57/1127.29	c ------------------- Paras list -------------------
2166.57/1127.29	c Name                	 Type      	 Now       	 Default   	 Comment
2166.57/1127.29	c timeout             	 double    	 3600.000000	 3600      	 
2166.57/1127.29	c mip_time            	 double    	 0.500000  	 0.5       	 
2166.57/1127.29	c ls_time             	 double    	 10.000000 	 10        	 
2166.57/1127.29	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
2166.57/1127.29	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
2166.57/1127.29	c random_seed         	 int       	 0         	 0         	 
2166.57/1127.29	c sample_size         	 int       	 50        	 50        	 
2166.57/1127.29	c sub_score           	 int       	 1         	 1         	 
2166.57/1127.29	c tabu_base           	 int       	 3         	 3         	 
2166.57/1127.29	c tabu_variation      	 int       	 1         	 1         	 
2166.57/1127.29	c sub_div             	 int       	 4         	 4         	 
2166.57/1127.29	c nbcore              	 int       	 2         	 1         	 
2166.57/1127.29	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
2166.57/1127.29	c print_sol           	 int       	 1         	 1         	 
2166.57/1127.29	c tmpdir              	 string		 .         	 "."       	 
2166.57/1127.29	c home                	 string		 HOME	 "."       	 
2166.57/1127.29	c benchname           	 string		 HOME/instance-4507940-1751504701.opb	 ""        	 
2166.57/1127.29	c --------------------------------------------------
2166.57/1127.29	c Local Search solver
2166.57/1127.29	c MIP solver
2166.57/1127.29	c MIP solver infeasible
2166.57/1127.29	c use Exact solver
2168.33/1128.92	c Exact infeasible
2168.33/1128.94	s UNSATISFIABLE
2168.33/1128.94	c Total time: 1129

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=65482, runsolver pid=65470
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 0.81 1.04 1.38 7/266 65487
/proc/meminfo: memFree=128027284/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=61664 memory=26880 CPUtime=0.09 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 5766 0 0 0 8 1 0 0 20 0 1 0 66147660 63143936 6720 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 15416 6720 1120 6655 0 5651 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 26880 KiB

[startup+0.205653 s]*
/proc/loadavg: 0.81 1.04 1.38 7/266 65487
/proc/meminfo: memFree=128027284/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=61664 memory=26880 CPUtime=0.2 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 5766 0 0 0 19 1 0 0 20 0 1 0 66147660 63143936 6720 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 15416 6720 1120 6655 0 5651 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 26880 KiB

[startup+0.305677 s]*
/proc/loadavg: 0.81 1.04 1.38 7/266 65487
/proc/meminfo: memFree=128027484/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=61664 memory=26880 CPUtime=0.3 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 5766 0 0 0 29 1 0 0 20 0 1 0 66147660 63143936 6720 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 15416 6720 1120 6655 0 5651 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 26880 KiB

[startup+0.70017 s]
/proc/loadavg: 0.81 1.04 1.38 7/266 65487
/proc/meminfo: memFree=128027484/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=61664 memory=26880 CPUtime=0.68 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 5766 0 0 0 67 1 0 0 20 0 1 0 66147660 63143936 6720 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 15416 6720 1120 6655 0 5651 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 26880 KiB

[startup+1.50015 s]
/proc/loadavg: 1.07 1.09 1.40 7/266 65487
/proc/meminfo: memFree=128027484/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=61664 memory=26880 CPUtime=1.48 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 5766 0 0 0 147 1 0 0 20 0 1 0 66147660 63143936 6720 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 15416 6720 1120 6655 0 5651 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 26880 KiB

[startup+3.10532 s]
/proc/loadavg: 1.07 1.09 1.40 7/266 65487
/proc/meminfo: memFree=128028452/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=61664 memory=26880 CPUtime=3.08 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 5766 0 0 0 307 1 0 0 20 0 1 0 66147660 63143936 6720 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 15416 6720 1120 6655 0 5651 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 26880 KiB

[startup+6.30012 s]
/proc/loadavg: 1.31 1.14 1.41 7/266 65487
/proc/meminfo: memFree=128028952/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=61664 memory=26880 CPUtime=6.27 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 5766 0 0 0 626 1 0 0 20 0 1 0 66147660 63143936 6720 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 15416 6720 1120 6655 0 5651 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 26880 KiB

[startup+12.7002 s]
/proc/loadavg: 1.84 1.25 1.45 11/270 65491
/proc/meminfo: memFree=127457952/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=216776 memory=170724 CPUtime=14.82 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 39647 0 0 0 1476 6 0 0 20 0 2 0 66147660 221978624 42681 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 54194 42681 3328 6655 0 42899 0
[pid=65482/tid=65490] ppid=65470 vsize=216776 memory=18432 CPUtime=2.16 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 14322 0 0 0 215 1 0 0 20 0 2 0 66148666 221978624 42681 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 170724 KiB

[startup+25.5002 s]
/proc/loadavg: 2.86 1.49 1.52 11/270 65492
/proc/meminfo: memFree=127268996/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=266484 memory=204424 CPUtime=40.18 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 87589 0 0 0 4008 10 0 0 20 0 2 0 66147660 272879616 51106 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 66621 51106 3424 6655 0 56034 0
[pid=65482/tid=65490] ppid=65470 vsize=266484 memory=14432 CPUtime=14.79 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 32701 0 0 0 1476 3 0 0 20 0 2 0 66148666 272879616 51106 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 40.18 s
Current children cumulated vsize: 266484 KiB
Current children cumulated memory: 204424 KiB

[startup+51.1055 s]
/proc/loadavg: 4.81 2.10 1.72 9/270 65494
/proc/meminfo: memFree=127195028/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=266484 memory=208648 CPUtime=90.91 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 113929 0 0 0 9077 14 0 0 20 0 2 0 66147660 272879616 52162 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 66621 52162 3424 6655 0 56034 0
[pid=65482/tid=65490] ppid=65470 vsize=266484 memory=107108 CPUtime=40.09 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 45414 0 0 0 4004 5 0 0 20 0 2 0 66148666 272879616 52162 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 90.91 s
Current children cumulated vsize: 266484 KiB
Current children cumulated memory: 208648 KiB

[startup+102.3 s]
/proc/loadavg: 6.61 3.00 2.05 10/270 65541
/proc/meminfo: memFree=126894332/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=478880 memory=410428 CPUtime=192.45 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 194085 0 0 0 19217 28 0 0 20 0 2 0 66147660 490373120 102607 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 119720 102607 3424 6655 0 102304 0
[pid=65482/tid=65490] ppid=65470 vsize=478880 memory=379580 CPUtime=90.68 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 101039 0 0 0 9051 17 0 0 20 0 2 0 66148666 490373120 102607 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 192.45 s
Current children cumulated vsize: 478880 KiB
Current children cumulated memory: 410428 KiB

[startup+162.3 s]
/proc/loadavg: 7.55 3.93 2.43 10/270 65546
/proc/meminfo: memFree=126698008/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=609952 memory=541756 CPUtime=311.39 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 256235 0 0 0 31102 37 0 0 20 0 2 0 66147660 624590848 135439 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 152488 135439 3424 6655 0 134055 0
[pid=65482/tid=65490] ppid=65470 vsize=609952 memory=539964 CPUtime=149.91 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 148504 0 0 0 14967 24 0 0 20 0 2 0 66148666 624590848 135439 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 311.39 s
Current children cumulated vsize: 609952 KiB
Current children cumulated memory: 541756 KiB

[startup+222.3 s]
/proc/loadavg: 7.66 4.64 2.77 10/270 65548
/proc/meminfo: memFree=126655504/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=615172 memory=547936 CPUtime=430.44 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 268113 0 0 0 43006 38 0 0 20 0 2 0 66147660 629936128 136984 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 153793 136984 3424 6655 0 135360 0
[pid=65482/tid=65490] ppid=65470 vsize=615172 memory=18432 CPUtime=209.23 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 151851 0 0 0 20899 24 0 0 20 0 2 0 66148666 629936128 136984 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 430.44 s
Current children cumulated vsize: 615172 KiB
Current children cumulated memory: 547936 KiB

[startup+282.3 s]
/proc/loadavg: 7.72 5.21 3.09 9/270 65552
/proc/meminfo: memFree=126665088/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=551924 memory=482928 CPUtime=528.93 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 287155 0 0 0 52853 40 0 0 20 0 2 0 66147660 565170176 120732 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 137981 120732 3424 6655 0 128145 0
[pid=65482/tid=65490] ppid=65470 vsize=551924 memory=481136 CPUtime=248.19 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 165495 0 0 0 24794 25 0 0 20 0 2 0 66148666 565170176 120732 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 528.93 s
Current children cumulated vsize: 551924 KiB
Current children cumulated memory: 482928 KiB

[startup+342.3 s]
/proc/loadavg: 7.47 5.61 3.36 8/268 65694
/proc/meminfo: memFree=127174644/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=552648 memory=483696 CPUtime=648 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 296961 0 0 0 64759 41 0 0 20 0 2 0 66147660 565911552 120924 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 138162 120924 3424 6655 0 128326 0
[pid=65482/tid=65490] ppid=65470 vsize=552648 memory=483056 CPUtime=307.51 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 174935 0 0 0 30724 27 0 0 20 0 2 0 66148666 565911552 120924 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 648 s
Current children cumulated vsize: 552648 KiB
Current children cumulated memory: 483696 KiB

[startup+402.3 s]

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


[startup+822.3 s]
/proc/loadavg: 7.12 6.84 4.89 8/270 66248
/proc/meminfo: memFree=125150120/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=614620 memory=545668 CPUtime=1600.24 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 551888 0 0 0 159931 93 0 0 20 0 2 0 66147660 629370880 136417 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 153655 136417 3424 6655 0 143819 0
[pid=65482/tid=65490] ppid=65470 vsize=614620 memory=540420 CPUtime=782.08 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 186471 0 0 0 78180 28 0 0 20 0 2 0 66148666 629370880 136417 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 1600.24 s
Current children cumulated vsize: 614620 KiB
Current children cumulated memory: 545668 KiB

[startup+882.3 s]
/proc/loadavg: 7.15 6.90 5.04 8/270 66250
/proc/meminfo: memFree=125156608/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=614620 memory=545668 CPUtime=1719.11 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 551936 0 0 0 171817 94 0 0 20 0 2 0 66147660 629370880 136417 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 153655 136417 3424 6655 0 143819 0
[pid=65482/tid=65490] ppid=65470 vsize=614620 memory=14432 CPUtime=841.32 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 186513 0 0 0 84104 28 0 0 20 0 2 0 66148666 629370880 136417 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 1719.11 s
Current children cumulated vsize: 614620 KiB
Current children cumulated memory: 545668 KiB

[startup+942.3 s]
/proc/loadavg: 7.05 6.92 5.17 8/269 66252
/proc/meminfo: memFree=125108300/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=615932 memory=546948 CPUtime=1837.99 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 562498 0 0 0 183705 94 0 0 20 0 2 0 66147660 630714368 136737 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 153983 136737 3424 6655 0 144147 0
[pid=65482/tid=65490] ppid=65470 vsize=615932 memory=545668 CPUtime=900.58 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 188729 0 0 0 90030 28 0 0 20 0 2 0 66148666 630714368 136737 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 1837.99 s
Current children cumulated vsize: 615932 KiB
Current children cumulated memory: 546948 KiB

[startup+1002.3 s]
/proc/loadavg: 7.14 6.97 5.29 8/269 66254
/proc/meminfo: memFree=125082712/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=615932 memory=546948 CPUtime=1956.79 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 571441 0 0 0 195584 95 0 0 20 0 2 0 66147660 630714368 136737 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 153983 136737 3424 6655 0 144147 0
[pid=65482/tid=65490] ppid=65470 vsize=615932 memory=546948 CPUtime=959.78 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 189009 0 0 0 95950 28 0 0 20 0 2 0 66148666 630714368 136737 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 1956.79 s
Current children cumulated vsize: 615932 KiB
Current children cumulated memory: 546948 KiB

[startup+1062.3 s]
/proc/loadavg: 7.11 6.99 5.41 8/268 66256
/proc/meminfo: memFree=125040736/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=657596 memory=586492 CPUtime=2075.74 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 584355 0 0 0 207476 98 0 0 20 0 2 0 66147660 673378304 146623 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 164399 146623 3424 6655 0 154563 0
[pid=65482/tid=65490] ppid=65470 vsize=657596 memory=548612 CPUtime=1019.07 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 189119 0 0 0 101879 28 0 0 20 0 2 0 66148666 673378304 146623 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 2075.74 s
Current children cumulated vsize: 657596 KiB
Current children cumulated memory: 586492 KiB

[startup+1122.3 s]
/proc/loadavg: 6.71 6.90 5.48 8/267 66258
/proc/meminfo: memFree=125008376/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=645392 memory=576596 CPUtime=2156.86 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 591149 0 0 0 215587 99 0 0 20 0 2 0 66147660 660881408 144149 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 161348 144149 3424 6655 0 151512 0
[pid=65482/tid=65490] ppid=65470 vsize=645392 memory=548612 CPUtime=1054.17 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 190714 0 0 0 105388 29 0 0 20 0 2 0 66148666 660881408 144149 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 2156.86 s
Current children cumulated vsize: 645392 KiB
Current children cumulated memory: 576596 KiB

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

# cumulated CPU time of all completed processes:  user=2167.35 s, system=1.05172 s

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

[startup+1123.2 s]
/proc/loadavg: 6.71 6.90 5.48 8/267 66258
/proc/meminfo: memFree=125008376/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=645392 memory=576596 CPUtime=2158.64 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 591149 0 0 0 215765 99 0 0 20 0 2 0 66147660 660881408 144149 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 161348 144149 3424 6655 0 151512 0
[pid=65482/tid=65490] ppid=65470 vsize=645392 memory=576596 CPUtime=1055.06 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 190714 0 0 0 105477 29 0 0 20 0 2 0 66148666 660881408 144149 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 2158.64 s
Current children cumulated vsize: 645392 KiB
Current children cumulated memory: 576596 KiB

[startup+1126.4 s]
/proc/loadavg: 6.74 6.90 5.49 8/267 66258
/proc/meminfo: memFree=125008628/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=645392 memory=576596 CPUtime=2164.99 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) R 65470 65482 65417 0 -1 4194304 591149 0 0 0 216400 99 0 0 20 0 2 0 66147660 660881408 144149 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 161348 144149 3424 6655 0 151512 0
[pid=65482/tid=65490] ppid=65470 vsize=645392 memory=545668 CPUtime=1058.25 cores=5,7
/proc/65482/task/65490/stat : 65490 (LSIPExact) R 65470 65482 65417 0 -1 4194368 190714 0 0 0 105796 29 0 0 20 0 2 0 66148666 660881408 144149 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
Current children cumulated CPU time: 2164.99 s
Current children cumulated vsize: 645392 KiB
Current children cumulated memory: 576596 KiB

[startup+1128 s]*
/proc/loadavg: 6.74 6.90 5.49 7/267 66259
/proc/meminfo: memFree=125130356/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=514320 memory=424008 CPUtime=2166.76 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) S 65470 65482 65417 0 -1 4194304 592972 0 0 0 216576 100 0 0 20 0 1 0 66147660 526663680 106002 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 128580 106002 3456 6655 0 118759 0
[pid=66259] ppid=65482 vsize=68608 memory=48796 CPUtime=0.68 cores=5,7
/proc/66259/stat : 66259 (Exact) R 65482 66259 66259 0 -1 4194304 10383 0 0 0 65 3 0 0 20 0 1 0 66260390 70254592 12199 18446744073709551615 4198400 8335837 140732466186400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 44929024 140732466194619 140732466194973 140732466194973 140732466200527 0
/proc/66259/statm: 17152 12199 1120 1011 0 15919 0
Current children cumulated CPU time: 2167.44 s
Current children cumulated vsize: 582928 KiB
Current children cumulated memory: 472804 KiB

[startup+1128.4 s]
/proc/loadavg: 6.74 6.90 5.49 7/267 66259
/proc/meminfo: memFree=125130356/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=514320 memory=424008 CPUtime=2166.76 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) S 65470 65482 65417 0 -1 4194304 592972 0 0 0 216576 100 0 0 20 0 1 0 66147660 526663680 106002 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 128580 106002 3456 6655 0 118759 0
[pid=66259] ppid=65482 vsize=71212 memory=50632 CPUtime=1.07 cores=5,7
/proc/66259/stat : 66259 (Exact) R 65482 66259 66259 0 -1 4194304 11086 0 0 0 104 3 0 0 20 0 1 0 66260390 72921088 12658 18446744073709551615 4198400 8335837 140732466186400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 44929024 140732466194619 140732466194973 140732466194973 140732466200527 0
/proc/66259/statm: 17803 12658 1120 1011 0 16570 0
Current children cumulated CPU time: 2167.83 s
Current children cumulated vsize: 585532 KiB
Current children cumulated memory: 474640 KiB

[startup+1128.8 s]
/proc/loadavg: 6.74 6.90 5.49 7/267 66259
/proc/meminfo: memFree=125130356/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=514320 memory=424008 CPUtime=2166.76 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) S 65470 65482 65417 0 -1 4194304 592972 0 0 0 216576 100 0 0 20 0 1 0 66147660 526663680 106002 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 128580 106002 3456 6655 0 118759 0
[pid=66259] ppid=65482 vsize=72308 memory=53640 CPUtime=1.47 cores=5,7
/proc/66259/stat : 66259 (Exact) R 65482 66259 66259 0 -1 4194304 11339 0 0 0 144 3 0 0 20 0 1 0 66260390 74043392 13410 18446744073709551615 4198400 8335837 140732466186400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 44929024 140732466194619 140732466194973 140732466194973 140732466200527 0
/proc/66259/statm: 18077 13410 1120 1011 0 16844 0
Current children cumulated CPU time: 2168.23 s
Current children cumulated vsize: 586628 KiB
Current children cumulated memory: 477648 KiB

[startup+1128.9 s]
/proc/loadavg: 6.74 6.90 5.49 7/267 66259
/proc/meminfo: memFree=125130356/131250000 swapFree=33007332/33010684
[pid=65482] ppid=65470 vsize=514320 memory=424008 CPUtime=2166.76 cores=5,7
/proc/65482/stat : 65482 (LSIPExact) S 65470 65482 65417 0 -1 4194304 592972 0 0 0 216576 100 0 0 20 0 1 0 66147660 526663680 106002 18446744073709551615 94139641888768 94139669145169 140726185100064 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94139677648008 94139678079616 94139708182528 140726185105754 140726185105930 140726185105930 140726185111532 0
/proc/65482/statm: 128580 106002 3456 6655 0 118759 0
[pid=66259] ppid=65482 vsize=72576 memory=53896 CPUtime=1.57 cores=5,7
/proc/66259/stat : 66259 (Exact) R 65482 66259 66259 0 -1 4194304 11399 0 0 0 154 3 0 0 20 0 1 0 66260390 74317824 13474 18446744073709551615 4198400 8335837 140732466186400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 44929024 140732466194619 140732466194973 140732466194973 140732466200527 0
/proc/66259/statm: 18144 13474 1120 1011 0 16911 0
Current children cumulated CPU time: 2168.33 s
Current children cumulated vsize: 586896 KiB
Current children cumulated memory: 477904 KiB

Child status: 0

Real time (s): 1128.95
CPU time (s): 2168.4
CPU user time (s): 2167.35
CPU system time (s): 1.05172
CPU usage (%): 192.072
Max. virtual memory (cumulated for all children) (KiB): 662368
Max. memory (cumulated for all children) (KiB): 593276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2167.35
system time used= 1.05172
maximum resident set size= 593276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607827
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= 437
involuntary context switches= 28375


# summary of solver processes directly reported to runsolver:
#   pid: 65482
#   total CPU time (s): 2168.4
#   total CPU user time (s): 2167.35
#   total CPU system time (s): 1.05172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.41141 second user time and 5.33997 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-03 03:05:01
IDJOB=4507940
IDBENCH=158390
IDSOLVER=3337
FILE ID=nodeC019/4507940-1751504701
RUNJOBID= nodeC019-1751504701-65430
SLURM_JOB_ID= 9598595
Free space on /tmp= 431640 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507940-1751504701/watcher-4507940-1751504701 -o /tmp/evaluation-result-4507940-1751504701/solver-4507940-1751504701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751504701-65430 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4507940-1751504701.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=53129853

nodeC019 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.731
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.37
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		: 3597.454
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.37
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		: 3607.306
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.655
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.37
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		: 3599.675
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.37
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		: 3700.000
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.37
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		: 3601.956
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.37
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		: 3599.656
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128098848 kB
MemAvailable:   129780676 kB
Buffers:             904 kB
Cached:          2485644 kB
SwapCached:          440 kB
Active:           213344 kB
Inactive:        2340068 kB
Active(anon):      54308 kB
Inactive(anon):    27748 kB
Active(file):     159036 kB
Inactive(file):  2312320 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            181448 kB
Writeback:             0 kB
AnonPages:         69792 kB
Mapped:           103752 kB
Shmem:             15192 kB
KReclaimable:      99424 kB
Slab:             187900 kB
SReclaimable:      99424 kB
SUnreclaim:        88476 kB
KernelStack:        3956 kB
PageTables:         2756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431456 MiB
End job on nodeC019 at 2025-07-03 03:23:51