Trace number 4507939

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 S1UNSAT 2225.47 1155.81

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 

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

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: 63837 MiB (62755 MiB free)
  memory of node 1: 64465 MiB (61661 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100072 s]*
/proc/loadavg: 7.64 6.56 4.35 8/252 69453
/proc/meminfo: memFree=127394856/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=61664 memory=27008 CPUtime=0.09 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 5760 0 0 0 8 1 0 0 20 0 1 0 65761131 63143936 6752 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 15416 6752 1152 6655 0 5651 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 27008 KiB

[startup+0.211584 s]*
/proc/loadavg: 7.64 6.56 4.35 8/252 69453
/proc/meminfo: memFree=127394856/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=61664 memory=27008 CPUtime=0.2 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 5767 0 0 0 19 1 0 0 20 0 1 0 65761131 63143936 6752 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 15416 6752 1152 6655 0 5651 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 27008 KiB

[startup+0.311562 s]*
/proc/loadavg: 7.59 6.56 4.36 8/252 69453
/proc/meminfo: memFree=127394856/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=61664 memory=27008 CPUtime=0.3 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 5767 0 0 0 29 1 0 0 20 0 1 0 65761131 63143936 6752 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 15416 6752 1152 6655 0 5651 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 27008 KiB

[startup+0.700288 s]
/proc/loadavg: 7.59 6.56 4.36 8/252 69453
/proc/meminfo: memFree=127395120/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=61664 memory=27008 CPUtime=0.67 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 5767 0 0 0 66 1 0 0 20 0 1 0 65761131 63143936 6752 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 15416 6752 1152 6655 0 5651 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 27008 KiB

[startup+1.50032 s]
/proc/loadavg: 7.59 6.56 4.36 8/252 69453
/proc/meminfo: memFree=127395160/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=61664 memory=27008 CPUtime=1.47 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 5767 0 0 0 146 1 0 0 20 0 1 0 65761131 63143936 6752 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 15416 6752 1152 6655 0 5651 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 27008 KiB

[startup+3.11301 s]
/proc/loadavg: 7.59 6.56 4.36 8/252 69454
/proc/meminfo: memFree=127395412/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=61664 memory=27008 CPUtime=3.08 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 5767 0 0 0 307 1 0 0 20 0 1 0 65761131 63143936 6752 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 15416 6752 1152 6655 0 5651 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 27008 KiB

[startup+6.30029 s]
/proc/loadavg: 7.54 6.57 4.38 8/252 69454
/proc/meminfo: memFree=127395952/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=61664 memory=27008 CPUtime=6.25 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 5767 0 0 0 624 1 0 0 20 0 1 0 65761131 63143936 6752 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 15416 6752 1152 6655 0 5651 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 61664 KiB
Current children cumulated memory: 27008 KiB

[startup+12.7002 s]
/proc/loadavg: 7.50 6.58 4.39 9/253 69455
/proc/meminfo: memFree=127251376/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=216776 memory=171032 CPUtime=14.75 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 39244 0 0 0 1468 7 0 0 20 0 2 0 65761131 221978624 42758 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 54194 42758 3296 6655 0 42899 0
[pid=69452/tid=69455] ppid=69449 vsize=216776 memory=6512 CPUtime=2.14 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 14320 0 0 0 211 3 0 0 20 0 2 0 65762138 221978624 42758 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 171032 KiB

[startup+25.5003 s]
/proc/loadavg: 7.65 6.64 4.44 9/253 69455
/proc/meminfo: memFree=127208092/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=266484 memory=204328 CPUtime=40.08 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 86171 0 0 0 3996 12 0 0 20 0 2 0 65761131 272879616 51082 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 66621 51082 3392 6655 0 56034 0
[pid=69452/tid=69455] ppid=69449 vsize=266484 memory=18432 CPUtime=14.75 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 32793 0 0 0 1470 5 0 0 20 0 2 0 65762138 272879616 51082 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 40.08 s
Current children cumulated vsize: 266484 KiB
Current children cumulated memory: 204328 KiB

[startup+51.1054 s]
/proc/loadavg: 7.79 6.77 4.55 9/253 69470
/proc/meminfo: memFree=127200456/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=266484 memory=208552 CPUtime=90.79 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 90175 0 0 0 9066 13 0 0 20 0 2 0 65761131 272879616 52138 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 66621 52138 3392 6655 0 56034 0
[pid=69452/tid=69455] ppid=69449 vsize=266484 memory=204968 CPUtime=39.98 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 35814 0 0 0 3993 5 0 0 20 0 2 0 65762138 272879616 52138 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 90.79 s
Current children cumulated vsize: 266484 KiB
Current children cumulated memory: 208552 KiB

