Trace number 4490782

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 S2? (TO) 3600.14 1873.71

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
MD5SUM329db8d421c28e548757e1dbc8e6ec5f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark342
Best CPU time to get the best result obtained on this benchmark72001.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11001
Total number of constraints21678
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints21678
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2765
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

3526.68/1800.17	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3526.68/1800.17	c numVar: 11001
3526.68/1800.17	c numCon: 21678
3526.68/1800.17	c numEqual: 0
3526.68/1800.17	c intSize: 12
3526.68/1800.17	c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
3526.68/1800.17	c ------------------- Paras list -------------------
3526.68/1800.17	c Name                	 Type      	 Now       	 Default   	 Comment
3526.68/1800.17	c timeout             	 double    	 3600.000000	 3600      	 
3526.68/1800.17	c mip_time            	 double    	 0.500000  	 0.5       	 
3526.68/1800.17	c ls_time             	 double    	 10.000000 	 10        	 
3526.68/1800.17	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
3526.68/1800.17	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3526.68/1800.17	c random_seed         	 int       	 0         	 0         	 
3526.68/1800.17	c sample_size         	 int       	 50        	 50        	 
3526.68/1800.17	c sub_score           	 int       	 1         	 1         	 
3526.68/1800.17	c tabu_base           	 int       	 3         	 3         	 
3526.68/1800.17	c tabu_variation      	 int       	 1         	 1         	 
3526.68/1800.17	c sub_div             	 int       	 4         	 4         	 
3526.68/1800.17	c nbcore              	 int       	 2         	 1         	 
3526.68/1800.17	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3526.68/1800.17	c print_sol           	 int       	 1         	 1         	 
3526.68/1800.17	c tmpdir              	 string		 .         	 "."       	 
3526.68/1800.17	c home                	 string		 HOME	 "."       	 
3526.68/1800.17	c benchname           	 string		 HOME/instance-4490782-1751363990.opb	 ""        	 
3526.68/1800.17	c --------------------------------------------------
3526.68/1800.17	c Local Search solver
3526.68/1800.17	c MIP solver
3526.68/1800.17	c use Exact solver
3600.02/1873.60	c receive signal 15, try to interrupt solver...
3600.02/1873.61	c Exact solver (PID 52155) interrupted gracefully.
3600.02/1873.69	s UNKNOWN
3600.02/1873.69	c Total time: 1874

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=51669, runsolver pid=51666

[startup+0.100063 s]*
/proc/loadavg: 7.65 7.93 7.89 7/268 51670
/proc/meminfo: memFree=126313912/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=88404 memory=53248 CPUtime=0.09 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 12285 0 0 0 7 2 0 0 20 0 1 0 52076602 90525696 13312 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 22101 13312 1216 6655 0 12336 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88404 KiB
Current children cumulated memory: 53248 KiB

[startup+0.205662 s]*
/proc/loadavg: 7.65 7.93 7.89 7/268 51670
/proc/meminfo: memFree=126273844/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=126584 memory=89472 CPUtime=0.19 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 21336 0 0 0 16 3 0 0 20 0 1 0 52076602 129622016 22368 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 31646 22368 1216 6655 0 21881 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126584 KiB
Current children cumulated memory: 89472 KiB

[startup+0.305614 s]*
/proc/loadavg: 7.65 7.93 7.89 7/268 51670
/proc/meminfo: memFree=126257716/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=138048 memory=100992 CPUtime=0.29 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 24212 0 0 0 25 4 0 0 20 0 1 0 52076602 141361152 25248 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 34512 25248 1216 6655 0 24747 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 138048 KiB
Current children cumulated memory: 100992 KiB

[startup+0.700166 s]
/proc/loadavg: 7.65 7.93 7.89 7/268 51670
/proc/meminfo: memFree=126249524/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=138184 memory=100992 CPUtime=0.68 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 24219 0 0 0 64 4 0 0 20 0 1 0 52076602 141500416 25248 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 34546 25248 1216 6655 0 24781 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 138184 KiB
Current children cumulated memory: 100992 KiB

[startup+1.50016 s]
/proc/loadavg: 7.65 7.93 7.89 7/268 51670
/proc/meminfo: memFree=126249876/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=138184 memory=100992 CPUtime=1.48 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 24219 0 0 0 144 4 0 0 20 0 1 0 52076602 141500416 25248 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 34546 25248 1216 6655 0 24781 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 138184 KiB
Current children cumulated memory: 100992 KiB

