Trace number 4491671

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 S1UNSAT 1465.7 777.225

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM62e5546fe4d774fb864c3bf961c813a7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark20.2468
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables109757
Total number of constraints313451
Number of constraints which are clauses295929
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17522
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1415.78/727.19	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1415.78/727.19	c numVar: 109757
1415.78/727.19	c numCon: 313451
1415.78/727.19	c numEqual: 0
1415.78/727.19	c intSize: 10
1415.78/727.19	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1415.78/727.19	c ------------------- Paras list -------------------
1415.78/727.19	c Name                	 Type      	 Now       	 Default   	 Comment
1415.78/727.19	c timeout             	 double    	 3600.000000	 3600      	 
1415.78/727.19	c mip_time            	 double    	 0.200000  	 0.5       	 
1415.78/727.19	c ls_time             	 double    	 10.000000 	 10        	 
1415.78/727.19	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1415.78/727.19	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1415.78/727.19	c random_seed         	 int       	 0         	 0         	 
1415.78/727.19	c sample_size         	 int       	 50        	 50        	 
1415.78/727.19	c sub_score           	 int       	 1         	 1         	 
1415.78/727.19	c tabu_base           	 int       	 3         	 3         	 
1415.78/727.19	c tabu_variation      	 int       	 1         	 1         	 
1415.78/727.19	c sub_div             	 int       	 4         	 4         	 
1415.78/727.19	c nbcore              	 int       	 2         	 1         	 
1415.78/727.19	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1415.78/727.19	c print_sol           	 int       	 1         	 1         	 
1415.78/727.19	c tmpdir              	 string		 .         	 "."       	 
1415.78/727.19	c home                	 string		 HOME	 "."       	 
1415.78/727.19	c benchname           	 string		 HOME/instance-4491671-1751133631.opb	 ""        	 
1415.78/727.19	c --------------------------------------------------
1415.78/727.19	c Local Search solver
1415.78/727.19	c MIP solver
1415.78/727.19	c use Exact solver
1465.17/776.75	c Exact infeasible
1465.57/777.18	s UNSATISFIABLE
1465.57/777.18	c Total time: 777

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=11357, runsolver pid=11350

[startup+0.100107 s]*
/proc/loadavg: 0.40 0.17 0.11 5/252 11358
/proc/meminfo: memFree=130080592/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=36504 memory=256 CPUtime=0 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) D 11350 11357 11283 0 -1 4456448 68 0 0 0 0 0 0 0 20 0 1 0 29042568 37380096 64 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 9126 64 64 6655 0 164 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 36504 KiB
Current children cumulated memory: 256 KiB

[startup+0.213373 s]*
/proc/loadavg: 0.40 0.17 0.11 6/252 11358
/proc/meminfo: memFree=130020176/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=110724 memory=63880 CPUtime=0.07 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 11404 0 0 0 3 4 0 0 20 0 1 0 29042568 113381376 15970 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 27714 15970 1152 6655 0 17949 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 110724 KiB
Current children cumulated memory: 63880 KiB

[startup+0.313453 s]*
/proc/loadavg: 0.40 0.17 0.11 5/252 11358
/proc/meminfo: memFree=129983824/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=126168 memory=83336 CPUtime=0.17 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 15775 0 0 0 11 6 0 0 20 0 1 0 29042568 129196032 20834 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 31542 20834 1152 6655 0 21777 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 126168 KiB
Current children cumulated memory: 83336 KiB

[startup+0.700326 s]
/proc/loadavg: 0.40 0.17 0.11 5/252 11358
/proc/meminfo: memFree=129856048/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=206828 memory=172376 CPUtime=0.55 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 33894 0 0 0 41 14 0 0 20 0 1 0 29042568 211791872 43094 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 51707 43094 1184 6655 0 41942 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 206828 KiB
Current children cumulated memory: 172376 KiB

[startup+1.50032 s]
/proc/loadavg: 0.40 0.17 0.11 5/252 11358
/proc/meminfo: memFree=129654448/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=270752 memory=236120 CPUtime=1.34 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 49830 0 0 0 116 18 0 0 20 0 1 0 29042568 277250048 59030 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 67688 59030 1184 6655 0 57923 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 270752 KiB
Current children cumulated memory: 236120 KiB

[startup+3.11291 s]
/proc/loadavg: 0.77 0.25 0.14 4/251 11366
/proc/meminfo: memFree=129637348/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=270752 memory=236120 CPUtime=2.95 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 49846 0 0 0 277 18 0 0 20 0 1 0 29042568 277250048 59030 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 67688 59030 1184 6655 0 57923 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 270752 KiB
Current children cumulated memory: 236120 KiB

