Trace number 4512012

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 S2? (MO) 1824.73 1187.83

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
MD5SUM8e74907d75b3430f44949ac6e798f9f2
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark13.8301
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2766336
Total number of constraints11830
Number of constraints which are clauses5402
Number of constraints which are cardinality constraints (but not clauses)5402
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint5402
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 1983745
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 4451165
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1725.57/1088.43	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1725.57/1088.43	c numVar: 2766336
1725.57/1088.43	c numCon: 11830
1725.57/1088.43	c numEqual: 0
1725.57/1088.43	c intSize: 23
1725.57/1088.43	c ls_time: 10.0, mip_time: 1074.0, exact_time: 2506.0
1725.57/1088.43	c ------------------- Paras list -------------------
1725.57/1088.43	c Name                	 Type      	 Now       	 Default   	 Comment
1725.57/1088.43	c timeout             	 double    	 3600.000000	 3600      	 
1725.57/1088.43	c mip_time            	 double    	 0.300000  	 0.5       	 
1725.57/1088.43	c ls_time             	 double    	 10.000000 	 10        	 
1725.57/1088.43	c safe_mode           	 int       	 2         	 2         	 1 trust; 2 feasible
1725.57/1088.43	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1725.57/1088.43	c random_seed         	 int       	 0         	 0         	 
1725.57/1088.43	c sample_size         	 int       	 50        	 50        	 
1725.57/1088.43	c sub_score           	 int       	 1         	 1         	 
1725.57/1088.43	c tabu_base           	 int       	 3         	 3         	 
1725.57/1088.43	c tabu_variation      	 int       	 1         	 1         	 
1725.57/1088.43	c sub_div             	 int       	 4         	 4         	 
1725.57/1088.43	c nbcore              	 int       	 2         	 1         	 
1725.57/1088.43	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1725.57/1088.43	c print_sol           	 int       	 1         	 1         	 
1725.57/1088.43	c tmpdir              	 string		 .         	 "."       	 
1725.57/1088.43	c home                	 string		 HOME	 "."       	 
1725.57/1088.43	c benchname           	 string		 HOME/instance-4512012-1751186886.opb	 ""        	 
1725.57/1088.43	c --------------------------------------------------
1725.57/1088.43	c Local Search solver
1725.57/1088.43	c MIP solver
1725.57/1088.43	c use Exact solver
1822.60/1185.70	c receive signal 15, try to interrupt solver...
1725.60/1186.11	c Exact solver (PID 31432) interrupted gracefully.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512012-1751186886/watcher-4512012-1751186886 -o /tmp/evaluation-result-4512012-1751186886/solver-4512012-1751186886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751179186-29163 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4512012-1751186886.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=31221, runsolver pid=31218

[startup+0.100056 s]*
/proc/loadavg: 6.16 6.73 6.98 7/268 31222
/proc/meminfo: memFree=129273572/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=109892 memory=42240 CPUtime=0.09 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 9524 0 0 0 7 2 0 0 20 0 1 0 34366315 112529408 10560 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 27473 10560 1184 6655 0 17708 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109892 KiB
Current children cumulated memory: 42240 KiB

[startup+0.204992 s]*
/proc/loadavg: 6.16 6.73 6.98 7/268 31222
/proc/meminfo: memFree=129241316/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=173264 memory=78848 CPUtime=0.2 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 18684 0 0 0 16 4 0 0 20 0 1 0 34366315 177422336 19712 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 43356 19712 1184 6655 0 33591 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 173264 KiB
Current children cumulated memory: 78848 KiB

[startup+0.305521 s]*
/proc/loadavg: 6.16 6.73 6.98 7/268 31222
/proc/meminfo: memFree=129200996/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=227324 memory=115328 CPUtime=0.3 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 27808 0 0 0 24 6 0 0 20 0 1 0 34366315 232779776 28832 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 56831 28832 1184 6655 0 47066 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 227324 KiB
Current children cumulated memory: 115328 KiB

[startup+0.700178 s]
/proc/loadavg: 6.16 6.73 6.98 7/268 31222
/proc/meminfo: memFree=129120356/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=808844 memory=705296 CPUtime=0.68 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 65896 0 0 0 49 19 0 0 20 0 1 0 34366315 828256256 176292 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 202211 176292 1216 6655 0 192446 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 808844 KiB
Current children cumulated memory: 705296 KiB