[startup+3.10543 s]
/proc/loadavg: 7.65 7.93 7.89 7/268 51670
/proc/meminfo: memFree=126250128/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=138184 memory=100992 CPUtime=3.08 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 24222 0 0 0 304 4 0 0 20 0 1 0 52076602 141500416 25248 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 34546 25248 1216 6655 0 24781 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 138184 KiB
Current children cumulated memory: 100992 KiB

[startup+6.30016 s]
/proc/loadavg: 7.52 7.89 7.88 7/268 51670
/proc/meminfo: memFree=126250716/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=138184 memory=100992 CPUtime=6.27 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 24223 0 0 0 623 4 0 0 20 0 1 0 52076602 141500416 25248 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 34546 25248 1216 6655 0 24781 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 138184 KiB
Current children cumulated memory: 100992 KiB

[startup+12.7002 s]
/proc/loadavg: 7.39 7.86 7.87 8/269 51671
/proc/meminfo: memFree=126028240/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=436580 memory=343640 CPUtime=13.72 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 59931 0 0 0 1359 13 0 0 20 0 2 0 52076602 447057920 85910 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 109145 85910 3456 6655 0 89118 0
[pid=51669/tid=51671] ppid=51666 vsize=436580 memory=-6297276279908569441 CPUtime=1.08 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 12124 0 0 0 105 3 0 0 20 0 2 0 52077618 447057920 85910 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 13.72 s
Current children cumulated vsize: 436580 KiB
Current children cumulated memory: 343640 KiB

[startup+25.5002 s]
/proc/loadavg: 7.31 7.82 7.85 8/268 51672
/proc/meminfo: memFree=125895420/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=522432 memory=475724 CPUtime=39.13 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 95373 0 0 0 3893 20 0 0 20 0 2 0 52076602 534970368 118931 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 130608 118931 3520 6655 0 119870 0
[pid=51669/tid=51671] ppid=51666 vsize=522432 memory=475596 CPUtime=13.71 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 25807 0 0 0 1366 5 0 0 20 0 2 0 52077618 534970368 118931 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 39.13 s
Current children cumulated vsize: 522432 KiB
Current children cumulated memory: 475724 KiB

[startup+51.1057 s]
/proc/loadavg: 7.34 7.79 7.84 9/268 51718
/proc/meminfo: memFree=127038672/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=556012 memory=510796 CPUtime=90.03 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 122602 0 0 0 8979 24 0 0 20 0 2 0 52076602 569356288 127699 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 139003 127699 3552 6655 0 128265 0
[pid=51669/tid=51671] ppid=51666 vsize=556012 memory=510796 CPUtime=39.07 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 38914 0 0 0 3900 7 0 0 20 0 2 0 52077618 569356288 127699 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 90.03 s
Current children cumulated vsize: 556012 KiB
Current children cumulated memory: 510796 KiB

[startup+102.3 s]
/proc/loadavg: 7.76 7.84 7.86 9/268 51731
/proc/meminfo: memFree=127014744/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=485176 memory=440792 CPUtime=190.59 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 200934 0 0 0 19023 36 0 0 20 0 2 0 52076602 496820224 110198 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 121294 110198 3552 6655 0 110556 0
[pid=51669/tid=51671] ppid=51666 vsize=485176 memory=14848 CPUtime=88.62 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 49182 0 0 0 8853 9 0 0 20 0 2 0 52077618 496820224 110198 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 190.59 s
Current children cumulated vsize: 485176 KiB
Current children cumulated memory: 440792 KiB

[startup+162.3 s]
/proc/loadavg: 8.03 7.90 7.88 9/270 51739
/proc/meminfo: memFree=126929032/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=485640 memory=444632 CPUtime=309.62 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 239523 0 0 0 30923 39 0 0 20 0 2 0 52076602 497295360 111158 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 121410 111158 3552 6655 0 110672 0
[pid=51669/tid=51671] ppid=51666 vsize=485640 memory=444632 CPUtime=147.82 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 72098 0 0 0 14772 10 0 0 20 0 2 0 52077618 497295360 111158 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 309.62 s
Current children cumulated vsize: 485640 KiB
Current children cumulated memory: 444632 KiB

