Trace number 4490413

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
LSIPExact S1? (TO) 4799.09 3020.6

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
MD5SUMd6e4abba593cb3232b5d1a2a9d687dd6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark3600.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint82
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5856
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.10/1817.80	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.10/1817.80	c numVar: 198
3600.10/1817.80	c numCon: 16
3600.10/1817.80	c numEqual: 0
3600.10/1817.80	c intSize: 13
3600.10/1817.80	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.10/1817.80	c ------------------- Paras list -------------------
3600.10/1817.80	c Name                	 Type      	 Now       	 Default   	 Comment
3600.10/1817.80	c timeout             	 double    	 3600.000000	 3600      	 
3600.10/1817.80	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.10/1817.80	c ls_time             	 double    	 10.000000 	 10        	 
3600.10/1817.80	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.10/1817.80	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.10/1817.80	c random_seed         	 int       	 0         	 0         	 
3600.10/1817.80	c sample_size         	 int       	 50        	 50        	 
3600.10/1817.80	c sub_score           	 int       	 1         	 1         	 
3600.10/1817.80	c tabu_base           	 int       	 3         	 3         	 
3600.10/1817.80	c tabu_variation      	 int       	 1         	 1         	 
3600.10/1817.80	c sub_div             	 int       	 4         	 4         	 
3600.10/1817.80	c nbcore              	 int       	 2         	 1         	 
3600.10/1817.80	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.10/1817.80	c print_sol           	 int       	 1         	 1         	 
3600.10/1817.80	c tmpdir              	 string		 .         	 "."       	 
3600.10/1817.80	c home                	 string		 HOME	 "."       	 
3600.10/1817.80	c benchname           	 string		 HOME/instance-4490413-1751365444.opb	 ""        	 
3600.10/1817.80	c --------------------------------------------------
3600.10/1817.80	c Local Search solver
3600.10/1817.80	c LS find feasible solution for PBO with objective value 158
3600.10/1817.80	c MIP solver
3600.10/1817.80	c receive signal 15, try to interrupt solver...
3600.10/1817.80	c MIP solver find feasible solution
3600.10/1817.80	c MIP solver objective value: 13
3601.80/1819.56	c MIP find feasible solution for PBO with objective value 13
3601.80/1819.56	c copy file: 0
3601.80/1819.56	c gen ub file: HOME/instance-4490413-1751365444.opb_ub.opb
3601.80/1819.56	c use Exact solver

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490413-1751365444/watcher-4490413-1751365444 -o /tmp/evaluation-result-4490413-1751365444/solver-4490413-1751365444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751365444-52302 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4490413-1751365444.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
Current StackSize limit: 8192 KiB

solver pid=52351, runsolver pid=52342

[startup+0.100068 s]*
/proc/loadavg: 2.32 3.68 3.96 6/253 52360
/proc/meminfo: memFree=129086312/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=39904 memory=5504 CPUtime=0.09 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 342 0 0 0 9 0 0 0 20 0 1 0 52223900 40861696 1376 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+0.213885 s]*
/proc/loadavg: 2.32 3.68 3.96 6/253 52360
/proc/meminfo: memFree=129086264/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=39904 memory=5504 CPUtime=0.2 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 342 0 0 0 20 0 0 0 20 0 1 0 52223900 40861696 1376 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+0.313223 s]*
/proc/loadavg: 2.32 3.68 3.96 6/253 52360
/proc/meminfo: memFree=129086012/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=39904 memory=5504 CPUtime=0.3 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 342 0 0 0 30 0 0 0 20 0 1 0 52223900 40861696 1376 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+0.700251 s]
/proc/loadavg: 2.46 3.68 3.96 6/253 52360
/proc/meminfo: memFree=129086012/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=39904 memory=5504 CPUtime=0.67 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 342 0 0 0 67 0 0 0 20 0 1 0 52223900 40861696 1376 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+1.50024 s]
/proc/loadavg: 2.46 3.68 3.96 6/253 52360
/proc/meminfo: memFree=129086012/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=39904 memory=5504 CPUtime=1.47 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 342 0 0 0 147 0 0 0 20 0 1 0 52223900 40861696 1376 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+3.11256 s]
/proc/loadavg: 2.46 3.68 3.96 6/253 52360
/proc/meminfo: memFree=129086548/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=39904 memory=5504 CPUtime=3.08 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 342 0 0 0 308 0 0 0 20 0 1 0 52223900 40861696 1376 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+6.30022 s]
/proc/loadavg: 2.58 3.69 3.96 6/253 52360
/proc/meminfo: memFree=129086772/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=39904 memory=5504 CPUtime=6.26 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 342 0 0 0 626 0 0 0 20 0 1 0 52223900 40861696 1376 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 9976 1376 1184 6655 0 211 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39904 KiB
Current children cumulated memory: 5504 KiB

