Trace number 4504375

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) 3602.39 1839.47

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
MD5SUMf52c25e5aa8e0a6173f9b1fa92936824
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 benchmark3486983
Best CPU time to get the best result obtained on this benchmark70102.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129800
Biggest coefficient in the objective function 170953875
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 73955175696
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 170953875
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 73955175696
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.11/1837.30	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
3600.11/1837.30	c numVar: 250200
3600.11/1837.30	c numCon: 605407
3600.11/1837.30	c numEqual: 4907
3600.11/1837.30	c intSize: 37
3600.11/1837.30	c ls_time: 10.0, mip_time: 2148.0, exact_time: 1432.0
3600.11/1837.30	c ------------------- Paras list -------------------
3600.11/1837.30	c Name                	 Type      	 Now       	 Default   	 Comment
3600.11/1837.30	c timeout             	 double    	 3600.000000	 3600      	 
3600.11/1837.30	c mip_time            	 double    	 0.600000  	 0.5       	 
3600.11/1837.30	c ls_time             	 double    	 10.000000 	 10        	 
3600.11/1837.30	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
3600.11/1837.30	c mip_emphasis        	 int       	 2         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
3600.11/1837.30	c random_seed         	 int       	 0         	 0         	 
3600.11/1837.30	c sample_size         	 int       	 50        	 50        	 
3600.11/1837.30	c sub_score           	 int       	 1         	 1         	 
3600.11/1837.30	c tabu_base           	 int       	 3         	 3         	 
3600.11/1837.30	c tabu_variation      	 int       	 1         	 1         	 
3600.11/1837.30	c sub_div             	 int       	 4         	 4         	 
3600.11/1837.30	c nbcore              	 int       	 2         	 1         	 
3600.11/1837.30	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
3600.11/1837.30	c print_sol           	 int       	 1         	 1         	 
3600.11/1837.30	c tmpdir              	 string		 .         	 "."       	 
3600.11/1837.30	c home                	 string		 HOME	 "."       	 
3600.11/1837.30	c benchname           	 string		 HOME/instance-4504375-1751479985.opb	 ""        	 
3600.11/1837.30	c --------------------------------------------------
3600.11/1837.30	c Local Search solver
3600.11/1837.30	c LS find feasible solution for PBO with objective value 443552836
3600.11/1837.30	c MIP solver
3600.11/1837.30	c receive signal 15, try to interrupt solver...
3600.50/1837.56	c MIP solver find feasible solution
3600.60/1837.61	c MIP solver objective value: 9.38104e+06
3600.70/1837.75	c MIP find feasible solution for PBO with objective value 9381041
3600.70/1837.75	c copy file: 0
3600.70/1837.75	c gen ub file: HOME/instance-4504375-1751479985.opb_ub.opb
3600.70/1837.75	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: 63794 MiB (58112 MiB free)
  memory of node 1: 64507 MiB (42370 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=71189, runsolver pid=71186

[startup+0.100101 s]*
/proc/loadavg: 5.46 5.55 5.70 6/256 71190
/proc/meminfo: memFree=102834304/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=148640 memory=89128 CPUtime=0.09 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 16257 0 0 0 4 5 0 0 20 0 1 0 63678357 152207360 22282 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 37160 22282 1088 6655 0 27395 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 148640 KiB
Current children cumulated memory: 89128 KiB

[startup+0.209067 s]*
/proc/loadavg: 5.46 5.55 5.70 6/256 71190
/proc/meminfo: memFree=102752652/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=207608 memory=163332 CPUtime=0.2 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 31692 0 0 0 11 9 0 0 20 0 1 0 63678357 212590592 40833 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 51902 40833 1088 6655 0 42137 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 207608 KiB
Current children cumulated memory: 163332 KiB

[startup+0.313197 s]*
/proc/loadavg: 5.46 5.55 5.70 6/256 71190
/proc/meminfo: memFree=102749388/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=212888 memory=168708 CPUtime=0.31 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 33033 0 0 0 21 10 0 0 20 0 1 0 63678357 217997312 42177 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 53222 42177 1088 6655 0 43457 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 212888 KiB
Current children cumulated memory: 168708 KiB

[startup+0.700354 s]
/proc/loadavg: 5.46 5.55 5.70 7/256 71190
/proc/meminfo: memFree=102636040/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=367224 memory=330452 CPUtime=0.68 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 62652 0 0 0 49 19 0 0 20 0 1 0 63678357 376037376 82613 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 91839 82613 1120 6655 0 82074 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 367224 KiB
Current children cumulated memory: 330452 KiB

[startup+1.50034 s]
/proc/loadavg: 5.46 5.55 5.70 6/256 71190
/proc/meminfo: memFree=102507016/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=513264 memory=476372 CPUtime=1.48 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 99158 0 0 0 122 26 0 0 20 0 1 0 63678357 525582336 119093 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 128316 119093 1120 6655 0 118551 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 513264 KiB
Current children cumulated memory: 476372 KiB

[startup+3.11298 s]
/proc/loadavg: 5.46 5.55 5.70 6/254 71190
/proc/meminfo: memFree=102414408/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=513264 memory=476372 CPUtime=3.09 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 99199 0 0 0 283 26 0 0 20 0 1 0 63678357 525582336 119093 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 128316 119093 1120 6655 0 118551 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 513264 KiB
Current children cumulated memory: 476372 KiB

[startup+6.30033 s]
/proc/loadavg: 5.42 5.54 5.69 6/254 71190
/proc/meminfo: memFree=102362456/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=514332 memory=477396 CPUtime=6.26 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 99512 0 0 0 600 26 0 0 20 0 1 0 63678357 526675968 119349 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 128583 119349 1120 6655 0 118818 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 514332 KiB
Current children cumulated memory: 477396 KiB

[startup+12.7004 s]
/proc/loadavg: 5.39 5.53 5.69 6/255 71191
/proc/meminfo: memFree=101781736/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=1208468 memory=1080540 CPUtime=12.65 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 184243 0 0 0 1220 45 0 0 20 0 2 0 63678357 1237471232 270135 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 302117 270135 2784 6655 0 276000 0
[pid=71189/tid=71191] ppid=71186 vsize=1208468 memory=1012364 CPUtime=0 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) S 71186 71189 70730 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63679468 1237471232 270135 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1208468 KiB
Current children cumulated memory: 1080540 KiB

