0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
13.65/13.73 c [STEP] preprocessing with Papilo
23.62/23.76 c [STEP] solving with SCIP
346.02/347.13 c [STEP] preprocessing done, loading into solver
354.90/356.04 c [STEP] solving
354.90/356.04 c #variables 1960401 #constraints 4896058
354.90/356.07 c SMALL=int, LARGE=long long
354.90/356.08 d SCIPUB 384335290099
355.00/356.13 c bounds - >= -100 @ 344.256
355.00/356.13 c stratification level: 215700352
365.36/366.50 c bounds 1086393074 >= -100 @ 353.926
365.36/366.50 c stratification level: 214343750
370.15/371.39 c bounds 1085948674 >= -100 @ 358.77
370.15/371.39 c stratification level: 210308096
373.54/374.76 c bounds 1085872839 >= -100 @ 362.112
373.54/374.76 c stratification level: 208974222
374.43/375.61 c bounds 1085864181 >= -100 @ 362.953
374.43/375.61 c stratification level: 206323418
382.02/383.26 c bounds 1085755913 >= -100 @ 370.552
382.02/383.26 c stratification level: 205006464
384.50/385.73 c bounds 1085749823 >= -100 @ 373.006
384.50/385.73 c stratification level: 194672000
386.11/387.38 c bounds 1085746749 >= -100 @ 374.636
386.11/387.38 c stratification level: 193405158
387.91/389.16 c bounds 1085722869 >= -100 @ 376.412
387.91/389.16 c stratification level: 192143824
388.70/390.00 c bounds 1085716407 >= -100 @ 377.244
388.70/390.00 c stratification level: 190887986
396.17/397.48 c bounds 1085423081 >= -100 @ 384.668
396.17/397.48 c stratification level: 189637632
398.47/399.78 c bounds 1085360272 >= -100 @ 386.945
398.47/399.78 c stratification level: 188392750
400.07/401.35 c bounds 1085357198 >= -100 @ 388.497
400.07/401.35 c stratification level: 187153328
403.65/404.90 c bounds 1085346398 >= -100 @ 392.003
403.65/404.90 c stratification level: 185919354
439.26/440.66 c bounds 1085107401 >= -100 @ 427.613
439.26/440.66 c stratification level: 184690816
442.45/443.80 c bounds 1085106847 >= -100 @ 430.716
442.45/443.80 c stratification level: 183467702
443.84/445.21 c bounds 1085093023 >= -100 @ 432.106
443.84/445.21 c stratification level: 182250000
462.70/464.19 c bounds 959529699 >= -100 @ 451.001
462.70/464.19 c stratification level: 181037698
465.38/466.88 c bounds 959507628 >= -100 @ 453.67
465.38/466.88 c stratification level: 178629246
468.18/469.64 c bounds 959501248 >= -100 @ 456.396
468.18/469.64 c stratification level: 177433072
469.07/470.57 c bounds 959499792 >= -100 @ 457.307
469.07/470.57 c stratification level: 176242250
470.68/472.13 c bounds 959499686 >= -100 @ 458.842
470.68/472.13 c stratification level: 175056768
499.38/500.97 c bounds 956472102 >= -100 @ 487.557
499.38/500.97 c stratification level: 173876614
501.88/503.47 c bounds 956413030 >= -100 @ 490.042
501.88/503.47 c stratification level: 172701776
505.37/506.98 c bounds 956092707 >= -100 @ 493.531
505.37/506.98 c stratification level: 171532242
508.36/509.92 c bounds 955960544 >= -100 @ 496.45
508.36/509.92 c stratification level: 170368000
513.84/515.42 c bounds 942450770 >= -100 @ 501.911
513.84/515.42 c stratification level: 169209038
518.63/520.25 c bounds 942370469 >= -100 @ 506.714
518.63/520.25 c stratification level: 168055344
521.92/523.58 c bounds 942360024 >= -100 @ 510.018
521.92/523.58 c stratification level: 166906906
522.82/524.44 c bounds 942358568 >= -100 @ 510.868
522.82/524.44 c stratification level: 165763712
525.31/526.94 c bounds 942351656 >= -100 @ 513.353
525.31/526.94 c stratification level: 164625750
529.19/530.81 c bounds 942037068 >= -100 @ 517.197
529.19/530.81 c stratification level: 163493008
541.65/543.34 c #Conflicts: 1000 | #Constraints: 4897088
541.65/543.34 c bounds 928226908 >= -100 @ 529.639
541.65/543.34 c stratification level: 162365474
543.65/545.34 c bounds 928226648 >= -100 @ 531.609
543.65/545.34 c stratification level: 160125982
545.55/547.22 c bounds 926343000 >= -100 @ 533.486
545.55/547.22 c stratification level: 159014000
546.95/548.63 c bounds 923992792 >= -100 @ 534.874
546.95/548.63 c stratification level: 157907178
547.84/549.53 c bounds 763159824 >= -100 @ 535.763
547.84/549.53 c stratification level: 156805504
549.74/551.47 c bounds 762779644 >= -100 @ 537.682
549.74/551.47 c stratification level: 155708966
551.73/553.43 c bounds 762777692 >= -100 @ 539.632
551.73/553.43 c stratification level: 154617552
556.43/558.11 c bounds 762762369 >= -100 @ 544.274
556.43/558.11 c stratification level: 153531250
557.92/559.61 c bounds 762715570 >= -100 @ 545.749
557.92/559.61 c stratification level: 152450048
559.91/561.66 c bounds 762594591 >= -100 @ 547.789
559.91/561.66 c stratification level: 151373934
562.80/564.54 c bounds 762536240 >= -100 @ 550.643
562.80/564.54 c stratification level: 150302896
565.60/567.36 c bounds 762518603 >= -100 @ 553.415
565.60/567.36 c stratification level: 149236922
568.18/569.96 c bounds 762515702 >= -100 @ 555.988
568.18/569.96 c stratification level: 148176000
571.87/573.67 c bounds 762512250 >= -100 @ 559.664
571.87/573.67 c stratification level: 147120118
574.38/576.18 c bounds 711741869 >= -100 @ 562.165
574.38/576.18 c stratification level: 146069264
575.57/577.36 c bounds 711738968 >= -100 @ 563.339
575.57/577.36 c stratification level: 145023426
576.67/578.47 c bounds 673030511 >= -100 @ 564.442
576.67/578.47 c stratification level: 143982592
578.16/580.01 c bounds 673027610 >= -100 @ 565.964
578.16/580.01 c stratification level: 142946750
584.04/585.87 c bounds 672995556 >= -100 @ 571.794
584.04/585.87 c stratification level: 141915888
585.63/587.42 c bounds 672994043 >= -100 @ 573.339
585.63/587.42 c stratification level: 140889994
592.33/594.15 c bounds 672992686 >= -100 @ 580.022
592.33/594.15 c stratification level: 139869056
598.79/600.67 c bounds 652259537 >= -100 @ 586.5
598.79/600.67 c stratification level: 138853062
601.38/603.23 c bounds 652243967 >= -100 @ 589.056
601.38/603.23 c stratification level: 137842000
602.58/604.49 c bounds 652241923 >= -100 @ 590.3
602.58/604.49 c stratification level: 136835858
603.57/605.44 c bounds 652240699 >= -100 @ 591.246
603.57/605.44 c stratification level: 135834624
606.56/608.48 c bounds 652239446 >= -100 @ 594.262
606.56/608.48 c stratification level: 134838286
608.06/609.94 c bounds 652236178 >= -100 @ 595.71
608.06/609.94 c stratification level: 133846832
609.46/611.36 c bounds 652235918 >= -100 @ 597.115
609.46/611.36 c stratification level: 132860250
615.34/617.24 c bounds 652226840 >= -100 @ 602.957
615.34/617.24 c stratification level: 131878528
617.34/619.26 c bounds 652086574 >= -100 @ 604.968
617.34/619.26 c stratification level: 130901654
620.42/622.37 c bounds 652072095 >= -100 @ 608.055
620.42/622.37 c stratification level: 129929616
624.71/626.63 c bounds 651607153 >= -100 @ 612.289
624.71/626.63 c stratification level: 128962402
672.65/674.71 c bounds 651501305 >= -100 @ 660.054
672.65/674.71 c stratification level: 128000000
674.25/676.33 c bounds 651496784 >= -100 @ 661.649
674.25/676.33 c stratification level: 127042398
675.74/677.84 c bounds 651496524 >= -100 @ 663.141
675.74/677.84 c stratification level: 126089584
677.34/679.43 c bounds 651489558 >= -100 @ 664.709
677.34/679.43 c stratification level: 125141546
683.93/686.07 c bounds 635067057 >= -100 @ 671.291
683.93/686.07 c stratification level: 124198272
685.81/688.00 c bounds 635063431 >= -100 @ 673.206
685.81/688.00 c stratification level: 123259750
686.81/688.94 c bounds 512005603 >= -100 @ 674.135
686.81/688.94 c stratification level: 122325968
688.80/690.98 c bounds 511990391 >= -100 @ 676.152
688.80/690.98 c stratification level: 121396914
702.66/704.88 c bounds 452856207 >= -100 @ 689.898
702.66/704.88 c stratification level: 120472576
703.86/706.06 c bounds 447193969 >= -100 @ 691.064
703.86/706.06 c stratification level: 119552942
705.64/707.86 c bounds 447173076 >= -100 @ 692.838
705.64/707.86 c stratification level: 118638000
706.96/709.13 c bounds 446999551 >= -100 @ 694.091
706.96/709.13 c stratification level: 117727738
708.74/711.00 c bounds 396097964 >= -100 @ 695.943
708.74/711.00 c stratification level: 116822144
710.04/712.29 c bounds 395924439 >= -100 @ 697.232
710.04/712.29 c stratification level: 115921206
712.22/714.49 c bounds 395890026 >= -100 @ 699.411
712.22/714.49 c stratification level: 115024912
713.22/715.42 c bounds 395889532 >= -100 @ 700.332
713.22/715.42 c stratification level: 114133250
714.02/716.22 c bounds 395881324 >= -100 @ 701.137
714.02/716.22 c stratification level: 113246208
716.31/718.59 c bounds 395871753 >= -100 @ 703.484
716.31/718.59 c stratification level: 112363774
717.70/719.91 c bounds 395773408 >= -100 @ 704.788
717.70/719.91 c stratification level: 111485936
719.00/721.29 c bounds 395232756 >= -100 @ 706.155
719.00/721.29 c stratification level: 110612682
720.30/722.57 c bounds 395217844 >= -100 @ 707.424
720.30/722.57 c stratification level: 109744000
722.80/725.08 c bounds 395208707 >= -100 @ 709.92
722.80/725.08 c stratification level: 108879878
732.56/734.88 c bounds 386863626 >= -100 @ 719.647
732.56/734.88 c stratification level: 108020304
734.05/736.35 c bounds 386860060 >= -100 @ 721.105
734.05/736.35 c stratification level: 107165266
736.15/738.47 c bounds 301960896 >= -100 @ 723.202
736.15/738.47 c stratification level: 106314752
737.44/739.77 c bounds 301943449 >= -100 @ 724.492
737.44/739.77 c stratification level: 105468750
738.75/741.01 c bounds 301936564 >= -100 @ 725.721
738.75/741.01 c stratification level: 104627248
739.53/741.86 c bounds 301932636 >= -100 @ 726.555
739.53/741.86 c stratification level: 103790234
740.84/743.19 c bounds 301918644 >= -100 @ 727.874
740.84/743.19 c stratification level: 102957696
743.13/745.41 c bounds 301743479 >= -100 @ 730.075
743.13/745.41 c stratification level: 102129622
768.25/770.69 c bounds 301697099 >= -100 @ 755.217
768.25/770.69 c stratification level: 101306000
771.84/774.20 c bounds 301614914 >= -100 @ 758.705
771.84/774.20 c stratification level: 100486818
773.13/775.54 c bounds 301613456 >= -100 @ 760.029
773.13/775.54 c stratification level: 99672064
774.53/776.92 c bounds 301599464 >= -100 @ 761.387
774.53/776.92 c stratification level: 98861726
803.93/806.46 c bounds 296498228 >= -100 @ 790.819
803.93/806.46 c stratification level: 98055792
805.24/807.79 c bounds 296068682 >= -100 @ 792.127
805.24/807.79 c stratification level: 97254250
807.03/809.53 c bounds 296041880 >= -100 @ 793.849
807.03/809.53 c stratification level: 96457088
808.32/810.84 c bounds 296040422 >= -100 @ 795.142
808.32/810.84 c stratification level: 95664294
809.72/812.23 c bounds 296029996 >= -100 @ 796.516
809.72/812.23 c stratification level: 94875856
811.02/813.54 c bounds 296026430 >= -100 @ 797.794
811.02/813.54 c stratification level: 94091762
828.17/830.71 c bounds 287031279 >= -100 @ 814.878
828.17/830.71 c stratification level: 93312000
832.15/834.70 c bounds 287025757 >= -100 @ 818.846
832.15/834.70 c stratification level: 92536558
833.46/836.02 c bounds 287024299 >= -100 @ 820.158
833.46/836.02 c stratification level: 91765424
835.74/838.30 c bounds 287013873 >= -100 @ 822.433
835.74/838.30 c stratification level: 90998586
837.04/839.65 c bounds 287010307 >= -100 @ 823.736
837.04/839.65 c stratification level: 90236032
841.54/844.11 c bounds 286951175 >= -100 @ 828.167
841.54/844.11 c stratification level: 89477750
842.82/845.40 c bounds 286947364 >= -100 @ 829.446
842.82/845.40 c stratification level: 88723728
844.32/846.90 c bounds 286873204 >= -100 @ 830.942
844.32/846.90 c stratification level: 87973954
845.61/848.21 c bounds 286871746 >= -100 @ 832.232
845.61/848.21 c stratification level: 87228416
846.81/849.45 c bounds 286857754 >= -100 @ 833.46
846.81/849.45 c stratification level: 86487102
849.80/852.42 c bounds 283800097 >= -100 @ 836.41
849.80/852.42 c stratification level: 85750000
851.51/854.14 c bounds 283774540 >= -100 @ 838.114
851.51/854.14 c stratification level: 85017098
1988.77/1995.24 c #Conflicts: 2000 | #Constraints: 4898172
1988.77/1995.24 c INPROCESSING
1988.77/1995.24 c GARBAGE COLLECT
1988.77/1995.24 c #Conflicts: 3000 | #Constraints: 4898071
1988.77/1995.24 c #Conflicts: 4000 | #Constraints: 4899071
1988.77/1995.24 c INPROCESSING
1988.77/1995.24 c GARBAGE COLLECT
1988.77/1995.24 c #Conflicts: 5000 | #Constraints: 4898491
1988.77/1995.24 c #Conflicts: 6000 | #Constraints: 4899491
1988.77/1995.24 c INPROCESSING
1988.77/1995.24 c GARBAGE COLLECT
1988.77/1995.24 c #Conflicts: 7000 | #Constraints: 4898519
1988.77/1995.24 c #Conflicts: 8000 | #Constraints: 4899519
1988.77/1995.24 c #Conflicts: 9000 | #Constraints: 4900519
1988.77/1995.24 c INPROCESSING
1988.77/1995.24 c GARBAGE COLLECT
1988.77/1995.24 c #Conflicts: 10000 | #Constraints: 4899220
1988.77/1995.24 c bounds 227336571 >= -100 @ 1970.44
1988.77/1995.24 c stratification level: 84288384
1991.86/1998.36 c bounds 227101954 >= -100 @ 1973.53
1991.86/1998.36 c stratification level: 83563846
1993.26/1999.74 c bounds 227093573 >= -100 @ 1974.89
1993.26/1999.74 c stratification level: 82843472
1995.15/2001.63 c bounds 227092838 >= -100 @ 1976.75
1995.15/2001.63 c stratification level: 82127250
1997.35/2003.81 c bounds 226852508 >= -100 @ 1978.93
1997.35/2003.81 c stratification level: 81415168
1998.74/2005.20 c bounds 226844127 >= -100 @ 1980.3
1998.74/2005.20 c stratification level: 80707214
2000.03/2006.58 c bounds 226843392 >= -100 @ 1981.66
2000.03/2006.58 c stratification level: 80003376
2001.43/2007.95 c bounds 226834688 >= -100 @ 1983.02
2001.43/2007.95 c stratification level: 79303642
2003.22/2009.78 c bounds 226480671 >= -100 @ 1984.82
2003.22/2009.78 c stratification level: 78608000
2005.53/2012.10 c bounds 226086147 >= -100 @ 1987.13
2005.53/2012.10 c stratification level: 77916438
2203.17/2210.30 c bounds 225781304 >= -100 @ 2184.56
2203.17/2210.30 c stratification level: 77228944
2204.36/2211.51 c bounds 225776071 >= -100 @ 2185.75
2204.36/2211.51 c stratification level: 76545506
2602.82/2611.39 c bounds 225742492 >= -100 @ 2584.11
2602.82/2611.39 c stratification level: 75866112
2604.20/2612.73 c bounds 225737259 >= -100 @ 2585.44
2604.20/2612.73 c stratification level: 75190750
2940.67/2950.37 c #Conflicts: 11000 | #Constraints: 4900234
2940.67/2950.37 c bounds 222309359 >= -100 @ 2920.79
2940.67/2950.37 c stratification level: 74519408
3043.94/3053.96 c bounds 222309065 >= -100 @ 3022.77
3043.94/3053.96 c stratification level: 73852074
3061.28/3071.34 c bounds 222252017 >= -100 @ 3039.99
3061.28/3071.34 c stratification level: 73188736
3064.67/3074.77 c bounds 222251514 >= -100 @ 3043.37
3064.67/3074.77 c stratification level: 72529382
3077.33/3087.47 c bounds 222241789 >= -100 @ 3055.94
3077.33/3087.47 c stratification level: 71874000
3080.82/3090.91 c bounds 222241726 >= -100 @ 3059.36
3080.82/3090.91 c stratification level: 71222578
3106.03/3116.25 c bounds 222211659 >= -100 @ 3084.44
3106.03/3116.25 c stratification level: 70575104
3118.99/3129.28 c bounds 214763483 >= -100 @ 3097.35
3118.99/3129.28 c stratification level: 69931566
3289.84/3300.70 terminate called after throwing an instance of 'rs::OutOfMemoryException'
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: 63794 MiB (57842 MiB free)
memory of node 1: 64507 MiB (62209 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529171-1752260500/watcher-4529171-1752260500 -o /tmp/evaluation-result-4529171-1752260500/solver-4529171-1752260500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116150 --watchdog 3760 mixed-bag HOME/instance-4529171-1752260500.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=117317, runsolver pid=117314
[startup+0.100113 s]*
/proc/loadavg: 4.07 4.18 4.12 5/251 117318
/proc/meminfo: memFree=122769584/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=274228 memory=201344 CPUtime=0.1 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 16762 0 0 0 5 5 0 0 20 0 1 0 141729113 280809472 50304 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 68590 50304 2144 2834 0 51342 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 274228 KiB
Current children cumulated memory: 201344 KiB
[startup+0.213137 s]*
/proc/loadavg: 4.07 4.18 4.12 5/251 117318
/proc/meminfo: memFree=122639920/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=645568 memory=331724 CPUtime=0.21 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 38495 0 0 0 12 9 0 0 20 0 1 0 141729113 661061632 82931 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 161392 82931 2144 2834 0 144144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 645568 KiB
Current children cumulated memory: 331724 KiB
[startup+0.313212 s]*
/proc/loadavg: 4.07 4.18 4.12 5/251 117318
/proc/meminfo: memFree=122529836/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=726940 memory=412528 CPUtime=0.3 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 42641 0 0 0 18 12 0 0 20 0 1 0 141729113 744386560 103132 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 181735 103132 2144 2834 0 164487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 726940 KiB
Current children cumulated memory: 412528 KiB
[startup+0.700339 s]
/proc/loadavg: 4.07 4.18 4.12 5/251 117318
/proc/meminfo: memFree=122529836/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=726704 memory=420592 CPUtime=0.68 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 54424 0 0 0 53 15 0 0 20 0 1 0 141729113 744144896 105148 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 181676 105148 2176 2834 0 164428 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 726704 KiB
Current children cumulated memory: 420592 KiB
[startup+1.50033 s]
/proc/loadavg: 4.07 4.18 4.12 5/251 117318
/proc/meminfo: memFree=122489768/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=784512 memory=470560 CPUtime=1.48 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 57562 0 0 0 130 18 0 0 20 0 1 0 141729113 803340288 117640 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 196128 117640 2176 2834 0 178880 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 784512 KiB
Current children cumulated memory: 470560 KiB
[startup+3.11311 s]
/proc/loadavg: 4.06 4.18 4.12 5/251 117318
/proc/meminfo: memFree=122379180/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=850048 memory=578020 CPUtime=3.08 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 59475 0 0 0 286 22 0 0 20 0 1 0 141729113 870449152 144505 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 212512 144505 2176 2834 0 195264 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 850048 KiB
Current children cumulated memory: 578020 KiB
[startup+6.3003 s]
/proc/loadavg: 4.06 4.18 4.12 5/251 117318
/proc/meminfo: memFree=122174380/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=981120 memory=782984 CPUtime=6.26 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 60372 0 0 0 596 30 0 0 20 0 1 0 141729113 1004666880 195746 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 245280 195746 2176 2834 0 228032 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 981120 KiB
Current children cumulated memory: 782984 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.18 4.12 5/251 117318
/proc/meminfo: memFree=121835496/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=2166220 memory=1808752 CPUtime=12.65 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 65048 0 0 0 1207 58 0 0 20 0 1 0 141729113 2218209280 451676 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 541555 451676 2208 2834 0 524307 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2166220 KiB
Current children cumulated memory: 1808752 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 4.17 4.12 5/251 117318
/proc/meminfo: memFree=118391260/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=5113936 memory=4977724 CPUtime=25.42 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 680291 0 0 0 2308 234 0 0 20 0 1 0 141729113 5236670464 1244431 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 1278484 1244431 3712 2834 0 1260689 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5113936 KiB
Current children cumulated memory: 4977724 KiB
[startup+51.1131 s]
/proc/loadavg: 4.10 4.17 4.12 5/251 117319
/proc/meminfo: memFree=106632884/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=16367972 memory=16032544 CPUtime=50.96 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2388203 0 0 0 4477 619 0 0 20 0 1 0 141729113 16760803328 4008136 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 4091993 4008136 4064 2834 0 4074198 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 16367972 KiB
Current children cumulated memory: 16032544 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/252 117324
/proc/meminfo: memFree=106646132/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=16623808 memory=16282140 CPUtime=102.01 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2872856 0 0 0 9487 714 0 0 20 0 1 0 141729113 17022779392 4070535 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 4155952 4070535 4096 2834 0 4138157 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 16623808 KiB
Current children cumulated memory: 16282140 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/252 117329
/proc/meminfo: memFree=105485984/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=17661136 memory=17266704 CPUtime=161.82 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2893698 0 0 0 15446 736 0 0 20 0 1 0 141729113 18085003264 4316676 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 4415284 4316676 4096 2834 0 4397489 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 17661136 KiB
Current children cumulated memory: 17266704 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/252 117331
/proc/meminfo: memFree=104997808/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=17661136 memory=17266704 CPUtime=221.62 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2894210 0 0 0 21424 738 0 0 20 0 1 0 141729113 18085003264 4316676 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 4415284 4316676 4096 2834 0 4397489 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 17661136 KiB
Current children cumulated memory: 17266704 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/251 117333
/proc/meminfo: memFree=104398268/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=17661136 memory=17266832 CPUtime=281.42 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2894812 0 0 0 27401 741 0 0 20 0 1 0 141729113 18085003264 4316708 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 4415284 4316708 4096 2834 0 4397489 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 17661136 KiB
Current children cumulated memory: 17266832 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/251 117336
/proc/meminfo: memFree=104188556/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=17579872 memory=17191796 CPUtime=341.22 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2896278 0 0 0 33379 743 0 0 20 0 1 0 141729113 18001788928 4297949 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 4394968 4297949 4096 2834 0 4377173 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 17579872 KiB
Current children cumulated memory: 17191796 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/250 117338
/proc/meminfo: memFree=107431480/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=14323056 memory=14024456 CPUtime=401.06 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2901607 0 0 0 38946 1160 0 0 20 0 1 0 141729113 14666809344 3506114 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 3580764 3506114 4320 2834 0 3562969 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 14323056 KiB
Current children cumulated memory: 14024456 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/250 117339
/proc/meminfo: memFree=107036396/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=14323056 memory=14234248 CPUtime=460.89 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 2902158 0 0 0 44916 1173 0 0 20 0 1 0 141729113 14666809344 3558562 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 3580764 3558562 4320 2834 0 3562969 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3069900 0 0 0 283339 1956 0 0 20 0 1 0 141729113 24272949248 4972220 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 5926013 4972220 4320 2834 0 5908218 0
Current children cumulated CPU time: 2852.95 s
Current children cumulated vsize: 23704052 KiB
Current children cumulated memory: 19888880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.49 4.31 4.18 5/250 117643
/proc/meminfo: memFree=98009172/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=23704052 memory=20333296 CPUtime=2912.76 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3072207 0 0 0 289297 1979 0 0 20 0 1 0 141729113 24272949248 5083324 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 5926013 5083324 4320 2834 0 5908218 0
Current children cumulated CPU time: 2912.76 s
Current children cumulated vsize: 23704052 KiB
Current children cumulated memory: 20333296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.28 4.28 4.18 5/249 117645
/proc/meminfo: memFree=96489016/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=24541692 memory=21559672 CPUtime=2972.57 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3221806 0 0 0 295226 2031 0 0 20 0 1 0 141729113 25130692608 5389918 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 6135423 5389918 4320 2834 0 6117628 0
Current children cumulated CPU time: 2972.57 s
Current children cumulated vsize: 24541692 KiB
Current children cumulated memory: 21559672 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.24 4.17 5/250 117649
/proc/meminfo: memFree=94366640/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=26371696 memory=23687684 CPUtime=3032.38 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3526652 0 0 0 301133 2105 0 0 20 0 1 0 141729113 27004616704 5921921 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 6592924 5921921 4320 2834 0 6575129 0
Current children cumulated CPU time: 3032.38 s
Current children cumulated vsize: 26371696 KiB
Current children cumulated memory: 23687684 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.23 4.17 5/250 117651
/proc/meminfo: memFree=93106216/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27111424 memory=24927504 CPUtime=3092.18 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3657745 0 0 0 307067 2151 0 0 20 0 1 0 141729113 27762098176 6231876 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 6777856 6231876 4320 2834 0 6760061 0
Current children cumulated CPU time: 3092.18 s
Current children cumulated vsize: 27111424 KiB
Current children cumulated memory: 24927504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/250 117653
/proc/meminfo: memFree=92361260/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27417724 memory=25646680 CPUtime=3151.99 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3718316 0 0 0 313016 2183 0 0 20 0 1 0 141729113 28075749376 6411670 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 6854431 6411670 4320 2834 0 6836636 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 27417724 KiB
Current children cumulated memory: 25646680 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/250 117657
/proc/meminfo: memFree=91360740/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27750060 memory=26629204 CPUtime=3211.78 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3804324 0 0 0 318955 2223 0 0 20 0 1 0 141729113 28416061440 6657301 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 6937515 6657301 4320 2834 0 6919720 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 27750060 KiB
Current children cumulated memory: 26629204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.17 4.16 5/250 117661
/proc/meminfo: memFree=90514556/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27915352 memory=27385344 CPUtime=3271.59 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3861295 0 0 0 324891 2268 0 0 20 0 1 0 141729113 28585320448 6846336 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 6978838 6846336 4320 2834 0 6961043 0
Current children cumulated CPU time: 3271.59 s
Current children cumulated vsize: 27915352 KiB
Current children cumulated memory: 27385344 KiB
[startup+3310.97 s]
# the end of solver process 117317 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=3267.1 s, system=25.1634 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3289.6 s]
/proc/loadavg: 4.13 4.17 4.16 5/250 117662
/proc/meminfo: memFree=90436280/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27933084 memory=27470328 CPUtime=3278.87 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) R 117314 117317 116137 0 -1 4194304 3868276 0 0 0 325613 2274 0 0 20 0 1 0 141729113 28603478016 6867582 18446744073709551615 4235264 15840557 140734866880112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 0
/proc/117317/statm: 6983271 6867582 4320 2834 0 6965476 0
Current children cumulated CPU time: 3278.87 s
Current children cumulated vsize: 27933084 KiB
Current children cumulated memory: 27470328 KiB
[startup+3302.4 s]
/proc/loadavg: 4.19 4.18 4.16 5/252 117665
/proc/meminfo: memFree=89216372/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27963748 memory=27615104 CPUtime=3290.92 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) S 117314 117317 116137 0 -1 4195840 3877807 0 0 0 326709 2383 0 0 20 0 1 0 141729113 28634877952 6903776 18446744073709551615 4235264 15840557 140734866880112 140734866874528 140151725013612 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 6
/proc/117317/statm: 6990937 6903776 4448 2834 0 6973142 0
Current children cumulated CPU time: 3290.92 s
Current children cumulated vsize: 27963748 KiB
Current children cumulated memory: 27615104 KiB
[startup+3305.6 s]
/proc/loadavg: 4.26 4.19 4.17 5/251 117665
/proc/meminfo: memFree=89095916/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27963748 memory=27615104 CPUtime=3290.92 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) S 117314 117317 116137 0 -1 4195840 3877807 0 0 0 326709 2383 0 0 20 0 1 0 141729113 28634877952 6903776 18446744073709551615 4235264 15840557 140734866880112 140734866874528 140151725013612 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 6
/proc/117317/statm: 6990937 6903776 4448 2834 0 6973142 0
Current children cumulated CPU time: 3290.92 s
Current children cumulated vsize: 27963748 KiB
Current children cumulated memory: 27615104 KiB
[startup+3308.8 s]
/proc/loadavg: 4.26 4.19 4.17 4/251 117665
/proc/meminfo: memFree=88959420/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27963748 memory=27615104 CPUtime=3290.92 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) S 117314 117317 116137 0 -1 4195840 3877807 0 0 0 326709 2383 0 0 20 0 1 0 141729113 28634877952 6903776 18446744073709551615 4235264 15840557 140734866880112 140734866874528 140151725013612 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 6
/proc/117317/statm: 6990937 6903776 4448 2834 0 6973142 0
Current children cumulated CPU time: 3290.92 s
Current children cumulated vsize: 27963748 KiB
Current children cumulated memory: 27615104 KiB
[startup+3309.6 s]
/proc/loadavg: 4.40 4.22 4.18 4/251 117666
/proc/meminfo: memFree=88960556/131382112 swapFree=33009904/33010684
[pid=117317] ppid=117314 vsize=27963748 memory=27615104 CPUtime=3290.92 cores=5,7
/proc/117317/stat : 117317 (mixed-bag) S 117314 117317 116137 0 -1 4195840 3877807 0 0 0 326709 2383 0 0 20 0 1 0 141729113 28634877952 6903776 18446744073709551615 4235264 15840557 140734866880112 140734866874528 140151725013612 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 18047680 18058864 40550400 140734866885018 140734866885095 140734866885095 140734866890699 6
/proc/117317/statm: 6990937 6903776 4448 2834 0 6973142 0
Current children cumulated CPU time: 3290.92 s
Current children cumulated vsize: 27963748 KiB
Current children cumulated memory: 27615104 KiB
[startup+3310.4 s]
/proc/loadavg: 4.40 4.22 4.18 5/253 117673
/proc/meminfo: memFree=94273168/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3310.8 s]
/proc/loadavg: 4.40 4.22 4.18 5/253 117673
/proc/meminfo: memFree=94273168/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3310.9 s]
/proc/loadavg: 4.40 4.22 4.18 5/253 117673
/proc/meminfo: memFree=94273168/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 3310.97
CPU time (s): 3292.26
CPU user time (s): 3267.1
CPU system time (s): 25.1634
CPU usage (%): 99.4348
Max. virtual memory (cumulated for all children) (KiB): 27963748
Max. memory (cumulated for all children) (KiB): 27615104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3267.1
system time used= 25.1634
maximum resident set size= 27615104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3877807
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= 110
involuntary context switches= 2303
# summary of solver processes directly reported to runsolver:
# pid: 117317
# total CPU time (s): 3292.26
# total CPU user time (s): 3267.1
# total CPU system time (s): 25.1634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1492 second user time and 34.5132 second system time
The end
Begin job on nodeC001 at 2025-07-11 21:01:42
IDJOB=4529171
IDBENCH=155757
IDSOLVER=3386
FILE ID=nodeC001/4529171-1752260500
RUNJOBID= nodeC001-1752256268-116150
SLURM_JOB_ID= 9682596
Free space on /tmp= 432216 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529171-1752260500/watcher-4529171-1752260500 -o /tmp/evaluation-result-4529171-1752260500/solver-4529171-1752260500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752256268-116150 --watchdog 3760 mixed-bag HOME/instance-4529171-1752260500.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=1661683492
nodeC001 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 : 0xb00001f
cpu MHz : 3491.748
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.309
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.425
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.641
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.938
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 122932516 kB
MemAvailable: 124842728 kB
Buffers: 1668 kB
Cached: 2691732 kB
SwapCached: 128 kB
Active: 5268016 kB
Inactive: 2390188 kB
Active(anon): 4954748 kB
Inactive(anon): 27832 kB
Active(file): 313268 kB
Inactive(file): 2362356 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 237512 kB
Writeback: 4 kB
AnonPages: 4966404 kB
Mapped: 139080 kB
Shmem: 17776 kB
KReclaimable: 148048 kB
Slab: 236244 kB
SReclaimable: 148048 kB
SUnreclaim: 88196 kB
KernelStack: 4048 kB
PageTables: 13152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 5582104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1009664 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC001 at 2025-07-11 21:56:53