Trace number 4527558

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
LSIPExact S1? (TO) 3602.18 1857.17

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-4.opb
MD5SUMa611e721b3043835272268c4e4584094
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17444
Best CPU time to get the best result obtained on this benchmark4.59711
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables79993
Total number of constraints614582
Number of constraints which are clauses614582
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint339
Number of terms in the objective function 10460
Biggest coefficient in the objective function 341
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 3451260
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 341
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 3451260
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/1855.11	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.08/1855.11	c numVar: 79993
3600.08/1855.11	c numCon: 614582
3600.08/1855.11	c numEqual: 0
3600.08/1855.11	c intSize: 22
3600.08/1855.11	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.08/1855.11	c ------------------- Paras list -------------------
3600.08/1855.11	c Name                	 Type      	 Now       	 Default   	 Comment
3600.08/1855.11	c timeout             	 double    	 3600.000000	 3600      	 
3600.08/1855.11	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.08/1855.11	c ls_time             	 double    	 10.000000 	 10        	 
3600.08/1855.11	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.08/1855.11	c mip_emphasis        	 int       	 1         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.08/1855.11	c random_seed         	 int       	 0         	 0         	 
3600.08/1855.11	c sample_size         	 int       	 50        	 50        	 
3600.08/1855.11	c sub_score           	 int       	 1         	 1         	 
3600.08/1855.11	c tabu_base           	 int       	 3         	 3         	 
3600.08/1855.11	c tabu_variation      	 int       	 1         	 1         	 
3600.08/1855.11	c sub_div             	 int       	 4         	 4         	 
3600.08/1855.11	c nbcore              	 int       	 2         	 1         	 
3600.08/1855.11	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.08/1855.11	c print_sol           	 int       	 1         	 1         	 
3600.08/1855.11	c tmpdir              	 string		 .         	 "."       	 
3600.08/1855.11	c home                	 string		 HOME	 "."       	 
3600.08/1855.11	c benchname           	 string		 HOME/instance-4527558-1752234059.opb	 ""        	 
3600.08/1855.11	c --------------------------------------------------
3600.08/1855.11	c Local Search solver
3600.08/1855.11	c LS find feasible solution for PBO with objective value 349381
3600.08/1855.11	c MIP solver
3600.08/1855.11	c receive signal 15, try to interrupt solver...
3600.27/1855.22	c MIP solver find feasible solution
3600.27/1855.26	c MIP solver objective value: 17790
3600.37/1855.38	c MIP find feasible solution for PBO with objective value 17790
3600.37/1855.38	c copy file: 0
3600.37/1855.38	c gen ub file: HOME/instance-4527558-1752234059.opb_ub.opb
3600.37/1855.38	c use Exact solver

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527558-1752234059/watcher-4527558-1752234059 -o /tmp/evaluation-result-4527558-1752234059/solver-4527558-1752234059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752232205-113511 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527558-1752234059.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
Current StackSize limit: 8192 KiB

solver pid=114080, runsolver pid=114077

[startup+0.100065 s]*
/proc/loadavg: 7.97 7.91 6.60 8/267 114081
/proc/meminfo: memFree=117566248/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=202004 memory=159180 CPUtime=0.09 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 30115 0 0 0 4 5 0 0 20 0 1 0 139085367 206852096 39795 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 50501 39795 1152 6655 0 40736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 202004 KiB
Current children cumulated memory: 159180 KiB

[startup+0.206034 s]*
/proc/loadavg: 7.97 7.91 6.60 8/267 114081
/proc/meminfo: memFree=117518488/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=247456 memory=212728 CPUtime=0.19 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 37369 0 0 0 13 6 0 0 20 0 1 0 139085367 253394944 53182 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 61864 53182 1152 6655 0 52099 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 247456 KiB
Current children cumulated memory: 212728 KiB

[startup+0.305904 s]*
/proc/loadavg: 7.97 7.91 6.60 8/267 114081
/proc/meminfo: memFree=117478168/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=280252 memory=245624 CPUtime=0.3 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 45580 0 0 0 22 8 0 0 20 0 1 0 139085367 286978048 61406 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 70063 61406 1152 6655 0 60298 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 280252 KiB
Current children cumulated memory: 245624 KiB

[startup+0.700192 s]
/proc/loadavg: 7.97 7.91 6.60 8/267 114081
/proc/meminfo: memFree=117429784/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=376672 memory=342040 CPUtime=0.68 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 69176 0 0 0 55 13 0 0 20 0 1 0 139085367 385712128 85510 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 94168 85510 1152 6655 0 84403 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 376672 KiB
Current children cumulated memory: 342040 KiB