[startup+25.5004 s]
/proc/loadavg: 5.30 5.50 5.68 6/255 71192
/proc/meminfo: memFree=101327904/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=1438608 memory=1299428 CPUtime=25.41 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 262164 0 0 0 2480 61 0 0 20 0 2 0 63678357 1473134592 324857 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 359652 324857 2880 6655 0 333535 0
[pid=71189/tid=71191] ppid=71186 vsize=1438608 memory=1485928 CPUtime=0 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) S 71186 71189 70730 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 63679468 1473134592 324857 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1438608 KiB
Current children cumulated memory: 1299428 KiB

[startup+51.1055 s]
/proc/loadavg: 5.49 5.53 5.68 7/254 71192
/proc/meminfo: memFree=99387692/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3694708 memory=3294808 CPUtime=67.29 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 554555 0 0 0 6575 154 0 0 20 0 2 0 63678357 3783380992 823702 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 923677 823702 3424 6655 0 903208 0
[pid=71189/tid=71191] ppid=71186 vsize=3694708 memory=3174008 CPUtime=16.6 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 85869 0 0 0 1630 30 0 0 20 0 2 0 63679468 3783380992 823702 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 67.29 s
Current children cumulated vsize: 3694708 KiB
Current children cumulated memory: 3294808 KiB

[startup+102.3 s]
/proc/loadavg: 5.78 5.60 5.70 7/254 71194
/proc/meminfo: memFree=99141448/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3469940 memory=3270852 CPUtime=168.99 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 763874 0 0 0 16698 201 0 0 20 0 2 0 63678357 3553218560 817713 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 867485 817713 3424 6655 0 847016 0
[pid=71189/tid=71191] ppid=71186 vsize=3469940 memory=14336 CPUtime=67.28 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 139647 0 0 0 6685 43 0 0 20 0 2 0 63679468 3553218560 817713 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 168.99 s
Current children cumulated vsize: 3469940 KiB
Current children cumulated memory: 3270852 KiB

[startup+162.3 s]
/proc/loadavg: 5.97 5.69 5.73 7/254 71197
/proc/meminfo: memFree=98703356/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3487920 memory=3283228 CPUtime=288.21 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 973709 0 0 0 28541 280 0 0 20 0 2 0 63678357 3571630080 820807 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 871980 820807 3424 6655 0 851511 0
[pid=71189/tid=71191] ppid=71186 vsize=3487920 memory=18304 CPUtime=126.69 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 198478 0 0 0 12613 56 0 0 20 0 2 0 63679468 3571630080 820807 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 288.21 s
Current children cumulated vsize: 3487920 KiB
Current children cumulated memory: 3283228 KiB

