Trace number 4493435

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
LSIPExact S1? (TO) 3600.05 2904.05

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMc646e12ccfd746fe0694a48782eaf83d
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 benchmark37.9468
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1427.55/726.12	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1427.55/726.12	c numVar: 14400
1427.55/726.12	c numCon: 1088
1427.55/726.12	c numEqual: 0
1427.55/726.12	c intSize: 8
1427.55/726.12	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1427.55/726.12	c ------------------- Paras list -------------------
1427.55/726.12	c Name                	 Type      	 Now       	 Default   	 Comment
1427.55/726.12	c timeout             	 double    	 3600.000000	 3600      	 
1427.55/726.12	c mip_time            	 double    	 0.200000  	 0.5       	 
1427.55/726.12	c ls_time             	 double    	 10.000000 	 10        	 
1427.55/726.12	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1427.55/726.12	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1427.55/726.12	c random_seed         	 int       	 0         	 0         	 
1427.55/726.12	c sample_size         	 int       	 50        	 50        	 
1427.55/726.12	c sub_score           	 int       	 1         	 1         	 
1427.55/726.12	c tabu_base           	 int       	 3         	 3         	 
1427.55/726.12	c tabu_variation      	 int       	 1         	 1         	 
1427.55/726.12	c sub_div             	 int       	 4         	 4         	 
1427.55/726.12	c nbcore              	 int       	 2         	 1         	 
1427.55/726.12	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1427.55/726.12	c print_sol           	 int       	 1         	 1         	 
1427.55/726.12	c tmpdir              	 string		 .         	 "."       	 
1427.55/726.12	c home                	 string		 HOME	 "."       	 
1427.55/726.12	c benchname           	 string		 HOME/instance-4493435-1751133657.opb	 ""        	 
1427.55/726.12	c --------------------------------------------------
1427.55/726.12	c Local Search solver
1427.55/726.12	c MIP solver
1427.55/726.12	c use Exact solver
3600.00/2904.01	c receive signal 15, try to interrupt solver...
3600.00/2904.02	c Exact solver (PID 11663) interrupted gracefully.
3600.00/2904.04	s UNKNOWN
3600.00/2904.04	c Total time: 2904

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63221 MiB free)
  memory of node 1: 64465 MiB (63988 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493435-1751133657/watcher-4493435-1751133657 -o /tmp/evaluation-result-4493435-1751133657/solver-4493435-1751133657 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751133631-11273 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4493435-1751133657.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100068 s]*
/proc/loadavg: 1.52 0.44 0.21 4/241 11467
/proc/meminfo: memFree=130254904/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=47252 memory=12544 CPUtime=0.03 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 2179 0 0 0 2 1 0 0 20 0 1 0 29045187 48386048 3136 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 11813 3136 1120 6655 0 2048 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 47252 KiB
Current children cumulated memory: 12544 KiB

[startup+0.213381 s]*
/proc/loadavg: 1.52 0.44 0.21 4/241 11469
/proc/meminfo: memFree=130253140/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=61356 memory=26496 CPUtime=0.13 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 5676 0 0 0 11 2 0 0 20 0 1 0 29045187 62828544 6624 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 15339 6624 1120 6655 0 5574 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 61356 KiB
Current children cumulated memory: 26496 KiB

[startup+0.313911 s]*
/proc/loadavg: 1.52 0.44 0.21 4/241 11480
/proc/meminfo: memFree=130253140/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=61356 memory=26496 CPUtime=0.24 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 5676 0 0 0 21 3 0 0 20 0 1 0 29045187 62828544 6624 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 15339 6624 1120 6655 0 5574 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 61356 KiB
Current children cumulated memory: 26496 KiB

[startup+0.700343 s]
/proc/loadavg: 1.52 0.44 0.21 4/240 11480
/proc/meminfo: memFree=130212604/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=61356 memory=26496 CPUtime=0.61 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 5676 0 0 0 58 3 0 0 20 0 1 0 29045187 62828544 6624 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 15339 6624 1120 6655 0 5574 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 61356 KiB
Current children cumulated memory: 26496 KiB

[startup+1.50037 s]
/proc/loadavg: 1.52 0.44 0.21 4/241 11486
/proc/meminfo: memFree=130212952/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=61356 memory=26496 CPUtime=1.41 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 5676 0 0 0 138 3 0 0 20 0 1 0 29045187 62828544 6624 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 15339 6624 1120 6655 0 5574 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 61356 KiB
Current children cumulated memory: 26496 KiB

[startup+3.11299 s]
/proc/loadavg: 1.64 0.48 0.22 4/245 11490
/proc/meminfo: memFree=130213224/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=61356 memory=26496 CPUtime=3.01 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 5676 0 0 0 298 3 0 0 20 0 1 0 29045187 62828544 6624 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 15339 6624 1120 6655 0 5574 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 61356 KiB
Current children cumulated memory: 26496 KiB