[startup+102.3 s]
/proc/loadavg: 7.73 6.93 4.72 8/254 69477
/proc/meminfo: memFree=127034932/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=478880 memory=410968 CPUtime=192.3 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 167580 0 0 0 19202 28 0 0 20 0 2 0 65761131 490373120 102742 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 119720 102742 3392 6655 0 102429 0
[pid=69452/tid=69455] ppid=69449 vsize=478880 memory=18432 CPUtime=90.55 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 93084 0 0 0 9036 19 0 0 20 0 2 0 65762138 490373120 102742 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 192.3 s
Current children cumulated vsize: 478880 KiB
Current children cumulated memory: 410968 KiB

[startup+162.3 s]
/proc/loadavg: 7.96 7.14 4.94 9/254 69479
/proc/meminfo: memFree=126912372/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=609952 memory=541340 CPUtime=311.23 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 251349 0 0 0 31083 40 0 0 20 0 2 0 65761131 624590848 135335 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 152488 135335 3392 6655 0 133987 0
[pid=69452/tid=69455] ppid=69449 vsize=609952 memory=539676 CPUtime=149.76 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 149715 0 0 0 14948 28 0 0 20 0 2 0 65762138 624590848 135335 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 311.23 s
Current children cumulated vsize: 609952 KiB
Current children cumulated memory: 541340 KiB

[startup+222.3 s]
/proc/loadavg: 8.03 7.32 5.14 9/254 69481
/proc/meminfo: memFree=126878440/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=612364 memory=544284 CPUtime=430.25 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 269557 0 0 0 42982 43 0 0 20 0 2 0 65761131 627060736 136071 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 153091 136071 3392 6655 0 134590 0
[pid=69452/tid=69455] ppid=69449 vsize=612364 memory=541340 CPUtime=209.03 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 151050 0 0 0 20874 29 0 0 20 0 2 0 65762138 627060736 136071 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 430.25 s
Current children cumulated vsize: 612364 KiB
Current children cumulated memory: 544284 KiB

[startup+282.3 s]
/proc/loadavg: 7.85 7.40 5.30 9/254 69483
/proc/meminfo: memFree=126886240/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=552312 memory=519228 CPUtime=525.62 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 328454 0 0 0 52514 48 0 0 20 0 2 0 65761131 565567488 129807 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 138078 129807 3392 6655 0 128209 0
[pid=69452/tid=69455] ppid=69449 vsize=552312 memory=519228 CPUtime=244.87 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 173342 0 0 0 24456 31 0 0 20 0 2 0 65762138 565567488 129807 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 525.62 s
Current children cumulated vsize: 552312 KiB
Current children cumulated memory: 519228 KiB

[startup+342.3 s]
/proc/loadavg: 8.00 7.52 5.48 9/254 69485
/proc/meminfo: memFree=126870324/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=552312 memory=519228 CPUtime=644.59 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 333510 0 0 0 64410 49 0 0 20 0 2 0 65761131 565567488 129807 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 138078 129807 3392 6655 0 128209 0
[pid=69452/tid=69455] ppid=69449 vsize=552312 memory=16624 CPUtime=304.11 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 177331 0 0 0 30380 31 0 0 20 0 2 0 65762138 565567488 129807 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 644.59 s
Current children cumulated vsize: 552312 KiB
Current children cumulated memory: 519228 KiB


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

/proc/meminfo: memFree=126578820/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=609568 memory=576076 CPUtime=1714.74 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 845508 0 0 0 171328 146 0 0 20 0 2 0 65761131 624197632 144019 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 152392 144019 3392 6655 0 142523 0
[pid=69452/tid=69455] ppid=69449 vsize=609568 memory=16624 CPUtime=837 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 239144 0 0 0 83663 37 0 0 20 0 2 0 65762138 624197632 144019 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 1714.74 s
Current children cumulated vsize: 609568 KiB
Current children cumulated memory: 576076 KiB

[startup+942.3 s]
/proc/loadavg: 8.11 8.03 6.75 9/254 69561
/proc/meminfo: memFree=126540608/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=610396 memory=577356 CPUtime=1833.72 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 856060 0 0 0 183225 147 0 0 20 0 2 0 65761131 625045504 144339 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 152599 144339 3392 6655 0 142730 0
[pid=69452/tid=69455] ppid=69449 vsize=610396 memory=18432 CPUtime=896.26 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 240844 0 0 0 89588 38 0 0 20 0 2 0 65762138 625045504 144339 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 1833.72 s
Current children cumulated vsize: 610396 KiB
Current children cumulated memory: 577356 KiB

