Trace number 4505437

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-05-06Signal 3349.92 3371.2

DiagnosticValue
SCIPUB

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
MD5SUM52dca71e841298ae6df8c1bcbb79ed30
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13359973
Best CPU time to get the best result obtained on this benchmark3600.91
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 140608000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 388230486170
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 140608000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 388230486170
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
15.51/15.71	c [STEP] preprocessing with Papilo
25.79/26.09	c [STEP] solving with SCIP
348.43/350.11	c [STEP] preprocessing done, loading into solver
357.79/359.40	c [STEP] solving
357.79/359.40	c #variables 1960401 #constraints 4896058
357.79/359.43	c SMALL=int, LARGE=long long
357.79/359.44	d SCIPUB 384335290099
357.79/359.49	c bounds - >= -100 @ 347.053
357.79/359.49	c stratification level: 215700352
368.15/369.88	c bounds 1086393074 >= -100 @ 356.689
368.15/369.88	c stratification level: 214343750
373.23/374.96	c bounds 1085948674 >= -100 @ 361.716
373.23/374.96	c stratification level: 210308096
376.72/378.45	c bounds 1085872839 >= -100 @ 365.183
376.72/378.45	c stratification level: 208974222
377.62/379.32	c bounds 1085864181 >= -100 @ 366.046
377.62/379.32	c stratification level: 206323418
385.50/387.24	c bounds 1085755913 >= -100 @ 373.905
385.50/387.24	c stratification level: 205006464
388.08/389.82	c bounds 1085749823 >= -100 @ 376.476
388.08/389.82	c stratification level: 194672000
389.78/391.51	c bounds 1085746749 >= -100 @ 378.157
389.78/391.51	c stratification level: 193405158
391.57/393.34	c bounds 1085722869 >= -100 @ 379.971
391.57/393.34	c stratification level: 192143824
392.38/394.20	c bounds 1085716407 >= -100 @ 380.814
392.38/394.20	c stratification level: 190887986
400.05/401.88	c bounds 1085423081 >= -100 @ 388.434
400.05/401.88	c stratification level: 189637632
402.43/404.23	c bounds 1085360272 >= -100 @ 390.759
402.43/404.23	c stratification level: 188392750
404.03/405.82	c bounds 1085357198 >= -100 @ 392.333
404.03/405.82	c stratification level: 187153328
407.62/409.41	c bounds 1085346398 >= -100 @ 395.877
407.62/409.41	c stratification level: 185919354
444.30/446.21	c bounds 1085107401 >= -100 @ 432.493
444.30/446.21	c stratification level: 184690816
447.39/449.35	c bounds 1085106847 >= -100 @ 435.608
447.39/449.35	c stratification level: 183467702
448.78/450.77	c bounds 1085093023 >= -100 @ 437.011
448.78/450.77	c stratification level: 182250000
468.13/470.12	c bounds 959529699 >= -100 @ 456.27
468.13/470.12	c stratification level: 181037698
470.91/472.94	c bounds 959507628 >= -100 @ 459.048
470.91/472.94	c stratification level: 178629246
473.81/475.84	c bounds 959501248 >= -100 @ 461.909
473.81/475.84	c stratification level: 177433072
474.80/476.81	c bounds 959499792 >= -100 @ 462.862
474.80/476.81	c stratification level: 176242250
476.40/478.44	c bounds 959499686 >= -100 @ 464.461
476.40/478.44	c stratification level: 175056768
505.50/507.69	c bounds 956472102 >= -100 @ 493.587
505.50/507.69	c stratification level: 173876614
508.00/510.17	c bounds 956413030 >= -100 @ 496.054
508.00/510.17	c stratification level: 172701776
511.58/513.77	c bounds 956092707 >= -100 @ 499.633
511.58/513.77	c stratification level: 171532242
514.77/516.93	c bounds 955960544 >= -100 @ 502.771
514.77/516.93	c stratification level: 170368000
520.25/522.50	c bounds 942450770 >= -100 @ 508.302
520.25/522.50	c stratification level: 169209038
525.24/527.40	c bounds 942370469 >= -100 @ 513.168
525.24/527.40	c stratification level: 168055344
528.52/530.73	c bounds 942360024 >= -100 @ 516.476
528.52/530.73	c stratification level: 166906906
529.42/531.60	c bounds 942358568 >= -100 @ 517.333
529.42/531.60	c stratification level: 165763712
531.93/534.12	c bounds 942351656 >= -100 @ 519.823
531.93/534.12	c stratification level: 164625750
536.00/538.20	c bounds 942037068 >= -100 @ 523.882
536.00/538.20	c stratification level: 163493008
548.56/550.84	c #Conflicts:       1000 | #Constraints:    4897088
548.56/550.84	c bounds 928226908 >= -100 @ 536.416
548.56/550.84	c stratification level: 162365474
550.56/552.87	c bounds 928226648 >= -100 @ 538.421
550.56/552.87	c stratification level: 160125982
552.55/554.82	c bounds 926343000 >= -100 @ 540.365
552.55/554.82	c stratification level: 159014000
554.04/556.37	c bounds 923992792 >= -100 @ 541.894
554.04/556.37	c stratification level: 157907178
555.04/557.34	c bounds 763159824 >= -100 @ 542.859
555.04/557.34	c stratification level: 156805504
557.03/559.38	c bounds 762779644 >= -100 @ 544.883
557.03/559.38	c stratification level: 155708966
559.13/561.43	c bounds 762777692 >= -100 @ 546.908
559.13/561.43	c stratification level: 154617552
564.11/566.46	c bounds 762762369 >= -100 @ 551.901
564.11/566.46	c stratification level: 153531250
565.72/568.03	c bounds 762715570 >= -100 @ 553.454
565.72/568.03	c stratification level: 152450048
567.81/570.19	c bounds 762594591 >= -100 @ 555.592
567.81/570.19	c stratification level: 151373934
570.89/573.27	c bounds 762536240 >= -100 @ 558.648
570.89/573.27	c stratification level: 150302896
573.88/576.27	c bounds 762518603 >= -100 @ 561.609
573.88/576.27	c stratification level: 149236922
576.57/578.90	c bounds 762515702 >= -100 @ 564.209
576.57/578.90	c stratification level: 148176000
580.17/582.59	c bounds 762512250 >= -100 @ 567.871
580.17/582.59	c stratification level: 147120118
582.76/585.14	c bounds 711741869 >= -100 @ 570.401
582.76/585.14	c stratification level: 146069264
583.95/586.39	c bounds 711738968 >= -100 @ 571.635
583.95/586.39	c stratification level: 145023426
585.15/587.56	c bounds 673030511 >= -100 @ 572.808
585.15/587.56	c stratification level: 143982592
586.65/589.09	c bounds 673027610 >= -100 @ 574.322
586.65/589.09	c stratification level: 142946750
592.33/594.75	c bounds 672995556 >= -100 @ 579.95
592.33/594.75	c stratification level: 141915888
594.02/596.42	c bounds 672994043 >= -100 @ 581.608
594.02/596.42	c stratification level: 140889994
601.09/603.54	c bounds 672992686 >= -100 @ 588.676
601.09/603.54	c stratification level: 139869056
607.59/610.07	c bounds 652259537 >= -100 @ 595.163
607.59/610.07	c stratification level: 138853062
610.17/612.61	c bounds 652243967 >= -100 @ 597.689
610.17/612.61	c stratification level: 137842000
611.37/613.88	c bounds 652241923 >= -100 @ 598.955
611.37/613.88	c stratification level: 136835858
612.36/614.84	c bounds 652240699 >= -100 @ 599.911
612.36/614.84	c stratification level: 135834624
615.35/617.88	c bounds 652239446 >= -100 @ 602.935
615.35/617.88	c stratification level: 134838286
616.85/619.30	c bounds 652236178 >= -100 @ 604.348
616.85/619.30	c stratification level: 133846832
618.24/620.73	c bounds 652235918 >= -100 @ 605.767
618.24/620.73	c stratification level: 132860250
624.02/626.53	c bounds 652226840 >= -100 @ 611.532
624.02/626.53	c stratification level: 131878528
626.02/628.59	c bounds 652086574 >= -100 @ 613.58
626.02/628.59	c stratification level: 130901654
629.21/631.78	c bounds 652072095 >= -100 @ 616.747
629.21/631.78	c stratification level: 129929616
633.60/636.11	c bounds 651607153 >= -100 @ 621.056
633.60/636.11	c stratification level: 128962402
681.63/684.34	c bounds 651501305 >= -100 @ 668.961
681.63/684.34	c stratification level: 128000000
683.22/685.93	c bounds 651496784 >= -100 @ 670.534
683.22/685.93	c stratification level: 127042398
684.72/687.41	c bounds 651496524 >= -100 @ 671.995
684.72/687.41	c stratification level: 126089584
686.22/688.96	c bounds 651489558 >= -100 @ 673.523
686.22/688.96	c stratification level: 125141546
692.69/695.46	c bounds 635067057 >= -100 @ 679.982
692.69/695.46	c stratification level: 124198272
694.59/697.35	c bounds 635063431 >= -100 @ 681.857
694.59/697.35	c stratification level: 123259750
695.49/698.27	c bounds 512005603 >= -100 @ 682.767
695.49/698.27	c stratification level: 122325968
697.48/700.24	c bounds 511990391 >= -100 @ 684.716
697.48/700.24	c stratification level: 121396914
710.94/713.72	c bounds 452856207 >= -100 @ 698.076
710.94/713.72	c stratification level: 120472576
712.03/714.89	c bounds 447193969 >= -100 @ 699.222
712.03/714.89	c stratification level: 119552942
713.83/716.66	c bounds 447173076 >= -100 @ 700.981
713.83/716.66	c stratification level: 118638000
715.12/717.90	c bounds 446999551 >= -100 @ 702.199
715.12/717.90	c stratification level: 117727738
716.92/719.76	c bounds 396097964 >= -100 @ 704.029
716.92/719.76	c stratification level: 116822144
718.22/721.04	c bounds 395924439 >= -100 @ 705.298
718.22/721.04	c stratification level: 115921206
720.41/723.26	c bounds 395890026 >= -100 @ 707.51
720.41/723.26	c stratification level: 115024912
721.32/724.13	c bounds 395889532 >= -100 @ 708.371
721.32/724.13	c stratification level: 114133250
722.10/724.99	c bounds 395881324 >= -100 @ 709.22
722.10/724.99	c stratification level: 113246208
724.50/727.38	c bounds 395871753 >= -100 @ 711.591
724.50/727.38	c stratification level: 112363774
725.79/728.69	c bounds 395773408 >= -100 @ 712.887
725.79/728.69	c stratification level: 111485936
727.20/730.09	c bounds 395232756 >= -100 @ 714.27
727.20/730.09	c stratification level: 110612682
728.48/731.37	c bounds 395217844 >= -100 @ 715.54
728.48/731.37	c stratification level: 109744000
731.07/733.98	c bounds 395208707 >= -100 @ 718.131
731.07/733.98	c stratification level: 108879878
740.84/743.77	c bounds 386863626 >= -100 @ 727.855
740.84/743.77	c stratification level: 108020304
742.33/745.26	c bounds 386860060 >= -100 @ 729.323
742.33/745.26	c stratification level: 107165266
744.52/747.42	c bounds 301960896 >= -100 @ 731.469
744.52/747.42	c stratification level: 106314752
745.82/748.76	c bounds 301943449 >= -100 @ 732.785
745.82/748.76	c stratification level: 105468750
747.13/750.09	c bounds 301936564 >= -100 @ 734.104
747.13/750.09	c stratification level: 104627248
748.01/751.00	c bounds 301932636 >= -100 @ 734.998
748.01/751.00	c stratification level: 103790234
749.52/752.41	c bounds 301918644 >= -100 @ 736.393
749.52/752.41	c stratification level: 102957696
751.71/754.64	c bounds 301743479 >= -100 @ 738.61
751.71/754.64	c stratification level: 102129622
777.41/780.41	c bounds 301697099 >= -100 @ 764.253
777.41/780.41	c stratification level: 101306000
780.91/783.92	c bounds 301614914 >= -100 @ 767.732
780.91/783.92	c stratification level: 100486818
782.30/785.34	c bounds 301613456 >= -100 @ 769.129
782.30/785.34	c stratification level: 99672064
783.70/786.76	c bounds 301599464 >= -100 @ 770.541
783.70/786.76	c stratification level: 98861726
814.39/817.55	c bounds 296498228 >= -100 @ 801.188
814.39/817.55	c stratification level: 98055792
815.79/818.92	c bounds 296068682 >= -100 @ 802.545
815.79/818.92	c stratification level: 97254250
817.59/820.74	c bounds 296041880 >= -100 @ 804.351
817.59/820.74	c stratification level: 96457088
818.99/822.11	c bounds 296040422 >= -100 @ 805.705
818.99/822.11	c stratification level: 95664294
820.38/823.59	c bounds 296029996 >= -100 @ 807.164
820.38/823.59	c stratification level: 94875856
821.78/824.95	c bounds 296026430 >= -100 @ 808.502
821.78/824.95	c stratification level: 94091762
839.92/843.14	c bounds 287031279 >= -100 @ 826.609
839.92/843.14	c stratification level: 93312000
844.10/847.35	c bounds 287025757 >= -100 @ 830.786
844.10/847.35	c stratification level: 92536558
845.49/848.72	c bounds 287024299 >= -100 @ 832.15
845.49/848.72	c stratification level: 91765424
847.90/851.12	c bounds 287013873 >= -100 @ 834.531
847.90/851.12	c stratification level: 90998586
849.29/852.50	c bounds 287010307 >= -100 @ 835.889
849.29/852.50	c stratification level: 90236032
853.97/857.23	c bounds 286951175 >= -100 @ 840.584
853.97/857.23	c stratification level: 89477750
855.37/858.60	c bounds 286947364 >= -100 @ 841.935
855.37/858.60	c stratification level: 88723728
856.87/860.16	c bounds 286873204 >= -100 @ 843.482
856.87/860.16	c stratification level: 87973954
858.26/861.53	c bounds 286871746 >= -100 @ 844.835
858.26/861.53	c stratification level: 87228416
859.55/862.82	c bounds 286857754 >= -100 @ 846.114
859.55/862.82	c stratification level: 86487102
862.65/865.94	c bounds 283800097 >= -100 @ 849.208
862.65/865.94	c stratification level: 85750000
864.43/867.75	c bounds 283774540 >= -100 @ 851.004
864.43/867.75	c stratification level: 85017098
2011.55/2018.43	c #Conflicts:       2000 | #Constraints:    4898172
2011.55/2018.43	c INPROCESSING
2011.55/2018.43	c GARBAGE COLLECT
2011.55/2018.43	c #Conflicts:       3000 | #Constraints:    4898071
2011.55/2018.43	c #Conflicts:       4000 | #Constraints:    4899071
2011.55/2018.43	c INPROCESSING
2011.55/2018.43	c GARBAGE COLLECT
2011.55/2018.43	c #Conflicts:       5000 | #Constraints:    4898491
2011.55/2018.43	c #Conflicts:       6000 | #Constraints:    4899491
2011.55/2018.43	c INPROCESSING
2011.55/2018.43	c GARBAGE COLLECT
2011.55/2018.43	c #Conflicts:       7000 | #Constraints:    4898519
2011.55/2018.43	c #Conflicts:       8000 | #Constraints:    4899519
2011.55/2018.43	c #Conflicts:       9000 | #Constraints:    4900519
2011.55/2018.43	c INPROCESSING
2011.55/2018.43	c GARBAGE COLLECT
2011.55/2018.43	c #Conflicts:      10000 | #Constraints:    4899220
2011.55/2018.43	c bounds 227336571 >= -100 @ 1993.36
2011.55/2018.43	c stratification level: 84288384
2014.84/2021.77	c bounds 227101954 >= -100 @ 1996.67
2014.84/2021.77	c stratification level: 83563846
2016.32/2023.22	c bounds 227093573 >= -100 @ 1998.11
2016.32/2023.22	c stratification level: 82843472
2018.32/2025.23	c bounds 227092838 >= -100 @ 2000.09
2018.32/2025.23	c stratification level: 82127250
2020.61/2027.56	c bounds 226852508 >= -100 @ 2002.41
2020.61/2027.56	c stratification level: 81415168
2022.01/2029.00	c bounds 226844127 >= -100 @ 2003.82
2022.01/2029.00	c stratification level: 80707214
2023.51/2030.43	c bounds 226843392 >= -100 @ 2005.24
2023.51/2030.43	c stratification level: 80003376
2024.90/2031.85	c bounds 226834688 >= -100 @ 2006.65
2024.90/2031.85	c stratification level: 79303642
2026.80/2033.75	c bounds 226480671 >= -100 @ 2008.53
2026.80/2033.75	c stratification level: 78608000
2029.29/2036.20	c bounds 226086147 >= -100 @ 2010.96
2029.29/2036.20	c stratification level: 77916438
2232.72/2240.31	c bounds 225781304 >= -100 @ 2214.33
2232.72/2240.31	c stratification level: 77228944
2233.92/2241.55	c bounds 225776071 >= -100 @ 2215.56
2233.92/2241.55	c stratification level: 76545506
2637.61/2646.52	c bounds 225742492 >= -100 @ 2619.08
2637.61/2646.52	c stratification level: 75866112
2638.90/2647.86	c bounds 225737259 >= -100 @ 2620.4
2638.90/2647.86	c stratification level: 75190750
2981.06/2991.10	c #Conflicts:      11000 | #Constraints:    4900234
2981.06/2991.10	c bounds 222309359 >= -100 @ 2961.46
2981.06/2991.10	c stratification level: 74519408
3090.30/3100.64	c bounds 222309065 >= -100 @ 3069.28
3090.30/3100.64	c stratification level: 73852074
3108.24/3118.67	c bounds 222252017 >= -100 @ 3087.14
3108.24/3118.67	c stratification level: 73188736
3111.74/3122.18	c bounds 222251514 >= -100 @ 3090.6
3111.74/3122.18	c stratification level: 72529382
3125.09/3135.55	c bounds 222241789 >= -100 @ 3103.82
3125.09/3135.55	c stratification level: 71874000
3128.68/3139.12	c bounds 222241726 >= -100 @ 3107.36
3128.68/3139.12	c stratification level: 71222578
3154.79/3165.32	c bounds 222211659 >= -100 @ 3133.32
3154.79/3165.32	c stratification level: 70575104
3168.25/3178.83	c bounds 214763483 >= -100 @ 3146.73
3168.25/3178.83	c stratification level: 69931566
3347.79/3358.93	terminate called after throwing an instance of 'rs::OutOfMemoryException'

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (52080 MiB free)
  memory of node 1: 64507 MiB (47830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505437-1751473533/watcher-4505437-1751473533 -o /tmp/evaluation-result-4505437-1751473533/solver-4505437-1751473533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751466235-69390 --watchdog 3760 mixed-bag HOME/instance-4505437-1751473533.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=70355, runsolver pid=70352

[startup+0.100074 s]*
/proc/loadavg: 4.19 4.14 4.15 5/252 70356
/proc/meminfo: memFree=102170984/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=232172 memory=134552 CPUtime=0.08 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 5690 0 0 0 4 4 0 0 20 0 1 0 63033243 237744128 33638 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 58043 33638 2144 2842 0 40276 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 232172 KiB
Current children cumulated memory: 134552 KiB

[startup+0.213443 s]*
/proc/loadavg: 4.19 4.14 4.15 5/252 70356
/proc/meminfo: memFree=102126440/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=261872 memory=178584 CPUtime=0.18 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 13126 0 0 0 11 7 0 0 20 0 1 0 63033243 268156928 44646 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 65468 44646 2144 2842 0 47701 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 261872 KiB
Current children cumulated memory: 178584 KiB

[startup+0.313234 s]*
/proc/loadavg: 4.19 4.14 4.15 5/252 70356
/proc/meminfo: memFree=102089960/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=554196 memory=215960 CPUtime=0.26 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 19906 0 0 0 17 9 0 0 20 0 1 0 63033243 567496704 53990 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 138549 53990 2144 2842 0 120782 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 554196 KiB
Current children cumulated memory: 215960 KiB

[startup+0.700249 s]
/proc/loadavg: 4.19 4.14 4.15 5/252 70356
/proc/meminfo: memFree=102005224/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=729104 memory=398172 CPUtime=0.61 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 42616 0 0 0 44 17 0 0 20 0 1 0 63033243 746602496 99543 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 182276 99543 2144 2842 0 164509 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 729104 KiB
Current children cumulated memory: 398172 KiB

[startup+1.50025 s]
/proc/loadavg: 4.19 4.14 4.15 5/252 70356
/proc/meminfo: memFree=101889280/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=753444 memory=438424 CPUtime=1.4 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 55246 0 0 0 120 20 0 0 20 0 1 0 63033243 771526656 109606 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 188361 109606 2176 2842 0 170594 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 753444 KiB
Current children cumulated memory: 438424 KiB

[startup+3.10562 s]
/proc/loadavg: 4.19 4.14 4.15 5/252 70356
/proc/meminfo: memFree=101755384/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=852212 memory=518256 CPUtime=2.99 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 58248 0 0 0 273 26 0 0 20 0 1 0 63033243 872665088 129564 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 213053 129564 2176 2842 0 195286 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 852212 KiB
Current children cumulated memory: 518256 KiB

[startup+6.3002 s]
/proc/loadavg: 4.18 4.14 4.15 5/252 70356
/proc/meminfo: memFree=101596168/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=983284 memory=727840 CPUtime=6.15 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 59223 0 0 0 581 34 0 0 20 0 1 0 63033243 1006882816 181960 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 245821 181960 2176 2842 0 228054 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 983284 KiB
Current children cumulated memory: 727840 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.14 4.15 5/252 70356
/proc/meminfo: memFree=99986168/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=1245428 memory=1035972 CPUtime=12.53 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 60324 0 0 0 1204 49 0 0 20 0 1 0 63033243 1275318272 258993 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 311357 258993 2176 2842 0 293590 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 1245428 KiB
Current children cumulated memory: 1035972 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.13 4.15 5/252 70357
/proc/meminfo: memFree=97047920/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=3689572 memory=3535964 CPUtime=25.28 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 139490 0 0 0 2376 152 0 0 20 0 1 0 63033243 3778121728 883991 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 922393 883991 2336 2842 0 904087 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 3689572 KiB
Current children cumulated memory: 3535964 KiB

[startup+51.1132 s]
/proc/loadavg: 4.21 4.15 4.15 5/252 70357
/proc/meminfo: memFree=84224148/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=15641072 memory=15295564 CPUtime=50.82 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2353125 0 0 0 4524 558 0 0 20 0 1 0 63033243 16016457728 3823348 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 3910268 3823348 4096 2842 0 3891962 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 15641072 KiB
Current children cumulated memory: 15295564 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/252 70407
/proc/meminfo: memFree=82928640/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=16555468 memory=16217640 CPUtime=101.83 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2864630 0 0 0 9457 726 0 0 20 0 1 0 63033243 16952799232 4054410 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 4138867 4054410 4096 2842 0 4120561 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 16555468 KiB
Current children cumulated memory: 16217640 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/251 70409
/proc/meminfo: memFree=68582640/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=17662688 memory=17273532 CPUtime=161.57 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2886275 0 0 0 15406 751 0 0 20 0 1 0 63033243 18086592512 4318383 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 4415672 4318383 4128 2842 0 4397366 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 17662688 KiB
Current children cumulated memory: 17273532 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/250 70411
/proc/meminfo: memFree=65751468/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=17662688 memory=17275580 CPUtime=221.26 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2887502 0 0 0 21373 753 0 0 20 0 1 0 63033243 18086592512 4318895 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 4415672 4318895 4128 2842 0 4397366 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 17662688 KiB
Current children cumulated memory: 17275580 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/250 70413
/proc/meminfo: memFree=68787984/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=17662688 memory=17275580 CPUtime=280.96 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2888200 0 0 0 27342 754 0 0 20 0 1 0 63033243 18086592512 4318895 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 4415672 4318895 4128 2842 0 4397366 0
Current children cumulated CPU time: 280.96 s
Current children cumulated vsize: 17662688 KiB
Current children cumulated memory: 17275580 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/251 70420
/proc/meminfo: memFree=71931800/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=17639712 memory=17252732 CPUtime=340.74 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2888770 0 0 0 33318 756 0 0 20 0 1 0 63033243 18063065088 4313183 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 4409928 4313183 4128 2842 0 4391622 0
Current children cumulated CPU time: 340.74 s
Current children cumulated vsize: 17639712 KiB
Current children cumulated memory: 17252732 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/252 70423
/proc/meminfo: memFree=75137580/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=14103420 memory=13757820 CPUtime=400.55 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2896665 0 0 0 38889 1166 0 0 20 0 1 0 63033243 14441902080 3439455 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 3525855 3439455 4320 2842 0 3507549 0
Current children cumulated CPU time: 400.55 s
Current children cumulated vsize: 14103420 KiB
Current children cumulated memory: 13757820 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/252 70425
/proc/meminfo: memFree=78602316/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=14103420 memory=14012412 CPUtime=460.35 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 2897276 0 0 0 44853 1182 0 0 20 0 1 0 63033243 14441902080 3503103 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 3525855 3503103 4320 2842 0 3507549 0
Current children cumulated CPU time: 460.35 s

################
# More data... #
################

/proc/loadavg: 4.13 4.10 4.11 5/250 70555
/proc/meminfo: memFree=57980424/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=23484416 memory=19849196 CPUtime=2912.55 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3001350 0 0 0 289319 1936 0 0 20 0 1 0 63033243 24048041984 4962299 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 5871104 4962299 4320 2842 0 5852798 0
Current children cumulated CPU time: 2912.55 s
Current children cumulated vsize: 23484416 KiB
Current children cumulated memory: 19849196 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.10 5/250 70557
/proc/meminfo: memFree=57567632/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=23484416 memory=20259728 CPUtime=2972.36 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3003135 0 0 0 295277 1959 0 0 20 0 1 0 63033243 24048041984 5064932 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 5871104 5064932 4320 2842 0 5852798 0
Current children cumulated CPU time: 2972.36 s
Current children cumulated vsize: 23484416 KiB
Current children cumulated memory: 20259728 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/250 70559
/proc/meminfo: memFree=55629744/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=25170976 memory=22185008 CPUtime=3032.18 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3294980 0 0 0 301184 2034 0 0 20 0 1 0 63033243 25775079424 5546252 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 6292744 5546252 4320 2842 0 6274438 0
Current children cumulated CPU time: 3032.18 s
Current children cumulated vsize: 25170976 KiB
Current children cumulated memory: 22185008 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 70564
/proc/meminfo: memFree=53731512/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=26721944 memory=24097872 CPUtime=3091.99 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3554786 0 0 0 307096 2103 0 0 20 0 1 0 63033243 27363270656 6024468 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 6680486 6024468 4320 2842 0 6662180 0
Current children cumulated CPU time: 3091.99 s
Current children cumulated vsize: 26721944 KiB
Current children cumulated memory: 24097872 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/251 70567
/proc/meminfo: memFree=52732328/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27212176 memory=25061288 CPUtime=3151.81 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3649748 0 0 0 313037 2144 0 0 20 0 1 0 63033243 27865268224 6265322 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 6803044 6265322 4320 2842 0 6784738 0
Current children cumulated CPU time: 3151.81 s
Current children cumulated vsize: 27212176 KiB
Current children cumulated memory: 25061288 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 70569
/proc/meminfo: memFree=51834388/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27454580 memory=25740292 CPUtime=3211.61 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3703480 0 0 0 318989 2172 0 0 20 0 1 0 63033243 28113489920 6435073 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 6863645 6435073 4320 2842 0 6845339 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 27454580 KiB
Current children cumulated memory: 25740292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 70571
/proc/meminfo: memFree=50663612/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27795976 memory=26685328 CPUtime=3271.42 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3787653 0 0 0 324925 2217 0 0 20 0 1 0 63033243 28463079424 6671332 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 6948994 6671332 4320 2842 0 6930688 0
Current children cumulated CPU time: 3271.42 s
Current children cumulated vsize: 27795976 KiB
Current children cumulated memory: 26685328 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 70577
/proc/meminfo: memFree=49711640/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27922928 memory=27394796 CPUtime=3331.23 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3837728 0 0 0 330865 2258 0 0 20 0 1 0 63033243 28593078272 6848699 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 6980732 6848699 4320 2842 0 6962426 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 27922928 KiB
Current children cumulated memory: 27394796 KiB

[startup+3371.19 s]
# the end of solver process 70355 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core

# cumulated CPU time of all completed processes:  user=3325.08 s, system=24.84 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3353.6 s]
/proc/loadavg: 4.13 4.09 4.09 5/251 70577
/proc/meminfo: memFree=49515800/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27963088 memory=27552976 CPUtime=3342.5 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4194304 3850291 0 0 0 331982 2268 0 0 20 0 1 0 63033243 28634202112 6888244 18446744073709551615 4235264 15874749 140726960217968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 0
/proc/70355/statm: 6990772 6888244 4320 2842 0 6972466 0
Current children cumulated CPU time: 3342.5 s
Current children cumulated vsize: 27963088 KiB
Current children cumulated memory: 27552976 KiB

[startup+3360 s]*
/proc/loadavg: 4.19 4.11 4.10 5/253 70580
/proc/meminfo: memFree=48410200/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27969676 memory=27604332 CPUtime=3348.76 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) R 70352 70355 69377 0 -1 4195840 3853984 0 1 0 332507 2369 0 0 20 0 1 0 63033243 28640948224 6901083 18446744073709551615 4235264 15874749 140726960217968 140726960212384 140313067305580 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 6
/proc/70355/statm: 6992419 6901083 4416 2842 0 6974113 0
Current children cumulated CPU time: 3348.76 s
Current children cumulated vsize: 27969676 KiB
Current children cumulated memory: 27604332 KiB