[startup+1.50013 s]
/proc/loadavg: 6.14 6.71 6.97 7/268 31222
/proc/meminfo: memFree=128329928/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=1419876 memory=1316240 CPUtime=1.48 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 218645 0 0 0 109 39 0 0 20 0 1 0 34366315 1453953024 329060 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 354969 329060 1216 6655 0 345204 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1419876 KiB
Current children cumulated memory: 1316240 KiB

[startup+3.10543 s]
/proc/loadavg: 6.14 6.71 6.97 7/268 31222
/proc/meminfo: memFree=127520976/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=1984764 memory=1881176 CPUtime=3.08 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 347773 0 0 0 245 63 0 0 20 0 1 0 34366315 2032398336 470294 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 496191 470294 1216 6655 0 486426 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1984764 KiB
Current children cumulated memory: 1881176 KiB

[startup+6.30016 s]
/proc/loadavg: 6.13 6.70 6.97 7/268 31222
/proc/meminfo: memFree=127125848/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=2333932 memory=2230104 CPUtime=6.27 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 435233 0 0 0 551 76 0 0 20 0 1 0 34366315 2389946368 557526 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 583483 557526 1216 6655 0 573718 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2333932 KiB
Current children cumulated memory: 2230104 KiB

[startup+12.7001 s]
/proc/loadavg: 6.12 6.69 6.96 7/268 31222
/proc/meminfo: memFree=126069148/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=3569672 memory=3338920 CPUtime=12.65 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 569805 0 0 0 1154 111 0 0 20 0 1 0 34366315 3655344128 834730 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 892418 834730 2240 6655 0 882653 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3569672 KiB
Current children cumulated memory: 3338920 KiB

[startup+25.5002 s]
/proc/loadavg: 6.18 6.68 6.96 7/268 31223
/proc/meminfo: memFree=125185828/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=4509312 memory=4104636 CPUtime=25.42 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 601749 0 0 0 2405 137 0 0 20 0 2 0 34366315 4617535488 1026159 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 1127328 1026159 2720 6655 0 1101211 0
[pid=31221/tid=31223] ppid=31218 vsize=4509312 memory=4104636 CPUtime=0 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) S 31218 31221 29149 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 34367664 4617535488 1026159 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4509312 KiB
Current children cumulated memory: 4104636 KiB

[startup+51.1055 s]
/proc/loadavg: 6.11 6.62 6.93 7/268 31224
/proc/meminfo: memFree=125228512/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=4509312 memory=4104636 CPUtime=50.97 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 613307 0 0 0 4959 138 0 0 20 0 2 0 34366315 4617535488 1026159 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 1127328 1026159 2720 6655 0 1101211 0
[pid=31221/tid=31223] ppid=31218 vsize=4509312 memory=17536 CPUtime=0 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) S 31218 31221 29149 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 34367664 4617535488 1026159 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4509312 KiB
Current children cumulated memory: 4104636 KiB

[startup+102.3 s]
/proc/loadavg: 6.09 6.53 6.88 7/268 31226
/proc/meminfo: memFree=123250956/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=7112900 memory=6067476 CPUtime=102.05 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 712938 0 0 0 9996 209 0 0 20 0 2 0 34366315 7283609600 1516869 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 1778225 1516869 2880 6655 0 1752108 0
[pid=31221/tid=31223] ppid=31218 vsize=7112900 memory=14432 CPUtime=0 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) S 31218 31221 29149 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 34367664 7283609600 1516869 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 7112900 KiB
Current children cumulated memory: 6067476 KiB

[startup+162.3 s]
/proc/loadavg: 5.53 6.30 6.78 6/267 31231
/proc/meminfo: memFree=123545700/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=6655940 memory=5760228 CPUtime=161.92 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 781306 0 0 0 15954 238 0 0 20 0 2 0 34366315 6815682560 1440057 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 1663985 1440057 2912 6655 0 1637868 0
[pid=31221/tid=31223] ppid=31218 vsize=6655940 memory=6067476 CPUtime=0 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) S 31218 31221 29149 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 34367664 6815682560 1440057 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 6655940 KiB
Current children cumulated memory: 5760228 KiB

[startup+222.3 s]
/proc/loadavg: 5.19 6.06 6.66 6/269 31237
/proc/meminfo: memFree=122966164/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=7460756 memory=6342820 CPUtime=221.77 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 818516 0 0 0 21911 266 0 0 20 0 2 0 34366315 7639814144 1585705 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 1865189 1585705 2912 6655 0 1839072 0
[pid=31221/tid=31223] ppid=31218 vsize=7460756 memory=5760228 CPUtime=0 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) S 31218 31221 29149 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 34367664 7639814144 1585705 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 7460756 KiB
Current children cumulated memory: 6342820 KiB