[startup+12.7001 s]
/proc/loadavg: 3.18 3.79 3.99 10/257 52364
/proc/meminfo: memFree=129060312/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=122424 memory=29356 CPUtime=15.24 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 3683 0 0 0 1523 1 0 0 20 0 2 0 52223900 125362176 7339 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 30606 7339 3552 6655 0 5630 0
[pid=52351/tid=52362] ppid=52342 vsize=122424 memory=27436 CPUtime=2.62 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 1173 0 0 0 262 0 0 0 20 0 2 0 52224902 125362176 7339 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 15.24 s
Current children cumulated vsize: 122424 KiB
Current children cumulated memory: 29356 KiB

[startup+25.5002 s]
/proc/loadavg: 3.92 3.93 4.04 9/257 52364
/proc/meminfo: memFree=128941040/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=148944 memory=69828 CPUtime=40.57 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 18888 0 0 0 4053 4 0 0 20 0 2 0 52223900 152518656 17457 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 37236 17457 3552 6655 0 16660 0
[pid=52351/tid=52362] ppid=52342 vsize=148944 memory=52908 CPUtime=15.28 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 8872 0 0 0 1526 2 0 0 20 0 2 0 52224902 152518656 17457 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 40.57 s
Current children cumulated vsize: 148944 KiB
Current children cumulated memory: 69828 KiB

[startup+51.1055 s]
/proc/loadavg: 5.32 4.27 4.15 9/257 52411
/proc/meminfo: memFree=128801604/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=186688 memory=130348 CPUtime=91.39 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 45061 0 0 0 9126 13 0 0 20 0 2 0 52223900 191168512 32587 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 46672 32587 3552 6655 0 32169 0
[pid=52351/tid=52362] ppid=52342 vsize=186688 memory=14720 CPUtime=40.63 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 20631 0 0 0 4059 4 0 0 20 0 2 0 52224902 191168512 32587 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 91.39 s
Current children cumulated vsize: 186688 KiB
Current children cumulated memory: 130348 KiB

[startup+102.3 s]
/proc/loadavg: 6.86 4.85 4.35 9/257 52458
/proc/meminfo: memFree=128518752/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=337072 memory=254280 CPUtime=193.04 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 99316 0 0 0 19281 23 0 0 20 0 2 0 52223900 345161728 63570 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 84268 63570 3552 6655 0 63805 0
[pid=52351/tid=52362] ppid=52342 vsize=337072 memory=223688 CPUtime=91.32 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 54027 0 0 0 9122 10 0 0 20 0 2 0 52224902 345161728 63570 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 193.04 s
Current children cumulated vsize: 337072 KiB
Current children cumulated memory: 254280 KiB

[startup+162.3 s]
/proc/loadavg: 7.64 5.44 4.59 9/257 52460
/proc/meminfo: memFree=128226668/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=456240 memory=362812 CPUtime=312.18 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 160544 0 0 0 31186 32 0 0 20 0 2 0 52223900 467189760 90703 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 114060 90703 3552 6655 0 89664 0
[pid=52351/tid=52362] ppid=52342 vsize=456240 memory=223688 CPUtime=150.72 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 103384 0 0 0 15056 16 0 0 20 0 2 0 52224902 467189760 90703 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 312.18 s
Current children cumulated vsize: 456240 KiB
Current children cumulated memory: 362812 KiB

