Trace number 4542174

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
OR-Tools CP-SAT 9.14? (TO) 3600.25 1835.37

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
MD5SUM883a1a775d6309f3a96fbb0c62b71064
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 benchmark366.876
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1040520
Total number of constraints61390
Number of constraints which are clauses31085
Number of constraints which are cardinality constraints (but not clauses)27302
Number of constraints which are nor clauses,nor cardinality constraints3003
Minimum length of a constraint36
Maximum length of a constraint41
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 44
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 

3600.17/1835.30	s UNKNOWN

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 (62387 MiB free)
  memory of node 1: 64507 MiB (63457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542174-1753200787/watcher-4542174-1753200787 -o /tmp/evaluation-result-4542174-1753200787/solver-4542174-1753200787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753198970-192722 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:359947374 --competition_mode --input HOME/instance-4542174-1753200787.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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=193049, runsolver pid=193046

[startup+0.100119 s]*
/proc/loadavg: 8.00 8.07 7.03 6/249 193050
/proc/meminfo: memFree=128841424/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=36736 memory=30976 CPUtime=0.1 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 6840 0 0 0 9 1 0 0 20 0 1 0 235758446 37617664 7744 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 9184 7744 1088 2102 0 6724 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36736 KiB
Current children cumulated memory: 30976 KiB

[startup+0.213769 s]*
/proc/loadavg: 8.00 8.07 7.03 6/249 193050
/proc/meminfo: memFree=128793292/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=64288 memory=57676 CPUtime=0.21 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 13804 0 0 0 17 4 0 0 20 0 1 0 235758446 65830912 14419 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 16072 14419 1088 2102 0 13612 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 64288 KiB
Current children cumulated memory: 57676 KiB

[startup+0.313975 s]*
/proc/loadavg: 8.00 8.07 7.03 6/249 193050
/proc/meminfo: memFree=128749316/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=88972 memory=82764 CPUtime=0.32 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 20091 0 0 0 26 6 0 0 20 0 1 0 235758446 91107328 20691 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 22243 20691 1088 2102 0 19783 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 88972 KiB
Current children cumulated memory: 82764 KiB

[startup+0.70029 s]
/proc/loadavg: 8.00 8.07 7.03 6/247 193050
/proc/meminfo: memFree=128692512/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=200464 memory=194264 CPUtime=0.69 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 47836 0 0 0 56 13 0 0 20 0 1 0 235758446 205275136 48566 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 50116 48566 1088 2102 0 47656 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 200464 KiB
Current children cumulated memory: 194264 KiB

[startup+1.50034 s]
/proc/loadavg: 8.00 8.07 7.03 6/252 193060
/proc/meminfo: memFree=128404160/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=447892 memory=442756 CPUtime=1.49 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 108267 0 0 0 125 24 0 0 20 0 1 0 235758446 458641408 110689 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 111973 110689 1472 2102 0 109513 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 447892 KiB
Current children cumulated memory: 442756 KiB

[startup+3.11307 s]
/proc/loadavg: 7.76 8.02 7.02 7/254 193062
/proc/meminfo: memFree=127078032/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=702404 memory=698304 CPUtime=3.09 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 135471 0 0 0 271 38 0 0 20 0 1 0 235758446 719261696 174576 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 175601 174576 1728 2102 0 173141 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 702404 KiB
Current children cumulated memory: 698304 KiB

[startup+6.30033 s]
/proc/loadavg: 7.76 8.02 7.02 7/254 193062
/proc/meminfo: memFree=126166776/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=712452 memory=709084 CPUtime=6.28 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 165078 0 0 0 575 53 0 0 20 0 1 0 235758446 729550848 177271 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 178113 177271 1888 2102 0 175653 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 712452 KiB
Current children cumulated memory: 709084 KiB

[startup+12.7003 s]
/proc/loadavg: 7.70 8.00 7.02 7/254 193062
/proc/meminfo: memFree=124405752/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=1014584 memory=1011688 CPUtime=12.66 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 194345 0 0 0 1196 70 0 0 20 0 1 0 235758446 1038934016 252922 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 253646 252922 1920 2102 0 251186 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1014584 KiB
Current children cumulated memory: 1011688 KiB

[startup+25.5002 s]
/proc/loadavg: 7.47 7.93 7.01 8/256 193064
/proc/meminfo: memFree=121365296/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=4869932 memory=4340568 CPUtime=37.98 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 519601 0 0 0 3590 208 0 0 20 0 3 0 235758446 4986810368 1085142 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1217483 1085142 2112 2102 0 1166286 0
[pid=193049/tid=193063] ppid=193046 vsize=4869932 memory=709084 CPUtime=12.59 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 121603 0 0 0 1203 56 0 0 20 0 3 0 235759721 4986810368 1085142 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=4869932 memory=0 CPUtime=12.66 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 202101 0 0 0 1186 80 0 0 20 0 3 0 235759721 4986810368 1085142 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 37.98 s
Current children cumulated vsize: 4869932 KiB
Current children cumulated memory: 4340568 KiB

[startup+51.1054 s]
/proc/loadavg: 7.53 7.91 7.02 9/258 193067
/proc/meminfo: memFree=111797944/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5467884 memory=4966044 CPUtime=88.81 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 696436 0 0 0 8595 286 0 0 20 0 3 0 235758446 5599113216 1241511 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1366971 1241511 2112 2102 0 1312481 0
[pid=193049/tid=193063] ppid=193046 vsize=5467884 memory=709084 CPUtime=37.91 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 135294 0 0 0 3734 57 0 0 20 0 3 0 235759721 5599113216 1241511 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5467884 memory=4633920 CPUtime=38.16 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 365222 0 0 0 3659 157 0 0 20 0 3 0 235759721 5599113216 1241511 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 88.81 s
Current children cumulated vsize: 5467884 KiB
Current children cumulated memory: 4966044 KiB

[startup+102.3 s]
/proc/loadavg: 7.87 7.94 7.08 9/259 193076
/proc/meminfo: memFree=109358800/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5114568 memory=4808240 CPUtime=190.33 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 882424 0 0 0 18658 375 0 0 20 0 3 0 235758446 5237317632 1202060 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1278642 1202060 2112 2102 0 1231945 0
[pid=193049/tid=193063] ppid=193046 vsize=5114568 memory=5144796 CPUtime=88.47 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 139419 0 0 0 8789 58 0 0 20 0 3 0 235759721 5237317632 1202060 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5114568 memory=4970716 CPUtime=89.11 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 547026 0 0 0 8667 244 0 0 20 0 3 0 235759721 5237317632 1202060 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 190.33 s
Current children cumulated vsize: 5114568 KiB
Current children cumulated memory: 4808240 KiB

[startup+162.3 s]
/proc/loadavg: 7.94 7.95 7.14 9/259 193172
/proc/meminfo: memFree=109449532/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5203588 memory=4905184 CPUtime=309.25 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 1130596 0 0 0 30437 488 0 0 20 0 3 0 235758446 5328474112 1226296 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1300897 1226296 2112 2102 0 1256169 0
[pid=193049/tid=193063] ppid=193046 vsize=5203588 memory=10752 CPUtime=147.7 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 145176 0 0 0 14708 62 0 0 20 0 3 0 235759721 5328474112 1226296 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5203588 memory=5197040 CPUtime=148.79 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 789353 0 0 0 14526 353 0 0 20 0 3 0 235759721 5328474112 1226296 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 309.25 s
Current children cumulated vsize: 5203588 KiB
Current children cumulated memory: 4905184 KiB

[startup+222.3 s]
/proc/loadavg: 8.02 7.98 7.20 8/257 193219
/proc/meminfo: memFree=108505428/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5611828 memory=5303184 CPUtime=428.22 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 1425616 0 0 0 42229 593 0 0 20 0 3 0 235758446 5746511872 1325796 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1402957 1325796 2112 2102 0 1358229 0
[pid=193049/tid=193063] ppid=193046 vsize=5611828 memory=4905184 CPUtime=206.93 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 148076 0 0 0 20630 63 0 0 20 0 3 0 235759721 5746511872 1325796 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5611828 memory=5180300 CPUtime=208.5 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 1081428 0 0 0 20395 455 0 0 20 0 3 0 235759721 5746511872 1325796 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 428.22 s
Current children cumulated vsize: 5611828 KiB
Current children cumulated memory: 5303184 KiB

[startup+282.3 s]
/proc/loadavg: 7.70 7.90 7.23 9/259 193269
/proc/meminfo: memFree=98884236/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5540144 memory=5057420 CPUtime=547.18 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 1628352 0 0 0 54028 690 0 0 20 0 3 0 235758446 5673107456 1264355 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1385036 1264355 2112 2102 0 1340308 0
[pid=193049/tid=193063] ppid=193046 vsize=5540144 memory=5132696 CPUtime=266.19 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 154900 0 0 0 26553 66 0 0 20 0 3 0 235759721 5673107456 1264355 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5540144 memory=4905184 CPUtime=268.19 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 1277296 0 0 0 26270 549 0 0 20 0 3 0 235759721 5673107456 1264355 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 547.18 s
Current children cumulated vsize: 5540144 KiB
Current children cumulated memory: 5057420 KiB

[startup+342.3 s]
/proc/loadavg: 7.94 7.94 7.28 9/258 193271

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

Current children cumulated memory: 5703304 KiB

[startup+1362.3 s]
/proc/loadavg: 8.13 8.12 7.88 9/257 193359
/proc/meminfo: memFree=83021852/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5776612 memory=5477224 CPUtime=2663.64 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 2895951 0 0 0 263728 2636 0 0 20 0 3 0 235758446 5915250688 1369306 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1444153 1369306 2144 2102 0 1397082 0
[pid=193049/tid=193063] ppid=193046 vsize=5776612 memory=5632 CPUtime=1270.44 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 618120 0 0 0 126591 453 0 0 20 0 3 0 235759721 5915250688 1369306 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5776612 memory=16688 CPUtime=1303.22 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2071124 0 0 0 128233 2089 0 0 20 0 3 0 235759721 5915250688 1369306 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 2663.64 s
Current children cumulated vsize: 5776612 KiB
Current children cumulated memory: 5477224 KiB

[startup+1422.3 s]
/proc/loadavg: 8.09 8.11 7.89 9/258 193368
/proc/meminfo: memFree=81734224/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=6047632 memory=5584904 CPUtime=2782.54 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 2932417 0 0 0 275534 2720 0 0 20 0 3 0 235758446 6192775168 1396226 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1511908 1396226 2144 2102 0 1464962 0
[pid=193049/tid=193063] ppid=193046 vsize=6047632 memory=5632 CPUtime=1329.67 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 633739 0 0 0 132511 456 0 0 20 0 3 0 235759721 6192775168 1396226 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=6047632 memory=16688 CPUtime=1361.55 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2091931 0 0 0 133986 2169 0 0 20 0 3 0 235759721 6192775168 1396226 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 2782.54 s
Current children cumulated vsize: 6047632 KiB
Current children cumulated memory: 5584904 KiB

[startup+1482.3 s]
/proc/loadavg: 8.13 8.12 7.92 9/259 193371
/proc/meminfo: memFree=83177924/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5711076 memory=5410072 CPUtime=2901.25 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 3002693 0 0 0 287311 2814 0 0 20 0 3 0 235758446 5848141824 1352518 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1427769 1352518 2144 2102 0 1380311 0
[pid=193049/tid=193063] ppid=193046 vsize=5711076 memory=5465268 CPUtime=1388.36 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 648430 0 0 0 138376 460 0 0 20 0 3 0 235759721 5848141824 1352518 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5711076 memory=5595080 CPUtime=1420.12 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2147457 0 0 0 139754 2258 0 0 20 0 3 0 235759721 5848141824 1352518 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 2901.25 s
Current children cumulated vsize: 5711076 KiB
Current children cumulated memory: 5410072 KiB

[startup+1542.3 s]
/proc/loadavg: 8.16 8.13 7.93 9/260 193374
/proc/meminfo: memFree=80388084/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5645540 memory=5346752 CPUtime=3020.17 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 3038741 0 0 0 299124 2893 0 0 20 0 3 0 235758446 5781032960 1336688 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1411385 1336688 2144 2102 0 1364455 0
[pid=193049/tid=193063] ppid=193046 vsize=5645540 memory=16688 CPUtime=1447.34 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 650386 0 0 0 144274 460 0 0 20 0 3 0 235759721 5781032960 1336688 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5645540 memory=5410240 CPUtime=1478.67 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2181491 0 0 0 145532 2335 0 0 20 0 3 0 235759721 5781032960 1336688 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 3020.17 s
Current children cumulated vsize: 5645540 KiB
Current children cumulated memory: 5346752 KiB

[startup+1602.3 s]
/proc/loadavg: 8.17 8.13 7.95 9/260 193376
/proc/meminfo: memFree=82861932/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5645540 memory=5346716 CPUtime=3138.69 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) R 193046 193049 192702 0 -1 4194304 3102352 0 0 0 310878 2991 0 0 20 0 3 0 235758446 5781032960 1336679 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1411385 1336679 2144 2102 0 1364455 0
[pid=193049/tid=193063] ppid=193046 vsize=5645540 memory=5410240 CPUtime=1505.83 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 660035 0 0 0 150118 465 0 0 20 0 3 0 235759721 5781032960 1336679 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5645540 memory=10752 CPUtime=1536.26 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2235384 0 0 0 151199 2427 0 0 20 0 3 0 235759721 5781032960 1336679 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 3138.69 s
Current children cumulated vsize: 5645540 KiB
Current children cumulated memory: 5346716 KiB