[startup+1002.3 s]
/proc/loadavg: 8.16 8.06 6.85 9/255 69567
/proc/meminfo: memFree=126474700/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=618832 memory=585804 CPUtime=1952.68 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 879767 0 0 0 195118 150 0 0 20 0 2 0 65761131 633683968 146451 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 154708 146451 3392 6655 0 144839 0
[pid=69452/tid=69455] ppid=69449 vsize=618832 memory=580460 CPUtime=955.5 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 257284 0 0 0 95511 39 0 0 20 0 2 0 65762138 633683968 146451 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 1952.68 s
Current children cumulated vsize: 618832 KiB
Current children cumulated memory: 585804 KiB

[startup+1062.3 s]
/proc/loadavg: 8.04 8.03 6.92 9/255 69614
/proc/meminfo: memFree=126488092/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=618832 memory=585804 CPUtime=2071.68 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 882786 0 0 0 207018 150 0 0 20 0 2 0 65761131 633683968 146451 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 154708 146451 3392 6655 0 144839 0
[pid=69452/tid=69455] ppid=69449 vsize=618832 memory=585804 CPUtime=1014.78 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 259195 0 0 0 101438 40 0 0 20 0 2 0 65762138 633683968 146451 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2071.68 s
Current children cumulated vsize: 618832 KiB
Current children cumulated memory: 585804 KiB

[startup+1122.3 s]
/proc/loadavg: 7.85 7.99 6.98 8/255 69661
/proc/meminfo: memFree=126400132/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=643984 memory=611616 CPUtime=2181.65 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) S 69449 69452 69270 0 -1 4194304 895996 0 0 0 218013 152 0 0 20 0 2 0 65761131 659439616 152904 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 160996 152904 3392 6655 0 151127 0
[pid=69452/tid=69455] ppid=69449 vsize=643984 memory=595788 CPUtime=1074.14 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 259668 0 0 0 107374 40 0 0 20 0 2 0 65762138 659439616 152904 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2181.65 s
Current children cumulated vsize: 643984 KiB
Current children cumulated memory: 611616 KiB

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

# cumulated CPU time of all completed processes:  user=2223.89 s, system=1.57958 s

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

[startup+1126.4 s]
/proc/loadavg: 7.78 7.97 6.98 8/255 69661
/proc/meminfo: memFree=126400384/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=651876 memory=613856 CPUtime=2185.8 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 907854 0 0 0 218426 154 0 0 20 0 2 0 65761131 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 162969 153464 3392 6655 0 153100 0
[pid=69452/tid=69455] ppid=69449 vsize=651876 memory=585804 CPUtime=1077.54 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) S 69449 69452 69270 0 -1 4194368 261983 0 0 0 107714 40 0 0 20 0 2 0 65762138 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2185.8 s
Current children cumulated vsize: 651876 KiB
Current children cumulated memory: 613856 KiB

[startup+1139.2 s]
/proc/loadavg: 7.74 7.96 6.98 8/255 69662
/proc/meminfo: memFree=126389972/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=651876 memory=613856 CPUtime=2198.55 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 908448 0 0 0 219701 154 0 0 20 0 2 0 65761131 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 162969 153464 3392 6655 0 153100 0
[pid=69452/tid=69455] ppid=69449 vsize=651876 memory=613856 CPUtime=1077.54 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) S 69449 69452 69270 0 -1 4194368 261983 0 0 0 107714 40 0 0 20 0 2 0 65762138 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2198.55 s
Current children cumulated vsize: 651876 KiB
Current children cumulated memory: 613856 KiB

[startup+1145.6 s]
/proc/loadavg: 7.68 7.94 6.98 8/255 69662
/proc/meminfo: memFree=126362612/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=651876 memory=613856 CPUtime=2205.26 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 911606 0 0 0 220372 154 0 0 20 0 2 0 65761131 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 162969 153464 3392 6655 0 153100 0
[pid=69452/tid=69455] ppid=69449 vsize=651876 memory=11136 CPUtime=1077.88 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 262925 0 0 0 107747 41 0 0 20 0 2 0 65762138 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2205.26 s
Current children cumulated vsize: 651876 KiB
Current children cumulated memory: 613856 KiB

[startup+1152 s]*
/proc/loadavg: 7.73 7.94 6.99 9/255 69662
/proc/meminfo: memFree=126310696/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=651876 memory=613856 CPUtime=2217.95 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 914207 0 0 0 221641 154 0 0 20 0 2 0 65761131 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 162969 153464 3392 6655 0 153100 0
[pid=69452/tid=69455] ppid=69449 vsize=651876 memory=-6369325073558507874 CPUtime=1084.2 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 263665 0 0 0 108379 41 0 0 20 0 2 0 65762138 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2217.95 s
Current children cumulated vsize: 651876 KiB
Current children cumulated memory: 613856 KiB

