0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
3.97/4.10 c #variables 887342 #constraints 892912
3.97/4.10 c objective is ce32
4.07/4.19 c initial watched CF 32, 64, 128, Arb: 32 , 0 , 0 , 0
4.07/4.19 c initial counting CF 32, 64, 128, Arb: 697489 , 0 , 0 , 0
4.07/4.19 c GLOBAL bounds - >= 0 @ 3.20863
4.98/5.04 c GLOBAL bounds - >= 0 @ 3.52732
9.35/9.49 c GLOBAL bounds - >= 0 @ 7.70399
10.25/10.35 c GLOBAL bounds - >= 0 @ 8.02222
175.06/175.50 c #Conflicts: 1000 | #Constraints: 893912
175.06/175.50 c #Conflicts: 2000 | #Constraints: 894912
175.06/175.50 c INPROCESSING
175.06/175.50 c #Conflicts: 3000 | #Constraints: 884353
175.06/175.50 c #Conflicts: 4000 | #Constraints: 885353
175.06/175.50 c INPROCESSING
175.06/175.50 c GARBAGE COLLECT
175.06/175.50 c #Conflicts: 5000 | #Constraints: 882365
175.06/175.50 c #Conflicts: 6000 | #Constraints: 883365
175.06/175.50 c INPROCESSING
175.06/175.50 c GARBAGE COLLECT
175.06/175.50 c #Conflicts: 7000 | #Constraints: 864756
175.06/175.50 c #Conflicts: 8000 | #Constraints: 865756
175.06/175.50 c #Conflicts: 9000 | #Constraints: 866756
175.06/175.50 c INPROCESSING
175.06/175.50 c GARBAGE COLLECT
175.06/175.50 c rational objective 1
297.67/298.45 c #Conflicts: 10000 | #Constraints: 862518
297.67/298.45 c #Conflicts: 11000 | #Constraints: 863518
297.67/298.45 c #Conflicts: 12000 | #Constraints: 864518
297.67/298.45 c INPROCESSING
297.67/298.45 c GARBAGE COLLECT
297.67/298.45 c #Conflicts: 13000 | #Constraints: 850610
297.67/298.45 c #Conflicts: 14000 | #Constraints: 851610
297.67/298.45 c #Conflicts: 15000 | #Constraints: 852610
297.67/298.45 c INPROCESSING
297.67/298.45 c GARBAGE COLLECT
297.67/298.45 c rational objective 1
481.44/482.63 c #Conflicts: 16000 | #Constraints: 847393
481.44/482.63 c #Conflicts: 17000 | #Constraints: 848393
481.44/482.63 c #Conflicts: 18000 | #Constraints: 849393
481.44/482.63 c INPROCESSING
481.44/482.63 c GARBAGE COLLECT
481.44/482.63 c rational objective 1
704.13/705.86 c #Conflicts: 19000 | #Constraints: 847043
704.13/705.86 c #Conflicts: 20000 | #Constraints: 848043
704.13/705.86 c #Conflicts: 21000 | #Constraints: 849043
704.13/705.86 c INPROCESSING
704.13/705.86 c GARBAGE COLLECT
704.13/705.86 c #Conflicts: 22000 | #Constraints: 841979
704.13/705.86 c #Conflicts: 23000 | #Constraints: 842979
704.13/705.86 c #Conflicts: 24000 | #Constraints: 843979
704.13/705.86 c #Conflicts: 25000 | #Constraints: 844979
704.13/705.86 c INPROCESSING
704.13/705.86 c GARBAGE COLLECT
704.13/705.86 c #Conflicts: 26000 | #Constraints: 840408
704.13/705.86 c #Conflicts: 27000 | #Constraints: 841408
704.13/705.86 c #Conflicts: 28000 | #Constraints: 842408
704.13/705.86 c #Conflicts: 29000 | #Constraints: 843408
704.13/705.86 c INPROCESSING
704.13/705.86 c GARBAGE COLLECT
704.13/705.86 c rational objective 1
791.71/793.61 c #Conflicts: 30000 | #Constraints: 837285
791.71/793.61 c #Conflicts: 31000 | #Constraints: 838285
791.71/793.61 c #Conflicts: 32000 | #Constraints: 839285
791.71/793.61 c #Conflicts: 33000 | #Constraints: 840285
791.71/793.61 c INPROCESSING
791.71/793.61 c GARBAGE COLLECT
791.71/793.61 c rational objective 1
2210.41/2215.67 c #Conflicts: 34000 | #Constraints: 832497
2210.41/2215.67 c #Conflicts: 35000 | #Constraints: 833497
2210.41/2215.67 c #Conflicts: 36000 | #Constraints: 834497
2210.41/2215.67 c #Conflicts: 37000 | #Constraints: 835497
2210.41/2215.67 c INPROCESSING
2210.41/2215.67 c GARBAGE COLLECT
2210.41/2215.67 c #Conflicts: 38000 | #Constraints: 831668
2210.41/2215.67 c #Conflicts: 39000 | #Constraints: 832668
2210.41/2215.67 c #Conflicts: 40000 | #Constraints: 833668
2210.41/2215.67 c #Conflicts: 41000 | #Constraints: 834668
2210.41/2215.67 c INPROCESSING
2210.41/2215.67 c GARBAGE COLLECT
2210.41/2215.67 c #Conflicts: 42000 | #Constraints: 829051
2210.41/2215.67 c #Conflicts: 43000 | #Constraints: 830051
2210.41/2215.67 c #Conflicts: 44000 | #Constraints: 831051
2210.41/2215.67 c #Conflicts: 45000 | #Constraints: 832051
2210.41/2215.67 c #Conflicts: 46000 | #Constraints: 833051
2210.41/2215.67 c INPROCESSING
2210.41/2215.67 c GARBAGE COLLECT
2210.41/2215.67 c #Conflicts: 47000 | #Constraints: 829406
2210.41/2215.67 c #Conflicts: 48000 | #Constraints: 830406
2210.41/2215.67 c #Conflicts: 49000 | #Constraints: 831406
2210.41/2215.67 c #Conflicts: 50000 | #Constraints: 832406
2210.41/2215.67 c #Conflicts: 51000 | #Constraints: 833406
2210.41/2215.67 c #Conflicts: 52000 | #Constraints: 834406
2210.41/2215.67 c #Conflicts: 53000 | #Constraints: 835406
2210.41/2215.67 c #Conflicts: 54000 | #Constraints: 836406
2210.41/2215.67 c #Conflicts: 55000 | #Constraints: 837406
2210.41/2215.67 c #Conflicts: 56000 | #Constraints: 838406
2210.41/2215.67 c #Conflicts: 57000 | #Constraints: 839406
2210.41/2215.67 c #Conflicts: 58000 | #Constraints: 840406
2210.41/2215.67 c #Conflicts: 59000 | #Constraints: 841406
2210.41/2215.67 c #Conflicts: 60000 | #Constraints: 842406
2210.41/2215.67 c #Conflicts: 61000 | #Constraints: 843406
2210.41/2215.67 c #Conflicts: 62000 | #Constraints: 844406
2210.41/2215.67 c #Conflicts: 63000 | #Constraints: 845406
2210.41/2215.67 c #Conflicts: 64000 | #Constraints: 846406
2210.41/2215.67 c INPROCESSING
2210.41/2215.67 c GARBAGE COLLECT
2210.41/2215.67 c rational objective 1
2395.78/2401.46 c #Conflicts: 65000 | #Constraints: 832435
2395.78/2401.46 c #Conflicts: 66000 | #Constraints: 833435
2395.78/2401.46 c #Conflicts: 67000 | #Constraints: 834435
2395.78/2401.46 c #Conflicts: 68000 | #Constraints: 835435
2395.78/2401.46 c #Conflicts: 69000 | #Constraints: 836435
2395.78/2401.46 c #Conflicts: 70000 | #Constraints: 837435
2395.78/2401.46 c INPROCESSING
2395.78/2401.46 c GARBAGE COLLECT
2395.78/2401.46 c rational objective 1
2571.98/2578.02 c #Conflicts: 71000 | #Constraints: 827842
2571.98/2578.02 c #Conflicts: 72000 | #Constraints: 828842
2571.98/2578.02 c #Conflicts: 73000 | #Constraints: 829842
2571.98/2578.02 c #Conflicts: 74000 | #Constraints: 830842
2571.98/2578.02 c #Conflicts: 75000 | #Constraints: 831842
2571.98/2578.02 c #Conflicts: 76000 | #Constraints: 832842
2571.98/2578.02 c INPROCESSING
2571.98/2578.02 c GARBAGE COLLECT
2571.98/2578.02 c rational objective 1
3600.02/3608.50 c #Conflicts: 77000 | #Constraints: 824526
3600.02/3608.50 c #Conflicts: 78000 | #Constraints: 825526
3600.02/3608.50 c #Conflicts: 79000 | #Constraints: 826526
3600.02/3608.50 c #Conflicts: 80000 | #Constraints: 827526
3600.02/3608.50 c #Conflicts: 81000 | #Constraints: 828526
3600.02/3608.50 c #Conflicts: 82000 | #Constraints: 829526
3600.02/3608.50 c #Conflicts: 83000 | #Constraints: 830526
3600.02/3608.50 c #Conflicts: 84000 | #Constraints: 831526
3600.02/3608.50 c #Conflicts: 85000 | #Constraints: 832526
3600.02/3608.50 c #Conflicts: 86000 | #Constraints: 833526
3600.02/3608.50 c #Conflicts: 87000 | #Constraints: 834526
3600.02/3608.50 c #Conflicts: 88000 | #Constraints: 835526
3600.02/3608.50 c cpu time 3587.05 s
3600.02/3608.50 c deterministic time 51620543702 5.16e+10
3600.02/3608.50 c optimization time 1023.05 s
3600.02/3608.50 c total solve time 2560.86 s
3600.02/3608.50 c core-guided solve time 0 s
3600.02/3608.50 c propagation time 575.478 s
3600.02/3608.50 c conflict analysis time 2716.82 s
3600.02/3608.50 c propagations 1532533159
3600.02/3608.50 c resolve steps 30728272
3600.02/3608.50 c decisions 1715055
3600.02/3608.50 c conflicts 88417
3600.02/3608.50 c restarts 253
3600.02/3608.50 c inprocessing phases 17
3600.02/3608.50 c garbage collections 16 ,( 94.12 )
3600.02/3608.50 c input clauses 195361 ,( 21.88 )
3600.02/3608.50 c input cardinalities 32 ,( 0.00 )
3600.02/3608.50 c input general constraints 697520 ,( 78.12 )
3600.02/3608.50 c input average constraint length 4.43
3600.02/3608.50 c input average constraint degree 2.57
3600.02/3608.50 c learned clauses 51003 ,( 57.67 )
3600.02/3608.50 c learned cardinalities 13686 ,( 15.47 )
3600.02/3608.50 c learned general constraints 23753 ,( 26.86 )
3600.02/3608.50 c learned average constraint length 6717.81
3600.02/3608.50 c learned average constraint degree 68371317.42
3600.02/3608.50 c watched CF 32, 64, 128, Arb: 17250 , 0 , 0 , 0
3600.02/3608.50 c counting CF 32, 64, 128, Arb: 704024 , 0 , 0 , 0
3600.02/3608.50 c watched constraints 17250 ,( 2.39 )
3600.02/3608.50 c counting constraints 704023 ,( 97.61 )
3600.02/3608.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 420367464 , 34880896 , 2250976300 ,( 37422101 , 2213554199 )
3600.02/3608.50 c gcd simplifications 3476
3600.02/3608.50 c detected cardinalities 856
3600.02/3608.50 c weakened non-implied lits 4907932
3600.02/3608.50 c weakened non-implying lits 359844
3600.02/3608.50 c original variables 887342
3600.02/3608.50 c clausal propagations 364034816
3600.02/3608.50 c cardinality propagations 4108679
3600.02/3608.50 c watched propagations 785892
3600.02/3608.50 c counting propagations 1163160111
3600.02/3608.50 c watch lookups 7411170871
3600.02/3608.50 c watch backjump lookups 0
3600.02/3608.50 c watch checks 33388766695
3600.02/3608.50 c propagation checks 6734993129
3600.02/3608.50 c constraint additions 1017747559
3600.02/3608.50 c trail pops 1533467580
3600.02/3608.50 c formula constraints 892912
3600.02/3608.50 c learned constraints 88416
3600.02/3608.50 c bound constraints 0
3600.02/3608.50 c core-guided constraints 0
3600.02/3608.50 c encountered formula constraints 30486421
3600.02/3608.50 c encountered learned constraints 330265
3600.02/3608.50 c encountered bound constraints 0
3600.02/3608.50 c encountered core-guided constraints 0
3600.02/3608.50 c LP total time 427.388 s
3600.02/3608.50 c LP solve time 387.56 s
3600.02/3608.50 c LP constraints added 893285
3600.02/3608.50 c LP constraints removed 329
3600.02/3608.50 c LP pivots internal 89757
3600.02/3608.50 c LP pivots root 59896
3600.02/3608.50 c LP calls 32
3600.02/3608.50 c LP optimalities 27
3600.02/3608.50 c LP no pivot count 0
3600.02/3608.50 c LP infeasibilities 0
3600.02/3608.50 c LP valid Farkas constraints 0
3600.02/3608.50 c LP learned Farkas constraints 0
3600.02/3608.50 c LP basis resets 0
3600.02/3608.50 c LP cycling count 0
3600.02/3608.50 c LP singular count 0
3600.02/3608.50 c LP no primal count 0
3600.02/3608.50 c LP no farkas count 0
3600.02/3608.50 c LP other issue count 0
3600.02/3608.50 c LP Gomory cuts 26
3600.02/3608.50 c LP learned cuts 347
3600.02/3608.50 c LP deleted cuts 329
3600.02/3608.50 c LP encountered Gomory constraints 3
3600.02/3608.50 c LP encountered Farkas constraints 0
3600.02/3608.50 c LP encountered learned Farkas constraints 0
3600.02/3608.50 c CG auxiliary variables introduced 2
3600.02/3608.50 c CG solutions found 0
3600.02/3608.50 c CG cores constructed 1
3600.02/3608.50 c CG core cardinality constraints returned 0
3600.02/3608.50 c CG unit cores 0
3600.02/3608.50 c CG single cores 0
3600.02/3608.50 c CG blocks removed during cardinality reduction 0
3600.02/3608.50 c CG first core best 0
3600.02/3608.50 c CG decision core best 0
3600.02/3608.50 c CG core reduction tie 0
3600.02/3608.50 c CG core degree average 0.00
3600.02/3608.50 c CG core slack average 0.00
3600.02/3608.50 c CG core upper bound improvements 0
3600.02/3608.50 c STR number of successful calls 0
3600.02/3608.50 c STR number of unsuccessful calls 0
3600.02/3608.50 c STR number of inconclusive calls 0
3600.02/3608.50 c STR number of successful attempts 0
3600.02/3608.50 c STR number of unsuccessful attempts 0
3600.02/3608.50 c STR number of inconclusive attempts 0
3600.02/3608.50 c STR average degree increase per successful call inf
3600.02/3608.50 c STR average degree increase per successful attempt inf
3600.02/3608.50 c STR total number of conflicts for successful attempts 0
3600.02/3608.50 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.50 c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.50 c STR average number of conflicts per successful attempt inf
3600.02/3608.50 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.50 c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.50 c AVG.sumWPerc 97.58
3600.02/3608.50 c bigint constraints 0
3600.02/3608.50 s UNKNOWN
3600.02/3608.50 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 (56932 MiB free)
memory of node 1: 64507 MiB (45290 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524160-1751610897/watcher-4524160-1751610897 -o /tmp/evaluation-result-4524160-1751610897/solver-4524160-1751610897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84772 --watchdog 3760 run-opt.sh HOME/instance-4524160-1751610897.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86037, runsolver pid=86034
[startup+0.100061 s]*
/proc/loadavg: 4.06 4.09 4.09 5/268 86039
/proc/meminfo: memFree=104529172/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=209004 memory=164344 CPUtime=0.08 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 6837 0 0 0 5 3 0 0 20 0 1 0 76768590 214020096 41086 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 52251 41086 1952 1147 0 39678 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 213196 KiB
Current children cumulated memory: 167288 KiB
[startup+0.205544 s]*
/proc/loadavg: 4.06 4.09 4.09 5/268 86039
/proc/meminfo: memFree=104524068/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=213024 memory=170312 CPUtime=0.19 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 8809 0 0 0 14 5 0 0 20 0 1 0 76768590 218136576 42578 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 53256 42578 1952 1147 0 40683 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 217216 KiB
Current children cumulated memory: 173256 KiB
[startup+0.305421 s]*
/proc/loadavg: 4.06 4.09 4.09 5/268 86039
/proc/meminfo: memFree=104517012/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=220192 memory=176672 CPUtime=0.28 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 11055 0 0 0 20 8 0 0 20 0 1 0 76768590 225476608 44168 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 55048 44168 1952 1147 0 42475 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 224384 KiB
Current children cumulated memory: 179616 KiB
[startup+0.700155 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 86039
/proc/meminfo: memFree=104509452/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=244096 memory=198176 CPUtime=0.68 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 15905 0 0 0 48 20 0 0 20 0 1 0 76768590 249954304 49544 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 61024 49544 1952 1147 0 48451 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 248288 KiB
Current children cumulated memory: 201120 KiB
[startup+1.50016 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 86039
/proc/meminfo: memFree=104479580/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=297140 memory=243424 CPUtime=1.47 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 22616 0 0 0 108 39 0 0 20 0 1 0 76768590 304271360 60856 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 74285 60856 1952 1147 0 61712 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 301332 KiB
Current children cumulated memory: 246368 KiB
[startup+3.10533 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 86039
/proc/meminfo: memFree=104066776/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=659936 memory=594636 CPUtime=3.08 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 50696 0 0 0 232 76 0 0 20 0 1 0 76768590 675774464 148659 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 164984 148659 2304 1147 0 152411 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 664128 KiB
Current children cumulated memory: 597580 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 86039
/proc/meminfo: memFree=103017800/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=2154840 memory=1760540 CPUtime=6.26 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 119525 0 0 0 455 171 0 0 20 0 1 0 76768590 2206556160 440135 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 538710 440135 2400 1147 0 526137 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2159032 KiB
Current children cumulated memory: 1763484 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 86039
/proc/meminfo: memFree=102761620/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=2336144 memory=1922684 CPUtime=12.65 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 129016 0 0 0 1035 230 0 0 20 0 1 0 76768590 2392211456 480671 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 584036 480671 2432 1147 0 571463 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2340336 KiB
Current children cumulated memory: 1925628 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 86039
/proc/meminfo: memFree=102727860/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=2400096 memory=1954152 CPUtime=25.42 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 129922 0 0 0 2306 236 0 0 20 0 1 0 76768590 2457698304 488538 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 600024 488538 2432 1147 0 587451 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2404288 KiB
Current children cumulated memory: 1957096 KiB
[startup+51.1052 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 86040
/proc/meminfo: memFree=102506224/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=2652856 memory=2160788 CPUtime=50.96 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 159700 0 0 0 4802 294 0 0 20 0 1 0 76768590 2716524544 540197 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 663214 540197 2432 1147 0 650641 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2657048 KiB
Current children cumulated memory: 2163732 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 86042
/proc/meminfo: memFree=102427256/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=2734244 memory=2199780 CPUtime=102.04 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 162366 0 0 0 9885 319 0 0 20 0 1 0 76768590 2799865856 549945 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 683561 549945 2432 1147 0 670988 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2738436 KiB
Current children cumulated memory: 2202724 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 86044
/proc/meminfo: memFree=102424176/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=2734244 memory=2205924 CPUtime=161.89 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 163122 0 0 0 15855 334 0 0 20 0 1 0 76768590 2799865856 551481 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 683561 551481 2432 1147 0 670988 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2738436 KiB
Current children cumulated memory: 2208868 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 86046
/proc/meminfo: memFree=102323532/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=2889604 memory=2294336 CPUtime=221.75 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 168663 0 0 0 21817 358 0 0 20 0 1 0 76768590 2958954496 573584 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 722401 573584 2464 1147 0 709828 0
################
# More data... #
################
/proc/86039/statm: 984879 812012 2464 1147 0 972306 0
Current children cumulated CPU time: 3095.1 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3250992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 86246
/proc/meminfo: memFree=101452748/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3248048 CPUtime=3154.97 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 236939 0 0 0 314204 1293 0 0 20 0 1 0 76768590 4034064384 812012 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 812012 2464 1147 0 972306 0
Current children cumulated CPU time: 3154.97 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3250992 KiB
[startup+3222.3 s]
/proc/loadavg: 3.65 3.97 4.05 4/261 86277
/proc/meminfo: memFree=101738556/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3248048 CPUtime=3214.83 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 236980 0 0 0 320190 1293 0 0 20 0 1 0 76768590 4034064384 812012 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 812012 2464 1147 0 972306 0
Current children cumulated CPU time: 3214.83 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3250992 KiB
[startup+3282.3 s]
/proc/loadavg: 3.24 3.79 3.98 4/260 86279
/proc/meminfo: memFree=101706536/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3248048 CPUtime=3274.67 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 237220 0 0 0 326174 1293 0 0 20 0 1 0 76768590 4034064384 812012 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 812012 2464 1147 0 972306 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3250992 KiB
[startup+3342.3 s]
/proc/loadavg: 3.20 3.68 3.93 4/260 86281
/proc/meminfo: memFree=101581700/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3248048 CPUtime=3334.51 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 237617 0 0 0 332158 1293 0 0 20 0 1 0 76768590 4034064384 812012 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 812012 2464 1147 0 972306 0
Current children cumulated CPU time: 3334.51 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3250992 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.57 3.87 4/261 86286
/proc/meminfo: memFree=101570032/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3276692 CPUtime=3394.36 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 237638 0 0 0 338141 1295 0 0 20 0 1 0 76768590 4034064384 819173 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 819173 2464 1147 0 972306 0
Current children cumulated CPU time: 3394.36 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3279636 KiB
[startup+3462.3 s]
/proc/loadavg: 3.10 3.48 3.82 4/260 86292
/proc/meminfo: memFree=101501264/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3326996 CPUtime=3454.2 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 238276 0 0 0 344124 1296 0 0 20 0 1 0 76768590 4034064384 831749 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 831749 2464 1147 0 972306 0
Current children cumulated CPU time: 3454.2 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3329940 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.42 3.78 4/260 86294
/proc/meminfo: memFree=101338820/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3356692 CPUtime=3514.04 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 238339 0 0 0 350107 1297 0 0 20 0 1 0 76768590 4034064384 839173 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 839173 2464 1147 0 972306 0
Current children cumulated CPU time: 3514.04 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3359636 KiB
[startup+3582.3 s]
/proc/loadavg: 2.70 3.26 3.70 3/253 86327
/proc/meminfo: memFree=101553724/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3414036 CPUtime=3573.89 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 238374 0 0 0 356091 1298 0 0 20 0 1 0 76768590 4034064384 853509 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 853509 2464 1147 0 972306 0
Current children cumulated CPU time: 3573.89 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3416980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 2.54 3.17 3.66 3/254 86330
/proc/meminfo: memFree=101553468/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3423508 CPUtime=3600.02 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 238463 0 0 0 358704 1298 0 0 20 0 1 0 76768590 4034064384 855877 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 855877 2464 1147 0 972306 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3426452 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.5 s]
# the end of solver process 86037 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002145 s
Sleeping 2 seconds
[startup+3608.59 s]
# the end of solver process 86039 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3587.13 s, system=12.9991 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+3608.5 s]
/proc/loadavg: 2.54 3.17 3.66 3/254 86330
/proc/meminfo: memFree=101553468/131249988 swapFree=33010160/33010684
[pid=86037] ppid=86034 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86037/stat : 86037 (run-opt.sh) S 86034 86037 84760 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 76768589 4292608 736 18446744073709551615 94698255642624 94698256537157 140722128882160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94698256776208 94698256823952 94698256990208 140722128886125 140722128886248 140722128886248 140722128891850 0
/proc/86037/statm: 1048 736 672 219 0 110 0
[pid=86039] ppid=86037 vsize=3939516 memory=3423508 CPUtime=3600.02 cores=1,3
/proc/86039/stat : 86039 (roundingsat) R 86037 86037 84760 0 -1 4194304 238463 0 0 0 358704 1298 0 0 20 0 1 0 76768590 4034064384 855877 18446744073709551615 4227072 8923433 140734686092240 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20242432 140734686099874 140734686100008 140734686100008 140734686105578 0
/proc/86039/statm: 984879 855877 2464 1147 0 972306 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3943708 KiB
Current children cumulated memory: 3426452 KiB
Child status: 2
Real time (s): 3608.59
CPU time (s): 3600.13
CPU user time (s): 3587.13
CPU system time (s): 12.9991
CPU usage (%): 99.7655
Max. virtual memory (cumulated for all children) (KiB): 4049724
Max. memory (cumulated for all children) (KiB): 3426452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.13
system time used= 12.9991
maximum resident set size= 3423764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 181
involuntary context switches= 2022
# summary of solver processes directly reported to runsolver:
# pid: 86037,86039
# total CPU time (s): 3600.13
# total CPU user time (s): 3587.13
# total CPU system time (s): 12.9991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26714 second user time and 16.1531 second system time
The end
Begin job on nodeC034 at 2025-07-04 08:34:57
IDJOB=4524160
IDBENCH=180565
IDSOLVER=3350
FILE ID=nodeC034/4524160-1751610897
RUNJOBID= nodeC034-1751603608-84772
SLURM_JOB_ID= 9598888
Free space on /tmp= 430732 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-FoolSolitaire-table-2-0_c24.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4524160-1751610897/watcher-4524160-1751610897 -o /tmp/evaluation-result-4524160-1751610897/solver-4524160-1751610897 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84772 --watchdog 3760 run-opt.sh HOME/instance-4524160-1751610897.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2e656679a8d40db5005d825083b376ef
RANDOM SEED=1578885986
nodeC034 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.757
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.53
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 : 3598.684
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.53
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 : 3582.894
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.53
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.742
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.53
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 : 3599.763
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.53
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 : 3599.695
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.162
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.53
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 : 3597.619
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 104675592 kB
MemAvailable: 128374892 kB
Buffers: 2128 kB
Cached: 24437068 kB
SwapCached: 36 kB
Active: 1875076 kB
Inactive: 23962448 kB
Active(anon): 1412192 kB
Inactive(anon): 4208 kB
Active(file): 462884 kB
Inactive(file): 23958240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 51372 kB
Writeback: 0 kB
AnonPages: 1397632 kB
Mapped: 118212 kB
Shmem: 18068 kB
KReclaimable: 234432 kB
Slab: 327872 kB
SReclaimable: 234432 kB
SUnreclaim: 93440 kB
KernelStack: 4304 kB
PageTables: 6016 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1916696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 745472 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430744 MiB
End job on nodeC034 at 2025-07-04 09:35:06