[startup+1662.3 s]
/proc/loadavg: 8.12 8.12 7.96 9/260 193378
/proc/meminfo: memFree=82518260/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=6047632 memory=5720120 CPUtime=3257.53 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 3170687 0 0 0 322661 3092 0 0 20 0 3 0 235758446 6192775168 1430030 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1511908 1430030 2144 2102 0 1457828 0
[pid=193049/tid=193063] ppid=193046 vsize=6047632 memory=5410240 CPUtime=1564.85 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 667841 0 0 0 156017 468 0 0 20 0 3 0 235759721 6192775168 1430030 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=6047632 memory=3200 CPUtime=1594.58 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2295878 0 0 0 156933 2525 0 0 20 0 3 0 235759721 6192775168 1430030 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 3257.53 s
Current children cumulated vsize: 6047632 KiB
Current children cumulated memory: 5720120 KiB

[startup+1722.3 s]
/proc/loadavg: 8.09 8.11 7.97 9/259 193380
/proc/meminfo: memFree=82240300/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=5711076 memory=5408528 CPUtime=3376.39 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 3234194 0 0 0 334454 3185 0 0 20 0 3 0 235758446 5848141824 1352132 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1427769 1352132 2144 2102 0 1379908 0
[pid=193049/tid=193063] ppid=193046 vsize=5711076 memory=5410240 CPUtime=1623.84 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 676450 0 0 0 161915 469 0 0 20 0 3 0 235759721 5848141824 1352132 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=5711076 memory=16688 CPUtime=1653.02 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2350719 0 0 0 162688 2614 0 0 20 0 3 0 235759721 5848141824 1352132 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 3376.39 s
Current children cumulated vsize: 5711076 KiB
Current children cumulated memory: 5408528 KiB

