Trace number 4460421

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 (2)? (MO) 925.513 928.175

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.83/17.91	c #variables 2000400 #constraints 4940611
923.03/925.71	c bounds - >= -100 @ 13.6666
923.03/925.71	c bounds 1035727013 >= -100 @ 32.5615
923.03/925.71	c bounds 1035673763 >= -100 @ 34.3897
923.03/925.71	c bounds 1035539405 >= -100 @ 81.4264
923.03/925.71	c bounds 999434123 >= -100 @ 84.0204
923.03/925.71	c bounds 999234429 >= -100 @ 85.2802
923.03/925.71	c bounds 999224811 >= -100 @ 88.3201
923.03/925.71	c bounds 999095161 >= -100 @ 91.2309
923.03/925.71	c bounds 999039355 >= -100 @ 107.856
923.03/925.71	c bounds 999024159 >= -100 @ 112.755
923.03/925.71	c bounds 996021327 >= -100 @ 124.78
923.03/925.71	c bounds 995837847 >= -100 @ 138.823
923.03/925.71	c bounds 868341979 >= -100 @ 177.639
923.03/925.71	c bounds 868319210 >= -100 @ 198.777
923.03/925.71	c bounds 868161806 >= -100 @ 220.906
923.03/925.71	c bounds 868159301 >= -100 @ 264.427
923.03/925.71	c bounds 868028100 >= -100 @ 296.868
923.03/925.71	c bounds 868020173 >= -100 @ 306.081
923.03/925.71	c bounds 867981733 >= -100 @ 315.49
923.03/925.71	c bounds 867933055 >= -100 @ 328.849
923.03/925.71	c bounds 867843260 >= -100 @ 333.974
923.03/925.71	c bounds 867839237 >= -100 @ 343.251
923.03/925.71	c bounds 867823837 >= -100 @ 352.258
923.03/925.71	c bounds 867816487 >= -100 @ 363.654
923.03/925.71	c bounds 818024745 >= -100 @ 365.401
923.03/925.71	c bounds 817829831 >= -100 @ 368.133
923.03/925.71	c bounds 817824941 >= -100 @ 387.444
923.03/925.71	c bounds 815553521 >= -100 @ 390.265
923.03/925.71	c bounds 815357531 >= -100 @ 406.064
923.03/925.71	c bounds 815279653 >= -100 @ 409.067
923.03/925.71	c bounds 815220517 >= -100 @ 412.333
923.03/925.71	c bounds 815217397 >= -100 @ 450.788
923.03/925.71	c bounds 815102725 >= -100 @ 455.119
923.03/925.71	c bounds 814816835 >= -100 @ 457.477
923.03/925.71	c bounds 814757852 >= -100 @ 459.978
923.03/925.71	c bounds 814750838 >= -100 @ 461.371
923.03/925.71	c bounds 814616040 >= -100 @ 478.697
923.03/925.71	c bounds 814539470 >= -100 @ 495.837
923.03/925.71	c bounds 814519982 >= -100 @ 499.991
923.03/925.71	c bounds 814501610 >= -100 @ 504.29
923.03/925.71	c bounds 814379973 >= -100 @ 530.072
923.03/925.71	c bounds 814371050 >= -100 @ 535.127
923.03/925.71	c bounds 814160392 >= -100 @ 543.44
923.03/925.71	c bounds 814153042 >= -100 @ 548.66
923.03/925.71	c bounds 808626902 >= -100 @ 578.759
923.03/925.71	c bounds 808610977 >= -100 @ 581.544
923.03/925.71	c bounds 808603328 >= -100 @ 584.468
923.03/925.71	c bounds 808594971 >= -100 @ 585.859
923.03/925.71	c bounds 808565397 >= -100 @ 592.198
923.03/925.71	c #Conflicts:       1000 | #Constraints:    4941658
923.03/925.71	c bounds 808561303 >= -100 @ 603.998
923.03/925.71	c bounds 808554465 >= -100 @ 622.091
923.03/925.71	c bounds 808487569 >= -100 @ 625.334
923.03/925.71	c bounds 807031143 >= -100 @ 655.033
923.03/925.71	c bounds 807026085 >= -100 @ 666.683
923.03/925.71	c bounds 807010552 >= -100 @ 703.47
923.03/925.71	c bounds 806999205 >= -100 @ 708.32
923.03/925.71	c bounds 806995461 >= -100 @ 765.201
923.03/925.71	c bounds 795268589 >= -100 @ 836.54
923.03/925.71	c #Conflicts:       2000 | #Constraints:    4942667
923.03/925.71	EMALLC01 malloc: Out of memory - cannot allocate 360063072 bytes
923.03/925.72	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: 64096 MiB (59791 MiB free)
  memory of node 1: 64473 MiB (60623 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=301200, runsolver pid=301197

[startup+0.100101 s]*
/proc/loadavg: 4.07 4.08 4.02 5/235 301201
/proc/meminfo: memFree=123224228/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=182812 memory=92616 CPUtime=0.09 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 6850 0 0 0 5 4 0 0 20 0 1 0 42841969 187199488 23154 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 45703 23154 1303 992 0 37561 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 182812 KiB
Current children cumulated memory: 92616 KiB

[startup+0.213089 s]*
/proc/loadavg: 4.07 4.08 4.02 5/233 301201
/proc/meminfo: memFree=123084156/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=294784 memory=246968 CPUtime=0.2 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 9166 0 0 0 12 8 0 0 20 0 1 0 42841969 301858816 61742 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 73696 61742 1303 992 0 65554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 294784 KiB
Current children cumulated memory: 246968 KiB

[startup+0.312986 s]*
/proc/loadavg: 4.07 4.08 4.02 5/236 301206
/proc/meminfo: memFree=122852176/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=628992 memory=432764 CPUtime=0.3 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 12240 0 0 0 16 14 0 0 20 0 1 0 42841969 644087808 108191 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 157248 108191 1303 992 0 149106 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 628992 KiB
Current children cumulated memory: 432764 KiB

[startup+0.700353 s]
/proc/loadavg: 4.07 4.08 4.02 5/239 301213
/proc/meminfo: memFree=122683496/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=558504 memory=366308 CPUtime=0.67 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 14871 0 0 0 50 17 0 0 20 0 1 0 42841969 571908096 91577 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 139626 91577 1351 992 0 131484 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 558504 KiB
Current children cumulated memory: 366308 KiB

[startup+1.50029 s]
/proc/loadavg: 4.14 4.10 4.02 5/245 301223
/proc/meminfo: memFree=122529388/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=607652 memory=413952 CPUtime=1.47 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 24239 0 0 0 111 36 0 0 20 0 1 0 42841969 622235648 103488 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 151913 103488 1367 992 0 143771 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 607652 KiB
Current children cumulated memory: 413952 KiB

[startup+3.11256 s]
/proc/loadavg: 4.14 4.10 4.02 5/245 301223
/proc/meminfo: memFree=122290728/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=669192 memory=470504 CPUtime=3.08 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 31781 0 0 0 226 82 0 0 20 0 1 0 42841969 685252608 117626 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 167298 117626 1367 992 0 159156 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 669192 KiB
Current children cumulated memory: 470504 KiB

[startup+6.30027 s]
/proc/loadavg: 4.13 4.09 4.02 5/245 301224
/proc/meminfo: memFree=122019220/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=790676 memory=554356 CPUtime=6.26 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 37002 0 0 0 451 175 0 0 20 0 1 0 42841969 809652224 138589 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 197669 138589 1367 992 0 189527 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 790676 KiB
Current children cumulated memory: 554356 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.09 4.02 5/245 301224
/proc/meminfo: memFree=119237328/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=1078820 memory=750332 CPUtime=12.65 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 48250 0 0 0 936 329 0 0 20 0 1 0 42841969 1104711680 187583 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 269705 187583 1367 992 0 261563 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1078820 KiB
Current children cumulated memory: 750332 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.02 5/244 301227
/proc/meminfo: memFree=116354904/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=3768860 memory=3440236 CPUtime=25.41 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 324529 0 0 0 2051 490 0 0 20 0 1 0 42841969 3859312640 860059 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 942215 860059 1765 992 0 934073 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3768860 KiB
Current children cumulated memory: 3440236 KiB

[startup+51.1129 s]
/proc/loadavg: 4.13 4.10 4.02 5/244 301230
/proc/meminfo: memFree=114751316/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=4607152 memory=4187156 CPUtime=50.93 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 360819 0 0 0 4460 633 0 0 20 0 1 0 42841969 4717723648 1046789 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 1151788 1046789 1797 992 0 1143646 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4607152 KiB
Current children cumulated memory: 4187156 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/246 301241
/proc/meminfo: memFree=112127428/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=6346048 memory=5709680 CPUtime=101.95 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 524568 0 0 0 9496 699 0 0 20 0 1 0 42841969 6498353152 1427420 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 1586512 1427420 1861 992 0 1578370 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 6346048 KiB
Current children cumulated memory: 5709680 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/246 301251
/proc/meminfo: memFree=109891908/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=8508348 memory=7632604 CPUtime=161.76 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 763288 0 0 0 15388 788 0 0 20 0 1 0 42841969 8712548352 1908151 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 2127087 1908151 1861 992 0 2118945 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 8508348 KiB
Current children cumulated memory: 7632604 KiB

[startup+222.3 s]
/proc/loadavg: 4.74 4.27 4.09 5/246 301646
/proc/meminfo: memFree=106069128/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=12119636 memory=10551744 CPUtime=221.57 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 1247350 0 0 0 21259 898 0 0 20 0 1 0 42841969 12410507264 2637936 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 3029909 2637936 1861 992 0 3021767 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 12119636 KiB
Current children cumulated memory: 10551744 KiB

[startup+282.3 s]
/proc/loadavg: 4.80 4.37 4.14 5/245 301658
/proc/meminfo: memFree=103760884/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=12157284 memory=11381744 CPUtime=281.4 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 1254437 0 0 0 27205 935 0 0 20 0 1 0 42841969 12449058816 2845436 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 3039321 2845436 1861 992 0 3031179 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 12157284 KiB
Current children cumulated memory: 11381744 KiB

[startup+342.3 s]
/proc/loadavg: 5.01 4.51 4.20 5/245 301668
/proc/meminfo: memFree=101026060/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=14656936 memory=12197212 CPUtime=341.23 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 1267407 0 0 0 33138 985 0 0 20 0 1 0 42841969 15008702464 3049303 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 3664234 3049303 1861 992 0 3656092 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 14656936 KiB
Current children cumulated memory: 12197212 KiB

[startup+402.3 s]
/proc/loadavg: 4.46 4.44 4.19 5/252 301854
/proc/meminfo: memFree=94404132/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=18879012 memory=17187288 CPUtime=401.06 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 2261100 0 0 0 38904 1202 0 0 20 0 1 0 42841969 19332108288 4296822 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 4719753 4296822 1861 992 0 4711611 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 18879012 KiB
Current children cumulated memory: 17187288 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.38 4.18 5/253 301865
/proc/meminfo: memFree=91920996/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=18883456 memory=17996628 CPUtime=460.89 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 2263845 0 0 0 44820 1269 0 0 20 0 1 0 42841969 19336658944 4499157 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 4720864 4499157 1861 992 0 4712722 0
Current children cumulated CPU time: 460.89 s
Current children cumulated vsize: 18883456 KiB
Current children cumulated memory: 17996628 KiB

[startup+522.3 s]
/proc/loadavg: 4.28 4.35 4.19 5/253 301932
/proc/meminfo: memFree=90165184/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=22840780 memory=18817876 CPUtime=520.7 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 2266702 0 0 0 50747 1323 0 0 20 0 1 0 42841969 23388958720 4704469 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 5710195 4704469 1861 992 0 5702053 0
Current children cumulated CPU time: 520.7 s
Current children cumulated vsize: 22840780 KiB
Current children cumulated memory: 18817876 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 4.30 4.18 5/253 301943
/proc/meminfo: memFree=88137588/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=22842728 memory=19395284 CPUtime=580.54 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 2271388 0 0 0 56692 1362 0 0 20 0 1 0 42841969 23390953472 4848821 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 5710682 4848821 1861 992 0 5702540 0
Current children cumulated CPU time: 580.54 s
Current children cumulated vsize: 22842728 KiB
Current children cumulated memory: 19395284 KiB

[startup+642.3 s]
/proc/loadavg: 4.10 4.26 4.17 9/252 301954
/proc/meminfo: memFree=86131748/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=23184292 memory=20286048 CPUtime=640.37 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 2293816 0 0 0 62610 1427 0 0 20 0 1 0 42841969 23740715008 5071512 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 5796073 5071512 1861 992 0 5787931 0
Current children cumulated CPU time: 640.37 s
Current children cumulated vsize: 23184292 KiB
Current children cumulated memory: 20286048 KiB

[startup+702.3 s]
/proc/loadavg: 4.18 4.26 4.18 5/249 301964
/proc/meminfo: memFree=82632796/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=25753364 memory=22742220 CPUtime=700.23 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 2765481 0 0 0 68491 1532 0 0 20 0 1 0 42841969 26371444736 5685555 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 6438341 5685555 1861 992 0 6430199 0
Current children cumulated CPU time: 700.23 s
Current children cumulated vsize: 25753364 KiB
Current children cumulated memory: 22742220 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/248 301974
/proc/meminfo: memFree=76908208/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=31413352 memory=28103016 CPUtime=760.08 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 3855353 0 0 0 74278 1730 0 0 20 0 1 0 42841969 32167272448 7025754 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 7853338 7025754 1861 992 0 7845196 0
Current children cumulated CPU time: 760.08 s
Current children cumulated vsize: 31413352 KiB
Current children cumulated memory: 28103016 KiB

[startup+822.3 s]
/proc/loadavg: 4.15 4.21 4.17 5/246 301985
/proc/meminfo: memFree=75730660/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=31413640 memory=28981400 CPUtime=819.92 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 3931293 0 0 0 80221 1771 0 0 20 0 1 0 42841969 32167567360 7245350 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 7853410 7245350 1861 992 0 7845268 0
Current children cumulated CPU time: 819.92 s
Current children cumulated vsize: 31413640 KiB
Current children cumulated memory: 28981400 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/243 301996
/proc/meminfo: memFree=74955636/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=31426376 memory=29493452 CPUtime=879.74 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 3979170 0 0 0 85996 1978 0 0 20 0 1 0 42841969 32180609024 7373363 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 7856594 7373363 1861 992 0 7848452 0
Current children cumulated CPU time: 879.74 s
Current children cumulated vsize: 31426376 KiB
Current children cumulated memory: 29493452 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+925.6 s]
/proc/loadavg: 4.12 4.18 4.16 5/243 302004
/proc/meminfo: memFree=74815012/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=31776972 memory=29600876 CPUtime=922.94 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 3984574 0 0 0 89586 2708 0 0 20 0 1 0 42841969 32539619328 7400219 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 7944243 7400219 1861 992 0 7936101 0
Current children cumulated CPU time: 922.94 s
Current children cumulated vsize: 31776972 KiB
Current children cumulated memory: 29600876 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=897.798 s, system=27.715 s

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

