Trace number 4462811

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (3)? (MO) 897.26 900.069

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_mh.opb
MD5SUMb903151821b4588cc22205dcfedeb810
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21601492
Best CPU time to get the best result obtained on this benchmark3600.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019600
Biggest coefficient in the objective function 144703125
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 312913647916
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 144703125
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 312913647916
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
17.34/17.40	c #variables 2000400 #constraints 4940611
894.70/897.54	c bounds - >= -100 @ 13.272
894.70/897.54	c bounds 1035727013 >= -100 @ 32.1094
894.70/897.54	c bounds 1035673763 >= -100 @ 33.8881
894.70/897.54	c bounds 1035539405 >= -100 @ 78.9975
894.70/897.54	c bounds 999434123 >= -100 @ 81.5454
894.70/897.54	c bounds 999234429 >= -100 @ 82.7738
894.70/897.54	c bounds 999224811 >= -100 @ 85.736
894.70/897.54	c bounds 999095161 >= -100 @ 88.5664
894.70/897.54	c bounds 999039355 >= -100 @ 104.846
894.70/897.54	c bounds 999024159 >= -100 @ 109.621
894.70/897.54	c bounds 996021327 >= -100 @ 121.438
894.70/897.54	c bounds 995837847 >= -100 @ 135.154
894.70/897.54	c bounds 868341979 >= -100 @ 173.102
894.70/897.54	c bounds 868319210 >= -100 @ 193.875
894.70/897.54	c bounds 868161806 >= -100 @ 215.229
894.70/897.54	c bounds 868159301 >= -100 @ 257.287
894.70/897.54	c bounds 868028100 >= -100 @ 288.429
894.70/897.54	c bounds 868020173 >= -100 @ 297.367
894.70/897.54	c bounds 867981733 >= -100 @ 306.462
894.70/897.54	c bounds 867933055 >= -100 @ 319.346
894.70/897.54	c bounds 867843260 >= -100 @ 324.337
894.70/897.54	c bounds 867839237 >= -100 @ 333.353
894.70/897.54	c bounds 867823837 >= -100 @ 342.091
894.70/897.54	c bounds 867816487 >= -100 @ 353.115
894.70/897.54	c bounds 818024745 >= -100 @ 354.858
894.70/897.54	c bounds 817829831 >= -100 @ 357.55
894.70/897.54	c bounds 817824941 >= -100 @ 375.965
894.70/897.54	c bounds 815553521 >= -100 @ 378.721
894.70/897.54	c bounds 815357531 >= -100 @ 393.974
894.70/897.54	c bounds 815279653 >= -100 @ 396.856
894.70/897.54	c bounds 815220517 >= -100 @ 400
894.70/897.54	c bounds 815217397 >= -100 @ 437.096
894.70/897.54	c bounds 815102725 >= -100 @ 441.259
894.70/897.54	c bounds 814816835 >= -100 @ 443.537
894.70/897.54	c bounds 814757852 >= -100 @ 445.968
894.70/897.54	c bounds 814750838 >= -100 @ 447.322
894.70/897.54	c bounds 814616040 >= -100 @ 463.32
894.70/897.54	c bounds 814539470 >= -100 @ 480.646
894.70/897.54	c bounds 814519982 >= -100 @ 484.651
894.70/897.54	c bounds 814501610 >= -100 @ 488.793
894.70/897.54	c bounds 814379973 >= -100 @ 513.666
894.70/897.54	c bounds 814371050 >= -100 @ 518.554
894.70/897.54	c bounds 814160392 >= -100 @ 526.618
894.70/897.54	c bounds 814153042 >= -100 @ 531.612
894.70/897.54	c bounds 808626902 >= -100 @ 560.527
894.70/897.54	c bounds 808610977 >= -100 @ 563.224
894.70/897.54	c bounds 808603328 >= -100 @ 566.029
894.70/897.54	c bounds 808594971 >= -100 @ 567.373
894.70/897.54	c bounds 808565397 >= -100 @ 573.51
894.70/897.54	c #Conflicts:       1000 | #Constraints:    4941658
894.70/897.54	c bounds 808561303 >= -100 @ 584.973
894.70/897.54	c bounds 808554465 >= -100 @ 602.512
894.70/897.54	c bounds 808487569 >= -100 @ 605.675
894.70/897.54	c bounds 807031143 >= -100 @ 634.515
894.70/897.54	c bounds 807026085 >= -100 @ 645.796
894.70/897.54	c bounds 807010552 >= -100 @ 681.411
894.70/897.54	c bounds 806999205 >= -100 @ 686.101
894.70/897.54	c bounds 806995461 >= -100 @ 741.051
894.70/897.54	c bounds 795268589 >= -100 @ 810.288
894.70/897.54	c #Conflicts:       2000 | #Constraints:    4942667
894.70/897.54	EMALLC01 malloc: Out of memory - cannot allocate 360063072 bytes
894.70/897.55	c Disabling crashed LP

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: 63931 MiB (45129 MiB free)
  memory of node 1: 64510 MiB (63406 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462811-1722344481/watcher-4462811-1722344481 -o /tmp/evaluation-result-4462811-1722344481/solver-4462811-1722344481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6638 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462811-1722344481 --lp-cut-gomory=0 HOME/instance-4462811-1722344481.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=9031, runsolver pid=9028

[startup+0.100693 s]*
/proc/loadavg: 4.12 4.17 4.16 5/256 9032
/proc/meminfo: memFree=111041208/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=182812 memory=106248 CPUtime=0.08 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 5181 0 0 0 5 3 0 0 20 0 1 0 1046171 187199488 26562 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 45703 26562 1317 992 0 37561 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 182812 KiB
Current children cumulated memory: 106248 KiB

[startup+0.205457 s]*
/proc/loadavg: 4.12 4.17 4.16 5/256 9032
/proc/meminfo: memFree=110886188/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=364444 memory=273628 CPUtime=0.18 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 7745 0 0 0 11 7 0 0 20 0 1 0 1046171 373190656 68407 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 91111 68407 1317 992 0 82969 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 364444 KiB
Current children cumulated memory: 273628 KiB

[startup+0.30555 s]*
/proc/loadavg: 4.12 4.17 4.16 5/256 9032
/proc/meminfo: memFree=110673520/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=628992 memory=479980 CPUtime=0.29 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 10856 0 0 0 17 12 0 0 20 0 1 0 1046171 644087808 119995 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 157248 119995 1317 992 0 149106 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 628992 KiB
Current children cumulated memory: 479980 KiB

[startup+0.700222 s]
/proc/loadavg: 4.11 4.16 4.16 5/256 9032
/proc/meminfo: memFree=110701504/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=565128 memory=373416 CPUtime=0.68 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 14964 0 0 0 54 14 0 0 20 0 1 0 1046171 578691072 93354 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 141282 93354 1349 992 0 133140 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 565128 KiB
Current children cumulated memory: 373416 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.16 4.16 4/256 9032
/proc/meminfo: memFree=110727900/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=610160 memory=416108 CPUtime=1.47 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 23074 0 0 0 112 35 0 0 20 0 1 0 1046171 624803840 104027 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 152540 104027 1365 992 0 144398 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 610160 KiB
Current children cumulated memory: 416108 KiB

[startup+3.10515 s]
/proc/loadavg: 4.11 4.16 4.16 4/261 9052
/proc/meminfo: memFree=110650212/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=670908 memory=473076 CPUtime=3.08 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 31709 0 0 0 225 83 0 0 20 0 1 0 1046171 687009792 118269 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 167727 118269 1365 992 0 159585 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 670908 KiB
Current children cumulated memory: 473076 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.16 4.16 5/261 9054
/proc/meminfo: memFree=110345100/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=790676 memory=557480 CPUtime=6.26 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 35561 0 0 0 451 175 0 0 20 0 1 0 1046171 809652224 139370 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 197669 139370 1365 992 0 189527 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 790676 KiB
Current children cumulated memory: 557480 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.18 4.17 5/261 9054
/proc/meminfo: memFree=109553708/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=1078820 memory=757856 CPUtime=12.66 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 46940 0 0 0 934 332 0 0 20 0 1 0 1046171 1104711680 189464 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 269705 189464 1365 992 0 261563 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1078820 KiB
Current children cumulated memory: 757856 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.17 4.16 5/261 9055
/proc/meminfo: memFree=105753520/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=3768860 memory=3438988 CPUtime=25.41 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 321784 0 0 0 2060 481 0 0 20 0 1 0 1046171 3859312640 859747 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 942215 859747 1763 992 0 934073 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3768860 KiB
Current children cumulated memory: 3438988 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.17 4.16 5/261 9060
/proc/meminfo: memFree=104130600/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=4607416 memory=4201976 CPUtime=50.93 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 359090 0 0 0 4474 619 0 0 20 0 1 0 1046171 4717993984 1050494 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 1151854 1050494 1793 992 0 1143712 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4607416 KiB
Current children cumulated memory: 4201976 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.14 4.15 5/261 9068
/proc/meminfo: memFree=100810460/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=6346048 memory=5754796 CPUtime=101.96 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 521801 0 0 0 9511 685 0 0 20 0 1 0 1046171 6498353152 1438699 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 1586512 1438699 1850 992 0 1578370 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 6346048 KiB
Current children cumulated memory: 5754796 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/260 9079
/proc/meminfo: memFree=97280720/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=8508348 memory=7686236 CPUtime=161.75 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 761600 0 0 0 15408 767 0 0 20 0 1 0 1046171 8712548352 1921559 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 2127087 1921559 1850 992 0 2118945 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 8508348 KiB
Current children cumulated memory: 7686236 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/260 9091
/proc/meminfo: memFree=91631224/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=12124484 memory=10640856 CPUtime=221.58 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 1249427 0 0 0 21285 873 0 0 20 0 1 0 1046171 12415471616 2660214 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 3031121 2660214 1850 992 0 3022979 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 12124484 KiB
Current children cumulated memory: 10640856 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/258 9101
/proc/meminfo: memFree=88675640/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=12183144 memory=11498196 CPUtime=281.4 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 1260281 0 0 0 27233 907 0 0 20 0 1 0 1046171 12475539456 2874549 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 3045786 2874549 1850 992 0 3037644 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 12183144 KiB
Current children cumulated memory: 11498196 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/257 9112
/proc/meminfo: memFree=83553780/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=17140728 memory=14796236 CPUtime=341.24 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 1880164 0 0 0 33087 1037 0 0 20 0 1 0 1046171 17552105472 3698993 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 4285216 3698993 1850 992 0 4277074 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 17140728 KiB
Current children cumulated memory: 14796236 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/257 9124
/proc/meminfo: memFree=78853384/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=18883456 memory=17343672 CPUtime=401.08 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 2263462 0 0 0 38922 1186 0 0 20 0 1 0 1046171 19336658944 4335918 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 4720864 4335918 1850 992 0 4712722 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 18883456 KiB
Current children cumulated memory: 17343672 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/257 9134
/proc/meminfo: memFree=76145144/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=18883456 memory=18154712 CPUtime=460.92 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 2265516 0 0 0 44844 1248 0 0 20 0 1 0 1046171 19336658944 4538678 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 4720864 4538678 1850 992 0 4712722 0
Current children cumulated CPU time: 460.92 s
Current children cumulated vsize: 18883456 KiB
Current children cumulated memory: 18154712 KiB

[startup+522.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/257 9144
/proc/meminfo: memFree=74115312/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=22840780 memory=19053784 CPUtime=520.73 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 2269580 0 0 0 50789 1284 0 0 20 0 1 0 1046171 23388958720 4763446 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 5710195 4763446 1850 992 0 5702053 0
Current children cumulated CPU time: 520.73 s
Current children cumulated vsize: 22840780 KiB
Current children cumulated memory: 19053784 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 4.13 4.14 5/259 9159
/proc/meminfo: memFree=71694332/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=22847380 memory=19521076 CPUtime=580.55 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 2273510 0 0 0 56723 1332 0 0 20 0 1 0 1046171 23395717120 4880269 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 5711845 4880269 1850 992 0 5703703 0
Current children cumulated CPU time: 580.55 s
Current children cumulated vsize: 22847380 KiB
Current children cumulated memory: 19521076 KiB

[startup+642.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/260 9170
/proc/meminfo: memFree=69449440/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=23223900 memory=20341232 CPUtime=640.36 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 2297604 0 0 0 62655 1381 0 0 20 0 1 0 1046171 23781273600 5085308 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 5805975 5085308 1850 992 0 5797833 0
Current children cumulated CPU time: 640.36 s
Current children cumulated vsize: 23223900 KiB
Current children cumulated memory: 20341232 KiB

[startup+702.3 s]
/proc/loadavg: 4.17 4.14 4.14 5/260 9180
/proc/meminfo: memFree=61792924/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=30303260 memory=26566804 CPUtime=700.17 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3620017 0 0 0 68401 1616 0 0 20 0 1 0 1046171 31030538240 6641701 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7575815 6641701 1850 992 0 7567673 0
Current children cumulated CPU time: 700.17 s
Current children cumulated vsize: 30303260 KiB
Current children cumulated memory: 26566804 KiB

[startup+762.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/260 9190
/proc/meminfo: memFree=59199692/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=31413640 memory=28476048 CPUtime=759.98 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3889659 0 0 0 74302 1696 0 0 20 0 1 0 1046171 32167567360 7119012 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7853410 7119012 1850 992 0 7845268 0
Current children cumulated CPU time: 759.98 s
Current children cumulated vsize: 31413640 KiB
Current children cumulated memory: 28476048 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/260 9201
/proc/meminfo: memFree=57866448/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=31413640 memory=29318788 CPUtime=819.76 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3961290 0 0 0 80239 1737 0 0 20 0 1 0 1046171 32167567360 7329697 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7853410 7329697 1850 992 0 7845268 0
Current children cumulated CPU time: 819.76 s
Current children cumulated vsize: 31413640 KiB
Current children cumulated memory: 29318788 KiB

[startup+882.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/259 9212
/proc/meminfo: memFree=56168440/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=31426376 memory=29477792 CPUtime=879.55 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3981005 0 0 0 85585 2370 0 0 20 0 1 0 1046171 32180609024 7369448 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7856594 7369448 1850 992 0 7848452 0
Current children cumulated CPU time: 879.55 s
Current children cumulated vsize: 31426376 KiB
Current children cumulated memory: 29477792 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+897.5 s]
/proc/loadavg: 4.16 4.14 4.13 5/259 9215
/proc/meminfo: memFree=55828048/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=31776972 memory=29805372 CPUtime=894.7 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3984885 0 0 0 86853 2617 0 0 20 0 1 0 1046171 32539619328 7451343 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7944243 7451343 1850 992 0 7936101 0
Current children cumulated CPU time: 894.7 s
Current children cumulated vsize: 31776972 KiB
Current children cumulated memory: 29805372 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=870.52 s, system=26.74 s

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

[startup+897.6 s]
/proc/loadavg: 4.16 4.14 4.13 5/259 9215
/proc/meminfo: memFree=55828048/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=30103128 memory=28161196 CPUtime=894.8 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3985133 0 0 0 86862 2618 0 0 20 0 1 0 1046171 30825603072 7040299 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7525782 7040299 1954 992 0 7517640 0
Current children cumulated CPU time: 894.8 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28161196 KiB

[startup+898.4 s]
/proc/loadavg: 4.16 4.14 4.13 5/259 9215
/proc/meminfo: memFree=57131000/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=30103128 memory=28161196 CPUtime=895.6 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3985504 0 0 0 86942 2618 0 0 20 0 1 0 1046171 30825603072 7040299 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7525782 7040299 1954 992 0 7517640 0
Current children cumulated CPU time: 895.6 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28161196 KiB

[startup+899.2 s]
/proc/loadavg: 4.16 4.14 4.13 5/259 9215
/proc/meminfo: memFree=57104828/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=30103128 memory=28161196 CPUtime=896.4 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3985504 0 0 0 87022 2618 0 0 20 0 1 0 1046171 30825603072 7040299 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7525782 7040299 1954 992 0 7517640 0
Current children cumulated CPU time: 896.4 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28161196 KiB

[startup+899.4 s]
/proc/loadavg: 4.16 4.14 4.13 5/259 9215
/proc/meminfo: memFree=57104828/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=30103128 memory=28161196 CPUtime=896.6 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3985504 0 0 0 87042 2618 0 0 20 0 1 0 1046171 30825603072 7040299 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7525782 7040299 1954 992 0 7517640 0
Current children cumulated CPU time: 896.6 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28161196 KiB

[startup+899.5 s]
/proc/loadavg: 4.16 4.14 4.13 5/259 9215
/proc/meminfo: memFree=57104828/131524600 swapFree=131071996/131071996
[pid=9031] ppid=9028 vsize=30103128 memory=28161196 CPUtime=896.69 cores=5,7
/proc/9031/stat : 9031 (roundingsat) R 9028 9031 6624 0 -1 4194304 3985504 0 0 0 87051 2618 0 0 20 0 1 0 1046171 30825603072 7040299 134679101440 4194304 8255733 140732252991888 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17690624 140732253000542 140732253000804 140732253000804 140732253007817 0
/proc/9031/statm: 7525782 7040299 1954 992 0 7517640 0
Current children cumulated CPU time: 896.69 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28161196 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 900.069
CPU time (s): 897.26
CPU user time (s): 870.52
CPU system time (s): 26.74
CPU usage (%): 99.6879
Max. virtual memory (cumulated for all children) (KiB): 31776972
Max. memory (cumulated for all children) (KiB): 29805372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 870.52
system time used= 26.74
maximum resident set size= 29834436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3985504
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5858720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 1179


# summary of solver processes directly reported to runsolver:
#   pid: 9031
#   total CPU time (s): 897.26
#   total CPU user time (s): 870.52
#   total CPU system time (s): 26.74

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.80344 second user time and 4.10753 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-30 15:01:23
IDJOB=4462811
IDBENCH=155753
IDSOLVER=3089
FILE ID=nodeC020/4462811-1722344481
RUNJOBID= nodeC020-1722340763-6638
SLURM_JOB_ID= 8248993
Free space on /tmp= 889832 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_mh.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462811-1722344481/watcher-4462811-1722344481 -o /tmp/evaluation-result-4462811-1722344481/solver-4462811-1722344481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6638 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462811-1722344481 --lp-cut-gomory=0 HOME/instance-4462811-1722344481.opb

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

MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=1429832398

nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00002a
cpu MHz		: 3685.143
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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	: 0xb00002a
cpu MHz		: 3676.726
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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	: 0xb00002a
cpu MHz		: 3600.445
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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	: 0xb00002a
cpu MHz		: 3599.468
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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	: 0xb00002a
cpu MHz		: 3684.700
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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	: 0xb00002a
cpu MHz		: 3606.671
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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	: 0xb00002a
cpu MHz		: 3600.969
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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	: 0xb00002a
cpu MHz		: 3602.595
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111142604 kB
MemAvailable:   128688024 kB
Buffers:           51548 kB
Cached:         18309172 kB
SwapCached:            0 kB
Active:           179900 kB
Inactive:       19685372 kB
Active(anon):       1560 kB
Inactive(anon):  1524396 kB
Active(file):     178340 kB
Inactive(file): 18160976 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            420596 kB
Writeback:             4 kB
AnonPages:       1502636 kB
Mapped:            94752 kB
Shmem:             21336 kB
KReclaimable:      91500 kB
Slab:             177568 kB
SReclaimable:      91500 kB
SUnreclaim:        86068 kB
KernelStack:        4112 kB
PageTables:        11960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1770788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1224704 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    10065920 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889736 MiB
End job on nodeC020 at 2024-07-30 15:16:23