[startup+6.30033 s]
/proc/loadavg: 0.77 0.25 0.14 3/247 11374
/proc/meminfo: memFree=129638024/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=270752 memory=236120 CPUtime=6.12 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 49862 0 0 0 594 18 0 0 20 0 1 0 29042568 277250048 59030 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 67688 59030 1184 6655 0 57923 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 270752 KiB
Current children cumulated memory: 236120 KiB

[startup+12.7003 s]
/proc/loadavg: 1.11 0.33 0.16 3/246 11376
/proc/meminfo: memFree=128890192/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=675092 memory=549356 CPUtime=12.5 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 105102 0 0 0 1220 30 0 0 20 0 2 0 29042568 691294208 137339 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 168773 137339 2752 6655 0 142656 0
[pid=11357/tid=11375] ppid=11350 vsize=675092 memory=236120 CPUtime=0 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) S 11350 11357 11283 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 29043652 691294208 137339 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 1 0 0 -1 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 675092 KiB
Current children cumulated memory: 549356 KiB

[startup+25.5002 s]
/proc/loadavg: 1.98 0.56 0.24 7/254 11450
/proc/meminfo: memFree=127910020/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1122588 memory=1009756 CPUtime=34.19 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 168817 0 0 0 3366 53 0 0 20 0 2 0 29042568 1149530112 252439 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 280647 252439 2912 6655 0 265954 0
[pid=11357/tid=11375] ppid=11350 vsize=1122588 memory=17152 CPUtime=9.13 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 15549 0 0 0 906 7 0 0 20 0 2 0 29043652 1149530112 252439 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 34.19 s
Current children cumulated vsize: 1122588 KiB
Current children cumulated memory: 1009756 KiB

[startup+51.1054 s]
/proc/loadavg: 3.56 1.04 0.41 7/250 11562
/proc/meminfo: memFree=127259316/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1306260 memory=1172452 CPUtime=85.02 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 211006 0 0 0 8442 60 0 0 20 0 2 0 29042568 1337610240 293113 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 326565 293113 2912 6655 0 303817 0
[pid=11357/tid=11375] ppid=11350 vsize=1306260 memory=1172196 CPUtime=34.46 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 36236 0 0 0 3435 11 0 0 20 0 2 0 29043652 1337610240 293113 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 85.02 s
Current children cumulated vsize: 1306260 KiB
Current children cumulated memory: 1172452 KiB

[startup+102.3 s]
/proc/loadavg: 5.74 2.00 0.77 9/257 11651
/proc/meminfo: memFree=126808044/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1747364 memory=1583268 CPUtime=176.49 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 337411 0 0 0 17555 94 0 0 20 0 2 0 29042568 1789300736 395817 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 436841 395817 3488 6655 0 416153 0
[pid=11357/tid=11375] ppid=11350 vsize=1747364 memory=16320 CPUtime=75.87 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 84846 0 0 0 7563 24 0 0 20 0 2 0 29043652 1789300736 395817 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 176.49 s
Current children cumulated vsize: 1747364 KiB
Current children cumulated memory: 1583268 KiB

[startup+162.3 s]
/proc/loadavg: 6.91 3.03 1.20 9/256 11653
/proc/meminfo: memFree=126813852/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1747364 memory=1597212 CPUtime=295.61 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 371254 0 0 0 29463 98 0 0 20 0 2 0 29042568 1789300736 399303 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 436841 399303 3520 6655 0 416201 0
[pid=11357/tid=11375] ppid=11350 vsize=1747364 memory=139651063322705 CPUtime=135.63 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 93474 0 0 0 13538 25 0 0 20 0 2 0 29043652 1789300736 399303 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 295.61 s
Current children cumulated vsize: 1747364 KiB
Current children cumulated memory: 1597212 KiB

[startup+222.3 s]
/proc/loadavg: 7.59 3.93 1.63 9/256 11655
/proc/meminfo: memFree=126135904/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1924732 memory=1792576 CPUtime=414.69 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 509799 0 0 0 41350 119 0 0 20 0 2 0 29042568 1970925568 448144 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 481183 448144 3520 6655 0 460839 0
[pid=11357/tid=11375] ppid=11350 vsize=1924732 memory=1792576 CPUtime=195.38 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 122326 0 0 0 19510 28 0 0 20 0 2 0 29043652 1970925568 448144 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 414.69 s
Current children cumulated vsize: 1924732 KiB
Current children cumulated memory: 1792576 KiB