[startup+6.30029 s]
/proc/loadavg: 1.64 0.48 0.22 3/243 11495
/proc/meminfo: memFree=130207864/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=61356 memory=26496 CPUtime=6.19 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 5676 0 0 0 616 3 0 0 20 0 1 0 29045187 62828544 6624 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 15339 6624 1120 6655 0 5574 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 61356 KiB
Current children cumulated memory: 26496 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 0.59 0.26 3/244 11511
/proc/meminfo: memFree=130145788/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=198824 memory=106784 CPUtime=14.8 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 23281 0 0 0 1474 6 0 0 20 0 2 0 29045187 203595776 26696 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 49706 26696 3296 6655 0 27212 0
[pid=11466/tid=11500] ppid=11462 vsize=198824 memory=5376 CPUtime=2.23 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 3099 0 0 0 223 0 0 0 20 0 2 0 29046199 203595776 26696 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 14.8 s
Current children cumulated vsize: 198824 KiB
Current children cumulated memory: 106784 KiB

[startup+25.5002 s]
/proc/loadavg: 2.31 0.71 0.30 3/240 11575
/proc/meminfo: memFree=129809208/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=218764 memory=124832 CPUtime=40.21 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 46040 0 0 0 4010 11 0 0 20 0 2 0 29045187 224014336 31208 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 54691 31208 3328 6655 0 32197 0
[pid=11466/tid=11500] ppid=11462 vsize=218764 memory=3616672204227625360 CPUtime=14.9 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 11932 0 0 0 1488 2 0 0 20 0 2 0 29046199 224014336 31208 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 40.21 s
Current children cumulated vsize: 218764 KiB
Current children cumulated memory: 124832 KiB

[startup+51.1054 s]
/proc/loadavg: 3.04 1.01 0.41 7/249 11633
/proc/meminfo: memFree=128638528/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=261320 memory=179460 CPUtime=90.9 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 69573 0 0 0 9073 17 0 0 20 0 2 0 29045187 267591680 44865 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 65330 44865 3360 6655 0 44985 0
[pid=11466/tid=11500] ppid=11462 vsize=261320 memory=177284 CPUtime=40.06 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 19463 0 0 0 4002 4 0 0 20 0 2 0 29046199 267591680 44865 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 90.9 s
Current children cumulated vsize: 261320 KiB
Current children cumulated memory: 179460 KiB

[startup+102.3 s]
/proc/loadavg: 4.88 1.86 0.74 7/249 11635
/proc/meminfo: memFree=128241832/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=261320 memory=189256 CPUtime=192.7 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 88906 0 0 0 19252 18 0 0 20 0 2 0 29045187 267591680 47314 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 65330 47314 3360 6655 0 46413 0
[pid=11466/tid=11500] ppid=11462 vsize=261320 memory=187848 CPUtime=91.1 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 29837 0 0 0 9105 5 0 0 20 0 2 0 29046199 267591680 47314 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 192.7 s
Current children cumulated vsize: 261320 KiB
Current children cumulated memory: 189256 KiB

[startup+162.3 s]
/proc/loadavg: 5.60 2.62 1.07 7/249 11637
/proc/meminfo: memFree=128257672/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=261320 memory=189640 CPUtime=312.04 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 90015 0 0 0 31185 19 0 0 20 0 2 0 29045187 267591680 47410 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 65330 47410 3360 6655 0 46413 0
[pid=11466/tid=11500] ppid=11462 vsize=261320 memory=189256 CPUtime=150.97 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 30736 0 0 0 15091 6 0 0 20 0 2 0 29046199 267591680 47410 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 312.04 s
Current children cumulated vsize: 261320 KiB
Current children cumulated memory: 189640 KiB

[startup+222.3 s]
/proc/loadavg: 5.86 3.24 1.39 7/249 11639
/proc/meminfo: memFree=128248764/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=224508 memory=156140 CPUtime=430.88 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 91975 0 0 0 43069 19 0 0 20 0 2 0 29045187 229896192 39035 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 56127 39035 3360 6655 0 37305 0
[pid=11466/tid=11500] ppid=11462 vsize=224508 memory=153408 CPUtime=210.23 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 31053 0 0 0 21017 6 0 0 20 0 2 0 29046199 229896192 39035 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 430.88 s
Current children cumulated vsize: 224508 KiB
Current children cumulated memory: 156140 KiB

