Trace number 4542649

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
LSIPExact S1UNSAT 1478.62 828.913

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
MD5SUM97f31c39a85f5c54920a5de5b1e4a080
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark78.0826
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables403744
Total number of constraints31066
Number of constraints which are clauses15781
Number of constraints which are cardinality constraints (but not clauses)13394
Number of constraints which are nor clauses,nor cardinality constraints1891
Minimum length of a constraint28
Maximum length of a constraint33
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1376.55/726.54	c -------------------------Welcome to LSIPExcat Solver-------------------------------------
1376.55/726.54	c numVar: 403744
1376.55/726.54	c numCon: 31066
1376.55/726.54	c numEqual: 0
1376.55/726.54	c intSize: 6
1376.55/726.54	c ls_time: 10.0, mip_time: 716.0, exact_time: 2864.0
1376.55/726.54	c ------------------- Paras list -------------------
1376.55/726.54	c Name                	 Type      	 Now       	 Default   	 Comment
1376.55/726.54	c timeout             	 double    	 3600.000000	 3600      	 
1376.55/726.54	c mip_time            	 double    	 0.200000  	 0.5       	 
1376.55/726.54	c ls_time             	 double    	 10.000000 	 10        	 
1376.55/726.54	c safe_mode           	 int       	 1         	 1         	 1 trust; 2 feasible
1376.55/726.54	c mip_emphasis        	 int       	 5         	 -1        	 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
1376.55/726.54	c random_seed         	 int       	 0         	 0         	 
1376.55/726.54	c sample_size         	 int       	 50        	 50        	 
1376.55/726.54	c sub_score           	 int       	 1         	 1         	 
1376.55/726.54	c tabu_base           	 int       	 3         	 3         	 
1376.55/726.54	c tabu_variation      	 int       	 1         	 1         	 
1376.55/726.54	c sub_div             	 int       	 4         	 4         	 
1376.55/726.54	c nbcore              	 int       	 2         	 1         	 
1376.55/726.54	c memlimit            	 int       	 31000     	 31744     	 memory limit in megabytes
1376.55/726.54	c print_sol           	 int       	 1         	 1         	 
1376.55/726.54	c tmpdir              	 string		 .         	 "."       	 
1376.55/726.54	c home                	 string		 HOME	 "."       	 
1376.55/726.54	c benchname           	 string		 HOME/instance-4542649-1753221232.opb	 ""        	 
1376.55/726.54	c --------------------------------------------------
1376.55/726.54	c Local Search solver
1376.55/726.54	c MIP solver
1376.55/726.54	c use Exact solver
1376.59/828.42	c Exact infeasible
1478.49/828.80	s UNSATISFIABLE
1478.49/828.80	c Total time: 828

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542649-1753221232/watcher-4542649-1753221232 -o /tmp/evaluation-result-4542649-1753221232/solver-4542649-1753221232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753219980-181603 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542649-1753221232.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
solver pid=182003, runsolver pid=182000
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.57 5.38 5.46 5/253 182004
/proc/meminfo: memFree=68787044/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=68788 memory=25984 CPUtime=0.1 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 5493 0 0 0 9 1 0 0 20 0 1 0 237802648 70438912 6496 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 17197 6496 1152 6655 0 7432 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68788 KiB
Current children cumulated memory: 25984 KiB

[startup+0.213188 s]*
/proc/loadavg: 4.57 5.38 5.46 5/253 182004
/proc/meminfo: memFree=68690388/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=156032 memory=121656 CPUtime=0.21 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 15579 0 0 0 15 6 0 0 20 0 1 0 237802648 159776768 30414 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 39008 30414 1184 6655 0 29243 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 156032 KiB
Current children cumulated memory: 121656 KiB

[startup+0.313063 s]*
/proc/loadavg: 4.57 5.38 5.46 5/253 182004
/proc/meminfo: memFree=68650068/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=198140 memory=163640 CPUtime=0.31 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 26095 0 0 0 23 8 0 0 20 0 1 0 237802648 202895360 40910 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 49535 40910 1184 6655 0 39770 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 198140 KiB
Current children cumulated memory: 163640 KiB