[startup+222.3 s]
/proc/loadavg: 7.54 7.79 7.84 8/267 51787
/proc/meminfo: memFree=127247564/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=485640 memory=444632 CPUtime=428.84 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 241541 0 0 0 42844 40 0 0 20 0 2 0 52076602 497295360 111158 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 121410 111158 3552 6655 0 110672 0
[pid=51669/tid=51671] ppid=51666 vsize=485640 memory=444632 CPUtime=207.2 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 73848 0 0 0 20709 11 0 0 20 0 2 0 52077618 497295360 111158 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 428.84 s
Current children cumulated vsize: 485640 KiB
Current children cumulated memory: 444632 KiB

[startup+282.3 s]
/proc/loadavg: 7.25 7.66 7.79 8/268 51792
/proc/meminfo: memFree=127066796/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=497528 memory=449844 CPUtime=548.04 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 259170 0 0 0 54763 41 0 0 20 0 2 0 52076602 509468672 112461 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 124382 112461 3552 6655 0 113644 0
[pid=51669/tid=51671] ppid=51666 vsize=497528 memory=449716 CPUtime=266.58 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 83314 0 0 0 26646 12 0 0 20 0 2 0 52077618 509468672 112461 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 548.04 s
Current children cumulated vsize: 497528 KiB
Current children cumulated memory: 449844 KiB

[startup+342.3 s]
/proc/loadavg: 7.19 7.57 7.75 8/268 51794
/proc/meminfo: memFree=127066792/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=506812 memory=459192 CPUtime=667.25 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 278866 0 0 0 66682 43 0 0 20 0 2 0 52076602 518975488 114798 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 126703 114798 3552 6655 0 115965 0
[pid=51669/tid=51671] ppid=51666 vsize=506812 memory=449716 CPUtime=325.95 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 95377 0 0 0 32582 13 0 0 20 0 2 0 52077618 518975488 114798 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 667.25 s
Current children cumulated vsize: 506812 KiB
Current children cumulated memory: 459192 KiB


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

/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 380875 0 0 0 245432 59 0 0 20 0 2 0 52076602 551288832 123162 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 134592 123162 3552 6655 0 123854 0
[pid=51669/tid=51671] ppid=51666 vsize=538368 memory=492648 CPUtime=1216.39 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 151588 0 0 0 121615 24 0 0 20 0 2 0 52077618 551288832 123162 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 2454.91 s
Current children cumulated vsize: 538368 KiB
Current children cumulated memory: 492648 KiB

[startup+1302.3 s]
/proc/loadavg: 7.29 7.05 7.28 8/270 52129
/proc/meminfo: memFree=128274428/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=538368 memory=496836 CPUtime=2574.05 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 381703 0 0 0 257346 59 0 0 20 0 2 0 52076602 551288832 124209 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 134592 124209 3552 6655 0 123854 0
[pid=51669/tid=51671] ppid=51666 vsize=538368 memory=496836 CPUtime=1275.74 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 152353 0 0 0 127549 25 0 0 20 0 2 0 52077618 551288832 124209 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 2574.05 s
Current children cumulated vsize: 538368 KiB
Current children cumulated memory: 496836 KiB

[startup+1362.3 s]
/proc/loadavg: 7.18 7.06 7.27 8/270 52131
/proc/meminfo: memFree=128271344/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=538368 memory=496836 CPUtime=2693.21 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 381968 0 0 0 269261 60 0 0 20 0 2 0 52076602 551288832 124209 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 134592 124209 3552 6655 0 123854 0
[pid=51669/tid=51671] ppid=51666 vsize=538368 memory=496836 CPUtime=1335.1 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 152578 0 0 0 133485 25 0 0 20 0 2 0 52077618 551288832 124209 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 2693.21 s
Current children cumulated vsize: 538368 KiB
Current children cumulated memory: 496836 KiB

[startup+1422.3 s]
/proc/loadavg: 7.13 7.07 7.26 8/271 52138
/proc/meminfo: memFree=128269988/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=538368 memory=498884 CPUtime=2812.3 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 381975 0 0 0 281170 60 0 0 20 0 2 0 52076602 551288832 124721 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 134592 124721 3552 6655 0 123854 0
[pid=51669/tid=51671] ppid=51666 vsize=538368 memory=496836 CPUtime=1394.45 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 152580 0 0 0 139420 25 0 0 20 0 2 0 52077618 551288832 124721 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 2812.3 s
Current children cumulated vsize: 538368 KiB
Current children cumulated memory: 498884 KiB