[startup+282.3 s]
/proc/loadavg: 7.90 4.68 2.03 9/256 11657
/proc/meminfo: memFree=126032640/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1924732 memory=1816132 CPUtime=533.73 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 588889 0 0 0 53247 126 0 0 20 0 2 0 29042568 1970925568 454033 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 481183 454033 3520 6655 0 466450 0
[pid=11357/tid=11375] ppid=11350 vsize=1924732 memory=1785408 CPUtime=255.11 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 155864 0 0 0 25479 32 0 0 20 0 2 0 29043652 1970925568 454033 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 533.73 s
Current children cumulated vsize: 1924732 KiB
Current children cumulated memory: 1816132 KiB

[startup+342.3 s]
/proc/loadavg: 8.01 5.31 2.42 9/254 11659
/proc/meminfo: memFree=126014052/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1924732 memory=1826332 CPUtime=652.75 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 616874 0 0 0 65145 130 0 0 20 0 2 0 29042568 1970925568 456583 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 481183 456583 3520 6655 0 468042 0
[pid=11357/tid=11375] ppid=11350 vsize=1924732 memory=1826240 CPUtime=314.83 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 179694 0 0 0 31448 35 0 0 20 0 2 0 29043652 1970925568 456583 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 652.75 s
Current children cumulated vsize: 1924732 KiB
Current children cumulated memory: 1826332 KiB


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

/proc/11357/statm: 481183 457393 3520 6655 0 468179 0
[pid=11357/tid=11375] ppid=11350 vsize=1924732 memory=1829292 CPUtime=374.54 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 200315 0 0 0 37400 54 0 0 20 0 2 0 29043652 1970925568 457393 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 771.75 s
Current children cumulated vsize: 1924732 KiB
Current children cumulated memory: 1829572 KiB

[startup+462.3 s]
/proc/loadavg: 8.09 6.24 3.11 9/253 11663
/proc/meminfo: memFree=125647264/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=2068216 memory=1971816 CPUtime=890.79 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 738442 0 0 0 88904 175 0 0 20 0 2 0 29042568 2117853184 492954 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 517054 492954 3520 6655 0 504050 0
[pid=11357/tid=11375] ppid=11350 vsize=2068216 memory=16320 CPUtime=434.26 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 227779 0 0 0 43355 71 0 0 20 0 2 0 29043652 2117853184 492954 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 890.79 s
Current children cumulated vsize: 2068216 KiB
Current children cumulated memory: 1971816 KiB

[startup+522.3 s]
/proc/loadavg: 8.14 6.59 3.43 9/254 11666
/proc/meminfo: memFree=125731492/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1978868 memory=1883836 CPUtime=1009.84 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 820665 0 0 0 100789 195 0 0 20 0 2 0 29042568 2026360832 470959 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 494717 470959 3520 6655 0 481713 0
[pid=11357/tid=11375] ppid=11350 vsize=1978868 memory=1883836 CPUtime=494 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 259324 0 0 0 49320 80 0 0 20 0 2 0 29043652 2026360832 470959 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 1009.84 s
Current children cumulated vsize: 1978868 KiB
Current children cumulated memory: 1883836 KiB

[startup+582.3 s]
/proc/loadavg: 8.11 6.87 3.73 9/254 11668
/proc/meminfo: memFree=125574628/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1978868 memory=1883836 CPUtime=1128.78 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 837685 0 0 0 112672 206 0 0 20 0 2 0 29042568 2026360832 470959 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 494717 470959 3520 6655 0 481713 0
[pid=11357/tid=11375] ppid=11350 vsize=1978868 memory=1883836 CPUtime=553.7 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 266721 0 0 0 55279 91 0 0 20 0 2 0 29043652 2026360832 470959 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 1128.78 s
Current children cumulated vsize: 1978868 KiB
Current children cumulated memory: 1883836 KiB

[startup+642.3 s]
/proc/loadavg: 8.08 7.09 4.00 9/254 11674
/proc/meminfo: memFree=125514104/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1978868 memory=1883836 CPUtime=1247.75 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 882350 0 0 0 124553 222 0 0 20 0 2 0 29042568 2026360832 470959 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 494717 470959 3520 6655 0 481713 0
[pid=11357/tid=11375] ppid=11350 vsize=1978868 memory=1883836 CPUtime=613.39 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 278918 0 0 0 61237 102 0 0 20 0 2 0 29043652 2026360832 470959 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 1247.75 s
Current children cumulated vsize: 1978868 KiB
Current children cumulated memory: 1883836 KiB