[startup+282.3 s]
/proc/loadavg: 6.00 3.76 1.68 7/247 11641
/proc/meminfo: memFree=127783728/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=308580 memory=225040 CPUtime=549.78 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 103145 0 0 0 54957 21 0 0 20 0 2 0 29045187 315985920 56260 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 77145 56260 3360 6655 0 58323 0
[pid=11466/tid=11500] ppid=11462 vsize=308580 memory=225040 CPUtime=269.64 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 32483 0 0 0 26958 6 0 0 20 0 2 0 29046199 315985920 56260 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 549.78 s
Current children cumulated vsize: 308580 KiB
Current children cumulated memory: 225040 KiB

[startup+342.3 s]
/proc/loadavg: 6.12 4.20 1.97 7/246 11643
/proc/meminfo: memFree=127723224/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=316784 memory=245336 CPUtime=669.13 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) R 11462 11466 11256 0 -1 4194304 115148 0 0 0 66890 23 0 0 20 0 2 0 29045187 324386816 61334 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 79196 61334 3360 6655 0 62654 0
[pid=11466/tid=11500] ppid=11462 vsize=316784 memory=225040 CPUtime=329.52 cores=1,3
/proc/11466/task/11500/stat : 11500 (LSIPExact) R 11462 11466 11256 0 -1 4194368 36755 0 0 0 32945 7 0 0 20 0 2 0 29046199 324386816 61334 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
Current children cumulated CPU time: 669.13 s
Current children cumulated vsize: 316784 KiB
Current children cumulated memory: 245336 KiB


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

/proc/loadavg: 4.14 3.85 3.52 5/247 11872
/proc/meminfo: memFree=127356408/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=542088 memory=471960 CPUtime=1592.01 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 66856 0 1 0 159095 106 0 0 20 0 1 0 29117799 555098112 117990 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 135522 117990 1120 1011 0 134289 0
Current children cumulated CPU time: 3019.6 s
Current children cumulated vsize: 886828 KiB
Current children cumulated memory: 745984 KiB

[startup+2382.3 s]
/proc/loadavg: 4.11 3.89 3.55 5/247 11874
/proc/meminfo: memFree=127320012/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=542484 memory=472344 CPUtime=1651.88 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 67088 0 1 0 165082 106 0 0 20 0 1 0 29117799 555503616 118086 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 135621 118086 1120 1011 0 134388 0
Current children cumulated CPU time: 3079.47 s
Current children cumulated vsize: 887224 KiB
Current children cumulated memory: 746368 KiB

[startup+2442.3 s]
/proc/loadavg: 4.04 3.91 3.58 5/248 11881
/proc/meminfo: memFree=127279964/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=543664 memory=473496 CPUtime=1711.74 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 67390 0 1 0 171065 109 0 0 20 0 1 0 29117799 556711936 118374 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 135916 118374 1120 1011 0 134683 0
Current children cumulated CPU time: 3139.33 s
Current children cumulated vsize: 888404 KiB
Current children cumulated memory: 747520 KiB

[startup+2502.3 s]
/proc/loadavg: 4.16 3.98 3.63 5/248 11885
/proc/meminfo: memFree=127290044/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=544072 memory=474008 CPUtime=1771.61 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 67669 0 1 0 177049 112 0 0 20 0 1 0 29117799 557129728 118502 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 136018 118502 1120 1011 0 134785 0
Current children cumulated CPU time: 3199.2 s
Current children cumulated vsize: 888812 KiB
Current children cumulated memory: 748032 KiB

[startup+2562.3 s]
/proc/loadavg: 4.11 4.00 3.66 5/247 11887
/proc/meminfo: memFree=127294764/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=545680 memory=475544 CPUtime=1831.47 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 68070 0 1 0 183035 112 0 0 20 0 1 0 29117799 558776320 118886 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 136420 118886 1120 1011 0 135187 0
Current children cumulated CPU time: 3259.06 s
Current children cumulated vsize: 890420 KiB
Current children cumulated memory: 749568 KiB

[startup+2622.3 s]
/proc/loadavg: 4.12 4.03 3.69 5/247 11889
/proc/meminfo: memFree=127295520/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=546592 memory=476440 CPUtime=1891.34 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 68402 0 1 0 189017 117 0 0 20 0 1 0 29117799 559710208 119110 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 136648 119110 1120 1011 0 135415 0
Current children cumulated CPU time: 3318.93 s
Current children cumulated vsize: 891332 KiB
Current children cumulated memory: 750464 KiB

[startup+2682.3 s]
/proc/loadavg: 4.10 4.04 3.72 5/247 11891
/proc/meminfo: memFree=127294484/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=548172 memory=477848 CPUtime=1951.21 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 68831 0 1 0 195000 121 0 0 20 0 1 0 29117799 561328128 119462 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 137043 119462 1120 1011 0 135810 0
Current children cumulated CPU time: 3378.8 s
Current children cumulated vsize: 892912 KiB
Current children cumulated memory: 751872 KiB