[startup+0.700285 s]
/proc/loadavg: 4.57 5.38 5.46 5/253 182004
/proc/meminfo: memFree=68557520/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=311056 memory=276500 CPUtime=0.68 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 52259 0 0 0 55 13 0 0 20 0 1 0 237802648 318521344 69125 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 77764 69125 1184 6655 0 67999 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 311056 KiB
Current children cumulated memory: 276500 KiB

[startup+1.50031 s]
/proc/loadavg: 4.57 5.38 5.46 5/253 182004
/proc/meminfo: memFree=68529232/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=311056 memory=276500 CPUtime=1.48 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 52259 0 0 0 135 13 0 0 20 0 1 0 237802648 318521344 69125 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 77764 69125 1184 6655 0 67999 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 311056 KiB
Current children cumulated memory: 276500 KiB

[startup+3.11275 s]
/proc/loadavg: 4.57 5.38 5.46 5/253 182004
/proc/meminfo: memFree=68529484/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=311056 memory=276500 CPUtime=3.08 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 52284 0 0 0 295 13 0 0 20 0 1 0 237802648 318521344 69125 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 77764 69125 1184 6655 0 67999 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 311056 KiB
Current children cumulated memory: 276500 KiB

[startup+6.3003 s]
/proc/loadavg: 4.52 5.35 5.45 5/253 182004
/proc/meminfo: memFree=68525892/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=311056 memory=276500 CPUtime=6.27 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 52342 0 0 0 613 14 0 0 20 0 1 0 237802648 318521344 69125 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 77764 69125 1184 6655 0 67999 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 311056 KiB
Current children cumulated memory: 276500 KiB

[startup+12.7003 s]
/proc/loadavg: 4.48 5.33 5.45 5/254 182005
/proc/meminfo: memFree=67972128/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=879524 memory=692640 CPUtime=12.65 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 142560 0 0 0 1231 34 0 0 20 0 2 0 237802648 900632576 173160 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 219881 173160 2976 6655 0 193764 0
[pid=182003/tid=182005] ppid=182000 vsize=879524 memory=806304 CPUtime=0 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) S 182000 182003 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237803686 900632576 173160 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 879524 KiB
Current children cumulated memory: 692640 KiB

[startup+25.5004 s]
/proc/loadavg: 4.44 5.28 5.43 5/253 182005
/proc/meminfo: memFree=67933060/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=1080388 memory=861804 CPUtime=25.4 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 176714 0 0 0 2497 43 0 0 20 0 2 0 237802648 1106317312 215451 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 270097 215451 2976 6655 0 243980 0
[pid=182003/tid=182005] ppid=182000 vsize=1080388 memory=860908 CPUtime=0 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) S 182000 182003 181591 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237803686 1106317312 215451 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1080388 KiB
Current children cumulated memory: 861804 KiB

[startup+51.1055 s]
/proc/loadavg: 4.45 5.21 5.40 6/253 182006
/proc/meminfo: memFree=67004396/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=1946092 memory=1711156 CPUtime=64.93 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 382561 0 0 0 6396 97 0 0 20 0 2 0 237802648 1992798208 427789 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 486523 427789 3360 6655 0 475286 0
[pid=182003/tid=182005] ppid=182000 vsize=1946092 memory=1716088 CPUtime=16.38 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 52814 0 0 0 1621 17 0 0 20 0 2 0 237803686 1992798208 427789 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 64.93 s
Current children cumulated vsize: 1946092 KiB
Current children cumulated memory: 1711156 KiB

