0.00/0.07 c RoundingSat 2
0.00/0.07 c branch pb25
0.00/0.07 c commit 63f22ad
0.23/0.37 c #variables 163584 #constraints 2812
0.23/0.37 c objective is ce32
0.23/0.39 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.23/0.39 c initial counting CF 32, 64, 128, Arb: 259 , 0 , 0 , 0
0.23/0.39 c GLOBAL bounds - >= 0 @ 0.262804
0.42/0.55 c GLOBAL bounds - >= 0 @ 0.31935
0.61/0.71 c GLOBAL bounds - >= 115 @ 0.37787
241.77/242.59 c #Conflicts: 1000 | #Constraints: 3812
241.77/242.59 c #Conflicts: 2000 | #Constraints: 4812
241.77/242.59 c INPROCESSING
241.77/242.59 c GARBAGE COLLECT
241.77/242.59 c #Conflicts: 3000 | #Constraints: 4833
241.77/242.59 c #Conflicts: 4000 | #Constraints: 5833
241.77/242.59 c INPROCESSING
241.77/242.59 c GARBAGE COLLECT
241.77/242.59 c #Conflicts: 5000 | #Constraints: 5244
241.77/242.59 c #Conflicts: 6000 | #Constraints: 6244
241.77/242.59 c INPROCESSING
241.77/242.59 c GARBAGE COLLECT
241.77/242.59 c #Conflicts: 7000 | #Constraints: 5251
241.77/242.59 c #Conflicts: 8000 | #Constraints: 6252
241.77/242.59 c #Conflicts: 9000 | #Constraints: 7253
241.77/242.59 c INPROCESSING
241.77/242.59 c GARBAGE COLLECT
241.77/242.59 c rational objective 115
480.66/482.03 c #Conflicts: 10000 | #Constraints: 5998
480.66/482.03 c #Conflicts: 11000 | #Constraints: 6998
480.66/482.03 c #Conflicts: 12000 | #Constraints: 7998
480.66/482.03 c INPROCESSING
480.66/482.03 c GARBAGE COLLECT
480.66/482.03 c #Conflicts: 13000 | #Constraints: 6420
480.66/482.03 c #Conflicts: 14000 | #Constraints: 7421
480.66/482.03 c #Conflicts: 15000 | #Constraints: 8421
480.66/482.03 c INPROCESSING
480.66/482.03 c GARBAGE COLLECT
480.66/482.03 c #Conflicts: 16000 | #Constraints: 6633
480.66/482.03 c #Conflicts: 17000 | #Constraints: 7634
480.66/482.03 c #Conflicts: 18000 | #Constraints: 8634
480.66/482.03 c INPROCESSING
480.66/482.03 c GARBAGE COLLECT
480.66/482.03 c rational objective 115
575.30/576.94 c #Conflicts: 19000 | #Constraints: 6683
575.30/576.94 c #Conflicts: 20000 | #Constraints: 7684
575.30/576.94 c #Conflicts: 21000 | #Constraints: 8684
575.30/576.94 c INPROCESSING
575.30/576.94 c GARBAGE COLLECT
575.30/576.94 c rational objective 115
633.83/635.67 c #Conflicts: 22000 | #Constraints: 6498
633.83/635.67 c #Conflicts: 23000 | #Constraints: 7499
633.83/635.67 c #Conflicts: 24000 | #Constraints: 8499
633.83/635.67 c #Conflicts: 25000 | #Constraints: 9499
633.83/635.67 c INPROCESSING
633.83/635.67 c GARBAGE COLLECT
633.83/635.67 c rational objective 115
662.35/664.29 c #Conflicts: 26000 | #Constraints: 7098
662.35/664.29 c #Conflicts: 27000 | #Constraints: 8098
662.35/664.29 c #Conflicts: 28000 | #Constraints: 9098
662.35/664.29 c #Conflicts: 29000 | #Constraints: 10098
662.35/664.29 c INPROCESSING
662.35/664.29 c GARBAGE COLLECT
662.35/664.29 c rational objective 115
996.40/999.22 c #Conflicts: 30000 | #Constraints: 7494
996.40/999.22 c #Conflicts: 31000 | #Constraints: 8494
996.40/999.22 c #Conflicts: 32000 | #Constraints: 9494
996.40/999.22 c #Conflicts: 33000 | #Constraints: 10494
996.40/999.22 c INPROCESSING
996.40/999.22 c GARBAGE COLLECT
996.40/999.22 c #Conflicts: 34000 | #Constraints: 7678
996.40/999.22 c #Conflicts: 35000 | #Constraints: 8678
996.40/999.22 c #Conflicts: 36000 | #Constraints: 9678
996.40/999.22 c #Conflicts: 37000 | #Constraints: 10686
996.40/999.22 c INPROCESSING
996.40/999.22 c GARBAGE COLLECT
996.40/999.22 c #Conflicts: 38000 | #Constraints: 7673
996.40/999.22 c #Conflicts: 39000 | #Constraints: 8676
996.40/999.22 c #Conflicts: 40000 | #Constraints: 9701
996.40/999.22 c #Conflicts: 41000 | #Constraints: 10708
996.40/999.22 c INPROCESSING
996.40/999.22 c GARBAGE COLLECT
996.40/999.22 c rational objective 115
1486.30/1490.66 c #Conflicts: 42000 | #Constraints: 7529
1486.30/1490.66 c #Conflicts: 43000 | #Constraints: 8529
1486.30/1490.66 c #Conflicts: 44000 | #Constraints: 9529
1486.30/1490.66 c #Conflicts: 45000 | #Constraints: 10530
1486.30/1490.66 c #Conflicts: 46000 | #Constraints: 11531
1486.30/1490.66 c INPROCESSING
1486.30/1490.66 c GARBAGE COLLECT
1486.30/1490.66 c #Conflicts: 47000 | #Constraints: 8084
1486.30/1490.66 c #Conflicts: 48000 | #Constraints: 9084
1486.30/1490.66 c #Conflicts: 49000 | #Constraints: 10085
1486.30/1490.66 c #Conflicts: 50000 | #Constraints: 11085
1486.30/1490.66 c #Conflicts: 51000 | #Constraints: 12086
1486.30/1490.66 c INPROCESSING
1486.30/1490.66 c GARBAGE COLLECT
1486.30/1490.66 c #Conflicts: 52000 | #Constraints: 8465
1486.30/1490.66 c #Conflicts: 53000 | #Constraints: 9465
1486.30/1490.66 c #Conflicts: 54000 | #Constraints: 10466
1486.30/1490.66 c #Conflicts: 55000 | #Constraints: 11467
1486.30/1490.66 c #Conflicts: 56000 | #Constraints: 12468
1486.30/1490.66 c INPROCESSING
1486.30/1490.66 c GARBAGE COLLECT
1486.30/1490.66 c #Conflicts: 57000 | #Constraints: 8658
1486.30/1490.66 c #Conflicts: 58000 | #Constraints: 9658
1486.30/1490.66 c #Conflicts: 59000 | #Constraints: 10658
1486.30/1490.66 c #Conflicts: 60000 | #Constraints: 11658
1486.30/1490.66 c #Conflicts: 61000 | #Constraints: 12659
1486.30/1490.66 c INPROCESSING
1486.30/1490.66 c GARBAGE COLLECT
1486.30/1490.66 c #Conflicts: 62000 | #Constraints: 8654
1486.30/1490.66 c #Conflicts: 63000 | #Constraints: 9654
1486.30/1490.66 c #Conflicts: 64000 | #Constraints: 10655
1486.30/1490.66 c #Conflicts: 65000 | #Constraints: 11656
1486.30/1490.66 c #Conflicts: 66000 | #Constraints: 12656
1486.30/1490.66 c INPROCESSING
1486.30/1490.66 c GARBAGE COLLECT
1486.30/1490.66 c rational objective 115
1946.80/1952.58 c #Conflicts: 67000 | #Constraints: 8493
1946.80/1952.58 c #Conflicts: 68000 | #Constraints: 9493
1946.80/1952.58 c #Conflicts: 69000 | #Constraints: 10494
1946.80/1952.58 c #Conflicts: 70000 | #Constraints: 11494
1946.80/1952.58 c #Conflicts: 71000 | #Constraints: 12495
1946.80/1952.58 c #Conflicts: 72000 | #Constraints: 13495
1946.80/1952.58 c INPROCESSING
1946.80/1952.58 c GARBAGE COLLECT
1946.80/1952.58 c #Conflicts: 73000 | #Constraints: 9082
1946.80/1952.58 c #Conflicts: 74000 | #Constraints: 10082
1946.80/1952.58 c #Conflicts: 75000 | #Constraints: 11082
1946.80/1952.58 c #Conflicts: 76000 | #Constraints: 12082
1946.80/1952.58 c #Conflicts: 77000 | #Constraints: 13082
1946.80/1952.58 c #Conflicts: 78000 | #Constraints: 14082
1946.80/1952.58 c INPROCESSING
1946.80/1952.58 c GARBAGE COLLECT
1946.80/1952.58 c rational objective 115
2314.37/2321.22 c #Conflicts: 79000 | #Constraints: 9563
2314.37/2321.22 c #Conflicts: 80000 | #Constraints: 10564
2314.37/2321.22 c #Conflicts: 81000 | #Constraints: 11564
2314.37/2321.22 c #Conflicts: 82000 | #Constraints: 12565
2314.37/2321.22 c #Conflicts: 83000 | #Constraints: 13566
2314.37/2321.22 c #Conflicts: 84000 | #Constraints: 14566
2314.37/2321.22 c INPROCESSING
2314.37/2321.22 c GARBAGE COLLECT
2314.37/2321.22 c rational objective 115
2962.89/2971.53 c #Conflicts: 85000 | #Constraints: 9739
2962.89/2971.53 c #Conflicts: 86000 | #Constraints: 10739
2962.89/2971.53 c #Conflicts: 87000 | #Constraints: 11739
2962.89/2971.53 c #Conflicts: 88000 | #Constraints: 12740
2962.89/2971.53 c #Conflicts: 89000 | #Constraints: 13743
2962.89/2971.53 c #Conflicts: 90000 | #Constraints: 14744
2962.89/2971.53 c INPROCESSING
2962.89/2971.53 c GARBAGE COLLECT
2962.89/2971.53 c #Conflicts: 91000 | #Constraints: 9722
2962.89/2971.53 c #Conflicts: 92000 | #Constraints: 10723
2962.89/2971.53 c #Conflicts: 93000 | #Constraints: 11723
2962.89/2971.53 c #Conflicts: 94000 | #Constraints: 12724
2962.89/2971.53 c #Conflicts: 95000 | #Constraints: 13725
2962.89/2971.53 c #Conflicts: 96000 | #Constraints: 14725
2962.89/2971.53 c INPROCESSING
2962.89/2971.53 c GARBAGE COLLECT
2962.89/2971.53 c rational objective 115
3312.38/3321.92 c #Conflicts: 97000 | #Constraints: 9531
3312.38/3321.92 c #Conflicts: 98000 | #Constraints: 10532
3312.38/3321.92 c #Conflicts: 99000 | #Constraints: 11532
3312.38/3321.92 c #Conflicts: 100000 | #Constraints: 12533
3312.38/3321.92 c #Conflicts: 101000 | #Constraints: 13533
3312.38/3321.92 c #Conflicts: 102000 | #Constraints: 14533
3312.38/3321.92 c #Conflicts: 103000 | #Constraints: 15533
3312.38/3321.92 c INPROCESSING
3312.38/3321.92 c GARBAGE COLLECT
3312.38/3321.92 c rational objective 115
3600.02/3610.30 c #Conflicts: 104000 | #Constraints: 10104
3600.02/3610.30 c #Conflicts: 105000 | #Constraints: 11104
3600.02/3610.30 c #Conflicts: 106000 | #Constraints: 12104
3600.02/3610.30 c #Conflicts: 107000 | #Constraints: 13104
3600.02/3610.30 c #Conflicts: 108000 | #Constraints: 14104
3600.02/3610.30 c cpu time 3574.62 s
3600.02/3610.30 c deterministic time 207397604876 2.07e+11
3600.02/3610.30 c optimization time 279.054 s
3600.02/3610.30 c total solve time 3295.32 s
3600.02/3610.30 c core-guided solve time 0 s
3600.02/3610.30 c propagation time 1851.96 s
3600.02/3610.30 c conflict analysis time 1063.59 s
3600.02/3610.30 c propagations 329481837
3600.02/3610.30 c resolve steps 426030
3600.02/3610.30 c decisions 19445896
3600.02/3610.30 c conflicts 108389
3600.02/3610.30 c restarts 284
3600.02/3610.30 c inprocessing phases 24
3600.02/3610.30 c garbage collections 24 ,( 100.00 )
3600.02/3610.30 c input clauses 1277 ,( 45.40 )
3600.02/3610.30 c input cardinalities 1277 ,( 45.40 )
3600.02/3610.30 c input general constraints 259 ,( 9.21 )
3600.02/3610.30 c input average constraint length 231.74
3600.02/3610.30 c input average constraint degree 48608.89
3600.02/3610.30 c learned clauses 658 ,( 0.60 )
3600.02/3610.30 c learned cardinalities 136 ,( 0.12 )
3600.02/3610.30 c learned general constraints 108028 ,( 99.27 )
3600.02/3610.30 c learned average constraint length 30091.21
3600.02/3610.30 c learned average constraint degree 42822955944.24
3600.02/3610.30 c watched CF 32, 64, 128, Arb: 40292 , 0 , 0 , 0
3600.02/3610.30 c counting CF 32, 64, 128, Arb: 67996 , 0 , 0 , 0
3600.02/3610.30 c watched constraints 40292 ,( 37.21 )
3600.02/3610.30 c counting constraints 67995 ,( 62.79 )
3600.02/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1023763 , 1517692 , 248355319 ,( 28496733 , 219858586 )
3600.02/3610.30 c gcd simplifications 565
3600.02/3610.30 c detected cardinalities 2
3600.02/3610.30 c weakened non-implied lits 498781199
3600.02/3610.30 c weakened non-implying lits 335352
3600.02/3610.30 c original variables 163584
3600.02/3610.30 c clausal propagations 291509
3600.02/3610.30 c cardinality propagations 39776520
3600.02/3610.30 c watched propagations 17375627
3600.02/3610.30 c counting propagations 247548408
3600.02/3610.30 c watch lookups 24270260557
3600.02/3610.30 c watch backjump lookups 0
3600.02/3610.30 c watch checks 51737992847
3600.02/3610.30 c propagation checks 124115967903
3600.02/3610.30 c constraint additions 6575310495
3600.02/3610.30 c trail pops 348931651
3600.02/3610.30 c formula constraints 2812
3600.02/3610.30 c learned constraints 108345
3600.02/3610.30 c bound constraints 0
3600.02/3610.30 c core-guided constraints 0
3600.02/3610.30 c encountered formula constraints 323342
3600.02/3610.30 c encountered learned constraints 202921
3600.02/3610.30 c encountered bound constraints 0
3600.02/3610.30 c encountered core-guided constraints 0
3600.02/3610.30 c LP total time 482.288 s
3600.02/3610.30 c LP solve time 423.9 s
3600.02/3610.30 c LP constraints added 3155
3600.02/3610.30 c LP constraints removed 320
3600.02/3610.30 c LP pivots internal 110165
3600.02/3610.30 c LP pivots root 103524
3600.02/3610.30 c LP calls 117
3600.02/3610.30 c LP optimalities 12
3600.02/3610.30 c LP no pivot count 0
3600.02/3610.30 c LP infeasibilities 100
3600.02/3610.30 c LP valid Farkas constraints 99
3600.02/3610.30 c LP learned Farkas constraints 43
3600.02/3610.30 c LP basis resets 1
3600.02/3610.30 c LP cycling count 0
3600.02/3610.30 c LP singular count 0
3600.02/3610.30 c LP no primal count 0
3600.02/3610.30 c LP no farkas count 1
3600.02/3610.30 c LP other issue count 0
3600.02/3610.30 c LP Gomory cuts 335
3600.02/3610.30 c LP learned cuts 8
3600.02/3610.30 c LP deleted cuts 320
3600.02/3610.30 c LP encountered Gomory constraints 0
3600.02/3610.30 c LP encountered Farkas constraints 7985
3600.02/3610.30 c LP encountered learned Farkas constraints 128
3600.02/3610.30 c CG auxiliary variables introduced 1
3600.02/3610.30 c CG solutions found 0
3600.02/3610.30 c CG cores constructed 0
3600.02/3610.30 c CG core cardinality constraints returned 0
3600.02/3610.30 c CG unit cores 0
3600.02/3610.30 c CG single cores 0
3600.02/3610.30 c CG blocks removed during cardinality reduction 0
3600.02/3610.30 c CG first core best 0
3600.02/3610.30 c CG decision core best 0
3600.02/3610.30 c CG core reduction tie 0
3600.02/3610.30 c CG core degree average 0.00
3600.02/3610.30 c CG core slack average 0.00
3600.02/3610.30 c CG core upper bound improvements 0
3600.02/3610.30 c STR number of successful calls 0
3600.02/3610.30 c STR number of unsuccessful calls 0
3600.02/3610.30 c STR number of inconclusive calls 0
3600.02/3610.30 c STR number of successful attempts 0
3600.02/3610.30 c STR number of unsuccessful attempts 0
3600.02/3610.30 c STR number of inconclusive attempts 0
3600.02/3610.30 c STR average degree increase per successful call inf
3600.02/3610.30 c STR average degree increase per successful attempt inf
3600.02/3610.30 c STR total number of conflicts for successful attempts 0
3600.02/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.30 c STR average number of conflicts per successful attempt inf
3600.02/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.30 c AVG.sumWPerc 51.07
3600.02/3610.30 c bigint constraints 0
3600.02/3610.30 s UNKNOWN
3600.02/3610.30 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 (56132 MiB free)
memory of node 1: 64507 MiB (55228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509240-1751524632/watcher-4509240-1751524632 -o /tmp/evaluation-result-4509240-1751524632/solver-4509240-1751524632 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72982 --watchdog 3760 run-opt.sh HOME/instance-4509240-1751524632.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73395, runsolver pid=73390
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.14 4.07 6/266 73403
/proc/meminfo: memFree=114017880/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=88424 memory=43568 CPUtime=0.02 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4917 0 0 0 1 1 0 0 20 0 1 0 68142808 90546176 10892 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 22106 10892 1888 1147 0 9533 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 92616 KiB
Current children cumulated memory: 46640 KiB
[startup+0.205578 s]*
/proc/loadavg: 4.13 4.14 4.07 5/265 73409
/proc/meminfo: memFree=114032160/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=95268 memory=52448 CPUtime=0.13 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 8610 0 0 0 11 2 0 0 20 0 1 0 68142808 97554432 13112 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 23817 13112 1920 1147 0 11244 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 99460 KiB
Current children cumulated memory: 55520 KiB
[startup+0.30561 s]*
/proc/loadavg: 4.13 4.14 4.07 5/264 73410
/proc/meminfo: memFree=114020028/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=101424 memory=58720 CPUtime=0.23 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 10177 0 0 0 21 2 0 0 20 0 1 0 68142808 103858176 14680 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 25356 14680 1920 1147 0 12783 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 105616 KiB
Current children cumulated memory: 61792 KiB
[startup+0.700219 s]
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113913680/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=182696 memory=137232 CPUtime=0.61 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 27768 0 0 0 37 24 0 0 20 0 1 0 68142808 187080704 34308 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 45674 34308 2336 1147 0 33101 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 186888 KiB
Current children cumulated memory: 140304 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113725860/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=290424 memory=220308 CPUtime=1.42 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 40012 0 0 0 114 28 0 0 20 0 1 0 68142808 297394176 55077 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 72606 55077 2368 1147 0 60033 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 294616 KiB
Current children cumulated memory: 223380 KiB
[startup+3.10543 s]
/proc/loadavg: 4.13 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113626572/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=313444 memory=241848 CPUtime=3.02 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 43356 0 0 0 252 50 0 0 20 0 1 0 68142808 320966656 60462 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 78361 60462 2400 1147 0 65788 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 317636 KiB
Current children cumulated memory: 244920 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113552108/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=374908 memory=286556 CPUtime=6.2 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 45326 0 0 0 562 58 0 0 20 0 1 0 68142808 383905792 71639 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 93727 71639 2400 1147 0 81154 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 379100 KiB
Current children cumulated memory: 289628 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.07 5/269 73420
/proc/meminfo: memFree=113391384/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=520228 memory=382792 CPUtime=12.58 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 50005 0 0 0 1190 68 0 0 20 0 1 0 68142808 532713472 95698 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 130057 95698 2400 1147 0 117484 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 524420 KiB
Current children cumulated memory: 385864 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.07 5/269 73420
/proc/meminfo: memFree=113305088/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=537476 memory=424652 CPUtime=25.35 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 54364 0 0 0 2463 72 0 0 20 0 1 0 68142808 550375424 106163 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 134369 106163 2400 1147 0 121796 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 541668 KiB
Current children cumulated memory: 427724 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.13 4.07 5/269 73421
/proc/meminfo: memFree=112970624/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=652384 memory=539340 CPUtime=50.89 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 83037 0 0 0 4951 138 0 0 20 0 1 0 68142808 668041216 134835 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 163096 134835 2400 1147 0 150523 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 656576 KiB
Current children cumulated memory: 542412 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.06 5/270 73426
/proc/meminfo: memFree=112010544/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=1376484 memory=1157592 CPUtime=101.94 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 178856 0 0 0 10025 169 0 0 20 0 1 0 68142808 1409519616 289398 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 344121 289398 2400 1147 0 331548 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1380676 KiB
Current children cumulated memory: 1160664 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/269 73428
/proc/meminfo: memFree=110179256/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=2804968 memory=2632676 CPUtime=161.78 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 431805 0 0 0 15954 224 0 0 20 0 1 0 68142808 2872287232 658169 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 701242 658169 2400 1147 0 688669 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2809160 KiB
Current children cumulated memory: 2635748 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/269 73431
/proc/meminfo: memFree=107854692/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=4643820 memory=4249924 CPUtime=221.62 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 698796 0 0 0 21853 309 0 0 20 0 1 0 68142808 4755271680 1062481 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 1160955 1062481 2400 1147 0 1148382 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4081765 0 0 0 319010 2294 0 0 20 0 1 0 68142808 22259720192 4683664 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5434502 4683664 2528 1147 0 5421929 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 21742200 KiB
Current children cumulated memory: 18737728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 73683
/proc/meminfo: memFree=72328576/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=21738008 memory=18734784 CPUtime=3272.89 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4081991 0 0 0 324963 2326 0 0 20 0 1 0 68142808 22259720192 4683696 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5434502 4683696 2528 1147 0 5421929 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 21742200 KiB
Current children cumulated memory: 18737856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 73685
/proc/meminfo: memFree=71973164/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=21733316 memory=18730176 CPUtime=3332.73 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4096259 0 0 0 330910 2363 0 0 20 0 1 0 68142808 22254915584 4682544 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5433329 4682544 2528 1147 0 5420756 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 21737508 KiB
Current children cumulated memory: 18733248 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73687
/proc/meminfo: memFree=71802864/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=21758528 memory=18755392 CPUtime=3392.57 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4098839 0 0 0 336849 2408 0 0 20 0 1 0 68142808 22280732672 4688848 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5439632 4688848 2528 1147 0 5427059 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 21762720 KiB
Current children cumulated memory: 18758464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 73689
/proc/meminfo: memFree=71699260/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=21758528 memory=18759616 CPUtime=3452.42 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4100294 0 0 0 342810 2432 0 0 20 0 1 0 68142808 22280732672 4689904 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5439632 4689904 2528 1147 0 5427059 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 21762720 KiB
Current children cumulated memory: 18762688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 73692
/proc/meminfo: memFree=71587292/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=21758528 memory=18765504 CPUtime=3512.26 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4102318 0 0 0 348768 2458 0 0 20 0 1 0 68142808 22280732672 4691376 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5439632 4691376 2528 1147 0 5427059 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 21762720 KiB
Current children cumulated memory: 18768576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 73694
/proc/meminfo: memFree=71441432/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=21758528 memory=18863296 CPUtime=3572.1 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4127297 0 0 0 354707 2503 0 0 20 0 1 0 68142808 22280732672 4715824 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5439632 4715824 2528 1147 0 5427059 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 21762720 KiB
Current children cumulated memory: 18866368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 73695
/proc/meminfo: memFree=71337920/131249996 swapFree=33010416/33010684
[pid=73395] ppid=73390 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/73395/stat : 73395 (run-opt.sh) S 73390 73395 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 68142806 4292608 768 18446744073709551615 93839375417344 93839376311877 140731958388800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93839376550928 93839376598672 93839385980928 140731958393197 140731958393320 140731958393320 140731958398922 0
/proc/73395/statm: 1048 768 704 219 0 110 0
[pid=73398] ppid=73395 vsize=21758528 memory=18881856 CPUtime=3600.02 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73395 73395 72970 0 -1 4194304 4132127 0 0 0 357461 2541 0 0 20 0 1 0 68142808 22280732672 4720464 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5439632 4720464 2528 1147 0 5427059 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 21762720 KiB
Current children cumulated memory: 18884928 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 73395 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.002953 s
Sleeping 2 seconds
[startup+3611.17 s]
# the end of solver process 73398 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.74 s, system=26.1619 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+3610.4 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 73695
/proc/meminfo: memFree=71969560/131249996 swapFree=33010416/33010684
[pid=73398] ppid=73390 vsize=21659228 memory=18783060 CPUtime=3600.13 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73390 73395 72970 0 -1 4194304 4132232 0 0 0 357472 2541 0 0 20 0 1 0 68142808 22179049472 4695765 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 5414807 4695765 2592 1147 0 5402234 0
Current cumulated CPU time of completed processes: 0.002953 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 21659228 KiB
Current children cumulated memory: 18783060 KiB
[startup+3610.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 73695
/proc/meminfo: memFree=71969560/131249996 swapFree=33010416/33010684
[pid=73398] ppid=73390 vsize=12446856 memory=10820664 CPUtime=3600.52 cores=1,3
/proc/73398/stat : 73398 (roundingsat) R 73390 73395 72970 0 -1 4194304 4132232 0 0 0 357474 2578 0 0 20 0 1 0 68142808 12745580544 2705166 18446744073709551615 4227072 8923433 140727369776576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21360640 140727369779618 140727369779752 140727369779752 140727369785322 0
/proc/73398/statm: 3111714 2705166 2592 1147 0 3099141 0
Current cumulated CPU time of completed processes: 0.002953 s
Current children cumulated CPU time: 3600.52 s
Current children cumulated vsize: 12446856 KiB
Current children cumulated memory: 10820664 KiB
[startup+3611 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 73695
/proc/meminfo: memFree=103569824/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002953 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3611.11 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 73695
/proc/meminfo: memFree=103569824/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002953 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): 3611.17
CPU time (s): 3600.9
CPU user time (s): 3574.74
CPU system time (s): 26.1619
CPU usage (%): 99.7156
Max. virtual memory (cumulated for all children) (KiB): 21762720
Max. memory (cumulated for all children) (KiB): 18884928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.74
system time used= 26.1619
maximum resident set size= 18882112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4132458
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= 186
involuntary context switches= 4274
# summary of solver processes directly reported to runsolver:
# pid: 73395,73398
# total CPU time (s): 3600.9
# total CPU user time (s): 3574.74
# total CPU system time (s): 26.1619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1745 second user time and 16.6296 second system time
The end
Begin job on nodeC030 at 2025-07-03 08:37:12
IDJOB=4509240
IDBENCH=158602
IDSOLVER=3350
FILE ID=nodeC030/4509240-1751524632
RUNJOBID= nodeC030-1751521021-72982
SLURM_JOB_ID= 9598643
Free space on /tmp= 432464 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509240-1751524632/watcher-4509240-1751524632 -o /tmp/evaluation-result-4509240-1751524632/solver-4509240-1751524632 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72982 --watchdog 3760 run-opt.sh HOME/instance-4509240-1751524632.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d8a928f558011060cfd64865d6313cfe
RANDOM SEED=1635870506
nodeC030 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 : 3600.605
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 : 7000.62
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 : 3600.359
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 : 7000.62
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 : 3602.080
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 : 7000.62
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 : 3598.630
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 : 7000.62
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.339
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 : 7000.62
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 : 3600.324
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 : 7000.62
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.431
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 : 7000.62
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.582
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 114033640 kB
MemAvailable: 114735328 kB
Buffers: 2564 kB
Cached: 1493456 kB
SwapCached: 16 kB
Active: 15435632 kB
Inactive: 1049928 kB
Active(anon): 15003040 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1045380 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14336 kB
Writeback: 16 kB
AnonPages: 14991444 kB
Mapped: 113256 kB
Shmem: 18048 kB
KReclaimable: 125508 kB
Slab: 214092 kB
SReclaimable: 125508 kB
SUnreclaim: 88584 kB
KernelStack: 4304 kB
PageTables: 34368 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 17629020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6443008 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: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432460 MiB
End job on nodeC030 at 2025-07-03 09:37:24