[startup+222.3 s]
/proc/loadavg: 6.10 5.78 5.76 7/253 71214
/proc/meminfo: memFree=118160556/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3988336 memory=3673316 CPUtime=407.44 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 1192800 0 0 0 40386 358 0 0 20 0 2 0 63678357 4084056064 918329 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 997084 918329 3424 6655 0 976615 0
[pid=71189/tid=71191] ppid=71186 vsize=3988336 memory=3315616 CPUtime=186.1 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 228934 0 0 0 18547 63 0 0 20 0 2 0 63679468 4084056064 918329 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 407.44 s
Current children cumulated vsize: 3988336 KiB
Current children cumulated memory: 3673316 KiB

[startup+282.3 s]
/proc/loadavg: 6.09 5.84 5.78 7/255 71294
/proc/meminfo: memFree=117247088/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3925572 memory=3655556 CPUtime=526.66 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 1345062 0 0 0 52257 409 0 0 20 0 2 0 63678357 4019785728 913889 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 981393 913889 3424 6655 0 961329 0
[pid=71189/tid=71191] ppid=71186 vsize=3925572 memory=11136 CPUtime=245.49 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 270683 0 0 0 24466 83 0 0 20 0 2 0 63679468 4019785728 913889 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 526.66 s
Current children cumulated vsize: 3925572 KiB
Current children cumulated memory: 3655556 KiB

[startup+342.3 s]
/proc/loadavg: 6.72 6.06 5.86 8/255 71344
/proc/meminfo: memFree=118015264/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3591156 memory=3415432 CPUtime=645.73 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 1386345 0 0 0 64144 429 0 0 20 0 2 0 63678357 3677343744 853858 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 897789 853858 3424 6655 0 877725 0
[pid=71189/tid=71191] ppid=71186 vsize=3591156 memory=3312884 CPUtime=304.78 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 273218 0 0 0 30389 89 0 0 20 0 2 0 63679468 3677343744 853858 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 645.73 s
Current children cumulated vsize: 3591156 KiB
Current children cumulated memory: 3415432 KiB

[startup+402.301 s]

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

[pid=71189] ppid=71186 vsize=3915408 memory=3754884 CPUtime=2896.52 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 2523157 0 0 0 288942 710 0 0 20 0 2 0 63678357 4009377792 938721 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 978852 938721 3424 6655 0 953703 0
[pid=71189/tid=71191] ppid=71186 vsize=3915408 memory=14336 CPUtime=1420.97 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 652178 0 0 0 141860 237 0 0 20 0 2 0 63679468 4009377792 938721 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 2896.52 s
Current children cumulated vsize: 3915408 KiB
Current children cumulated memory: 3754884 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 8.09 7.53 9/255 71447
/proc/meminfo: memFree=115627392/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3915408 memory=3755268 CPUtime=3015.41 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 2525055 0 0 0 300830 711 0 0 20 0 2 0 63678357 4009377792 938817 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 978852 938817 3424 6655 0 953703 0
[pid=71189/tid=71191] ppid=71186 vsize=3915408 memory=18304 CPUtime=1480.18 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 653012 0 0 0 147780 238 0 0 20 0 2 0 63679468 4009377792 938817 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 3015.41 s
Current children cumulated vsize: 3915408 KiB
Current children cumulated memory: 3755268 KiB

[startup+1602.3 s]
/proc/loadavg: 8.14 8.10 7.57 9/254 71452
/proc/meminfo: memFree=115624416/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3915408 memory=3755268 CPUtime=3134.32 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 2540096 0 0 0 312717 715 0 0 20 0 2 0 63678357 4009377792 938817 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 978852 938817 3424 6655 0 953703 0
[pid=71189/tid=71191] ppid=71186 vsize=3915408 memory=18304 CPUtime=1539.39 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 657656 0 0 0 153700 239 0 0 20 0 2 0 63679468 4009377792 938817 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 3134.32 s
Current children cumulated vsize: 3915408 KiB
Current children cumulated memory: 3755268 KiB

[startup+1662.3 s]
/proc/loadavg: 8.09 8.09 7.61 9/254 71454
/proc/meminfo: memFree=115612668/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3915408 memory=3757900 CPUtime=3253.25 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 2597630 0 0 0 324600 725 0 0 20 0 2 0 63678357 4009377792 939475 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 978852 939475 3424 6655 0 953703 0
[pid=71189/tid=71191] ppid=71186 vsize=3915408 memory=18304 CPUtime=1598.61 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 715124 0 0 0 159613 248 0 0 20 0 2 0 63679468 4009377792 939475 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 3253.25 s
Current children cumulated vsize: 3915408 KiB
Current children cumulated memory: 3757900 KiB

