Trace number 4527070

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
LSIPExact S1? (TO) 3600.13 2905.51

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
MD5SUMf51b92e6ea4641775f90070f7fcfd036
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark61.6644
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3282
Total number of constraints6986
Number of constraints which are clauses5892
Number of constraints which are cardinality constraints (but not clauses)1094
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1427.91/726.02	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1427.91/726.02	c numVar: 3282
1427.91/726.02	c numCon: 6986
1427.91/726.02	c numEqual: 1094
1427.91/726.02	c intSize: 3
1427.91/726.02	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1427.91/726.02	c ------------------- Paras list -------------------
1427.91/726.02	c Name                	 Type      	 Now       	 Default   	 Comment
1427.91/726.02	c timeout             	 double    	 3600.000000	 3600      	 
1427.91/726.02	c mip_time            	 double    	 0.200000  	 0.5       	 
1427.91/726.02	c ls_time             	 double    	 10.000000 	 10        	 
1427.91/726.02	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1427.91/726.02	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1427.91/726.02	c random_seed         	 int       	 0         	 0         	 
1427.91/726.02	c sample_size         	 int       	 50        	 50        	 
1427.91/726.02	c sub_score           	 int       	 1         	 1         	 
1427.91/726.02	c tabu_base           	 int       	 3         	 3         	 
1427.91/726.02	c tabu_variation      	 int       	 1         	 1         	 
1427.91/726.02	c sub_div             	 int       	 4         	 4         	 
1427.91/726.02	c nbcore              	 int       	 2         	 1         	 
1427.91/726.02	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1427.91/726.02	c print_sol           	 int       	 1         	 1         	 
1427.91/726.02	c tmpdir              	 string		 .         	 "."       	 
1427.91/726.02	c home                	 string		 HOME	 "."       	 
1427.91/726.02	c benchname           	 string		 HOME/instance-4527070-1752235768.opb	 ""        	 
1427.91/726.02	c --------------------------------------------------
1427.91/726.02	c Local Search solver
1427.91/726.02	c MIP solver
1427.91/726.02	c use Exact solver
3600.09/2905.50	c receive signal 15, try to interrupt solver...
3600.09/2905.51	c Exact solver (PID 107470) interrupted gracefully.
3600.09/2905.51	s UNKNOWN
3600.09/2905.51	c Total time: 2905

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=107339, runsolver pid=107336

[startup+0.100067 s]*
/proc/loadavg: 7.95 7.54 7.38 8/266 107340
/proc/meminfo: memFree=112251484/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=44484 memory=9856 CPUtime=0.09 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 1482 0 0 0 9 0 0 0 20 0 1 0 139255490 45551616 2464 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 11121 2464 1152 6655 0 1356 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 9856 KiB

[startup+0.20626 s]*
/proc/loadavg: 7.95 7.54 7.38 8/266 107340
/proc/meminfo: memFree=112251484/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=44484 memory=9856 CPUtime=0.2 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 1482 0 0 0 20 0 0 0 20 0 1 0 139255490 45551616 2464 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 11121 2464 1152 6655 0 1356 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 9856 KiB

[startup+0.306305 s]*
/proc/loadavg: 7.95 7.54 7.38 8/266 107340
/proc/meminfo: memFree=112257628/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=44484 memory=9856 CPUtime=0.3 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 1482 0 0 0 30 0 0 0 20 0 1 0 139255490 45551616 2464 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 11121 2464 1152 6655 0 1356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 9856 KiB

[startup+0.700203 s]
/proc/loadavg: 7.95 7.54 7.38 8/266 107340
/proc/meminfo: memFree=112257628/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=44484 memory=9856 CPUtime=0.68 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 1482 0 0 0 68 0 0 0 20 0 1 0 139255490 45551616 2464 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 11121 2464 1152 6655 0 1356 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 9856 KiB

[startup+1.50023 s]
/proc/loadavg: 7.95 7.54 7.38 8/266 107340
/proc/meminfo: memFree=112143496/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=44484 memory=9856 CPUtime=1.48 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 1482 0 0 0 148 0 0 0 20 0 1 0 139255490 45551616 2464 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 11121 2464 1152 6655 0 1356 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 9856 KiB

[startup+3.10573 s]
/proc/loadavg: 7.95 7.54 7.38 8/266 107340
/proc/meminfo: memFree=112244536/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=44484 memory=9856 CPUtime=3.08 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 1482 0 0 0 308 0 0 0 20 0 1 0 139255490 45551616 2464 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 11121 2464 1152 6655 0 1356 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 9856 KiB