[startup+3366.4 s]
/proc/loadavg: 4.26 4.12 4.10 5/252 70580
/proc/meminfo: memFree=48064460/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27969676 memory=27604332 CPUtime=3348.81 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) S 70352 70355 69377 0 -1 4195840 3853984 0 1 0 332507 2374 0 0 20 0 1 0 63033243 28640948224 6901083 18446744073709551615 4235264 15874749 140726960217968 140726960212384 140313067305580 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 6
/proc/70355/statm: 6992419 6901083 4416 2842 0 6974113 0
Current children cumulated CPU time: 3348.81 s
Current children cumulated vsize: 27969676 KiB
Current children cumulated memory: 27604332 KiB

[startup+3369.6 s]
/proc/loadavg: 4.26 4.12 4.10 4/252 70580
/proc/meminfo: memFree=47967296/131382116 swapFree=33010684/33010684
[pid=70355] ppid=70352 vsize=27969676 memory=27604332 CPUtime=3348.81 cores=5,7
/proc/70355/stat : 70355 (mixed-bag) S 70352 70355 69377 0 -1 4195840 3853984 0 1 0 332507 2374 0 0 20 0 1 0 63033243 28640948224 6901083 18446744073709551615 4235264 15874749 140726960217968 140726960212384 140313067305580 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 18096864 18107984 35041280 140726960224668 140726960224745 140726960224745 140726960230347 6
/proc/70355/statm: 6992419 6901083 4416 2842 0 6974113 0
Current children cumulated CPU time: 3348.81 s
Current children cumulated vsize: 27969676 KiB
Current children cumulated memory: 27604332 KiB