[startup+1722.3 s]
/proc/loadavg: 8.15 8.10 7.65 9/254 71456
/proc/meminfo: memFree=115564784/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3915548 memory=3762740 CPUtime=3372.23 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 2643657 0 0 0 336484 739 0 0 20 0 2 0 63678357 4009521152 940685 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 978887 940685 3424 6655 0 954911 0
[pid=71189/tid=71191] ppid=71186 vsize=3915548 memory=18304 CPUtime=1657.86 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 719710 0 0 0 165529 257 0 0 20 0 2 0 63679468 4009521152 940685 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 3372.23 s
Current children cumulated vsize: 3915548 KiB
Current children cumulated memory: 3762740 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.10 7.68 9/254 71458
/proc/meminfo: memFree=115553320/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3936668 memory=3791780 CPUtime=3491.14 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 2720328 0 0 0 348345 769 0 0 20 0 2 0 63678357 4031148032 947945 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 984167 947945 3424 6655 0 960191 0
[pid=71189/tid=71191] ppid=71186 vsize=3936668 memory=3791780 CPUtime=1717.09 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 738612 0 0 0 171432 277 0 0 20 0 2 0 63679468 4031148032 947945 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 3491.14 s
Current children cumulated vsize: 3936668 KiB
Current children cumulated memory: 3791780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1837.3 s]
/proc/loadavg: 8.10 8.09 7.70 9/255 71465
/proc/meminfo: memFree=115495524/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3936668 memory=3808500 CPUtime=3600.11 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) R 71186 71189 70730 0 -1 4194304 2782410 0 0 0 359220 791 0 0 20 0 2 0 63678357 4031148032 952125 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 984167 952125 3424 6655 0 960191 0
[pid=71189/tid=71191] ppid=71186 vsize=3936668 memory=3797924 CPUtime=1771.34 cores=1,3
/proc/71189/task/71191/stat : 71191 (LSIPExact) R 71186 71189 70730 0 -1 4194368 762099 0 0 0 176841 293 0 0 20 0 2 0 63679468 4031148032 952125 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 3936668 KiB
Current children cumulated memory: 3808500 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3592.75 s, system=8.1387 s

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

# cumulated CPU time of all completed processes:  user=3594.1 s, system=8.2931 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+1838.4 s]
/proc/loadavg: 8.10 8.09 7.70 8/255 71467
/proc/meminfo: memFree=116192412/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3023332 memory=2932864 CPUtime=3600.72 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) S 71186 71189 70730 0 -1 4194304 2881130 230 0 0 359274 798 0 0 20 0 1 0 63678357 3095891968 733216 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 755833 733216 3456 6655 0 737104 0
[pid=71467] ppid=71189 vsize=303152 memory=288388 CPUtime=0.59 cores=1,3
/proc/71467/stat : 71467 (Exact) R 71189 71467 71467 0 -1 4194304 45041 0 0 0 48 11 0 0 20 0 1 0 63862132 310427648 72097 18446744073709551615 4198400 8335837 140724905750400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31633408 140724905752756 140724905753117 140724905753117 140724905758671 0
/proc/71467/statm: 75788 72097 960 1011 0 74555 0
Current children cumulated CPU time: 3601.31 s
Current children cumulated vsize: 3326484 KiB
Current children cumulated memory: 3221252 KiB

[startup+1838.8 s]
/proc/loadavg: 8.10 8.09 7.70 8/255 71467
/proc/meminfo: memFree=116192412/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3023332 memory=2932864 CPUtime=3600.72 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) S 71186 71189 70730 0 -1 4194304 2881130 230 0 0 359274 798 0 0 20 0 1 0 63678357 3095891968 733216 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 755833 733216 3456 6655 0 737104 0
[pid=71467] ppid=71189 vsize=330144 memory=311608 CPUtime=0.99 cores=1,3
/proc/71467/stat : 71467 (Exact) R 71189 71467 71467 0 -1 4194304 48542 0 0 0 87 12 0 0 20 0 1 0 63862132 338067456 77902 18446744073709551615 4198400 8335837 140724905750400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31633408 140724905752756 140724905753117 140724905753117 140724905758671 0
/proc/71467/statm: 82536 77902 960 1011 0 81303 0
Current children cumulated CPU time: 3601.71 s
Current children cumulated vsize: 3353476 KiB
Current children cumulated memory: 3244472 KiB