[startup+6.30022 s]
/proc/loadavg: 7.87 7.53 7.38 8/266 107340
/proc/meminfo: memFree=112255456/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=44484 memory=9856 CPUtime=6.27 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 1482 0 0 0 627 0 0 0 20 0 1 0 139255490 45551616 2464 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 11121 2464 1152 6655 0 1356 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 9856 KiB

[startup+12.7002 s]
/proc/loadavg: 7.88 7.54 7.38 9/267 107341
/proc/meminfo: memFree=112223452/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=142840 memory=48500 CPUtime=15.23 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 8698 0 0 0 1522 1 0 0 20 0 2 0 139255490 146268160 12125 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 35710 12125 3328 6655 0 11081 0
[pid=107339/tid=107341] ppid=107336 vsize=142840 memory=48500 CPUtime=2.57 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 1602 0 0 0 257 0 0 0 20 0 2 0 139256492 146268160 12125 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 142840 KiB
Current children cumulated memory: 48500 KiB

[startup+25.5003 s]
/proc/loadavg: 7.91 7.56 7.39 9/267 107341
/proc/meminfo: memFree=112201436/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=157488 memory=64116 CPUtime=40.64 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 23433 0 0 0 4061 3 0 0 20 0 2 0 139255490 161267712 16029 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 39372 16029 3424 6655 0 14785 0
[pid=107339/tid=107341] ppid=107336 vsize=157488 memory=64116 CPUtime=15.22 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 6259 0 0 0 1521 1 0 0 20 0 2 0 139256492 161267712 16029 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 40.64 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 64116 KiB

[startup+51.106 s]
/proc/loadavg: 7.94 7.60 7.41 9/267 107341
/proc/meminfo: memFree=112173580/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=157488 memory=67828 CPUtime=91.51 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 34464 0 0 0 9146 5 0 0 20 0 2 0 139255490 161267712 16957 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 39372 16957 3424 6655 0 15643 0
[pid=107339/tid=107341] ppid=107336 vsize=157488 memory=67828 CPUtime=40.55 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 11963 0 0 0 4053 2 0 0 20 0 2 0 139256492 161267712 16957 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 91.51 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 67828 KiB

[startup+102.3 s]
/proc/loadavg: 8.17 7.71 7.46 9/267 107343
/proc/meminfo: memFree=112141480/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=157488 memory=68724 CPUtime=193.22 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 40585 0 0 0 19316 6 0 0 20 0 2 0 139255490 161267712 17181 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 39372 17181 3424 6655 0 15859 0
[pid=107339/tid=107341] ppid=107336 vsize=157488 memory=68596 CPUtime=91.22 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 14841 0 0 0 9119 3 0 0 20 0 2 0 139256492 161267712 17181 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 193.22 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 68724 KiB

[startup+162.3 s]
/proc/loadavg: 7.78 7.70 7.47 8/265 107346
/proc/meminfo: memFree=119527144/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=157488 memory=72820 CPUtime=312.43 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 47755 0 0 0 31235 8 0 0 20 0 2 0 139255490 161267712 18205 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 39372 18205 3424 6655 0 16842 0
[pid=107339/tid=107341] ppid=107336 vsize=157488 memory=69876 CPUtime=150.6 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 18434 0 0 0 15056 4 0 0 20 0 2 0 139256492 161267712 18205 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 312.43 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 72820 KiB

[startup+222.3 s]
/proc/loadavg: 7.28 7.57 7.44 8/265 107353
/proc/meminfo: memFree=119559328/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=157488 memory=74484 CPUtime=431.64 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 55391 0 0 0 43155 9 0 0 20 0 2 0 139255490 161267712 18621 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 39372 18621 3424 6655 0 17036 0
[pid=107339/tid=107341] ppid=107336 vsize=157488 memory=74356 CPUtime=209.99 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 21765 0 0 0 20995 4 0 0 20 0 2 0 139256492 161267712 18621 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 431.64 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 74484 KiB

[startup+282.3 s]
/proc/loadavg: 6.81 7.39 7.39 7/265 107403
/proc/meminfo: memFree=111207664/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=158392 memory=75380 CPUtime=550.87 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 56294 0 0 0 55076 11 0 0 20 0 2 0 139255490 162193408 18845 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 39598 18845 3424 6655 0 17644 0
[pid=107339/tid=107341] ppid=107336 vsize=158392 memory=75380 CPUtime=269.39 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 22072 0 0 0 26934 5 0 0 20 0 2 0 139256492 162193408 18845 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 550.87 s
Current children cumulated vsize: 158392 KiB
Current children cumulated memory: 75380 KiB