[startup+702.3 s]
/proc/loadavg: 7.98 7.24 4.25 9/254 11720
/proc/meminfo: memFree=125506912/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1978868 memory=1883840 CPUtime=1366.74 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 928585 0 0 0 136444 230 0 0 20 0 2 0 29042568 2026360832 470960 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 494717 470960 3520 6655 0 481713 0
[pid=11357/tid=11375] ppid=11350 vsize=1978868 memory=16320 CPUtime=673.11 cores=0,2
/proc/11357/task/11375/stat : 11375 (LSIPExact) R 11350 11357 11283 0 -1 4194368 318716 0 0 0 67201 110 0 0 20 0 2 0 29043652 2026360832 470960 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
Current children cumulated CPU time: 1366.74 s
Current children cumulated vsize: 1978868 KiB
Current children cumulated memory: 1883840 KiB

[startup+762.3 s]
/proc/loadavg: 7.16 7.17 4.42 7/254 11726
/proc/meminfo: memFree=125189932/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1673316 memory=1592000 CPUtime=1415.87 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) S 11350 11357 11283 0 -1 4194304 960150 0 0 0 141354 233 0 0 20 0 1 0 29042568 1713475584 398000 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 418329 398000 3552 6655 0 408440 0
[pid=11725] ppid=11357 vsize=446580 memory=425296 CPUtime=34.95 cores=0,2
/proc/11725/stat : 11725 (Exact) R 11357 11725 11725 0 -1 4194304 61713 0 1 0 3478 17 0 0 20 0 1 0 29115288 457297920 106324 18446744073709551615 4198400 8335837 140723094000656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 17444864 140723094010043 140723094010397 140723094010397 140723094015951 0
/proc/11725/statm: 111645 106324 1120 1011 0 110412 0
Current children cumulated CPU time: 1450.82 s
Current children cumulated vsize: 2119896 KiB
Current children cumulated memory: 2017296 KiB

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

# cumulated CPU time of all completed processes:  user=1463.07 s, system=2.6301 s

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

[startup+768 s]*
/proc/loadavg: 6.98 7.14 4.44 7/255 11728
/proc/meminfo: memFree=125189564/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1673316 memory=1592000 CPUtime=1415.87 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) S 11350 11357 11283 0 -1 4194304 960150 0 0 0 141354 233 0 0 20 0 1 0 29042568 1713475584 398000 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 418329 398000 3552 6655 0 408440 0
[pid=11725] ppid=11357 vsize=447108 memory=425808 CPUtime=40.64 cores=0,2
/proc/11725/stat : 11725 (Exact) R 11357 11725 11725 0 -1 4194304 61851 0 1 0 4047 17 0 0 20 0 1 0 29115288 457838592 106452 18446744073709551615 4198400 8335837 140723094000656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 17444864 140723094010043 140723094010397 140723094010397 140723094015951 0
/proc/11725/statm: 111777 106452 1120 1011 0 110544 0
Current children cumulated CPU time: 1456.51 s
Current children cumulated vsize: 2120424 KiB
Current children cumulated memory: 2017808 KiB

[startup+771.2 s]
/proc/loadavg: 6.98 7.14 4.44 7/255 11728
/proc/meminfo: memFree=125187796/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1673316 memory=1592000 CPUtime=1415.87 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) S 11350 11357 11283 0 -1 4194304 960150 0 0 0 141354 233 0 0 20 0 1 0 29042568 1713475584 398000 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 418329 398000 3552 6655 0 408440 0
[pid=11725] ppid=11357 vsize=447108 memory=425808 CPUtime=43.82 cores=0,2
/proc/11725/stat : 11725 (Exact) R 11357 11725 11725 0 -1 4194304 61859 0 1 0 4365 17 0 0 20 0 1 0 29115288 457838592 106452 18446744073709551615 4198400 8335837 140723094000656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 17444864 140723094010043 140723094010397 140723094010397 140723094015951 0
/proc/11725/statm: 111777 106452 1120 1011 0 110544 0
Current children cumulated CPU time: 1459.69 s
Current children cumulated vsize: 2120424 KiB
Current children cumulated memory: 2017808 KiB

[startup+774.4 s]
/proc/loadavg: 6.98 7.13 4.45 7/255 11728
/proc/meminfo: memFree=125187568/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1673316 memory=1592000 CPUtime=1415.87 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) S 11350 11357 11283 0 -1 4194304 960150 0 0 0 141354 233 0 0 20 0 1 0 29042568 1713475584 398000 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 418329 398000 3552 6655 0 408440 0
[pid=11725] ppid=11357 vsize=448064 memory=428792 CPUtime=47.01 cores=0,2
/proc/11725/stat : 11725 (Exact) R 11357 11725 11725 0 -1 4194304 62123 0 1 0 4684 17 0 0 20 0 1 0 29115288 458817536 107198 18446744073709551615 4198400 8335837 140723094000656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 17444864 140723094010043 140723094010397 140723094010397 140723094015951 0
/proc/11725/statm: 112016 107198 1120 1011 0 110783 0
Current children cumulated CPU time: 1462.88 s
Current children cumulated vsize: 2121380 KiB
Current children cumulated memory: 2020792 KiB