[startup+1.5002 s]
/proc/loadavg: 7.97 7.91 6.60 8/267 114081
/proc/meminfo: memFree=117357208/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=416104 memory=381208 CPUtime=1.47 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 78992 0 0 0 133 14 0 0 20 0 1 0 139085367 426090496 95302 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 104026 95302 1152 6655 0 94261 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 416104 KiB
Current children cumulated memory: 381208 KiB

[startup+3.10566 s]
/proc/loadavg: 7.97 7.91 6.60 8/267 114081
/proc/meminfo: memFree=117357208/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=416104 memory=381208 CPUtime=3.08 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 79022 0 0 0 293 15 0 0 20 0 1 0 139085367 426090496 95302 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 104026 95302 1152 6655 0 94261 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 416104 KiB
Current children cumulated memory: 381208 KiB

[startup+6.30018 s]
/proc/loadavg: 7.89 7.89 6.60 8/267 114081
/proc/meminfo: memFree=117357960/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=416104 memory=381208 CPUtime=6.26 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 79082 0 0 0 611 15 0 0 20 0 1 0 139085367 426090496 95302 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 104026 95302 1152 6655 0 94261 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 416104 KiB
Current children cumulated memory: 381208 KiB

[startup+12.7002 s]
/proc/loadavg: 7.82 7.88 6.60 8/268 114082
/proc/meminfo: memFree=116857668/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=990764 memory=879836 CPUtime=12.63 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 149615 0 0 0 1231 32 0 0 20 0 2 0 139085367 1014542336 219959 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 247691 219959 2912 6655 0 221574 0
[pid=114080/tid=114082] ppid=114077 vsize=990764 memory=879836 CPUtime=0 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) S 114077 114080 113493 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 139086455 1014542336 219959 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 990764 KiB
Current children cumulated memory: 879836 KiB

[startup+25.5002 s]
/proc/loadavg: 7.78 7.87 6.62 8/268 114082
/proc/meminfo: memFree=116427600/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=1334092 memory=1260816 CPUtime=26.51 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 264777 0 0 0 2596 55 0 0 20 0 2 0 139085367 1366110208 315204 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 333523 315204 3392 6655 0 323294 0
[pid=114080/tid=114082] ppid=114077 vsize=1334092 memory=1251204 CPUtime=1.12 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) S 114077 114080 113493 0 -1 4194368 37352 0 0 0 104 8 0 0 20 0 2 0 139086455 1366110208 315204 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 26.51 s
Current children cumulated vsize: 1334092 KiB
Current children cumulated memory: 1260816 KiB

[startup+51.1057 s]
/proc/loadavg: 7.74 7.85 6.65 9/268 114083
/proc/meminfo: memFree=116154264/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=1716124 memory=1576216 CPUtime=67.58 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 383502 0 0 0 6681 77 0 0 20 0 2 0 139085367 1757310976 394054 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 429031 394054 3456 6655 0 403797 0
[pid=114080/tid=114082] ppid=114077 vsize=1716124 memory=1431424 CPUtime=16.7 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 71022 0 0 0 1657 13 0 0 20 0 2 0 139086455 1757310976 394054 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 67.58 s
Current children cumulated vsize: 1716124 KiB
Current children cumulated memory: 1576216 KiB

[startup+102.3 s]
/proc/loadavg: 7.80 7.84 6.71 9/268 114177
/proc/meminfo: memFree=117052360/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=1676864 memory=1571204 CPUtime=166.97 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 526825 0 0 0 16595 102 0 0 20 0 2 0 139085367 1717108736 392801 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 419216 392801 3456 6655 0 394091 0
[pid=114080/tid=114082] ppid=114077 vsize=1676864 memory=16532 CPUtime=65.2 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 133317 0 0 0 6491 29 0 0 20 0 2 0 139086455 1717108736 392801 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 166.97 s
Current children cumulated vsize: 1676864 KiB
Current children cumulated memory: 1571204 KiB

[startup+162.3 s]
/proc/loadavg: 7.91 7.87 6.80 8/268 114181
/proc/meminfo: memFree=116975168/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=1676864 memory=1572228 CPUtime=285.92 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 554278 0 0 0 28483 109 0 0 20 0 2 0 139085367 1717108736 393057 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 419216 393057 3456 6655 0 394091 0
[pid=114080/tid=114082] ppid=114077 vsize=1676864 memory=1572228 CPUtime=124.46 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 139372 0 0 0 12412 34 0 0 20 0 2 0 139086455 1717108736 393057 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 285.92 s
Current children cumulated vsize: 1676864 KiB
Current children cumulated memory: 1572228 KiB