[startup+282.3 s]
/proc/loadavg: 4.54 5.71 6.50 5/268 31239
/proc/meminfo: memFree=122898924/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=7483536 memory=6365732 CPUtime=281.64 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 830703 0 0 0 27896 268 0 0 20 0 2 0 34366315 7663140864 1591433 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 1870884 1591433 2912 6655 0 1844767 0
[pid=31221/tid=31223] ppid=31218 vsize=7483536 memory=14432 CPUtime=0 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) S 31218 31221 29149 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 34367664 7663140864 1591433 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 7483536 KiB
Current children cumulated memory: 6365732 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 5.41 6.35 5/268 31286
/proc/meminfo: memFree=118791400/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=7499932 memory=6382116 CPUtime=341.5 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 843855 0 0 0 33880 270 0 0 20 0 2 0 34366315 7679930368 1595529 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 1874983 1595529 2912 6655 0 1848866 0
[pid=31221/tid=31223] ppid=31218 vsize=7499932 memory=14432 CPUtime=0 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) S 31218 31221 29149 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 34367664 7679930368 1595529 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 7499932 KiB
Current children cumulated memory: 6382116 KiB

[startup+402.3 s]
/proc/loadavg: 4.27 5.21 6.22 5/270 31292

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


[startup+822.3 s]
/proc/loadavg: 5.38 5.18 5.81 6/271 31324
/proc/meminfo: memFree=108536460/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=14135240 memory=11886640 CPUtime=1197.75 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 1827436 0 0 0 119255 520 0 0 20 0 2 0 34366315 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3533810 2971660 3488 6655 0 3477320 0
[pid=31221/tid=31223] ppid=31218 vsize=14135240 memory=11886640 CPUtime=377.97 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) R 31218 31221 29149 0 -1 4194368 272159 0 0 0 37732 65 0 0 20 0 2 0 34367664 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 1197.75 s
Current children cumulated vsize: 14135240 KiB
Current children cumulated memory: 11886640 KiB

[startup+882.3 s]
/proc/loadavg: 5.66 5.28 5.80 7/270 31328
/proc/meminfo: memFree=105511116/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=14135240 memory=11886640 CPUtime=1316.92 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 1882796 0 0 0 131168 524 0 0 20 0 2 0 34366315 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3533810 2971660 3488 6655 0 3477320 0
[pid=31221/tid=31223] ppid=31218 vsize=14135240 memory=11886640 CPUtime=437.34 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) R 31218 31221 29149 0 -1 4194368 287105 0 0 0 43667 67 0 0 20 0 2 0 34367664 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 1316.92 s
Current children cumulated vsize: 14135240 KiB
Current children cumulated memory: 11886640 KiB

[startup+942.3 s]
/proc/loadavg: 6.01 5.44 5.83 8/270 31376
/proc/meminfo: memFree=105587952/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=14135240 memory=11886640 CPUtime=1436.05 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 1990083 0 0 0 143062 543 0 0 20 0 2 0 34366315 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3533810 2971660 3488 6655 0 3477320 0
[pid=31221/tid=31223] ppid=31218 vsize=14135240 memory=14432 CPUtime=496.67 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) R 31218 31221 29149 0 -1 4194368 291357 0 0 0 49599 68 0 0 20 0 2 0 34367664 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 1436.05 s
Current children cumulated vsize: 14135240 KiB
Current children cumulated memory: 11886640 KiB

[startup+1002.3 s]
/proc/loadavg: 6.68 5.75 5.91 8/271 31381
/proc/meminfo: memFree=105550952/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=14135240 memory=11886640 CPUtime=1555.09 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 2024878 0 0 0 154962 547 0 0 20 0 2 0 34366315 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3533810 2971660 3488 6655 0 3477320 0
[pid=31221/tid=31223] ppid=31218 vsize=14135240 memory=10624 CPUtime=555.96 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) R 31218 31221 29149 0 -1 4194368 311177 0 0 0 55525 71 0 0 20 0 2 0 34367664 14474485760 2971660 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 1555.09 s
Current children cumulated vsize: 14135240 KiB
Current children cumulated memory: 11886640 KiB