[startup+1782.3 s]
/proc/loadavg: 8.21 8.14 7.99 10/258 193382
/proc/meminfo: memFree=81753836/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=6113168 memory=5588976 CPUtime=3495.09 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 3268512 0 0 0 346238 3271 0 0 20 0 3 0 235758446 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1528292 1397244 2144 2102 0 1468813 0
[pid=193049/tid=193063] ppid=193046 vsize=6113168 memory=5410116 CPUtime=1682.75 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 683778 0 0 0 167803 472 0 0 20 0 3 0 235759721 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=6113168 memory=16688 CPUtime=1711.18 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2377681 0 0 0 168421 2697 0 0 20 0 3 0 235759721 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 3495.09 s
Current children cumulated vsize: 6113168 KiB
Current children cumulated memory: 5588976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1835.3 s]
/proc/loadavg: 8.14 8.13 8.00 9/257 193431
/proc/meminfo: memFree=96095628/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=6113168 memory=5588976 CPUtime=3600.17 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 3306180 0 0 0 356658 3359 0 0 20 0 3 0 235758446 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1528292 1397244 2144 2102 0 1468813 0
[pid=193049/tid=193063] ppid=193046 vsize=6113168 memory=5410112 CPUtime=1735.03 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 689298 0 0 0 173029 474 0 0 20 0 3 0 235759721 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=6113168 memory=5410112 CPUtime=1763.79 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2409779 0 0 0 173597 2782 0 0 20 0 3 0 235759721 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 6113168 KiB
Current children cumulated memory: 5588976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.6 s, system=33.6547 s

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