[startup+222.3 s]
/proc/loadavg: 7.91 5.93 4.81 9/257 52462
/proc/meminfo: memFree=127998760/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=537220 memory=474824 CPUtime=431.33 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 253454 0 0 0 43088 45 0 0 20 0 2 0 52223900 550113280 118706 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 134305 118706 3552 6655 0 119489 0
[pid=52351/tid=52362] ppid=52342 vsize=537220 memory=223688 CPUtime=210.12 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 154901 0 0 0 20987 25 0 0 20 0 2 0 52224902 550113280 118706 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 431.33 s
Current children cumulated vsize: 537220 KiB
Current children cumulated memory: 474824 KiB

[startup+282.3 s]
/proc/loadavg: 8.07 6.34 5.02 9/257 52464
/proc/meminfo: memFree=127757892/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=655212 memory=579260 CPUtime=550.5 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 298037 0 0 0 54997 53 0 0 20 0 2 0 52223900 670937088 144815 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 163803 144815 3552 6655 0 145176 0
[pid=52351/tid=52362] ppid=52342 vsize=655212 memory=223688 CPUtime=269.85 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 187280 0 0 0 26955 30 0 0 20 0 2 0 52224902 670937088 144815 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 550.5 s
Current children cumulated vsize: 655212 KiB
Current children cumulated memory: 579260 KiB

[startup+342.3 s]
/proc/loadavg: 8.07 6.66 5.22 9/253 52465
/proc/meminfo: memFree=127474384/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=790552 memory=699904 CPUtime=669.67 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 328944 0 0 0 66906 61 0 0 20 0 2 0 52223900 809525248 174976 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 197638 174976 3552 6655 0 174856 0
[pid=52351/tid=52362] ppid=52342 vsize=790552 memory=14720 CPUtime=329.61 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 203524 0 0 0 32927 34 0 0 20 0 2 0 52224902 809525248 174976 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 669.67 s
Current children cumulated vsize: 790552 KiB
Current children cumulated memory: 699904 KiB


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

/proc/52351/statm: 331864 321520 3552 6655 0 321586 0
[pid=52351/tid=52362] ppid=52342 vsize=1327456 memory=1274012 CPUtime=1343.02 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 841115 0 0 0 134187 115 0 0 20 0 2 0 52224902 1359314944 321520 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 2695.59 s
Current children cumulated vsize: 1327456 KiB
Current children cumulated memory: 1286080 KiB

[startup+1422.3 s]
/proc/loadavg: 8.04 8.06 7.24 9/253 52561
/proc/meminfo: memFree=123556112/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1408044 memory=1317440 CPUtime=2814.78 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 1453569 0 0 0 281273 205 0 0 20 0 2 0 52223900 1441837056 329360 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 352011 329360 3552 6655 0 329137 0
[pid=52351/tid=52362] ppid=52342 vsize=1408044 memory=3200 CPUtime=1402.66 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 906225 0 0 0 140145 121 0 0 20 0 2 0 52224902 1441837056 329360 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 2814.78 s
Current children cumulated vsize: 1408044 KiB
Current children cumulated memory: 1317440 KiB

[startup+1482.3 s]
/proc/loadavg: 8.11 8.08 7.30 9/253 52563
/proc/meminfo: memFree=123470716/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1434888 memory=1363092 CPUtime=2933.96 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 1488180 0 0 0 293185 211 0 0 20 0 2 0 52223900 1469325312 340773 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 358722 340773 3552 6655 0 339883 0
[pid=52351/tid=52362] ppid=52342 vsize=1434888 memory=5632 CPUtime=1462.07 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 926484 0 0 0 146083 124 0 0 20 0 2 0 52224902 1469325312 340773 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 2933.96 s
Current children cumulated vsize: 1434888 KiB
Current children cumulated memory: 1363092 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 8.08 7.36 9/253 52565
/proc/meminfo: memFree=123386712/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1482452 memory=1395348 CPUtime=3053.14 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 1520569 0 0 0 305096 218 0 0 20 0 2 0 52223900 1518030848 348837 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 370613 348837 3552 6655 0 355342 0
[pid=52351/tid=52362] ppid=52342 vsize=1482452 memory=1386900 CPUtime=1521.47 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 939660 0 0 0 152020 127 0 0 20 0 2 0 52224902 1518030848 348837 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 3053.14 s
Current children cumulated vsize: 1482452 KiB
Current children cumulated memory: 1395348 KiB