[startup+342.3 s]
/proc/loadavg: 5.89 7.03 7.26 7/265 107452
/proc/meminfo: memFree=111446640/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=167900 memory=86840 CPUtime=666.18 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) R 107336 107339 105752 0 -1 4194304 68297 0 0 0 66606 12 0 0 20 0 2 0 139255490 171929600 21710 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 41975 21710 3424 6655 0 20457 0
[pid=107339/tid=107341] ppid=107336 vsize=167900 memory=14720 CPUtime=328.91 cores=4,6
/proc/107339/task/107341/stat : 107341 (LSIPExact) R 107336 107339 105752 0 -1 4194368 26386 0 0 0 32885 6 0 0 20 0 2 0 139256492 171929600 21710 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
Current children cumulated CPU time: 666.18 s
Current children cumulated vsize: 167900 KiB
Current children cumulated memory: 86840 KiB


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

/proc/loadavg: 4.15 3.95 4.22 5/261 107580
/proc/meminfo: memFree=106421924/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=133856 memory=116836 CPUtime=1650.76 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 29221 0 0 0 164758 318 0 0 20 0 1 0 139328092 137068544 29209 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 33464 29209 1120 1011 0 32231 0
Current children cumulated CPU time: 3078.7 s
Current children cumulated vsize: 304620 KiB
Current children cumulated memory: 200020 KiB

[startup+2442.3 s]
/proc/loadavg: 4.11 3.98 4.20 5/261 107582
/proc/meminfo: memFree=106248608/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=135204 memory=118244 CPUtime=1710.51 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 29557 0 0 0 170724 327 0 0 20 0 1 0 139328092 138448896 29561 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 33801 29561 1120 1011 0 32568 0
Current children cumulated CPU time: 3138.45 s
Current children cumulated vsize: 305968 KiB
Current children cumulated memory: 201428 KiB

[startup+2502.3 s]
/proc/loadavg: 3.93 3.97 4.18 4/253 107616
/proc/meminfo: memFree=109304392/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=135396 memory=118372 CPUtime=1770.3 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 29605 0 0 0 176694 336 0 0 20 0 1 0 139328092 138645504 29593 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 33849 29593 1120 1011 0 32616 0
Current children cumulated CPU time: 3198.24 s
Current children cumulated vsize: 306160 KiB
Current children cumulated memory: 201556 KiB

[startup+2562.3 s]
/proc/loadavg: 3.45 3.82 4.12 4/252 107618
/proc/meminfo: memFree=109229896/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=135708 memory=118628 CPUtime=1830.1 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 29683 0 0 0 182663 347 0 0 20 0 1 0 139328092 138964992 29657 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 33927 29657 1120 1011 0 32694 0
Current children cumulated CPU time: 3258.04 s
Current children cumulated vsize: 306472 KiB
Current children cumulated memory: 201812 KiB

[startup+2622.3 s]
/proc/loadavg: 3.21 3.68 4.05 4/252 107620
/proc/meminfo: memFree=109148012/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=136276 memory=121312 CPUtime=1889.9 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 29826 0 0 0 188634 356 0 0 20 0 1 0 139328092 139546624 30328 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 34069 30328 1120 1011 0 32836 0
Current children cumulated CPU time: 3317.84 s
Current children cumulated vsize: 307040 KiB
Current children cumulated memory: 204496 KiB

[startup+2682.3 s]
/proc/loadavg: 3.19 3.59 3.99 4/252 107622
/proc/meminfo: memFree=109061356/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=138640 memory=125740 CPUtime=1949.7 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 30418 0 0 0 194605 365 0 0 20 0 1 0 139328092 141967360 31435 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 34660 31435 1120 1011 0 33427 0
Current children cumulated CPU time: 3377.64 s
Current children cumulated vsize: 309404 KiB
Current children cumulated memory: 208924 KiB

[startup+2742.3 s]
/proc/loadavg: 3.13 3.49 3.93 4/253 107629
/proc/meminfo: memFree=108975828/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=138640 memory=125740 CPUtime=2009.5 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 30418 0 0 0 200576 374 0 0 20 0 1 0 139328092 141967360 31435 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 34660 31435 1120 1011 0 33427 0
Current children cumulated CPU time: 3437.44 s
Current children cumulated vsize: 309404 KiB
Current children cumulated memory: 208924 KiB