[startup+1839.2 s]
/proc/loadavg: 8.10 8.09 7.70 8/255 71467
/proc/meminfo: memFree=116008800/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3023332 memory=2932864 CPUtime=3600.72 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) S 71186 71189 70730 0 -1 4194304 2881130 230 0 0 359274 798 0 0 20 0 1 0 63678357 3095891968 733216 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 755833 733216 3456 6655 0 737104 0
[pid=71467] ppid=71189 vsize=366068 memory=354100 CPUtime=1.39 cores=1,3
/proc/71467/stat : 71467 (Exact) R 71189 71467 71467 0 -1 4194304 57614 0 0 0 125 14 0 0 20 0 1 0 63862132 374853632 88525 18446744073709551615 4198400 8335837 140724905750400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31633408 140724905752756 140724905753117 140724905753117 140724905758671 0
/proc/71467/statm: 91517 88525 960 1011 0 90284 0
Current children cumulated CPU time: 3602.11 s
Current children cumulated vsize: 3389400 KiB
Current children cumulated memory: 3286964 KiB

[startup+1839.3 s]
/proc/loadavg: 8.10 8.09 7.70 8/255 71467
/proc/meminfo: memFree=116008800/131382116 swapFree=33010684/33010684
[pid=71189] ppid=71186 vsize=3023332 memory=2932864 CPUtime=3600.72 cores=1,3
/proc/71189/stat : 71189 (LSIPExact) S 71186 71189 70730 0 -1 4194304 2881130 230 0 0 359274 798 0 0 20 0 1 0 63678357 3095891968 733216 18446744073709551615 93969709531136 93969736787537 140724355538992 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 93969745290376 93969745721984 93969761046528 140724355545434 140724355545610 140724355545610 140724355551212 0
/proc/71189/statm: 755833 733216 3456 6655 0 737104 0
[pid=71467] ppid=71189 vsize=368972 memory=359020 CPUtime=1.49 cores=1,3
/proc/71467/stat : 71467 (Exact) R 71189 71467 71467 0 -1 4194304 58351 0 0 0 135 14 0 0 20 0 1 0 63862132 377827328 89755 18446744073709551615 4198400 8335837 140724905750400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 31633408 140724905752756 140724905753117 140724905753117 140724905758671 0
/proc/71467/statm: 92243 89755 960 1011 0 91010 0
Current children cumulated CPU time: 3602.21 s
Current children cumulated vsize: 3392304 KiB
Current children cumulated memory: 3291884 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 1839.47
CPU time (s): 3602.39
CPU user time (s): 3594.1
CPU system time (s): 8.2931
CPU usage (%): 195.839
Max. virtual memory (cumulated for all children) (KiB): 4093756
Max. memory (cumulated for all children) (KiB): 3835224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.1
system time used= 8.2931
maximum resident set size= 3843508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2939712
page faults= 0
swaps= 0
block input operations= 48456
block output operations= 3728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 501
involuntary context switches= 87689


# summary of solver processes directly reported to runsolver:
#   pid: 71189,71467
#   total CPU time (s): 3602.39
#   total CPU user time (s): 3594.1
#   total CPU system time (s): 8.2931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.60354 second user time and 9.50782 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 20:13:06
IDJOB=4504375
IDBENCH=155654
IDSOLVER=3336
FILE ID=nodeC011/4504375-1751479985
RUNJOBID= nodeC011-1751477276-70742
SLURM_JOB_ID= 9598512
Free space on /tmp= 429784 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504375-1751479985/watcher-4504375-1751479985 -o /tmp/evaluation-result-4504375-1751479985/solver-4504375-1751479985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751477276-70742 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4504375-1751479985.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= f52c25e5aa8e0a6173f9b1fa92936824
RANDOM SEED=1277773819

nodeC011 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		: 3591.930
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	: 6984.20
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.294
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	: 6984.20
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.367
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        102894724 kB
MemAvailable:   106145548 kB
Buffers:            3276 kB
Cached:          4052000 kB
SwapCached:            0 kB
Active:         24189200 kB
Inactive:        3623556 kB
Active(anon):   23773340 kB
Inactive(anon):     2104 kB
Active(file):     415860 kB
Inactive(file):  3621452 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             70064 kB
Writeback:             0 kB
AnonPages:      23753172 kB
Mapped:           148944 kB
Shmem:             17960 kB
KReclaimable:     105892 kB
Slab:             190588 kB
SReclaimable:     105892 kB
SUnreclaim:        84696 kB
KernelStack:        4144 kB
PageTables:        51076 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   25347636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7284736 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430256 MiB
End job on nodeC011 at 2025-07-02 20:43:46