[startup+102.3 s]
/proc/loadavg: 4.80 5.19 5.38 6/253 182008
/proc/meminfo: memFree=66837100/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2023860 memory=1825772 CPUtime=166.61 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 590509 0 0 0 16526 135 0 0 20 0 2 0 237802648 2072432640 456443 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 505965 456443 3424 6655 0 494728 0
[pid=182003/tid=182005] ppid=182000 vsize=2023860 memory=16368 CPUtime=67.05 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 87973 0 0 0 6685 20 0 0 20 0 2 0 237803686 2072432640 456443 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 166.61 s
Current children cumulated vsize: 2023860 KiB
Current children cumulated memory: 1825772 KiB

[startup+162.3 s]
/proc/loadavg: 5.02 5.18 5.36 6/253 182010
/proc/meminfo: memFree=66109112/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2711400 memory=2505848 CPUtime=285.76 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 705580 0 0 0 28415 161 0 0 20 0 2 0 237802648 2776473600 626462 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 677850 626462 3424 6655 0 666613 0
[pid=182003/tid=182005] ppid=182000 vsize=2711400 memory=2404088 CPUtime=126.44 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 136240 0 0 0 12619 25 0 0 20 0 2 0 237803686 2776473600 626462 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 285.76 s
Current children cumulated vsize: 2711400 KiB
Current children cumulated memory: 2505848 KiB

[startup+222.3 s]
/proc/loadavg: 5.54 5.29 5.39 7/253 182057
/proc/meminfo: memFree=73454104/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=3452124 memory=3250580 CPUtime=405 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 820768 0 0 0 40312 188 0 0 20 0 2 0 237802648 3534974976 812645 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 863031 812645 3424 6655 0 851794 0
[pid=182003/tid=182005] ppid=182000 vsize=3452124 memory=3250452 CPUtime=185.86 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 166517 0 0 0 18559 27 0 0 20 0 2 0 237803686 3534974976 812645 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 405 s
Current children cumulated vsize: 3452124 KiB
Current children cumulated memory: 3250580 KiB

[startup+282.3 s]
/proc/loadavg: 5.75 5.39 5.42 7/254 182108
/proc/meminfo: memFree=73154660/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=3648732 memory=3526068 CPUtime=523.94 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 986212 0 0 0 52181 213 0 0 20 0 2 0 237802648 3736301568 881517 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 912183 881517 3424 6655 0 900604 0
[pid=182003/tid=182005] ppid=182000 vsize=3648732 memory=3493900 CPUtime=245.07 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 263687 0 0 0 24462 45 0 0 20 0 2 0 237803686 3736301568 881517 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 523.94 s
Current children cumulated vsize: 3648732 KiB
Current children cumulated memory: 3526068 KiB

[startup+342.3 s]
/proc/loadavg: 6.50 5.66 5.51 8/254 182114
/proc/meminfo: memFree=68943020/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=3714268 memory=3567488 CPUtime=643.09 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 1058265 0 0 0 64085 224 0 0 20 0 2 0 237802648 3803410432 891872 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 928567 891872 3424 6655 0 912762 0
[pid=182003/tid=182005] ppid=182000 vsize=3714268 memory=3493900 CPUtime=304.47 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 289483 0 0 0 30394 53 0 0 20 0 2 0 237803686 3803410432 891872 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 643.09 s
Current children cumulated vsize: 3714268 KiB
Current children cumulated memory: 3567488 KiB

[startup+402.3 s]

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

[pid=182003] ppid=182000 vsize=2337180 memory=2250568 CPUtime=855.45 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 1336441 0 0 0 85285 260 0 0 20 0 2 0 237802648 2393272320 562642 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 584295 562642 3424 6655 0 570067 0
[pid=182003/tid=182005] ppid=182000 vsize=2337180 memory=2250568 CPUtime=397.95 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 361088 0 0 0 39733 62 0 0 20 0 2 0 237803686 2393272320 562642 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 855.45 s
Current children cumulated vsize: 2337180 KiB
Current children cumulated memory: 2250568 KiB