[startup+1835.3 s]
/proc/loadavg: 8.14 8.13 8.00 9/257 193431
/proc/meminfo: memFree=96095628/131382112 swapFree=33010416/33010684
[pid=193049] ppid=193046 vsize=6113168 memory=5588976 CPUtime=3600.17 cores=1,3
/proc/193049/stat : 193049 (cp-sat-runner) S 193046 193049 192702 0 -1 4194304 3306180 0 0 0 356658 3359 0 0 20 0 3 0 235758446 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
/proc/193049/statm: 1528292 1397244 2144 2102 0 1468813 0
[pid=193049/tid=193063] ppid=193046 vsize=6113168 memory=5410112 CPUtime=1735.03 cores=1,3
/proc/193049/task/193063/stat : 193063 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 689298 0 0 0 173029 474 0 0 20 0 3 0 235759721 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
[pid=193049/tid=193064] ppid=193046 vsize=6113168 memory=5410112 CPUtime=1763.79 cores=1,3
/proc/193049/task/193064/stat : 193064 (cp-sat-runner) R 193046 193049 192702 0 -1 4194368 2409779 0 0 0 173597 2782 0 0 20 0 3 0 235759721 6259884032 1397244 18446744073709551615 4198400 12805993 140725692138800 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 20557824 140725692147991 140725692148195 140725692148195 140725692153799 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 6113168 KiB
Current children cumulated memory: 5588976 KiB