[startup+926.4 s]
/proc/loadavg: 4.12 4.18 4.16 5/243 302004
/proc/meminfo: memFree=76137436/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=30103128 memory=28176900 CPUtime=923.74 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 3985280 0 0 0 89660 2714 0 0 20 0 1 0 42841969 30825603072 7044225 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 7525782 7044225 1976 992 0 7517640 0
Current children cumulated CPU time: 923.74 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28176900 KiB

[startup+927.2 s]
/proc/loadavg: 4.11 4.17 4.16 5/243 302004
/proc/meminfo: memFree=76133356/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=30103128 memory=28176900 CPUtime=924.54 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 3986010 0 0 0 89740 2714 0 0 20 0 1 0 42841969 30825603072 7044225 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 7525782 7044225 1976 992 0 7517640 0
Current children cumulated CPU time: 924.54 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28176900 KiB

[startup+927.6 s]
/proc/loadavg: 4.11 4.17 4.16 5/243 302004
/proc/meminfo: memFree=76133356/131655788 swapFree=131060916/131071996
[pid=301200] ppid=301197 vsize=30103128 memory=28176900 CPUtime=924.93 cores=4,6
/proc/301200/stat : 301200 (roundingsat) R 301197 301200 298834 0 -1 4194304 3986010 0 0 0 89779 2714 0 0 20 0 1 0 42841969 30825603072 7044225 134679101440 4194304 8254357 140734510389376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 36900864 140734510392159 140734510392421 140734510392421 140734510399433 0
/proc/301200/statm: 7525782 7044225 1976 992 0 7517640 0
Current children cumulated CPU time: 924.93 s
Current children cumulated vsize: 30103128 KiB
Current children cumulated memory: 28176900 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 928.175
CPU time (s): 925.513
CPU user time (s): 897.798
CPU system time (s): 27.715
CPU usage (%): 99.7132
Max. virtual memory (cumulated for all children) (KiB): 31776972
Max. memory (cumulated for all children) (KiB): 29611680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 897.798
system time used= 27.715
maximum resident set size= 29850096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3986010
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= 96
involuntary context switches= 1208