[startup+222.3 s]
/proc/loadavg: 6.91 7.60 6.77 7/268 114322
/proc/meminfo: memFree=116341884/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=1676864 memory=1572356 CPUtime=404.75 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 591905 0 0 0 40349 126 0 0 20 0 2 0 139085367 1717108736 393089 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 419216 393089 3456 6655 0 394091 0
[pid=114080/tid=114082] ppid=114077 vsize=1676864 memory=1572356 CPUtime=183.63 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 165220 0 0 0 18317 46 0 0 20 0 2 0 139086455 1717108736 393089 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 404.75 s
Current children cumulated vsize: 1676864 KiB
Current children cumulated memory: 1572356 KiB

[startup+282.3 s]
/proc/loadavg: 7.04 7.51 6.79 8/268 114324
/proc/meminfo: memFree=115615728/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=1676864 memory=1586816 CPUtime=523.61 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 604554 0 0 0 52230 131 0 0 20 0 2 0 139085367 1717108736 396704 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 419216 396704 3456 6655 0 397787 0
[pid=114080/tid=114082] ppid=114077 vsize=1676864 memory=1572484 CPUtime=242.84 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 167441 0 0 0 24234 50 0 0 20 0 2 0 139086455 1717108736 396704 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 523.61 s
Current children cumulated vsize: 1676864 KiB
Current children cumulated memory: 1586816 KiB

[startup+342.3 s]
/proc/loadavg: 7.10 7.44 6.82 8/267 114326
/proc/meminfo: memFree=114899212/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=1700624 memory=1620364 CPUtime=642.56 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 662234 0 0 0 64115 141 0 0 20 0 2 0 139085367 1741438976 405091 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 425156 405091 3456 6655 0 406086 0
[pid=114080/tid=114082] ppid=114077 vsize=1700624 memory=1572484 CPUtime=302.1 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 196312 0 0 0 30154 56 0 0 20 0 2 0 139086455 1741438976 405091 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 642.56 s
Current children cumulated vsize: 1700624 KiB
Current children cumulated memory: 1620364 KiB

[startup+402.3 s]
/proc/loadavg: 7.15 7.39 6.84 8/267 114328

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

[pid=114080] ppid=114077 vsize=2672508 memory=2626648 CPUtime=2979.32 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 1528440 0 0 0 297555 377 0 0 20 0 2 0 139085367 2736648192 656662 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 668127 656662 3456 6655 0 657321 0
[pid=114080/tid=114082] ppid=114077 vsize=2672508 memory=2626516 CPUtime=1451.19 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 502715 0 0 0 144904 215 0 0 20 0 2 0 139086455 2736648192 656662 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 2979.32 s
Current children cumulated vsize: 2672508 KiB
Current children cumulated memory: 2626648 KiB

[startup+1602.3 s]
/proc/loadavg: 8.45 8.02 7.48 9/267 114808
/proc/meminfo: memFree=114566584/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2672508 memory=2626684 CPUtime=3098.35 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 1561501 0 0 0 309451 384 0 0 20 0 2 0 139085367 2736648192 656671 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 668127 656671 3456 6655 0 657321 0
[pid=114080/tid=114082] ppid=114077 vsize=2672508 memory=2626516 CPUtime=1510.48 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 528346 0 0 0 150827 221 0 0 20 0 2 0 139086455 2736648192 656671 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 3098.35 s
Current children cumulated vsize: 2672508 KiB
Current children cumulated memory: 2626684 KiB

[startup+1662.3 s]
/proc/loadavg: 8.23 8.03 7.52 9/266 114810
/proc/meminfo: memFree=114656392/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2672508 memory=2627324 CPUtime=3217.38 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 1601561 0 0 0 321346 392 0 0 20 0 2 0 139085367 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 668127 656831 3456 6655 0 657321 0
[pid=114080/tid=114082] ppid=114077 vsize=2672508 memory=2626516 CPUtime=1569.78 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 532169 0 0 0 156753 225 0 0 20 0 2 0 139086455 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 3217.38 s
Current children cumulated vsize: 2672508 KiB
Current children cumulated memory: 2627324 KiB