[startup+1602.3 s]
/proc/loadavg: 8.07 8.08 7.40 9/253 52568
/proc/meminfo: memFree=123251456/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1497628 memory=1434880 CPUtime=3172.28 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 1635474 0 0 0 316997 231 0 0 20 0 2 0 52223900 1533571072 358720 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 374407 358720 3552 6655 0 362985 0
[pid=52351/tid=52362] ppid=52342 vsize=1497628 memory=1431680 CPUtime=1580.85 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 997063 0 0 0 157951 134 0 0 20 0 2 0 52224902 1533571072 358720 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 3172.28 s
Current children cumulated vsize: 1497628 KiB
Current children cumulated memory: 1434880 KiB

[startup+1662.3 s]
/proc/loadavg: 8.45 8.17 7.48 9/253 52570
/proc/meminfo: memFree=123105152/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1577948 memory=1471772 CPUtime=3291.42 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 1677207 0 0 0 328904 238 0 0 20 0 2 0 52223900 1615818752 367943 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 394487 367943 3552 6655 0 370366 0
[pid=52351/tid=52362] ppid=52342 vsize=1577948 memory=1469980 CPUtime=1640.24 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 1020496 0 0 0 163885 139 0 0 20 0 2 0 52224902 1615818752 367943 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 3291.42 s
Current children cumulated vsize: 1577948 KiB
Current children cumulated memory: 1471772 KiB

[startup+1722.3 s]
/proc/loadavg: 8.21 8.15 7.52 9/255 52576
/proc/meminfo: memFree=123001156/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1592632 memory=1500956 CPUtime=3410.54 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 1792848 0 0 0 340803 251 0 0 20 0 2 0 52223900 1630855168 375239 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 398158 375239 3552 6655 0 377650 0
[pid=52351/tid=52362] ppid=52342 vsize=1592632 memory=1469980 CPUtime=1699.62 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 1071321 0 0 0 169817 145 0 0 20 0 2 0 52224902 1630855168 375239 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 3410.54 s
Current children cumulated vsize: 1592632 KiB
Current children cumulated memory: 1500956 KiB

[startup+1782.3 s]
/proc/loadavg: 8.18 8.15 7.56 9/255 52578
/proc/meminfo: memFree=122874908/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1608076 memory=1538140 CPUtime=3529.65 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 1936858 0 0 0 352700 265 0 0 20 0 2 0 52223900 1646669824 384535 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 402019 384535 3552 6655 0 385432 0
[pid=52351/tid=52362] ppid=52342 vsize=1608076 memory=14720 CPUtime=1759.01 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 1144061 0 0 0 175748 153 0 0 20 0 2 0 52224902 1646669824 384535 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 3529.65 s
Current children cumulated vsize: 1608076 KiB
Current children cumulated memory: 1538140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.8 s]
/proc/loadavg: 8.10 8.14 7.58 9/255 52580
/proc/meminfo: memFree=122776496/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1616740 memory=1558044 CPUtime=3600.1 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 2002024 0 0 0 359739 271 0 0 20 0 2 0 52223900 1655541760 389511 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 404185 389511 3552 6655 0 389827 0
[pid=52351/tid=52362] ppid=52342 vsize=1616740 memory=1546204 CPUtime=1794.15 cores=1,3
/proc/52351/task/52362/stat : 52362 (LSIPExact) R 52342 52351 52290 0 -1 4194368 1182726 0 0 0 179259 156 0 0 20 0 2 0 52224902 1655541760 389511 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1616740 KiB
Current children cumulated memory: 1558044 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3599.06 s, system=2.84176 s

[startup+3020.6 s]
# the end of solver process 52582 was just reported to runsolver
# Child ended because it received signal 13 (SIGPIPE)