[startup+1153.6 s]
/proc/loadavg: 7.73 7.94 6.99 9/255 69662
/proc/meminfo: memFree=126309688/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=651876 memory=613856 CPUtime=2221.12 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 914600 0 0 0 221958 154 0 0 20 0 2 0 65761131 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 162969 153464 3392 6655 0 153100 0
[pid=69452/tid=69455] ppid=69449 vsize=651876 memory=613856 CPUtime=1085.78 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 263666 0 0 0 108537 41 0 0 20 0 2 0 65762138 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2221.12 s
Current children cumulated vsize: 651876 KiB
Current children cumulated memory: 613856 KiB

[startup+1155.2 s]
/proc/loadavg: 7.73 7.94 6.99 9/255 69662
/proc/meminfo: memFree=126300364/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=651876 memory=613856 CPUtime=2224.29 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 915274 0 0 0 222275 154 0 0 20 0 2 0 65761131 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 162969 153464 3392 6655 0 153100 0
[pid=69452/tid=69455] ppid=69449 vsize=651876 memory=613856 CPUtime=1087.36 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 263673 0 0 0 108695 41 0 0 20 0 2 0 65762138 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2224.29 s
Current children cumulated vsize: 651876 KiB
Current children cumulated memory: 613856 KiB

[startup+1155.6 s]
/proc/loadavg: 7.73 7.94 6.99 9/255 69662
/proc/meminfo: memFree=126300364/131382120 swapFree=33010416/33010684
[pid=69452] ppid=69449 vsize=651876 memory=613856 CPUtime=2225.09 cores=4,6
/proc/69452/stat : 69452 (LSIPExact) R 69449 69452 69270 0 -1 4194304 915274 0 0 0 222355 154 0 0 20 0 2 0 65761131 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
/proc/69452/statm: 162969 153464 3392 6655 0 153100 0
[pid=69452/tid=69455] ppid=69449 vsize=651876 memory=16624 CPUtime=1087.76 cores=4,6
/proc/69452/task/69455/stat : 69455 (LSIPExact) R 69449 69452 69270 0 -1 4194368 263673 0 0 0 108735 41 0 0 20 0 2 0 65762138 667521024 153464 18446744073709551615 94400375824384 94400403080785 140733661706176 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94400411583624 94400412015232 94400431816704 140733661714778 140733661714954 140733661714954 140733661720556 0
Current children cumulated CPU time: 2225.09 s
Current children cumulated vsize: 651876 KiB
Current children cumulated memory: 613856 KiB

[startup+1155.8 s]*
/proc/loadavg: 7.75 7.94 7.00 8/254 69662
/proc/meminfo: memFree=126606960/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 1155.81
CPU time (s): 2225.47
CPU user time (s): 2223.89
CPU system time (s): 1.57958
CPU usage (%): 192.546
Max. virtual memory (cumulated for all children) (KiB): 661128
Max. memory (cumulated for all children) (KiB): 627804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2223.89
system time used= 1.57958
maximum resident set size= 627804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921716
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= 161
involuntary context switches= 44195


# summary of solver processes directly reported to runsolver:
#   pid: 69452
#   total CPU time (s): 2225.47
#   total CPU user time (s): 2223.89
#   total CPU system time (s): 1.57958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76899 second user time and 6.78851 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-03 02:00:24
IDJOB=4507939
IDBENCH=158390
IDSOLVER=3336
FILE ID=nodeC003/4507939-1751500824
RUNJOBID= nodeC003-1751500320-69281
SLURM_JOB_ID= 9598582
Free space on /tmp= 431868 MiB

SOLVER NAME= LSIPExact S1
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-4507939-1751500824/watcher-4507939-1751500824 -o /tmp/evaluation-result-4507939-1751500824/solver-4507939-1751500824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751500320-69281 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4507939-1751500824.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1407149663

nodeC003 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.491
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	: 6983.44
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		: 3491.773
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	: 6983.44
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		: 3591.483
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	: 6983.44
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		: 3591.397
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	: 6983.44
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.433
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	: 6983.44
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		: 3491.611
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	: 6983.44
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		: 1197.164
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	: 6983.44
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		: 3492.300
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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127402924 kB
MemAvailable:   127546568 kB
Buffers:            2736 kB
Cached:           941316 kB
SwapCached:           36 kB
Active:          2941488 kB
Inactive:         449284 kB
Active(anon):    2457036 kB
Inactive(anon):     7608 kB
Active(file):     484452 kB
Inactive(file):   441676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45720 kB
Writeback:            12 kB
AnonPages:       2444636 kB
Mapped:           139940 kB
Shmem:             17924 kB
KReclaimable:     114288 kB
Slab:             200188 kB
SReclaimable:     114288 kB
SUnreclaim:        85900 kB
KernelStack:        4064 kB
PageTables:         7912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2842144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1122304 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:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431824 MiB
End job on nodeC003 at 2025-07-03 02:19:41