[startup+1062.3 s]
/proc/loadavg: 6.92 5.99 5.98 8/268 31383
/proc/meminfo: memFree=105502884/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=14199936 memory=11909796 CPUtime=1674.09 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 2065892 0 0 0 166857 552 0 0 20 0 2 0 34366315 14540734464 2977449 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3549984 2977449 3488 6655 0 3493494 0
[pid=31221/tid=31223] ppid=31218 vsize=14199936 memory=10624 CPUtime=615.23 cores=4,6
/proc/31221/task/31223/stat : 31223 (LSIPExact) R 31218 31221 29149 0 -1 4194368 315287 0 0 0 61450 73 0 0 20 0 2 0 34367664 14540734464 2977449 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
Current children cumulated CPU time: 1674.09 s
Current children cumulated vsize: 14199936 KiB
Current children cumulated memory: 11909796 KiB

[startup+1122.3 s]
/proc/loadavg: 6.87 6.15 6.04 8/268 31433
/proc/meminfo: memFree=99192556/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=12058652 memory=10108084 CPUtime=1725.6 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) S 31218 31221 29149 0 -1 4194304 2237566 0 0 0 171993 567 0 0 20 0 1 0 34366315 12348059648 2527021 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3014663 2527021 3520 6655 0 2970449 0
[pid=31432] ppid=31221 vsize=8197596 memory=7580164 CPUtime=33.75 cores=4,6
/proc/31432/stat : 31432 (Exact) R 31221 31432 31432 0 -1 4194304 1045031 0 0 0 3089 286 0 0 20 0 1 0 34475158 8394338304 1895041 18446744073709551615 4198400 8335837 140721367659152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 46473216 140721367664827 140721367665181 140721367665181 140721367670735 0
/proc/31432/statm: 2049399 1895041 960 1011 0 2048166 0
Current children cumulated CPU time: 1759.35 s
Current children cumulated vsize: 20256248 KiB
Current children cumulated memory: 17688248 KiB

[startup+1182.3 s]
/proc/loadavg: 7.07 6.34 6.11 8/269 31438
/proc/meminfo: memFree=90011360/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=12058652 memory=10108084 CPUtime=1725.6 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) S 31218 31221 29149 0 -1 4194304 2237566 0 0 0 171993 567 0 0 20 0 1 0 34366315 12348059648 2527021 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3014663 2527021 3520 6655 0 2970449 0
[pid=31432] ppid=31221 vsize=19139816 memory=17390588 CPUtime=93.61 cores=4,6
/proc/31432/stat : 31432 (Exact) R 31221 31432 31432 0 -1 4194304 2555476 0 0 0 8632 729 0 0 20 0 1 0 34475158 19599171584 4347647 18446744073709551615 4198400 8335837 140721367659152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 46473216 140721367664827 140721367665181 140721367665181 140721367670735 0
/proc/31432/statm: 4784954 4347647 960 1011 0 4783721 0
Current children cumulated CPU time: 1819.21 s
Current children cumulated vsize: 31198468 KiB
Current children cumulated memory: 27498672 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1185.7 s]
/proc/loadavg: 7.07 6.34 6.11 8/269 31438
/proc/meminfo: memFree=89397344/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=12058652 memory=10108084 CPUtime=1725.6 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) S 31218 31221 29149 0 -1 4194304 2237566 0 0 0 171993 567 0 0 20 0 1 0 34366315 12348059648 2527021 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3014663 2527021 3520 6655 0 2970449 0
[pid=31432] ppid=31221 vsize=19691084 memory=18074076 CPUtime=97 cores=4,6
/proc/31432/stat : 31432 (Exact) R 31221 31432 31432 0 -1 4194304 2690596 0 0 0 8948 752 0 0 20 0 1 0 34475158 20163670016 4518519 18446744073709551615 4198400 8335837 140721367659152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 46473216 140721367664827 140721367665181 140721367665181 140721367670735 0
/proc/31432/statm: 4922771 4518519 960 1011 0 4921538 0
Current children cumulated CPU time: 1822.6 s
Current children cumulated vsize: 31749736 KiB
Current children cumulated memory: 28182160 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=1810.9 s, system=13.8226 s

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