[startup+1482.3 s]
/proc/loadavg: 7.09 7.07 7.25 8/271 52141
/proc/meminfo: memFree=128235528/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=539284 memory=499780 CPUtime=2931.41 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 382224 0 0 0 293081 60 0 0 20 0 2 0 52076602 552226816 124945 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 134821 124945 3552 6655 0 124083 0
[pid=51669/tid=51671] ppid=51666 vsize=539284 memory=-6658970525470134623 CPUtime=1453.83 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 152580 0 0 0 145357 26 0 0 20 0 2 0 52077618 552226816 124945 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 2931.41 s
Current children cumulated vsize: 539284 KiB
Current children cumulated memory: 499780 KiB

[startup+1542.3 s]
/proc/loadavg: 7.15 7.08 7.24 8/269 52143
/proc/meminfo: memFree=128225956/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=539284 memory=499780 CPUtime=3050.57 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 382224 0 0 0 304996 61 0 0 20 0 2 0 52076602 552226816 124945 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 134821 124945 3552 6655 0 124083 0
[pid=51669/tid=51671] ppid=51666 vsize=539284 memory=499780 CPUtime=1513.21 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 152580 0 0 0 151295 26 0 0 20 0 2 0 52077618 552226816 124945 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 3050.57 s
Current children cumulated vsize: 539284 KiB
Current children cumulated memory: 499780 KiB

[startup+1602.3 s]
/proc/loadavg: 6.83 7.02 7.21 7/269 52145
/proc/meminfo: memFree=128215440/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=539284 memory=499780 CPUtime=3153.82 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) S 51666 51669 50951 0 -1 4194304 382230 0 0 0 315321 61 0 0 20 0 2 0 52076602 552226816 124945 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 134821 124945 3552 6655 0 124083 0
[pid=51669/tid=51671] ppid=51666 vsize=539284 memory=499780 CPUtime=1572.71 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 152581 0 0 0 157245 26 0 0 20 0 2 0 52077618 552226816 124945 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 539284 KiB
Current children cumulated memory: 499780 KiB

[startup+1662.3 s]
/proc/loadavg: 6.83 6.97 7.18 8/269 52147
/proc/meminfo: memFree=128176380/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=580104 memory=540004 CPUtime=3253.13 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 389860 0 0 0 325250 63 0 0 20 0 2 0 52076602 594026496 135001 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 145026 135001 3648 6655 0 134288 0
[pid=51669/tid=51671] ppid=51666 vsize=580104 memory=499780 CPUtime=1626.69 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 154218 0 0 0 162642 27 0 0 20 0 2 0 52077618 594026496 135001 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 3253.13 s
Current children cumulated vsize: 580104 KiB
Current children cumulated memory: 540004 KiB

[startup+1722.3 s]
/proc/loadavg: 7.04 7.01 7.18 8/269 52149
/proc/meminfo: memFree=128166464/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=580104 memory=540004 CPUtime=3372.36 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 392288 0 0 0 337172 64 0 0 20 0 2 0 52076602 594026496 135001 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 145026 135001 3648 6655 0 134288 0
[pid=51669/tid=51671] ppid=51666 vsize=580104 memory=499780 CPUtime=1686.1 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 154900 0 0 0 168582 28 0 0 20 0 2 0 52077618 594026496 135001 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 3372.36 s
Current children cumulated vsize: 580104 KiB
Current children cumulated memory: 540004 KiB

[startup+1782.3 s]
/proc/loadavg: 7.07 7.02 7.17 8/267 52154
/proc/meminfo: memFree=128194728/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=516324 memory=477384 CPUtime=3491.3 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) R 51666 51669 50951 0 -1 4194304 394600 0 0 0 349066 64 0 0 20 0 2 0 52076602 528715776 119346 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 129081 119346 3648 6655 0 118343 0
[pid=51669/tid=51671] ppid=51666 vsize=516324 memory=477384 CPUtime=1745.3 cores=5,7
/proc/51669/task/51671/stat : 51671 (LSIPExact) R 51666 51669 50951 0 -1 4194368 155550 0 0 0 174502 28 0 0 20 0 2 0 52077618 528715776 119346 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
Current children cumulated CPU time: 3491.3 s
Current children cumulated vsize: 516324 KiB
Current children cumulated memory: 477384 KiB