# cumulated CPU time of all completed processes:  user=4785.75 s, system=13.3399 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+1819.2 s]
/proc/loadavg: 8.10 8.14 7.58 7/253 52580
/proc/meminfo: memFree=122767808/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=1616740 memory=1560328 CPUtime=3601.51 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) R 52342 52351 52290 0 -1 4194304 2071473 0 0 0 359876 275 0 0 20 0 1 0 52223900 1655541760 390082 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 404185 390082 3584 6655 0 389827 0
Current children cumulated CPU time: 3601.51 s
Current children cumulated vsize: 1616740 KiB
Current children cumulated memory: 1560328 KiB

[startup+1819.6 s]
/proc/loadavg: 8.10 8.14 7.58 7/253 52580
/proc/meminfo: memFree=122767808/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=761684 memory=665936 CPUtime=3601.83 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) S 52342 52351 52290 0 -1 4194304 2079661 227 0 0 359905 278 0 0 20 0 1 0 52223900 779964416 166484 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 190421 166484 3584 6655 0 180654 0
Current children cumulated CPU time: 3601.83 s
Current children cumulated vsize: 761684 KiB
Current children cumulated memory: 665936 KiB

[startup+1819.8 s]
/proc/loadavg: 8.10 8.14 7.58 7/253 52580
/proc/meminfo: memFree=122767808/131382112 swapFree=33010684/33010684
[pid=52351] ppid=52342 vsize=761684 memory=665936 CPUtime=3601.83 cores=1,3
/proc/52351/stat : 52351 (LSIPExact) S 52342 52351 52290 0 -1 4194304 2079661 227 0 0 359905 278 0 0 20 0 1 0 52223900 779964416 166484 18446744073709551615 94147877163008 94147904419409 140735103197680 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94147912922248 94147913353856 94147942453248 140735103203674 140735103203850 140735103203850 140735103209452 0
/proc/52351/statm: 190421 166484 3584 6655 0 180654 0
Current children cumulated CPU time: 3601.83 s
Current children cumulated vsize: 761684 KiB
Current children cumulated memory: 665936 KiB

Child ended because it received signal 13 (SIGPIPE)

Real time (s): 3020.6
CPU time (s): 4799.09
CPU user time (s): 4785.75
CPU system time (s): 13.3399
CPU usage (%): 158.879
Max. virtual memory (cumulated for all children) (KiB): 1616740
Max. memory (cumulated for all children) (KiB): 1560328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4785.75
system time used= 13.3399
maximum resident set size= 1562288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2086131
page faults= 1
swaps= 0
block input operations= 72
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6568
involuntary context switches= 90626


# summary of solver processes directly reported to runsolver:
#   pid: 52351,52582
#   total CPU time (s): 4799.09
#   total CPU user time (s): 4785.75
#   total CPU system time (s): 13.3399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.48662 second user time and 7.46024 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-01 12:24:05
IDJOB=4490413
IDBENCH=147586
IDSOLVER=3336
FILE ID=nodeC005/4490413-1751365444
RUNJOBID= nodeC005-1751365444-52302
SLURM_JOB_ID= 9598182
Free space on /tmp= 430672 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490413-1751365444/watcher-4490413-1751365444 -o /tmp/evaluation-result-4490413-1751365444/solver-4490413-1751365444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751365444-52302 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4490413-1751365444.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=300635513

nodeC005 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.233
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.90
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.228
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.90
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.252
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.90
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.312
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.90
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.315
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.90
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.296
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.90
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.245
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.90
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.253
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129093260 kB
MemAvailable:   129959744 kB
Buffers:            2752 kB
Cached:          1665660 kB
SwapCached:            0 kB
Active:           416488 kB
Inactive:        1317016 kB
Active(anon):      74900 kB
Inactive(anon):     8164 kB
Active(file):     341588 kB
Inactive(file):  1308852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            178604 kB
Writeback:             0 kB
AnonPages:         68176 kB
Mapped:           103276 kB
Shmem:             17960 kB
KReclaimable:     111344 kB
Slab:             195428 kB
SReclaimable:     111344 kB
SUnreclaim:        84084 kB
KernelStack:        3840 kB
PageTables:         2772 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     339808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430496 MiB
End job on nodeC005 at 2025-07-01 13:14:26