[startup+522.3 s]
/proc/loadavg: 7.09 6.32 5.80 8/257 182193
/proc/meminfo: memFree=69574896/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2337180 memory=2250556 CPUtime=974.62 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 1399315 0 0 0 97193 269 0 0 20 0 2 0 237802648 2393272320 562639 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 584295 562639 3424 6655 0 570067 0
[pid=182003/tid=182005] ppid=182000 vsize=2337180 memory=2250556 CPUtime=457.34 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 381740 0 0 0 45670 64 0 0 20 0 2 0 237803686 2393272320 562639 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 974.62 s
Current children cumulated vsize: 2337180 KiB
Current children cumulated memory: 2250556 KiB

[startup+582.3 s]
/proc/loadavg: 7.14 6.48 5.88 7/257 182195
/proc/meminfo: memFree=68883892/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2484636 memory=2386284 CPUtime=1093.79 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 1438018 0 0 0 109101 278 0 0 20 0 2 0 237802648 2544267264 596571 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 621159 596571 3424 6655 0 606931 0
[pid=182003/tid=182005] ppid=182000 vsize=2484636 memory=2250556 CPUtime=516.72 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 398074 0 0 0 51607 65 0 0 20 0 2 0 237803686 2544267264 596571 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 1093.79 s
Current children cumulated vsize: 2484636 KiB
Current children cumulated memory: 2386284 KiB

[startup+642.3 s]
/proc/loadavg: 6.47 6.40 5.90 7/257 182197
/proc/meminfo: memFree=56454764/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=3730504 memory=3634504 CPUtime=1213.02 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 1563067 0 0 0 120986 316 0 0 20 0 2 0 237802648 3820036096 908626 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 932626 908626 3424 6655 0 918398 0
[pid=182003/tid=182005] ppid=182000 vsize=3730504 memory=2250556 CPUtime=576.14 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 414462 0 0 0 57548 66 0 0 20 0 2 0 237803686 3820036096 908626 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 1213.02 s
Current children cumulated vsize: 3730504 KiB
Current children cumulated memory: 3634504 KiB

[startup+702.3 s]
/proc/loadavg: 6.08 6.31 5.90 7/257 182245
/proc/meminfo: memFree=56383524/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=3723676 memory=3639488 CPUtime=1332.19 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 1752174 0 0 0 132882 337 0 0 20 0 2 0 237802648 3813044224 909872 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 930919 909872 3456 6655 0 916691 0
[pid=182003/tid=182005] ppid=182000 vsize=3723676 memory=2250556 CPUtime=635.52 cores=1,3
/proc/182003/task/182005/stat : 182005 (LSIPExact) R 182000 182003 181591 0 -1 4194368 433612 0 0 0 63485 67 0 0 20 0 2 0 237803686 3813044224 909872 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
Current children cumulated CPU time: 1332.19 s
Current children cumulated vsize: 3723676 KiB
Current children cumulated memory: 3639488 KiB

[startup+762.3 s]
/proc/loadavg: 5.29 6.06 5.85 5/253 182384
/proc/meminfo: memFree=56139724/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2175776 memory=2113112 CPUtime=1376.59 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) S 182000 182003 181591 0 -1 4194304 1907956 0 0 0 137302 357 0 0 20 0 1 0 237802648 2227994624 528278 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 543944 528278 3488 6655 0 532700 0
[pid=182292] ppid=182003 vsize=1705612 memory=1666160 CPUtime=35.63 cores=1,3
/proc/182292/stat : 182292 (Exact) R 182003 182292 182292 0 -1 4194304 227086 0 0 0 3503 60 0 0 20 0 1 0 237875302 1746546688 416540 18446744073709551615 4198400 8335837 140726461321024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 22171648 140726461323449 140726461323803 140726461323803 140726461329359 0
/proc/182292/statm: 426403 416540 1088 1011 0 425170 0
Current children cumulated CPU time: 1412.22 s
Current children cumulated vsize: 3881388 KiB
Current children cumulated memory: 3779272 KiB