[startup+1842.3 s]
/proc/loadavg: 6.53 6.89 7.11 6/267 52158
/proc/meminfo: memFree=128038436/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=516324 memory=475644 CPUtime=3526.82 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) S 51666 51669 50951 0 -1 4194304 399195 0 0 0 352617 65 0 0 20 0 1 0 52076602 528715776 118911 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 129081 118911 3680 6655 0 118343 0
[pid=52155] ppid=51669 vsize=131380 memory=120532 CPUtime=41.98 cores=5,7
/proc/52155/stat : 52155 (Exact) R 51669 52155 52155 0 -1 4194304 27640 0 0 0 4192 6 0 0 20 0 1 0 52256620 134533120 30133 18446744073709551615 4198400 8335837 140730143577024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28209152 140730143582395 140730143582749 140730143582749 140730143588303 0
/proc/52155/statm: 32845 30133 1120 1011 0 31612 0
Current children cumulated CPU time: 3568.8 s
Current children cumulated vsize: 647704 KiB
Current children cumulated memory: 596176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1873.6 s]
/proc/loadavg: 5.93 6.71 7.05 6/267 52159
/proc/meminfo: memFree=127995024/131249988 swapFree=33010684/33010684
[pid=51669] ppid=51666 vsize=516324 memory=476796 CPUtime=3526.82 cores=5,7
/proc/51669/stat : 51669 (LSIPExact) S 51666 51669 50951 0 -1 4194304 399195 0 0 0 352617 65 0 0 20 0 1 0 52076602 528715776 119199 18446744073709551615 94905979203584 94906006459985 140728307276032 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94906014962824 94906015394432 94906047836160 140728307280218 140728307280394 140728307280394 140728307285996 0
/proc/51669/statm: 129081 119199 3680 6655 0 118343 0
[pid=52155] ppid=51669 vsize=167780 memory=157212 CPUtime=73.2 cores=5,7
/proc/52155/stat : 52155 (Exact) R 51669 52155 52155 0 -1 4194304 34199 0 0 0 7312 8 0 0 20 0 1 0 52256620 171806720 39303 18446744073709551615 4198400 8335837 140730143577024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 28209152 140730143582395 140730143582749 140730143582749 140730143588303 0
/proc/52155/statm: 41945 39303 1120 1011 0 40712 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 684104 KiB
Current children cumulated memory: 634008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.38 s, system=0.765683 s

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

Child status: 0

Real time (s): 1873.71
CPU time (s): 3600.14
CPU user time (s): 3599.38
CPU system time (s): 0.765683
CPU usage (%): 192.14
Max. virtual memory (cumulated for all children) (KiB): 684104
Max. memory (cumulated for all children) (KiB): 634008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.38
system time used= 0.765683
maximum resident set size= 594308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453969
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= 506
involuntary context switches= 34704


# summary of solver processes directly reported to runsolver:
#   pid: 51669
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3599.38
#   total CPU system time (s): 0.765683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89771 second user time and 8.53856 second system time

The end

Launcher Data

Begin job on nodeC020 at 2025-07-01 11:59:50
IDJOB=4490782
IDBENCH=147620
IDSOLVER=3337
FILE ID=nodeC020/4490782-1751363990
RUNJOBID= nodeC020-1751360343-50964
SLURM_JOB_ID= 9598161
Free space on /tmp= 432812 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490782-1751363990/watcher-4490782-1751363990 -o /tmp/evaluation-result-4490782-1751363990/solver-4490782-1751363990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751360343-50964 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4490782-1751363990.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 329db8d421c28e548757e1dbc8e6ec5f
RANDOM SEED=836216801

nodeC020 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.895
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.79
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.893
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.79
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.888
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.79
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		: 3585.281
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        126361576 kB
MemAvailable:   126943520 kB
Buffers:            3280 kB
Cached:          1386292 kB
SwapCached:            0 kB
Active:          3218692 kB
Inactive:        1077888 kB
Active(anon):    2925064 kB
Inactive(anon):        0 kB
Active(file):     293628 kB
Inactive(file):  1077888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50812 kB
Writeback:             4 kB
AnonPages:       2907296 kB
Mapped:           144792 kB
Shmem:             18056 kB
KReclaimable:      99332 kB
Slab:             188188 kB
SReclaimable:      99332 kB
SUnreclaim:        88856 kB
KernelStack:        4320 kB
PageTables:         8896 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    3310844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    382976 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432768 MiB
End job on nodeC020 at 2025-07-01 12:31:04