[startup+1186.4 s]
/proc/loadavg: 7.07 6.35 6.12 8/269 31439
/proc/meminfo: memFree=97018960/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=12015420 memory=10065008 CPUtime=1823.29 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 2346802 2690910 0 0 172018 572 8949 790 20 0 1 0 34366315 12303790080 2516252 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 3003855 2516252 3520 6655 0 2959641 0
Current children cumulated CPU time: 1823.29 s
Current children cumulated vsize: 12015420 KiB
Current children cumulated memory: 10065008 KiB

[startup+1187.2 s]
/proc/loadavg: 7.07 6.35 6.12 8/268 31439
/proc/meminfo: memFree=106692844/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=11777676 memory=9827232 CPUtime=1824.08 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 2445295 2690910 0 0 172091 578 8949 790 20 0 1 0 34366315 12060340224 2456808 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 2944419 2456808 3520 6655 0 2900205 0
Current children cumulated CPU time: 1824.08 s
Current children cumulated vsize: 11777676 KiB
Current children cumulated memory: 9827232 KiB

[startup+1187.6 s]
/proc/loadavg: 7.07 6.35 6.12 8/268 31439
/proc/meminfo: memFree=106692844/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=11777676 memory=9827232 CPUtime=1824.48 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 2445295 2690910 0 0 172131 578 8949 790 20 0 1 0 34366315 12060340224 2456808 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 2944419 2456808 3520 6655 0 2900205 0
Current children cumulated CPU time: 1824.48 s
Current children cumulated vsize: 11777676 KiB
Current children cumulated memory: 9827232 KiB

[startup+1187.7 s]
/proc/loadavg: 7.07 6.35 6.12 8/268 31439
/proc/meminfo: memFree=106692844/131250000 swapFree=33010684/33010684
[pid=31221] ppid=31218 vsize=11756060 memory=9805612 CPUtime=1824.57 cores=4,6
/proc/31221/stat : 31221 (LSIPExact) R 31218 31221 29149 0 -1 4194304 2469350 2690910 0 0 172140 578 8949 790 20 0 1 0 34366315 12038205440 2451403 18446744073709551615 94456431992832 94456459249233 140730814014096 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94456467752072 94456468183680 94456473460736 140730814015834 140730814016010 140730814016010 140730814021612 0
/proc/31221/statm: 2939015 2451403 3520 6655 0 2894801 0
Current children cumulated CPU time: 1824.57 s
Current children cumulated vsize: 11756060 KiB
Current children cumulated memory: 9805612 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1187.83
CPU time (s): 1824.73
CPU user time (s): 1810.9
CPU system time (s): 13.8226
CPU usage (%): 153.619
Max. virtual memory (cumulated for all children) (KiB): 31749736
Max. memory (cumulated for all children) (KiB): 28182160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1810.9
system time used= 13.8226
maximum resident set size= 18074588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5160307
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= 365
involuntary context switches= 13024


# summary of solver processes directly reported to runsolver:
#   pid: 31221
#   total CPU time (s): 1824.73
#   total CPU user time (s): 1810.9
#   total CPU system time (s): 13.8226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.38021 second user time and 5.56087 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 10:48:08
IDJOB=4512012
IDBENCH=160490
IDSOLVER=3337
FILE ID=nodeC016/4512012-1751186886
RUNJOBID= nodeC016-1751179186-29163
SLURM_JOB_ID= 9587543
Free space on /tmp= 432800 MiB

SOLVER NAME= LSIPExact  S2
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512012-1751186886/watcher-4512012-1751186886 -o /tmp/evaluation-result-4512012-1751186886/solver-4512012-1751186886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751179186-29163 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4512012-1751186886.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2

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

MD5SUM BENCH= 8e74907d75b3430f44949ac6e798f9f2
RANDOM SEED=409544468

nodeC016 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.732
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.48
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.711
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.48
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.758
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.48
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.733
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129313892 kB
MemAvailable:   129338884 kB
Buffers:            3280 kB
Cached:           834820 kB
SwapCached:            0 kB
Active:           684636 kB
Inactive:         613056 kB
Active(anon):     477664 kB
Inactive(anon):        0 kB
Active(file):     206972 kB
Inactive(file):   613056 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            180108 kB
Writeback:             4 kB
AnonPages:        461420 kB
Mapped:           142620 kB
Shmem:             18072 kB
KReclaimable:      88408 kB
Slab:             171964 kB
SReclaimable:      88408 kB
SUnreclaim:        83556 kB
KernelStack:        4320 kB
PageTables:         4020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     823044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432624 MiB
End job on nodeC016 at 2025-06-29 11:07:56