# summary of solver processes directly reported to runsolver:
#   pid: 301200
#   total CPU time (s): 925.513
#   total CPU user time (s): 897.798
#   total CPU system time (s): 27.715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.19171 second user time and 9.59721 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-27 10:22:05
IDJOB=4460421
IDBENCH=155753
IDSOLVER=3086
FILE ID=nodeC007/4460421-1722068523
RUNJOBID= nodeC007-1722064837-298845
SLURM_JOB_ID= 8248109
Free space on /tmp= 723348 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-4460421-1722068523/watcher-4460421-1722068523 -o /tmp/evaluation-result-4460421-1722068523/solver-4460421-1722068523 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722064837-298845 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460421-1722068523 --lp-cut-gomory=0 HOME/instance-4460421-1722068523.opb

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

MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=1560775470

nodeC007.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	: 0xb00001f
cpu MHz		: 1197.339
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 invpcid_single pti 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	: 6983.67
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		: 3652.527
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 invpcid_single pti 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	: 6983.37
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		: 2096.612
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 invpcid_single pti 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	: 6983.67
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.297
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 invpcid_single pti 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	: 6983.37
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		: 3065.449
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 invpcid_single pti 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	: 6983.67
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		: 1404.830
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 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123304412 kB
MemAvailable:   129308356 kB
Buffers:          378232 kB
Cached:          6330804 kB
SwapCached:          152 kB
Active:          1901512 kB
Inactive:        5645252 kB
Active(anon):       2252 kB
Inactive(anon):   888792 kB
Active(file):    1899260 kB
Inactive(file):  4756460 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060916 kB
Dirty:            471076 kB
Writeback:             0 kB
AnonPages:        837384 kB
Mapped:            94260 kB
Shmem:             53304 kB
KReclaimable:     376848 kB
Slab:             493108 kB
SReclaimable:     376848 kB
SUnreclaim:       116260 kB
KernelStack:        3840 kB
PageTables:        11168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1185548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    477184 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723300 MiB
End job on nodeC007 at 2024-07-27 10:37:34