[startup+822.3 s]
/proc/loadavg: 4.47 5.68 5.73 5/249 182578
/proc/meminfo: memFree=55924208/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2175776 memory=2113112 CPUtime=1376.59 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) S 182000 182003 181591 0 -1 4194304 1907956 0 0 0 137302 357 0 0 20 0 1 0 237802648 2227994624 528278 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 543944 528278 3488 6655 0 532700 0
[pid=182292] ppid=182003 vsize=2044644 memory=1837876 CPUtime=95.42 cores=1,3
/proc/182292/stat : 182292 (Exact) R 182003 182292 182292 0 -1 4194304 259879 0 0 0 9465 77 0 0 20 0 1 0 237875302 2093715456 459469 18446744073709551615 4198400 8335837 140726461321024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 22171648 140726461323449 140726461323803 140726461323803 140726461329359 0
/proc/182292/statm: 511161 459469 1088 1011 0 509928 0
Current children cumulated CPU time: 1472.01 s
Current children cumulated vsize: 4220420 KiB
Current children cumulated memory: 3950988 KiB

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

# cumulated CPU time of all completed processes:  user=1474.04 s, system=4.58229 s

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

[startup+825.6 s]
/proc/loadavg: 4.44 5.66 5.72 5/253 182615
/proc/meminfo: memFree=55918752/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2175776 memory=2113112 CPUtime=1376.59 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) S 182000 182003 181591 0 -1 4194304 1907956 0 0 0 137302 357 0 0 20 0 1 0 237802648 2227994624 528278 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 543944 528278 3488 6655 0 532700 0
[pid=182292] ppid=182003 vsize=2049396 memory=1844640 CPUtime=98.71 cores=1,3
/proc/182292/stat : 182292 (Exact) R 182003 182292 182292 0 -1 4194304 261072 0 0 0 9793 78 0 0 20 0 1 0 237875302 2098581504 461160 18446744073709551615 4198400 8335837 140726461321024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 22171648 140726461323449 140726461323803 140726461323803 140726461329359 0
/proc/182292/statm: 512349 461160 1088 1011 0 511116 0
Current children cumulated CPU time: 1475.3 s
Current children cumulated vsize: 4225172 KiB
Current children cumulated memory: 3957752 KiB

[startup+827.2 s]
/proc/loadavg: 4.44 5.66 5.72 5/253 182615
/proc/meminfo: memFree=55910688/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2175776 memory=2113112 CPUtime=1376.59 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) S 182000 182003 181591 0 -1 4194304 1907956 0 0 0 137302 357 0 0 20 0 1 0 237802648 2227994624 528278 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 543944 528278 3488 6655 0 532700 0
[pid=182292] ppid=182003 vsize=2057240 memory=1854448 CPUtime=100.3 cores=1,3
/proc/182292/stat : 182292 (Exact) R 182003 182292 182292 0 -1 4194304 263025 0 0 0 9952 78 0 0 20 0 1 0 237875302 2106613760 463612 18446744073709551615 4198400 8335837 140726461321024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 22171648 140726461323449 140726461323803 140726461323803 140726461329359 0
/proc/182292/statm: 514310 463612 1088 1011 0 513077 0
Current children cumulated CPU time: 1476.89 s
Current children cumulated vsize: 4233016 KiB
Current children cumulated memory: 3967560 KiB

[startup+828 s]*
/proc/loadavg: 4.44 5.66 5.72 5/253 182615
/proc/meminfo: memFree=56333912/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2175776 memory=2113112 CPUtime=1376.59 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) S 182000 182003 181591 0 -1 4194304 1907956 0 0 0 137302 357 0 0 20 0 1 0 237802648 2227994624 528278 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 543944 528278 3488 6655 0 532700 0
[pid=182292] ppid=182003 vsize=1435404 memory=1409476 CPUtime=101.12 cores=1,3
/proc/182292/stat : 182292 (Exact) R 182003 182292 182292 0 -1 4194304 264023 0 0 0 10033 79 0 0 20 0 1 0 237875302 1469853696 352369 18446744073709551615 4198400 8335837 140726461321024 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 22171648 140726461323449 140726461323803 140726461323803 140726461329359 0
/proc/182292/statm: 358851 352369 1120 1011 0 357618 0
Current children cumulated CPU time: 1477.71 s
Current children cumulated vsize: 3611180 KiB
Current children cumulated memory: 3522588 KiB