[startup+1722.3 s]
/proc/loadavg: 8.13 8.04 7.56 9/267 114813
/proc/meminfo: memFree=114585432/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2672508 memory=2627324 CPUtime=3336.45 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 1624906 0 0 0 333249 396 0 0 20 0 2 0 139085367 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 668127 656831 3456 6655 0 657321 0
[pid=114080/tid=114082] ppid=114077 vsize=2672508 memory=2626516 CPUtime=1629.09 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 549385 0 0 0 162680 229 0 0 20 0 2 0 139086455 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 3336.45 s
Current children cumulated vsize: 2672508 KiB
Current children cumulated memory: 2627324 KiB

[startup+1782.3 s]
/proc/loadavg: 8.16 8.06 7.60 9/267 114815
/proc/meminfo: memFree=114397216/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2672508 memory=2627324 CPUtime=3455.52 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 1643962 0 0 0 345151 401 0 0 20 0 2 0 139085367 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 668127 656831 3456 6655 0 657321 0
[pid=114080/tid=114082] ppid=114077 vsize=2672508 memory=2627324 CPUtime=1688.38 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 549714 0 0 0 168606 232 0 0 20 0 2 0 139086455 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 3455.52 s
Current children cumulated vsize: 2672508 KiB
Current children cumulated memory: 2627324 KiB

[startup+1842.3 s]
/proc/loadavg: 7.77 7.98 7.60 8/267 114818
/proc/meminfo: memFree=110950060/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2672508 memory=2627324 CPUtime=3574.65 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 1649192 0 0 0 357062 403 0 0 20 0 2 0 139085367 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 668127 656831 3456 6655 0 657321 0
[pid=114080/tid=114082] ppid=114077 vsize=2672508 memory=2627324 CPUtime=1747.72 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 552626 0 0 0 174538 234 0 0 20 0 2 0 139086455 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 3574.65 s
Current children cumulated vsize: 2672508 KiB
Current children cumulated memory: 2627324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1855.11 s]
/proc/loadavg: 7.60 7.93 7.59 8/267 114818
/proc/meminfo: memFree=108133760/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2672508 memory=2627324 CPUtime=3600.08 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) R 114077 114080 113493 0 -1 4194304 1656478 0 0 0 359604 404 0 0 20 0 2 0 139085367 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 668127 656831 3456 6655 0 657321 0
[pid=114080/tid=114082] ppid=114077 vsize=2672508 memory=16532 CPUtime=1760.38 cores=4,6
/proc/114080/task/114082/stat : 114082 (LSIPExact) R 114077 114080 113493 0 -1 4194368 552641 0 0 0 175804 234 0 0 20 0 2 0 139086455 2736648192 656831 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2672508 KiB
Current children cumulated memory: 2627324 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3596.34 s, system=4.14063 s

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

# cumulated CPU time of all completed processes:  user=3597.93 s, system=4.24621 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+1856 s]*
/proc/loadavg: 7.60 7.93 7.59 7/267 114820
/proc/meminfo: memFree=108298832/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2429032 memory=2383512 CPUtime=3600.41 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) S 114077 114080 113493 0 -1 4194304 1736448 229 0 0 359633 408 0 0 20 0 1 0 139085367 2487328768 595878 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 607258 595878 3488 6655 0 596601 0
[pid=114820] ppid=114080 vsize=116220 memory=102580 CPUtime=0.59 cores=4,6
/proc/114820/stat : 114820 (Exact) R 114080 114820 114820 0 -1 4194304 14790 0 0 0 55 4 0 0 20 0 1 0 139270905 119009280 25645 18446744073709551615 4198400 8335837 140733328192960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 33984512 140733328197810 140733328198171 140733328198171 140733328203727 0
/proc/114820/statm: 29055 25645 928 1011 0 27822 0
Current children cumulated CPU time: 3601 s
Current children cumulated vsize: 2545252 KiB
Current children cumulated memory: 2486092 KiB

[startup+1856.8 s]
/proc/loadavg: 7.60 7.93 7.59 7/267 114820
/proc/meminfo: memFree=108298832/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2429032 memory=2383512 CPUtime=3600.41 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) S 114077 114080 113493 0 -1 4194304 1736448 229 0 0 359633 408 0 0 20 0 1 0 139085367 2487328768 595878 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 607258 595878 3488 6655 0 596601 0
[pid=114820] ppid=114080 vsize=197924 memory=190440 CPUtime=1.38 cores=4,6
/proc/114820/stat : 114820 (Exact) R 114080 114820 114820 0 -1 4194304 32312 0 0 0 131 7 0 0 20 0 1 0 139270905 202674176 47610 18446744073709551615 4198400 8335837 140733328192960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 33984512 140733328197810 140733328198171 140733328198171 140733328203727 0
/proc/114820/statm: 49481 47610 960 1011 0 48248 0
Current children cumulated CPU time: 3601.79 s
Current children cumulated vsize: 2626956 KiB
Current children cumulated memory: 2573952 KiB

