0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.29/0.34 c #variables 175232 #constraints 2994
0.29/0.34 c objective is ce32
0.39/0.41 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.39/0.41 c initial counting CF 32, 64, 128, Arb: 259 , 0 , 0 , 0
0.39/0.41 c GLOBAL bounds - >= 0 @ 0.336702
0.49/0.58 c GLOBAL bounds - >= 0 @ 0.408515
0.67/0.75 c GLOBAL bounds - >= 126 @ 0.461696
223.27/223.98 c #Conflicts: 1000 | #Constraints: 3994
223.27/223.98 c #Conflicts: 2000 | #Constraints: 4994
223.27/223.98 c INPROCESSING
223.27/223.98 c GARBAGE COLLECT
223.27/223.98 c #Conflicts: 3000 | #Constraints: 5036
223.27/223.98 c #Conflicts: 4000 | #Constraints: 6037
223.27/223.98 c INPROCESSING
223.27/223.98 c GARBAGE COLLECT
223.27/223.98 c #Conflicts: 5000 | #Constraints: 5440
223.27/223.98 c #Conflicts: 6000 | #Constraints: 6441
223.27/223.98 c INPROCESSING
223.27/223.98 c GARBAGE COLLECT
223.27/223.98 c #Conflicts: 7000 | #Constraints: 5435
223.27/223.98 c #Conflicts: 8000 | #Constraints: 6435
223.27/223.98 c #Conflicts: 9000 | #Constraints: 7435
223.27/223.98 c INPROCESSING
223.27/223.98 c GARBAGE COLLECT
223.27/223.98 c #Conflicts: 10000 | #Constraints: 6127
223.27/223.98 c #Conflicts: 11000 | #Constraints: 7127
223.27/223.98 c #Conflicts: 12000 | #Constraints: 8127
223.27/223.98 c INPROCESSING
223.27/223.98 c GARBAGE COLLECT
223.27/223.98 c #Conflicts: 13000 | #Constraints: 6579
223.27/223.98 c #Conflicts: 14000 | #Constraints: 7579
223.27/223.98 c #Conflicts: 15000 | #Constraints: 8579
223.27/223.98 c INPROCESSING
223.27/223.98 c GARBAGE COLLECT
223.27/223.98 c rational objective 126
241.71/242.46 c #Conflicts: 16000 | #Constraints: 6840
241.71/242.46 c #Conflicts: 17000 | #Constraints: 7840
241.71/242.46 c #Conflicts: 18000 | #Constraints: 8840
241.71/242.46 c INPROCESSING
241.71/242.46 c GARBAGE COLLECT
241.71/242.46 c rational objective 126
722.73/724.69 c #Conflicts: 19000 | #Constraints: 6863
722.73/724.69 c #Conflicts: 20000 | #Constraints: 7863
722.73/724.69 c #Conflicts: 21000 | #Constraints: 8863
722.73/724.69 c INPROCESSING
722.73/724.69 c GARBAGE COLLECT
722.73/724.69 c #Conflicts: 22000 | #Constraints: 6647
722.73/724.69 c #Conflicts: 23000 | #Constraints: 7647
722.73/724.69 c #Conflicts: 24000 | #Constraints: 8647
722.73/724.69 c #Conflicts: 25000 | #Constraints: 9647
722.73/724.69 c INPROCESSING
722.73/724.69 c GARBAGE COLLECT
722.73/724.69 c #Conflicts: 26000 | #Constraints: 7243
722.73/724.69 c #Conflicts: 27000 | #Constraints: 8243
722.73/724.69 c #Conflicts: 28000 | #Constraints: 9243
722.73/724.69 c #Conflicts: 29000 | #Constraints: 10243
722.73/724.69 c INPROCESSING
722.73/724.69 c GARBAGE COLLECT
722.73/724.69 c #Conflicts: 30000 | #Constraints: 7635
722.73/724.69 c #Conflicts: 31000 | #Constraints: 8635
722.73/724.69 c #Conflicts: 32000 | #Constraints: 9635
722.73/724.69 c #Conflicts: 33000 | #Constraints: 10635
722.73/724.69 c INPROCESSING
722.73/724.69 c GARBAGE COLLECT
722.73/724.69 c rational objective 126
932.84/935.22 c #Conflicts: 34000 | #Constraints: 7847
932.84/935.22 c #Conflicts: 35000 | #Constraints: 8847
932.84/935.22 c #Conflicts: 36000 | #Constraints: 9847
932.84/935.22 c #Conflicts: 37000 | #Constraints: 10847
932.84/935.22 c INPROCESSING
932.84/935.22 c GARBAGE COLLECT
932.84/935.22 c #Conflicts: 38000 | #Constraints: 7840
932.84/935.22 c #Conflicts: 39000 | #Constraints: 8840
932.84/935.22 c #Conflicts: 40000 | #Constraints: 9840
932.84/935.22 c #Conflicts: 41000 | #Constraints: 10840
932.84/935.22 c INPROCESSING
932.84/935.22 c GARBAGE COLLECT
932.84/935.22 c #Conflicts: 42000 | #Constraints: 7648
932.84/935.22 c #Conflicts: 43000 | #Constraints: 8648
932.84/935.22 c #Conflicts: 44000 | #Constraints: 9648
932.84/935.22 c #Conflicts: 45000 | #Constraints: 10648
932.84/935.22 c #Conflicts: 46000 | #Constraints: 11648
932.84/935.22 c INPROCESSING
932.84/935.22 c GARBAGE COLLECT
932.84/935.22 c #Conflicts: 47000 | #Constraints: 8235
932.84/935.22 c #Conflicts: 48000 | #Constraints: 9235
932.84/935.22 c #Conflicts: 49000 | #Constraints: 10235
932.84/935.22 c #Conflicts: 50000 | #Constraints: 11235
932.84/935.22 c #Conflicts: 51000 | #Constraints: 12235
932.84/935.22 c INPROCESSING
932.84/935.22 c GARBAGE COLLECT
932.84/935.22 c rational objective 126
1467.13/1470.85 c #Conflicts: 52000 | #Constraints: 8661
1467.13/1470.85 c #Conflicts: 53000 | #Constraints: 9661
1467.13/1470.85 c #Conflicts: 54000 | #Constraints: 10661
1467.13/1470.85 c #Conflicts: 55000 | #Constraints: 11661
1467.13/1470.85 c #Conflicts: 56000 | #Constraints: 12661
1467.13/1470.85 c INPROCESSING
1467.13/1470.85 c GARBAGE COLLECT
1467.13/1470.85 c #Conflicts: 57000 | #Constraints: 8845
1467.13/1470.85 c #Conflicts: 58000 | #Constraints: 9845
1467.13/1470.85 c #Conflicts: 59000 | #Constraints: 10845
1467.13/1470.85 c #Conflicts: 60000 | #Constraints: 11846
1467.13/1470.85 c #Conflicts: 61000 | #Constraints: 12846
1467.13/1470.85 c INPROCESSING
1467.13/1470.85 c GARBAGE COLLECT
1467.13/1470.85 c #Conflicts: 62000 | #Constraints: 8830
1467.13/1470.85 c #Conflicts: 63000 | #Constraints: 9831
1467.13/1470.85 c #Conflicts: 64000 | #Constraints: 10833
1467.13/1470.85 c #Conflicts: 65000 | #Constraints: 11834
1467.13/1470.85 c #Conflicts: 66000 | #Constraints: 12834
1467.13/1470.85 c INPROCESSING
1467.13/1470.85 c GARBAGE COLLECT
1467.13/1470.85 c #Conflicts: 67000 | #Constraints: 8634
1467.13/1470.85 c #Conflicts: 68000 | #Constraints: 9634
1467.13/1470.85 c #Conflicts: 69000 | #Constraints: 10635
1467.13/1470.85 c #Conflicts: 70000 | #Constraints: 11635
1467.13/1470.85 c #Conflicts: 71000 | #Constraints: 12635
1467.13/1470.85 c #Conflicts: 72000 | #Constraints: 13635
1467.13/1470.85 c INPROCESSING
1467.13/1470.85 c GARBAGE COLLECT
1467.13/1470.85 c #Conflicts: 73000 | #Constraints: 9239
1467.13/1470.85 c #Conflicts: 74000 | #Constraints: 10239
1467.13/1470.85 c #Conflicts: 75000 | #Constraints: 11240
1467.13/1470.85 c #Conflicts: 76000 | #Constraints: 12240
1467.13/1470.85 c #Conflicts: 77000 | #Constraints: 13240
1467.13/1470.85 c #Conflicts: 78000 | #Constraints: 14240
1467.13/1470.85 c INPROCESSING
1467.13/1470.85 c GARBAGE COLLECT
1467.13/1470.85 c rational objective 126
2240.22/2245.87 c #Conflicts: 79000 | #Constraints: 9682
2240.22/2245.87 c #Conflicts: 80000 | #Constraints: 10683
2240.22/2245.87 c #Conflicts: 81000 | #Constraints: 11683
2240.22/2245.87 c #Conflicts: 82000 | #Constraints: 12683
2240.22/2245.87 c #Conflicts: 83000 | #Constraints: 13684
2240.22/2245.87 c #Conflicts: 84000 | #Constraints: 14685
2240.22/2245.87 c INPROCESSING
2240.22/2245.87 c GARBAGE COLLECT
2240.22/2245.87 c #Conflicts: 85000 | #Constraints: 9878
2240.22/2245.87 c #Conflicts: 86000 | #Constraints: 10878
2240.22/2245.87 c #Conflicts: 87000 | #Constraints: 11878
2240.22/2245.87 c #Conflicts: 88000 | #Constraints: 12878
2240.22/2245.87 c #Conflicts: 89000 | #Constraints: 13879
2240.22/2245.87 c #Conflicts: 90000 | #Constraints: 14879
2240.22/2245.87 c INPROCESSING
2240.22/2245.87 c GARBAGE COLLECT
2240.22/2245.87 c rational objective 126
2328.07/2333.93 c #Conflicts: 91000 | #Constraints: 9890
2328.07/2333.93 c #Conflicts: 92000 | #Constraints: 10891
2328.07/2333.93 c #Conflicts: 93000 | #Constraints: 11891
2328.07/2333.93 c #Conflicts: 94000 | #Constraints: 12892
2328.07/2333.93 c #Conflicts: 95000 | #Constraints: 13893
2328.07/2333.93 c #Conflicts: 96000 | #Constraints: 14893
2328.07/2333.93 c INPROCESSING
2328.07/2333.93 c GARBAGE COLLECT
2328.07/2333.93 c rational objective 126
2440.75/2446.95 c #Conflicts: 97000 | #Constraints: 9712
2440.75/2446.95 c #Conflicts: 98000 | #Constraints: 10713
2440.75/2446.95 c #Conflicts: 99000 | #Constraints: 11713
2440.75/2446.95 c #Conflicts: 100000 | #Constraints: 12713
2440.75/2446.95 c #Conflicts: 101000 | #Constraints: 13713
2440.75/2446.95 c #Conflicts: 102000 | #Constraints: 14713
2440.75/2446.95 c #Conflicts: 103000 | #Constraints: 15714
2440.75/2446.95 c INPROCESSING
2440.75/2446.95 c GARBAGE COLLECT
2440.75/2446.95 c rational objective 126
2725.55/2732.53 c #Conflicts: 104000 | #Constraints: 10293
2725.55/2732.53 c #Conflicts: 105000 | #Constraints: 11293
2725.55/2732.53 c #Conflicts: 106000 | #Constraints: 12293
2725.55/2732.53 c #Conflicts: 107000 | #Constraints: 13293
2725.55/2732.53 c #Conflicts: 108000 | #Constraints: 14293
2725.55/2732.53 c #Conflicts: 109000 | #Constraints: 15293
2725.55/2732.53 c #Conflicts: 110000 | #Constraints: 16293
2725.55/2732.53 c INPROCESSING
2725.55/2732.53 c GARBAGE COLLECT
2725.55/2732.53 c rational objective 126
3205.47/3213.80 c #Conflicts: 111000 | #Constraints: 10699
3205.47/3213.80 c #Conflicts: 112000 | #Constraints: 11699
3205.47/3213.80 c #Conflicts: 113000 | #Constraints: 12700
3205.47/3213.80 c #Conflicts: 114000 | #Constraints: 13701
3205.47/3213.80 c #Conflicts: 115000 | #Constraints: 14701
3205.47/3213.80 c #Conflicts: 116000 | #Constraints: 15701
3205.47/3213.80 c #Conflicts: 117000 | #Constraints: 16701
3205.47/3213.80 c INPROCESSING
3205.47/3213.80 c GARBAGE COLLECT
3205.47/3213.80 c rational objective 126
3600.09/3609.52 c #Conflicts: 118000 | #Constraints: 10908
3600.09/3609.52 c #Conflicts: 119000 | #Constraints: 11908
3600.09/3609.52 c #Conflicts: 120000 | #Constraints: 12908
3600.09/3609.52 c #Conflicts: 121000 | #Constraints: 13908
3600.09/3609.52 c #Conflicts: 122000 | #Constraints: 14908
3600.09/3609.52 c #Conflicts: 123000 | #Constraints: 15908
3600.09/3609.52 c cpu time 3551.8 s
3600.09/3609.52 c deterministic time 257765334246 2.58e+11
3600.09/3609.52 c optimization time 382.634 s
3600.09/3609.52 c total solve time 3168.89 s
3600.09/3609.52 c core-guided solve time 0 s
3600.09/3609.52 c propagation time 1889.02 s
3600.09/3609.52 c conflict analysis time 1014 s
3600.09/3609.52 c propagations 188843716
3600.09/3609.52 c resolve steps 566882
3600.09/3609.52 c decisions 26087750
3600.09/3609.52 c conflicts 123362
3600.09/3609.52 c restarts 328
3600.09/3609.52 c inprocessing phases 26
3600.09/3609.52 c garbage collections 26 ,( 100.00 )
3600.09/3609.52 c input clauses 1368 ,( 45.68 )
3600.09/3609.52 c input cardinalities 1368 ,( 45.68 )
3600.09/3609.52 c input general constraints 259 ,( 8.65 )
3600.09/3609.52 c input average constraint length 233.11
3600.09/3609.52 c input average constraint degree 49339.02
3600.09/3609.52 c learned clauses 2660 ,( 2.15 )
3600.09/3609.52 c learned cardinalities 255 ,( 0.21 )
3600.09/3609.52 c learned general constraints 120745 ,( 97.64 )
3600.09/3609.52 c learned average constraint length 18497.28
3600.09/3609.52 c learned average constraint degree 24111030332.57
3600.09/3609.52 c watched CF 32, 64, 128, Arb: 40859 , 0 , 0 , 0
3600.09/3609.52 c counting CF 32, 64, 128, Arb: 80146 , 0 , 0 , 0
3600.09/3609.52 c watched constraints 40859 ,( 33.77 )
3600.09/3609.52 c counting constraints 80145 ,( 66.23 )
3600.09/3609.52 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1620125 , 1204677 , 269253209 ,( 24447499 , 244805710 )
3600.09/3609.52 c gcd simplifications 2050
3600.09/3609.52 c detected cardinalities 6
3600.09/3609.52 c weakened non-implied lits 312995826
3600.09/3609.52 c weakened non-implying lits 365145
3600.09/3609.52 c original variables 175232
3600.09/3609.52 c clausal propagations 395044
3600.09/3609.52 c cardinality propagations 23149261
3600.09/3609.52 c watched propagations 1896506
3600.09/3609.52 c counting propagations 150251565
3600.09/3609.52 c watch lookups 15665051670
3600.09/3609.52 c watch backjump lookups 0
3600.09/3609.52 c watch checks 18840867126
3600.09/3609.52 c propagation checks 217636740781
3600.09/3609.52 c constraint additions 5192563626
3600.09/3609.52 c trail pops 214941212
3600.09/3609.52 c formula constraints 2994
3600.09/3609.52 c learned constraints 123333
3600.09/3609.52 c bound constraints 0
3600.09/3609.52 c core-guided constraints 0
3600.09/3609.52 c encountered formula constraints 414556
3600.09/3609.52 c encountered learned constraints 270016
3600.09/3609.52 c encountered bound constraints 0
3600.09/3609.52 c encountered core-guided constraints 0
3600.09/3609.52 c LP total time 824.053 s
3600.09/3609.52 c LP solve time 706.06 s
3600.09/3609.52 c LP constraints added 3270
3600.09/3609.52 c LP constraints removed 250
3600.09/3609.52 c LP pivots internal 126460
3600.09/3609.52 c LP pivots root 111904
3600.09/3609.52 c LP calls 46
3600.09/3609.52 c LP optimalities 10
3600.09/3609.52 c LP no pivot count 0
3600.09/3609.52 c LP infeasibilities 30
3600.09/3609.52 c LP valid Farkas constraints 29
3600.09/3609.52 c LP learned Farkas constraints 28
3600.09/3609.52 c LP basis resets 1
3600.09/3609.52 c LP cycling count 0
3600.09/3609.52 c LP singular count 0
3600.09/3609.52 c LP no primal count 0
3600.09/3609.52 c LP no farkas count 1
3600.09/3609.52 c LP other issue count 0
3600.09/3609.52 c LP Gomory cuts 270
3600.09/3609.52 c LP learned cuts 6
3600.09/3609.52 c LP deleted cuts 250
3600.09/3609.52 c LP encountered Gomory constraints 1
3600.09/3609.52 c LP encountered Farkas constraints 5067
3600.09/3609.52 c LP encountered learned Farkas constraints 576
3600.09/3609.52 c CG auxiliary variables introduced 1
3600.09/3609.52 c CG solutions found 0
3600.09/3609.52 c CG cores constructed 0
3600.09/3609.52 c CG core cardinality constraints returned 0
3600.09/3609.52 c CG unit cores 0
3600.09/3609.52 c CG single cores 0
3600.09/3609.52 c CG blocks removed during cardinality reduction 0
3600.09/3609.52 c CG first core best 0
3600.09/3609.52 c CG decision core best 0
3600.09/3609.52 c CG core reduction tie 0
3600.09/3609.52 c CG core degree average 0.00
3600.09/3609.52 c CG core slack average 0.00
3600.09/3609.52 c CG core upper bound improvements 0
3600.09/3609.52 c STR number of successful calls 0
3600.09/3609.52 c STR number of unsuccessful calls 0
3600.09/3609.52 c STR number of inconclusive calls 0
3600.09/3609.52 c STR number of successful attempts 0
3600.09/3609.52 c STR number of unsuccessful attempts 0
3600.09/3609.52 c STR number of inconclusive attempts 0
3600.09/3609.52 c STR average degree increase per successful call inf
3600.09/3609.52 c STR average degree increase per successful attempt inf
3600.09/3609.52 c STR total number of conflicts for successful attempts 0
3600.09/3609.52 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.52 c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.52 c STR average number of conflicts per successful attempt inf
3600.09/3609.52 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.52 c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.52 c AVG.sumWPerc 55.60
3600.09/3609.52 c bigint constraints 0
3600.09/3609.52 s UNKNOWN
3600.09/3609.52 c Program interrupted by user.
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: 63665 MiB (62704 MiB free)
memory of node 1: 64507 MiB (63925 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509287-1751521874/watcher-4509287-1751521874 -o /tmp/evaluation-result-4509287-1751521874/solver-4509287-1751521874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79436 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509287-1751521874.opb PROOFDIR/proof-4509287-1751521874
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 FSIZE limit: 102400000 KiB
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=79863, runsolver pid=79857
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.12 4.09 5/262 79874
/proc/meminfo: memFree=129597096/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=95144 memory=50528 CPUtime=0.08 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 7354 0 0 0 7 1 0 0 20 0 1 0 67865276 97427456 12632 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 23786 12632 2016 1147 0 11213 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 99336 KiB
Current children cumulated memory: 53600 KiB
[startup+0.205414 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129569656/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=100780 memory=58356 CPUtime=0.19 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 9740 0 0 0 17 2 0 0 20 0 1 0 67865276 103198720 14589 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 25195 14589 2016 1147 0 12622 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104972 KiB
Current children cumulated memory: 61428 KiB
[startup+0.305764 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129438272/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=160452 memory=113720 CPUtime=0.29 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 16913 0 0 0 25 4 0 0 20 0 1 0 67865276 164302848 28430 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 40113 28430 2304 1147 0 27540 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 164644 KiB
Current children cumulated memory: 116792 KiB
[startup+0.700205 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129317940/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=194584 memory=147920 CPUtime=0.67 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 30066 0 0 0 44 23 0 0 20 0 1 0 67865276 199254016 36980 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 48646 36980 2368 1147 0 36073 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 198776 KiB
Current children cumulated memory: 150992 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129227340/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=309924 memory=235984 CPUtime=1.47 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 48367 0 0 0 117 30 0 0 20 0 1 0 67865276 317362176 58996 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 77481 58996 2400 1147 0 64908 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 314116 KiB
Current children cumulated memory: 239056 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129074964/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=337400 memory=257572 CPUtime=3.08 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 52710 0 0 0 255 53 0 0 20 0 1 0 67865276 345497600 64393 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 84350 64393 2432 1147 0 71777 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 341592 KiB
Current children cumulated memory: 260644 KiB
[startup+6.30019 s]
/proc/loadavg: 4.09 4.12 4.09 5/271 79890
/proc/meminfo: memFree=128771020/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=368044 memory=293224 CPUtime=6.26 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 53965 0 0 0 556 70 0 0 20 0 1 0 67865276 376877056 73306 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 92011 73306 2432 1147 0 79438 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 372236 KiB
Current children cumulated memory: 296296 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.12 4.09 5/271 79890
/proc/meminfo: memFree=128236804/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=477372 memory=358900 CPUtime=12.65 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 61223 0 0 0 1179 86 0 0 20 0 1 0 67865276 488828928 89725 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 119343 89725 2432 1147 0 106770 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 481564 KiB
Current children cumulated memory: 361972 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/271 79891
/proc/meminfo: memFree=127137368/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=501108 memory=382708 CPUtime=25.41 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 67177 0 0 0 2428 113 0 0 20 0 1 0 67865276 513134592 95677 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 125277 95677 2432 1147 0 112704 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 505300 KiB
Current children cumulated memory: 385780 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.13 4.09 5/269 79891
/proc/meminfo: memFree=125102516/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=685516 memory=589496 CPUtime=50.94 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 92827 0 0 0 4930 164 0 0 20 0 1 0 67865276 701968384 147374 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 171379 147374 2432 1147 0 158806 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 689708 KiB
Current children cumulated memory: 592568 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/271 79895
/proc/meminfo: memFree=120944008/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=1098276 memory=949492 CPUtime=102.01 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 110298 0 0 0 10004 197 0 0 20 0 1 0 67865276 1124634624 237373 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 274569 237373 2432 1147 0 261996 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1102468 KiB
Current children cumulated memory: 952564 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 79897
/proc/meminfo: memFree=116844960/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=1550328 memory=1277124 CPUtime=161.84 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 135556 0 0 0 15964 220 0 0 20 0 1 0 67865276 1587535872 319281 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 387582 319281 2432 1147 0 375009 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1554520 KiB
Current children cumulated memory: 1280196 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 79902
/proc/meminfo: memFree=112178880/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=2129504 memory=1904424 CPUtime=221.67 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 270024 0 0 0 21754 413 0 0 20 0 1 0 67865276 2180612096 476106 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 532376 476106 2432 1147 0 519803 0
################
# More data... #
################
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22649076 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/276 80087
/proc/meminfo: memFree=1276308/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=26647004 memory=22650484 CPUtime=3273.79 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 6885023 0 0 0 322897 4482 0 0 20 0 1 0 67865276 27286532096 5662621 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6661751 5662621 2528 1147 0 6649178 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22653556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/276 80089
/proc/meminfo: memFree=1296584/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=26647004 memory=22650612 CPUtime=3333.63 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 6958890 0 0 0 328832 4531 0 0 20 0 1 0 67865276 27286532096 5662653 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6661751 5662653 2528 1147 0 6649178 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22653684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/275 80091
/proc/meminfo: memFree=1459744/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=26647004 memory=22650612 CPUtime=3393.46 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 7036301 0 0 0 334771 4575 0 0 20 0 1 0 67865276 27286532096 5662653 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6661751 5662653 2528 1147 0 6649178 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22653684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.46 4.25 4.15 5/275 80092
/proc/meminfo: memFree=1375504/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=26647004 memory=22650612 CPUtime=3453.29 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 7105434 0 0 0 340716 4613 0 0 20 0 1 0 67865276 27286532096 5662653 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6661751 5662653 2528 1147 0 6649178 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22653684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.22 4.14 5/275 80095
/proc/meminfo: memFree=1450572/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=26647004 memory=22650740 CPUtime=3513.13 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 7257062 0 0 0 346631 4682 0 0 20 0 1 0 67865276 27286532096 5662685 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6661751 5662685 2528 1147 0 6649178 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22653812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.20 4.14 5/275 80097
/proc/meminfo: memFree=1316964/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=26647004 memory=22650996 CPUtime=3572.97 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 7456360 0 0 0 352508 4789 0 0 20 0 1 0 67865276 27286532096 5662749 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6661751 5662749 2528 1147 0 6649178 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22654068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.12 4.18 4.14 5/274 80100
/proc/meminfo: memFree=1424340/131250000 swapFree=33010416/33010684
[pid=79863] ppid=79857 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/79863/stat : 79863 (run-opt-log.sh) S 79857 79863 79423 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 67865275 4292608 768 18446744073709551615 94792182927360 94792183821893 140736376496016 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94792184060944 94792184108688 94792198164480 140736376498465 140736376498660 140736376498660 140736376504262 0
/proc/79863/statm: 1048 768 704 219 0 110 0
[pid=79865] ppid=79863 vsize=26647004 memory=22650996 CPUtime=3600.09 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79863 79863 79423 0 -1 4194304 7628509 0 0 0 355179 4830 0 0 20 0 1 0 67865276 27286532096 5662749 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6661751 5662749 2528 1147 0 6649178 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 26651196 KiB
Current children cumulated memory: 22654068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 79863 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002345 s, system=0 s
[startup+3610.6 s]
# the end of solver process 79865 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3551.93 s, system=49.2507 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]*
/proc/loadavg: 4.12 4.18 4.14 5/273 80100
/proc/meminfo: memFree=1425816/131250000 swapFree=33010416/33010684
[pid=79865] ppid=79857 vsize=26587936 memory=22592244 CPUtime=3600.18 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79857 79863 79423 0 -1 4194304 7655455 0 2 0 355186 4832 0 0 20 0 1 0 67865276 27226046464 5648061 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 6646984 5648061 2592 1147 0 6634411 0
Current cumulated CPU time of completed processes: 0.002345 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 26587936 KiB
Current children cumulated memory: 22592244 KiB
[startup+3610 s]*
/proc/loadavg: 4.12 4.18 4.14 4/272 80100
/proc/meminfo: memFree=10404228/131250000 swapFree=33010416/33010684
[pid=79865] ppid=79857 vsize=18898772 memory=13487096 CPUtime=3600.57 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79857 79863 79423 0 -1 4194304 7669953 0 2 0 355192 4865 0 0 20 0 1 0 67865276 19352342528 3371774 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 4724693 3371774 2592 1147 0 4712120 0
Current cumulated CPU time of completed processes: 0.002345 s
Current children cumulated CPU time: 3600.57 s
Current children cumulated vsize: 18898772 KiB
Current children cumulated memory: 13487096 KiB
[startup+3610.4 s]
/proc/loadavg: 4.12 4.18 4.14 4/272 80100
/proc/meminfo: memFree=10404228/131250000 swapFree=33010416/33010684
[pid=79865] ppid=79857 vsize=18898772 memory=5794016 CPUtime=3600.97 cores=5,7
/proc/79865/stat : 79865 (roundingsat) R 79857 79863 79423 0 -1 4194304 7669953 0 2 0 355192 4905 0 0 20 0 1 0 67865276 19352342528 1448504 18446744073709551615 4227072 8923433 140722245842368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30785536 140722245851474 140722245851688 140722245851688 140722245857258 0
/proc/79865/statm: 4724693 1448504 2592 1147 0 4712120 0
Current cumulated CPU time of completed processes: 0.002345 s
Current children cumulated CPU time: 3600.97 s
Current children cumulated vsize: 18898772 KiB
Current children cumulated memory: 5794016 KiB
[startup+3610.5 s]*
/proc/loadavg: 4.12 4.18 4.14 4/271 80108
/proc/meminfo: memFree=30317780/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002345 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.6
CPU time (s): 3601.18
CPU user time (s): 3551.93
CPU system time (s): 49.2507
CPU usage (%): 99.7391
Max. virtual memory (cumulated for all children) (KiB): 26651196
Max. memory (cumulated for all children) (KiB): 22654068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.93
system time used= 49.2507
maximum resident set size= 22651252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7670175
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 55011568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 246
involuntary context switches= 5065
# summary of solver processes directly reported to runsolver:
# pid: 79863,79865
# total CPU time (s): 3601.18
# total CPU user time (s): 3551.93
# total CPU system time (s): 49.2507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45908 second user time and 17.2048 second system time
The end
Begin job on nodeC018 at 2025-07-03 07:51:14
IDJOB=4509287
IDBENCH=158606
IDSOLVER=3351
FILE ID=nodeC018/4509287-1751521874
RUNJOBID= nodeC018-1751518261-79436
SLURM_JOB_ID= 9598637
Free space on /tmp= 432880 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509287-1751521874/watcher-4509287-1751521874 -o /tmp/evaluation-result-4509287-1751521874/solver-4509287-1751521874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79436 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509287-1751521874.opb PROOFDIR/proof-4509287-1751521874
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1434517627
nodeC018 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 : 0xb00002a
cpu MHz : 3599.834
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3599.829
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 pti ibrs ibpb stibp 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 : 6999.66
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.148
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 pti ibrs ibpb stibp 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 : 6999.66
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.765
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3600.065
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3594.328
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3599.827
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 pti ibrs ibpb stibp 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 : 6999.66
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 : 3599.839
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 pti ibrs ibpb stibp 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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129670300 kB
MemAvailable: 129627132 kB
Buffers: 2128 kB
Cached: 721912 kB
SwapCached: 32 kB
Active: 605740 kB
Inactive: 305084 kB
Active(anon): 204540 kB
Inactive(anon): 288 kB
Active(file): 401200 kB
Inactive(file): 304796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29596 kB
Writeback: 16 kB
AnonPages: 190244 kB
Mapped: 109320 kB
Shmem: 18044 kB
KReclaimable: 179752 kB
Slab: 270200 kB
SReclaimable: 179752 kB
SUnreclaim: 90448 kB
KernelStack: 4192 kB
PageTables: 3008 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 475312 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 51200 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432888 MiB
End job on nodeC018 at 2025-07-03 08:51:25