[startup+3370.4 s]
/proc/loadavg: 4.32 4.14 4.11 5/251 70584
/proc/meminfo: memFree=49376848/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3370.8 s]
/proc/loadavg: 4.32 4.14 4.11 5/251 70584
/proc/meminfo: memFree=49376848/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3371 s]*
/proc/loadavg: 4.32 4.14 4.11 5/254 70587
/proc/meminfo: memFree=64139900/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3371.11 s]
/proc/loadavg: 4.32 4.14 4.11 5/254 70587
/proc/meminfo: memFree=64139900/131382116 swapFree=33010684/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): 3371.2
CPU time (s): 3349.92
CPU user time (s): 3325.08
CPU system time (s): 24.84
CPU usage (%): 99.3689
Max. virtual memory (cumulated for all children) (KiB): 27969676
Max. memory (cumulated for all children) (KiB): 27604332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3325.08
system time used= 24.84
maximum resident set size= 27604332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3853984
page faults= 1
swaps= 0
block input operations= 184
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163
involuntary context switches= 19626


# summary of solver processes directly reported to runsolver:
#   pid: 70355
#   total CPU time (s): 3349.92
#   total CPU user time (s): 3325.08
#   total CPU system time (s): 24.84

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.983 second user time and 33.1714 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 18:25:35
IDJOB=4505437
IDBENCH=155757
IDSOLVER=3340
FILE ID=nodeC011/4505437-1751473533
RUNJOBID= nodeC011-1751466235-69390
SLURM_JOB_ID= 9598483
Free space on /tmp= 430200 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
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-4505437-1751473533/watcher-4505437-1751473533 -o /tmp/evaluation-result-4505437-1751473533/solver-4505437-1751473533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751466235-69390 --watchdog 3760  mixed-bag HOME/instance-4505437-1751473533.opb

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

MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=594011213

nodeC011 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		: 3523.104
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	: 6984.20
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		: 3492.169
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	: 6984.20
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.653
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	: 6984.20
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.565
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	: 6984.20
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		: 3492.026
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	: 6984.20
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	: 6984.20
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	: 6984.20
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.294
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        102309484 kB
MemAvailable:   104503116 kB
Buffers:            3276 kB
Cached:          2996056 kB
SwapCached:            0 kB
Active:         25592468 kB
Inactive:        2568220 kB
Active(anon):   25177212 kB
Inactive(anon):     2104 kB
Active(file):     415256 kB
Inactive(file):  2566116 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            237604 kB
Writeback:             4 kB
AnonPages:      25161544 kB
Mapped:           135296 kB
Shmem:             17960 kB
KReclaimable:     103388 kB
Slab:             188356 kB
SReclaimable:     103388 kB
SUnreclaim:        84968 kB
KernelStack:        4064 kB
PageTables:        52856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   26095992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7675904 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429732 MiB
End job on nodeC011 at 2025-07-02 19:21:47