[startup+2742.3 s]
/proc/loadavg: 4.08 4.04 3.75 5/247 11893
/proc/meminfo: memFree=127303320/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=549236 memory=478872 CPUtime=2011.07 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 69097 0 1 0 200986 121 0 0 20 0 1 0 29117799 562417664 119718 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 137309 119718 1120 1011 0 136076 0
Current children cumulated CPU time: 3438.66 s
Current children cumulated vsize: 893976 KiB
Current children cumulated memory: 752896 KiB

[startup+2802.3 s]
/proc/loadavg: 4.14 4.06 3.78 5/247 11895
/proc/meminfo: memFree=127303324/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=549780 memory=479384 CPUtime=2070.93 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 69323 0 1 0 206969 124 0 0 20 0 1 0 29117799 562974720 119846 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 137445 119846 1120 1011 0 136212 0
Current children cumulated CPU time: 3498.52 s
Current children cumulated vsize: 894520 KiB
Current children cumulated memory: 753408 KiB

[startup+2862.3 s]
/proc/loadavg: 3.83 4.00 3.78 4/247 11898
/proc/meminfo: memFree=127242084/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=550856 memory=480536 CPUtime=2130.8 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 69587 0 1 0 212952 128 0 0 20 0 1 0 29117799 564076544 120134 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 137714 120134 1120 1011 0 136481 0
Current children cumulated CPU time: 3558.39 s
Current children cumulated vsize: 895596 KiB
Current children cumulated memory: 754560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2904 s]*
/proc/loadavg: 3.47 3.89 3.75 4/247 11899
/proc/meminfo: memFree=127202000/131382112 swapFree=33010684/33010684
[pid=11466] ppid=11462 vsize=344740 memory=274024 CPUtime=1427.59 cores=1,3
/proc/11466/stat : 11466 (LSIPExact) S 11462 11466 11256 0 -1 4194304 135862 0 0 0 142733 26 0 0 20 0 1 0 29045187 353013760 68506 18446744073709551615 93961259376640 93961286633041 140725767378688 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 93961295135880 93961295567488 93961323601920 140725767383386 140725767383562 140725767383562 140725767389164 0
/proc/11466/statm: 86185 68506 3392 6655 0 69643 0
[pid=11663] ppid=11466 vsize=552376 memory=481816 CPUtime=2172.41 cores=1,3
/proc/11663/stat : 11663 (Exact) R 11466 11663 11663 0 -1 4194304 70053 0 1 0 217113 128 0 0 20 0 1 0 29117799 565633024 120454 18446744073709551615 4198400 8335837 140734812513536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 28536832 140734812522683 140734812523037 140734812523037 140734812528591 0
/proc/11663/statm: 138094 120454 1120 1011 0 136861 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 897116 KiB
Current children cumulated memory: 755840 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.49 s, system=1.56381 s

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

Child status: 0

Real time (s): 2904.05
CPU time (s): 3600.05
CPU user time (s): 3598.49
CPU system time (s): 1.56381
CPU usage (%): 123.967
Max. virtual memory (cumulated for all children) (KiB): 897116
Max. memory (cumulated for all children) (KiB): 755840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.56381
maximum resident set size= 481944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209685
page faults= 1
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 536
involuntary context switches= 14617


# summary of solver processes directly reported to runsolver:
#   pid: 11466
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.49
#   total CPU system time (s): 1.56381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.989 second user time and 24.6976 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-28 20:00:59
IDJOB=4493435
IDBENCH=147863
IDSOLVER=3336
FILE ID=nodeC007/4493435-1751133657
RUNJOBID= nodeC007-1751133631-11273
SLURM_JOB_ID= 9587407
Free space on /tmp= 432928 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493435-1751133657/watcher-4493435-1751133657 -o /tmp/evaluation-result-4493435-1751133657/solver-4493435-1751133657 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751133631-11273 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4493435-1751133657.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=753056809

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

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        130230380 kB
MemAvailable:   129940780 kB
Buffers:            3280 kB
Cached:           523340 kB
SwapCached:            0 kB
Active:           270088 kB
Inactive:         325372 kB
Active(anon):      86800 kB
Inactive(anon):        0 kB
Active(file):     183288 kB
Inactive(file):   325372 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             90808 kB
Writeback:             0 kB
AnonPages:         71944 kB
Mapped:           105184 kB
Shmem:             17960 kB
KReclaimable:      82732 kB
Slab:             160408 kB
SReclaimable:      82732 kB
SUnreclaim:        77676 kB
KernelStack:        3888 kB
PageTables:         2840 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     356900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432864 MiB
End job on nodeC007 at 2025-06-28 20:49:25