[startup+828.4 s]
/proc/loadavg: 4.44 5.66 5.72 5/253 182615
/proc/meminfo: memFree=56333912/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2175776 memory=2113112 CPUtime=1376.59 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) S 182000 182003 181591 0 -1 4194304 1907956 0 0 0 137302 357 0 0 20 0 1 0 237802648 2227994624 528278 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 543944 528278 3488 6655 0 532700 0
Current children cumulated CPU time: 1376.59 s
Current children cumulated vsize: 2175776 KiB
Current children cumulated memory: 2113112 KiB

[startup+828.8 s]
/proc/loadavg: 4.44 5.66 5.72 5/253 182615
/proc/meminfo: memFree=56333912/131382116 swapFree=33005528/33010684
[pid=182003] ppid=182000 vsize=2122152 memory=2059592 CPUtime=1478.49 cores=1,3
/proc/182003/stat : 182003 (LSIPExact) R 182000 182003 181591 0 -1 4194304 1956374 264074 0 0 137333 363 10070 83 20 0 1 0 237802648 2173083648 514898 18446744073709551615 94092535664640 94092562921041 140725769158960 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94092571423880 94092571855488 94092576321536 140725769165144 140725769165320 140725769165320 140725769170924 0
/proc/182003/statm: 530538 514898 3488 6655 0 519294 0
Current children cumulated CPU time: 1478.49 s
Current children cumulated vsize: 2122152 KiB
Current children cumulated memory: 2059592 KiB

[startup+828.9 s]*
/proc/loadavg: 4.44 5.66 5.72 5/252 182615
/proc/meminfo: memFree=59400872/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 828.913
CPU time (s): 1478.62
CPU user time (s): 1474.04
CPU system time (s): 4.58229
CPU usage (%): 178.38
Max. virtual memory (cumulated for all children) (KiB): 4418316
Max. memory (cumulated for all children) (KiB): 4036252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1474.04
system time used= 4.58229
maximum resident set size= 3702000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2220477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 369
involuntary context switches= 13361


# summary of solver processes directly reported to runsolver:
#   pid: 182003
#   total CPU time (s): 1478.62
#   total CPU user time (s): 1474.04
#   total CPU system time (s): 4.58229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.26902 second user time and 4.58317 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-22 23:53:52
IDJOB=4542649
IDBENCH=163947
IDSOLVER=3336
FILE ID=nodeC010/4542649-1753221232
RUNJOBID= nodeC010-1753219980-181603
SLURM_JOB_ID= 9687804
Free space on /tmp= 432424 MiB

SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542649-1753221232/watcher-4542649-1753221232 -o /tmp/evaluation-result-4542649-1753221232/solver-4542649-1753221232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753219980-181603 --watchdog 3760  ./LSIPExact --benchname=HOME/instance-4542649-1753221232.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2 

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

MD5SUM BENCH= 97f31c39a85f5c54920a5de5b1e4a080
RANDOM SEED=2140963655

nodeC010 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.445
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.36
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		: 1496.428
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.36
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.643
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        68794504 kB
MemAvailable:   93159404 kB
Buffers:             228 kB
Cached:         25129164 kB
SwapCached:         4300 kB
Active:         37534384 kB
Inactive:       24292668 kB
Active(anon):   36670780 kB
Inactive(anon):    48712 kB
Active(file):     863604 kB
Inactive(file): 24243956 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             54304 kB
Writeback:             0 kB
AnonPages:      36683620 kB
Mapped:           145260 kB
Shmem:             21832 kB
KReclaimable:     193936 kB
Slab:             285168 kB
SReclaimable:     193936 kB
SUnreclaim:        91232 kB
KernelStack:        4080 kB
PageTables:        75800 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   40780360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18978816 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432400 MiB
End job on nodeC010 at 2025-07-23 00:07:42