[startup+1857 s]*
/proc/loadavg: 7.60 7.93 7.59 7/267 114820
/proc/meminfo: memFree=108045936/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2429032 memory=2383512 CPUtime=3600.41 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) S 114077 114080 113493 0 -1 4194304 1736448 229 0 0 359633 408 0 0 20 0 1 0 139085367 2487328768 595878 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 607258 595878 3488 6655 0 596601 0
[pid=114820] ppid=114080 vsize=251188 memory=231520 CPUtime=1.58 cores=4,6
/proc/114820/stat : 114820 (Exact) R 114080 114820 114820 0 -1 4194304 38387 0 0 0 149 9 0 0 20 0 1 0 139270905 257216512 57880 18446744073709551615 4198400 8335837 140733328192960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 33984512 140733328197810 140733328198171 140733328198171 140733328203727 0
/proc/114820/statm: 62797 57880 960 1011 0 61564 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 2680220 KiB
Current children cumulated memory: 2615032 KiB

[startup+1857.11 s]
/proc/loadavg: 7.60 7.93 7.59 7/267 114820
/proc/meminfo: memFree=108045936/131250000 swapFree=33009904/33010684
[pid=114080] ppid=114077 vsize=2429032 memory=2383512 CPUtime=3600.41 cores=4,6
/proc/114080/stat : 114080 (LSIPExact) S 114077 114080 113493 0 -1 4194304 1736448 229 0 0 359633 408 0 0 20 0 1 0 139085367 2487328768 595878 18446744073709551615 93951292477440 93951319734609 140736052776800 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 93951328236680 93951328668288 93951340068864 140736052783448 140736052783624 140736052783624 140736052789228 0
/proc/114080/statm: 607258 595878 3488 6655 0 596601 0
[pid=114820] ppid=114080 vsize=266252 memory=253256 CPUtime=1.68 cores=4,6
/proc/114820/stat : 114820 (Exact) R 114080 114820 114820 0 -1 4194304 42273 0 0 0 159 9 0 0 20 0 1 0 139270905 272642048 63314 18446744073709551615 4198400 8335837 140733328192960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 33984512 140733328197810 140733328198171 140733328198171 140733328203727 0
/proc/114820/statm: 66563 63314 960 1011 0 65330 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 2695284 KiB
Current children cumulated memory: 2636768 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1857.17
CPU time (s): 3602.18
CPU user time (s): 3597.93
CPU system time (s): 4.24621
CPU usage (%): 193.961
Max. virtual memory (cumulated for all children) (KiB): 2820360
Max. memory (cumulated for all children) (KiB): 2762356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.93
system time used= 4.24622
maximum resident set size= 2762356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1778951
page faults= 0
swaps= 0
block input operations= 38672
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 551
involuntary context switches= 102030


# summary of solver processes directly reported to runsolver:
#   pid: 114080,114820
#   total CPU time (s): 3602.18
#   total CPU user time (s): 3597.93
#   total CPU system time (s): 4.24621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.57298 second user time and 8.57827 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-11 13:40:59
IDJOB=4527558
IDBENCH=158251
IDSOLVER=3384
FILE ID=nodeC033/4527558-1752234059
RUNJOBID= nodeC033-1752232205-113511
SLURM_JOB_ID= 9682544
Free space on /tmp= 429572 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-4.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527558-1752234059/watcher-4527558-1752234059 -o /tmp/evaluation-result-4527558-1752234059/solver-4527558-1752234059 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752232205-113511 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527558-1752234059.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= a611e721b3043835272268c4e4584094
RANDOM SEED=291300059

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117707564 kB
MemAvailable:   126392784 kB
Buffers:            2128 kB
Cached:          9407200 kB
SwapCached:           68 kB
Active:          3990588 kB
Inactive:        8735456 kB
Active(anon):    3329356 kB
Inactive(anon):     5388 kB
Active(file):     661232 kB
Inactive(file):  8730068 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64032 kB
Writeback:             4 kB
AnonPages:       3316736 kB
Mapped:           142396 kB
Shmem:             18028 kB
KReclaimable:     266316 kB
Slab:             361672 kB
SReclaimable:     266316 kB
SUnreclaim:        95356 kB
KernelStack:        4304 kB
PageTables:         9688 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3703128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1679360 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429544 MiB
End job on nodeC033 at 2025-07-11 14:11:57