[startup+2802.3 s]
/proc/loadavg: 3.10 3.42 3.88 4/254 107632
/proc/meminfo: memFree=108895276/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=139048 memory=126124 CPUtime=2069.29 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 30520 0 0 0 206547 382 0 0 20 0 1 0 139328092 142385152 31531 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 34762 31531 1120 1011 0 33529 0
Current children cumulated CPU time: 3497.23 s
Current children cumulated vsize: 309812 KiB
Current children cumulated memory: 209308 KiB

[startup+2862.3 s]
/proc/loadavg: 3.13 3.37 3.83 4/254 107636
/proc/meminfo: memFree=108789556/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=143892 memory=130912 CPUtime=2129.1 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 31241 0 0 0 212519 391 0 0 20 0 1 0 139328092 147345408 32728 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 35973 32728 1120 1011 0 34740 0
Current children cumulated CPU time: 3557.04 s
Current children cumulated vsize: 314656 KiB
Current children cumulated memory: 214096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2905.5 s]
/proc/loadavg: 3.19 3.35 3.80 4/254 107637
/proc/meminfo: memFree=108732340/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=144724 memory=131808 CPUtime=2172.15 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 31450 0 0 0 216817 398 0 0 20 0 1 0 139328092 148197376 32952 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 36181 32952 1120 1011 0 34948 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 315488 KiB
Current children cumulated memory: 214992 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.96 s, system=4.17357 s

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

[startup+2905.5 s]
/proc/loadavg: 3.19 3.35 3.80 4/254 107637
/proc/meminfo: memFree=108732340/131250000 swapFree=33010672/33010684
[pid=107339] ppid=107336 vsize=170764 memory=83184 CPUtime=1427.94 cores=4,6
/proc/107339/stat : 107339 (LSIPExact) S 107336 107339 105752 0 -1 4194304 74980 0 0 0 142777 17 0 0 20 0 1 0 139255490 174862336 20796 18446744073709551615 94756012933120 94756040190289 140736674174304 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94756048692360 94756049123968 94756067803136 140736674183512 140736674183688 140736674183688 140736674189292 0
/proc/107339/statm: 42691 20796 3456 6655 0 23911 0
[pid=107470] ppid=107339 vsize=144724 memory=131808 CPUtime=2172.15 cores=4,6
/proc/107470/stat : 107470 (Exact) R 107339 107470 107470 0 -1 4194304 31450 0 0 0 216817 398 0 0 20 0 1 0 139328092 148197376 32952 18446744073709551615 4198400 8335837 140730134257056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 26148864 140730134259897 140730134260251 140730134260251 140730134265807 0
/proc/107470/statm: 36181 32952 1120 1011 0 34948 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 315488 KiB
Current children cumulated memory: 214992 KiB

Child status: 0

Real time (s): 2905.51
CPU time (s): 3600.13
CPU user time (s): 3595.96
CPU system time (s): 4.17357
CPU usage (%): 123.907
Max. virtual memory (cumulated for all children) (KiB): 315488
Max. memory (cumulated for all children) (KiB): 214992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.96
system time used= 4.17357
maximum resident set size= 131808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107075
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= 466
involuntary context switches= 22979


# summary of solver processes directly reported to runsolver:
#   pid: 107339
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3595.96
#   total CPU system time (s): 4.17357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74975 second user time and 13.9984 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-11 14:09:28
IDJOB=4527070
IDBENCH=162581
IDSOLVER=3384
FILE ID=nodeC026/4527070-1752235768
RUNJOBID= nodeC026-1752232205-105767
SLURM_JOB_ID= 9682537
Free space on /tmp= 429600 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527070-1752235768/watcher-4527070-1752235768 -o /tmp/evaluation-result-4527070-1752235768/solver-4527070-1752235768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752232205-105767 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4527070-1752235768.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= f51b92e6ea4641775f90070f7fcfd036
RANDOM SEED=711647137

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        112251484 kB
MemAvailable:   115730220 kB
Buffers:            2128 kB
Cached:          4102380 kB
SwapCached:            4 kB
Active:         14532796 kB
Inactive:        3428520 kB
Active(anon):   13865200 kB
Inactive(anon):     9684 kB
Active(file):     667596 kB
Inactive(file):  3418836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44828 kB
Writeback:             0 kB
AnonPages:      13853404 kB
Mapped:           142300 kB
Shmem:             18076 kB
KReclaimable:     453104 kB
Slab:             556308 kB
SReclaimable:     453104 kB
SUnreclaim:       103204 kB
KernelStack:        4288 kB
PageTables:        30844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   15734232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8753152 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 429648 MiB
End job on nodeC026 at 2025-07-11 14:57:54