Child status: 0

Real time (s): 1835.37
CPU time (s): 3600.25
CPU user time (s): 3566.6
CPU system time (s): 33.6547
CPU usage (%): 196.16
Max. virtual memory (cumulated for all children) (KiB): 6317580
Max. memory (cumulated for all children) (KiB): 5875216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.6
system time used= 33.6547
maximum resident set size= 5875216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3306194
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= 29802
involuntary context switches= 146676


# summary of solver processes directly reported to runsolver:
#   pid: 193049
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3566.6
#   total CPU system time (s): 33.6547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38008 second user time and 10.256 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-22 18:13:07
IDJOB=4542174
IDBENCH=163905
IDSOLVER=3320
FILE ID=nodeC012/4542174-1753200787
RUNJOBID= nodeC012-1753198970-192722
SLURM_JOB_ID= 9687745
Free space on /tmp= 432812 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542174-1753200787/watcher-4542174-1753200787 -o /tmp/evaluation-result-4542174-1753200787/solver-4542174-1753200787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1753198970-192722 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:359947374 --competition_mode --input HOME/instance-4542174-1753200787.opb

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

MD5SUM BENCH= 883a1a775d6309f3a96fbb0c62b71064
RANDOM SEED=359947374

nodeC012 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		: 1496.446
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.39
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		: 1796.318
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.39
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.268
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.074
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.39
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		: 3591.457
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.274
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.39
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		: 3591.467
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.39
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		: 1795.735
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128873176 kB
MemAvailable:   129730880 kB
Buffers:            2136 kB
Cached:          1624008 kB
SwapCached:           12 kB
Active:          1398124 kB
Inactive:         420384 kB
Active(anon):     213868 kB
Inactive(anon):     4688 kB
Active(file):    1184256 kB
Inactive(file):   415696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             93220 kB
Writeback:             0 kB
AnonPages:        193900 kB
Mapped:           123820 kB
Shmem:             26140 kB
KReclaimable:     194372 kB
Slab:             286380 kB
SReclaimable:     194372 kB
SUnreclaim:        92008 kB
KernelStack:        4016 kB
PageTables:         3316 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     536696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432724 MiB
End job on nodeC012 at 2025-07-22 18:43:43