[startup+776 s]*
/proc/loadavg: 6.98 7.13 4.45 7/255 11728
/proc/meminfo: memFree=125179504/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1673316 memory=1592000 CPUtime=1415.87 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) S 11350 11357 11283 0 -1 4194304 960150 0 0 0 141354 233 0 0 20 0 1 0 29042568 1713475584 398000 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 418329 398000 3552 6655 0 408440 0
[pid=11725] ppid=11357 vsize=448064 memory=428792 CPUtime=48.61 cores=0,2
/proc/11725/stat : 11725 (Exact) R 11357 11725 11725 0 -1 4194304 62123 0 1 0 4844 17 0 0 20 0 1 0 29115288 458817536 107198 18446744073709551615 4198400 8335837 140723094000656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 17444864 140723094010043 140723094010397 140723094010397 140723094015951 0
/proc/11725/statm: 112016 107198 1120 1011 0 110783 0
Current children cumulated CPU time: 1464.48 s
Current children cumulated vsize: 2121380 KiB
Current children cumulated memory: 2020792 KiB

[startup+776.8 s]
/proc/loadavg: 6.98 7.13 4.45 7/255 11728
/proc/meminfo: memFree=125179504/131382120 swapFree=33010684/33010684
[pid=11357] ppid=11350 vsize=1673316 memory=1592000 CPUtime=1465.27 cores=0,2
/proc/11357/stat : 11357 (LSIPExact) R 11350 11357 11283 0 -1 4194304 972984 62136 0 1 141357 235 4917 18 20 0 1 0 29042568 1713475584 398000 18446744073709551615 94434843205632 94434870462033 140735379397440 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94434878964872 94434879396480 94434881220608 140735379405146 140735379405322 140735379405322 140735379410924 0
/proc/11357/statm: 418329 398000 3552 6655 0 408440 0
Current children cumulated CPU time: 1465.27 s
Current children cumulated vsize: 1673316 KiB
Current children cumulated memory: 1592000 KiB

[startup+777.2 s]*
/proc/loadavg: 6.98 7.13 4.45 7/254 11729
/proc/meminfo: memFree=125842660/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 777.225
CPU time (s): 1465.7
CPU user time (s): 1463.07
CPU system time (s): 2.6301
CPU usage (%): 188.581
Max. virtual memory (cumulated for all children) (KiB): 2270580
Max. memory (cumulated for all children) (KiB): 2125028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1463.07
system time used= 2.6301
maximum resident set size= 2158952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1069058
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= 384
involuntary context switches= 33304


# summary of solver processes directly reported to runsolver:
#   pid: 11357
#   total CPU time (s): 1465.7
#   total CPU user time (s): 1463.07
#   total CPU system time (s): 2.6301

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77107 second user time and 4.07129 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-06-28 20:00:33
IDJOB=4491671
IDBENCH=147732
IDSOLVER=3336
FILE ID=nodeC008/4491671-1751133631
RUNJOBID= nodeC008-1751133631-11298
SLURM_JOB_ID= 9587408
Free space on /tmp= 432988 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491671-1751133631/watcher-4491671-1751133631 -o /tmp/evaluation-result-4491671-1751133631/solver-4491671-1751133631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751133631-11298 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4491671-1751133631.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 62e5546fe4d774fb864c3bf961c813a7
RANDOM SEED=130135792

nodeC008 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		: 1197.308
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.72
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.204
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.72
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.217
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.72
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		: 1197.207
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.72
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		: 1995.856
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.72
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		: 1196.978
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.72
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.243
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.72
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		: 1197.282
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130235716 kB
MemAvailable:   129960244 kB
Buffers:            3280 kB
Cached:           549916 kB
SwapCached:            0 kB
Active:           270492 kB
Inactive:         352976 kB
Active(anon):      88228 kB
Inactive(anon):        0 kB
Active(file):     182264 kB
Inactive(file):   352976 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            208880 kB
Writeback:             0 kB
AnonPages:         73452 kB
Mapped:           102028 kB
Shmem:             17956 kB
KReclaimable:      57828 kB
Slab:             129164 kB
SReclaimable:      57828 kB
SUnreclaim:        71336 kB
KernelStack:        3904 kB
PageTables:         2880 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     332600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432860 MiB
End job on nodeC008 at 2025-06-28 20:13:32