Trace number 4106277

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
toysat 2016-05-02OPT3 466.627 466.702

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb
MD5SUMbc362e080dfd9e6c883df7eeb6006e66
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.109983
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)441
Sum of products size (including duplicates)882
Number of different products441
Sum of products size882

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-18T18:46:40+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106277-1466268400.opb"]
0.00/0.01	c use --random-gen="2855665722 2290609800 194979986 264949904 1982599955 1689135006 1722462388 3582331604 112253413 2914488833 2934005672 1161752318 1552904940 416880830 1329271527 2914037742 147006960 579577196 2329521311 1276201635 3566888713 3114859720 2215615321 4188655736 3295110459 1448639210 1779587776 2612081803 2442263841 3380084269 2991471775 3877754749 497032091 2283187252 1280826671 1889967673 466166183 79540686 1101549678 4211569455 3444652359 965271544 3961951481 3850943077 2109708821 933886460 1809017189 3822049432 2667193108 1148214786 1219490503 3133194700 3524958743 3946605690 3825095563 3889986349 4093024935 804160750 627406746 1381118931 3410261427 610367453 1753020921 3152778104 101746542 1747416712 2426835583 3300810249 2274826907 2745571465 3456951588 2621891113 1252496018 853522867 1049636756 851470306 3494333037 253288299 2585345707 4239993945 2873383345 735900563 3549749765 967516929 343774325 3435213432 3944780939 911042025 2953359772 640694277 3293064159 3890825266 2391553833 768525699 1291720382 63001646 36240881 337587339 915341433 3280841985 1049850533 1993515751 3830413862 3601575605 406459861 4260017894 2980434 747013115 1409581125 1206571171 3850962590 493261419 1867762616 2246526729 1702000926 3034477649 1031670972 3194018722 3625343392 2076890713 1966439342 2062272573 3622981428 887017964 2372444690 3002374877 3092910206 1945093058 726793936 2006298902 1378857283 3857954190 375106244 1089537536 2546116617 994245135 1344910726 53858259 2107714917 1038060488 226700183 3553690610 273737354 635225657 2800477809 3656661558 2645843321 2235596011 2830340896 821138200 2519115684 900125836 632965241 2531221865 4248747806 155986379 2005536194 3858867770 2206409299 1001851103 1811716208 1474271853 1770105590 4294681553 1029248693 2519449053 1849998680 634982007 3303868458 2869211182 785488966 473213307 1780341792 1087375500 988983294 1635430038 493021883 61340592 76527700 1007828834 790359447 1697771621 2191708585 695026812 2708656092 2069085880 3539338483 3634585459 343824265 329382193 3450586328 1031377618 1526761149 4090157380 1515159560 2860030822 2738303997 3987068449 3489689586 3252076088 3524411170 3594649031 3385860180 2308230553 1202121523 138576432 432028504 95589694 2173005447 2158783441 3773162720 333855277 2083259823 4131131424 994188921 646809148 2591128454 2029907207 609477678 3909268231 2090780367 2487071943 2747156622 4012845621 4004651282 936075522 3437485646 468973122 810003819 3418507295 3551802596 3115286115 3278872875 3373468837 3147907808 2684902275 2375987849 1428771635 162225821 4021538430 2692629407 1357960895 4260645800 4189618342 144840208 2261086941 1763883188 3948866349 1098787968 1379391148 4197322047 1845209864 1834299569 4028689192 2311528704 2590582346 255 362436" option to reproduce the execution
0.00/0.01	c #vars 189
0.00/0.01	c #constraints 19
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      660      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      110 |      100 |      660      0 |        0 |        0
0.00/0.07	c  0.0s |       2 |      265 |      250 |      727      0 |        0 |        0
0.08/0.11	c  0.1s |       3 |      519 |      475 |      800      0 |        0 |        0
0.08/0.18	c  0.2s |       4 |     1015 |      813 |      881      0 |        0 |        0
0.39/0.45	c  0.4s |       5 |     1623 |     1320 |      970      0 |        0 |        0
0.68/0.71	c  0.7s |       6 |     2523 |     2081 |     1174      1 |        0 |        0
0.99/1.02	c  1.0s |       7 |     3767 |     3223 |     1292      3 |        0 |        0
1.38/1.44	c  1.4s |       8 |     5611 |     4936 |     1422      5 |        0 |        0
2.09/2.18	c  2.1s |       9 |     8426 |     7506 |     1565      7 |        0 |        0
2.99/3.02	c  3.0s |      10 |    12685 |    11361 |     1722     11 |        0 |        0
4.28/4.40	c  4.4s |      11 |    19039 |    17144 |     1895     17 |        0 |        0
4.49/4.53	c  4.5s |      11 |    19770 |    17700 |     1895     17 |        0 |        0
4.49/4.53	c #cpu_time = 4.500s
4.49/4.53	c #wall_clock_time = 4.500s
4.49/4.53	c #decision = 19770
4.49/4.53	c #random_decision = 61
4.49/4.53	c #conflict = 17700
4.49/4.53	c #restart = 11
4.49/4.53	o 33
4.49/4.53	c BCD2: hardening fixes 1 literals
4.49/4.53	c BCD2: updating upper bound: 127 -> 32
4.49/4.53	c BCD2: 0 <= obj <= 32
4.49/4.53	c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=1
4.49/4.53	c BCD2: #sat=1 #unsat=1 bias=1/2
4.49/4.53	c Solving starts ...
4.49/4.53	c ============================[ Search Statistics ]============================
4.49/4.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.53	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.53	c =============================================================================
4.49/4.53	c  0.0s |       0 |        0 |        0 |     1895      0 |        9 |        0
4.49/4.53	c  0.0s |       0 |        4 |        0 |     1895      0 |        9 |       21
4.49/4.53	c #cpu_time = 0.005s
4.49/4.53	c #wall_clock_time = 0.005s
4.49/4.53	c #decision = 4
4.49/4.53	c #random_decision = 0
4.49/4.53	c #conflict = 0
4.49/4.53	c #restart = 0
4.49/4.53	c BCD2: found a new core of size 5: cost of the new core is >=2
4.49/4.53	c lower bound updated to 2
4.49/4.53	c BCD2: 2 <= obj <= 32
4.49/4.53	c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=1
4.49/4.53	c BCD2: #sat=1 #unsat=2 bias=2/3
4.49/4.53	c Solving starts ...
4.49/4.53	c ============================[ Search Statistics ]============================
4.49/4.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.53	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.53	c =============================================================================
4.49/4.53	c  0.0s |       0 |        0 |        0 |     1895      0 |        9 |       21
4.49/4.55	c  0.0s |       1 |      194 |      100 |     1895      0 |        9 |       21
4.58/4.63	c  0.1s |       2 |      433 |      250 |     1895      0 |        9 |       21
4.68/4.71	c  0.2s |       3 |      896 |      475 |     1895      1 |        9 |       21
4.68/4.78	c  0.2s |       4 |     1429 |      813 |     1895      1 |        9 |       21
4.78/4.87	c  0.3s |       5 |     2054 |     1320 |     1895      1 |        9 |       21
4.98/5.08	c  0.5s |       6 |     2902 |     2081 |     1895      2 |        9 |       21
5.28/5.36	c  0.8s |       7 |     4196 |     3223 |     1895      3 |        9 |       21
5.68/5.78	c  1.2s |       8 |     6265 |     4936 |     1895      5 |        9 |       21
6.48/6.57	c  2.0s |       9 |     9258 |     7506 |     1895      7 |        9 |       21
7.19/7.29	c  2.8s |      10 |    13551 |    11361 |     2085     10 |        9 |       21
9.29/9.32	c  4.8s |      10 |    19105 |    16561 |     2085     14 |        9 |       21
9.59/9.60	c  5.1s |      11 |    19758 |    17144 |     2085     14 |        9 |       21
11.29/11.37	c  6.8s |      12 |    29169 |    25819 |     2294     21 |        9 |       21
13.30/13.38	c  8.8s |      12 |    38207 |    33019 |     2294     26 |        9 |       21
15.29/15.32	c 10.8s |      13 |    44622 |    38832 |     2294     30 |        9 |       21
17.29/17.33	c 12.8s |      13 |    54875 |    48232 |     2524     37 |        9 |       21
19.29/19.34	c 14.8s |      13 |    64615 |    57232 |     2524     43 |        9 |       21
19.49/19.59	c 15.1s |      14 |    65876 |    58352 |     2524     43 |        9 |       21
21.49/21.59	c 17.1s |      14 |    73039 |    64952 |     2524     48 |        9 |       21
23.59/23.62	c 19.1s |      14 |    80237 |    71852 |     2777     52 |        9 |       21
25.59/25.63	c 21.1s |      14 |    86830 |    78052 |     2777     56 |        9 |       21
27.59/27.63	c 23.1s |      14 |    93717 |    84652 |     2777     60 |        9 |       21
28.59/28.62	c 24.1s |      15 |    96809 |    87632 |     2777     62 |        9 |       21
30.58/30.65	c 26.1s |      15 |   105673 |    95632 |     2777     67 |       10 |       28
32.58/32.65	c 28.1s |      15 |   112236 |   101632 |     2777     71 |       10 |       28
34.58/34.66	c 30.1s |      15 |   119534 |   108332 |     2777     75 |       10 |       28
36.58/36.67	c 32.1s |      15 |   126825 |   115132 |     3055     79 |       10 |       28
38.68/38.70	c 34.2s |      15 |   134443 |   121832 |     3055     83 |       10 |       28
40.69/40.72	c 36.2s |      15 |   142787 |   129332 |     3055     87 |       10 |       28
41.38/41.40	c 36.9s |      16 |   145185 |   131552 |     3055     88 |       10 |       28
43.38/43.42	c 38.9s |      16 |   154425 |   140152 |     3055     94 |       10 |       28
45.38/45.43	c 40.9s |      16 |   163061 |   148252 |     3055     98 |       10 |       28
47.39/47.45	c 42.9s |      16 |   171484 |   156052 |     3055    103 |       10 |       28
49.38/49.48	c 44.9s |      16 |   179944 |   163952 |     3055    108 |       10 |       28
51.48/51.50	c 47.0s |      16 |   188245 |   171752 |     3055    113 |       10 |       28
53.48/53.52	c 49.0s |      16 |   197047 |   179952 |     3361    117 |       10 |       28
55.48/55.52	c 51.0s |      16 |   205567 |   187952 |     3361    122 |       10 |       28
57.48/57.54	c 53.0s |      16 |   213743 |   195752 |     3361    126 |       10 |       28
57.88/57.93	c 53.4s |      17 |   215550 |   197432 |     3361    127 |       10 |       28
59.88/59.94	c 55.4s |      17 |   223565 |   203332 |     3361    130 |       10 |       28
61.88/61.95	c 57.4s |      17 |   232428 |   209832 |     3361    133 |       10 |       28
63.88/63.99	c 59.5s |      17 |   238981 |   216332 |     3361    137 |       10 |       28
65.98/66.00	c 61.5s |      17 |   245143 |   221832 |     3361    139 |       10 |       28
67.98/68.01	c 63.5s |      17 |   253095 |   227332 |     3361    142 |       10 |       28
69.98/70.03	c 65.5s |      17 |   257243 |   230732 |     3361    144 |       10 |       28
71.98/72.04	c 67.5s |      17 |   262197 |   234932 |     3361    147 |       10 |       28
73.97/74.05	c 69.5s |      17 |   268619 |   240532 |     3361    150 |       10 |       28
75.98/76.07	c 71.5s |      17 |   274767 |   245632 |     3361    152 |       10 |       28
78.08/78.11	c 73.6s |      17 |   281616 |   251732 |     3361    156 |       10 |       28
80.07/80.13	c 75.6s |      17 |   285799 |   255532 |     3361    158 |       10 |       28
82.07/82.14	c 77.6s |      17 |   290149 |   259632 |     3361    160 |       10 |       28
84.07/84.19	c 79.7s |      17 |   295961 |   264632 |     3361    162 |       10 |       28
86.17/86.20	c 81.7s |      17 |   301445 |   269432 |     3361    165 |       10 |       28
88.17/88.21	c 83.7s |      17 |   306776 |   274332 |     3361    168 |       10 |       28
90.18/90.24	c 85.7s |      17 |   311316 |   278432 |     3698    170 |       10 |       28
92.17/92.28	c 87.7s |      17 |   316587 |   283132 |     3698    172 |       10 |       28
94.27/94.30	c 89.8s |      17 |   322065 |   288032 |     3698    174 |       10 |       28
96.27/96.31	c 91.8s |      17 |   328079 |   293432 |     3698    177 |       10 |       28
97.37/97.46	c 92.9s |      18 |   331193 |   296252 |     3698    179 |       10 |       28
99.37/99.48	c 94.9s |      18 |   340276 |   304752 |     3698    183 |       10 |       28
101.47/101.50	c 97.0s |      18 |   348546 |   312552 |     3698    186 |       10 |       28
103.38/103.50	c 99.0s |      18 |   355607 |   319252 |     3698    190 |       10 |       28
105.47/105.50	c  100s |      18 |   363167 |   325952 |     3698    193 |       10 |       28
107.47/107.51	c  102s |      18 |   370271 |   332252 |     3698    196 |       10 |       28
109.47/109.53	c  104s |      18 |   378874 |   339952 |     3698    200 |       10 |       28
111.47/111.55	c  107s |      18 |   386881 |   347452 |     3698    203 |       10 |       28
113.47/113.55	c  109s |      18 |   394740 |   354552 |     3698    207 |       10 |       28
115.48/115.58	c  111s |      18 |   402800 |   361952 |     3698    210 |       10 |       28
117.47/117.59	c  113s |      18 |   410854 |   369152 |     3698    214 |       10 |       28
119.57/119.61	c  115s |      18 |   418512 |   376052 |     3698    217 |       10 |       28
121.57/121.64	c  117s |      18 |   426772 |   383452 |     3698    221 |       10 |       28
123.57/123.66	c  119s |      18 |   434078 |   389952 |     3698    224 |       10 |       28
125.57/125.66	c  121s |      18 |   441694 |   396752 |     3698    227 |       10 |       28
127.57/127.67	c  123s |      18 |   449213 |   403552 |     3698    231 |       10 |       28
129.57/129.68	c  125s |      18 |   455198 |   408752 |     3698    233 |       10 |       28
131.67/131.72	c  127s |      18 |   461158 |   414452 |     3698    236 |       10 |       28
133.67/133.74	c  129s |      18 |   468236 |   420952 |     3698    239 |       10 |       28
135.66/135.75	c  131s |      18 |   474288 |   426652 |     4068    242 |       10 |       28
137.67/137.77	c  133s |      18 |   481179 |   433152 |     4068    245 |       10 |       28
139.67/139.78	c  135s |      18 |   488817 |   440152 |     4068    248 |       10 |       28
141.06/141.16	c  136s |      19 |   493567 |   444482 |     4068    250 |       10 |       28
143.16/143.21	c  138s |      19 |   499590 |   449382 |     4068    252 |       10 |       28
145.17/145.21	c  140s |      19 |   506574 |   455382 |     4068    255 |       11 |       35
147.16/147.26	c  142s |      19 |   512758 |   460982 |     4068    257 |       11 |       35
149.16/149.28	c  144s |      19 |   518988 |   466482 |     4068    260 |       11 |       35
151.16/151.28	c  146s |      19 |   525787 |   472382 |     4068    262 |       11 |       35
153.26/153.31	c  148s |      19 |   532401 |   478482 |     4068    265 |       11 |       35
155.26/155.35	c  150s |      19 |   538525 |   484282 |     4068    268 |       11 |       35
157.27/157.38	c  152s |      19 |   545161 |   490682 |     4068    270 |       11 |       35
159.36/159.41	c  154s |      19 |   551816 |   496782 |     4068    273 |       11 |       35
161.36/161.43	c  156s |      19 |   559083 |   503682 |     4068    276 |       11 |       35
163.36/163.43	c  158s |      19 |   565698 |   510082 |     4068    279 |       11 |       35
165.36/165.46	c  160s |      19 |   574414 |   518282 |     4068    283 |       11 |       35
167.36/167.48	c  162s |      19 |   582043 |   525382 |     4068    286 |       11 |       35
169.47/169.50	c  164s |      19 |   589195 |   532082 |     4068    289 |       11 |       35
171.46/171.52	c  166s |      19 |   596199 |   538682 |     4068    292 |       11 |       35
173.46/173.54	c  169s |      19 |   603547 |   545382 |     4068    294 |       11 |       35
175.46/175.54	c  171s |      19 |   610685 |   551882 |     4068    297 |       11 |       35
177.46/177.54	c  173s |      19 |   618576 |   558882 |     4068    300 |       11 |       35
179.46/179.56	c  175s |      19 |   625760 |   565482 |     4068    303 |       11 |       35
181.46/181.56	c  177s |      19 |   632850 |   572182 |     4068    306 |       11 |       35
183.45/183.59	c  179s |      19 |   640084 |   578882 |     4068    309 |       11 |       35
185.45/185.59	c  181s |      19 |   648358 |   586482 |     4068    313 |       11 |       35
187.55/187.61	c  183s |      19 |   654353 |   591882 |     4068    315 |       11 |       35
189.55/189.65	c  185s |      19 |   660108 |   597082 |     4068    318 |       11 |       35
191.55/191.66	c  187s |      19 |   666714 |   603182 |     4068    320 |       11 |       35
193.57/193.68	c  189s |      19 |   672708 |   608582 |     4068    323 |       11 |       35
195.56/195.68	c  191s |      19 |   678591 |   613882 |     4068    325 |       11 |       35
197.66/197.71	c  193s |      19 |   684784 |   619882 |     4068    328 |       11 |       35
199.66/199.72	c  195s |      19 |   691839 |   626282 |     4068    331 |       11 |       35
201.66/201.74	c  197s |      19 |   698308 |   632282 |     4068    333 |       11 |       35
203.66/203.75	c  199s |      19 |   704738 |   637982 |     4068    336 |       11 |       35
205.66/205.76	c  201s |      19 |   711172 |   643582 |     4068    338 |       11 |       35
207.66/207.77	c  203s |      19 |   717413 |   649382 |     4475    341 |       11 |       35
209.76/209.80	c  205s |      19 |   724223 |   655482 |     4475    343 |       11 |       35
211.75/211.83	c  207s |      19 |   731298 |   661782 |     4475    346 |       11 |       35
213.36/213.44	c  208s |      20 |   736927 |   666827 |     4475    348 |       11 |       35
215.35/215.44	c  210s |      20 |   744528 |   672227 |     4475    350 |       11 |       35
217.35/217.45	c  212s |      20 |   751518 |   678627 |     4475    353 |       12 |       42
219.35/219.46	c  214s |      20 |   759534 |   686227 |     4475    356 |       12 |       42
221.35/221.49	c  216s |      20 |   768890 |   694627 |     4475    360 |       12 |       42
223.45/223.51	c  218s |      20 |   777040 |   702227 |     4475    363 |       12 |       42
225.46/225.54	c  221s |      20 |   785126 |   709527 |     4475    366 |       12 |       42
227.45/227.58	c  223s |      20 |   790053 |   714127 |     4475    368 |       12 |       42
229.55/229.60	c  225s |      20 |   795825 |   719527 |     4475    370 |       12 |       42
231.55/231.64	c  227s |      20 |   802333 |   724927 |     4475    372 |       12 |       42
233.55/233.68	c  229s |      20 |   807024 |   728927 |     4475    374 |       12 |       42
235.65/235.72	c  231s |      20 |   811874 |   733327 |     4475    376 |       12 |       42
237.65/237.72	c  233s |      20 |   818508 |   739227 |     4475    378 |       12 |       42
239.65/239.75	c  235s |      20 |   825223 |   745427 |     4475    381 |       12 |       42
241.65/241.77	c  237s |      20 |   831711 |   751427 |     4475    383 |       12 |       42
243.65/243.80	c  239s |      20 |   837762 |   756527 |     4475    385 |       12 |       42
245.75/245.82	c  241s |      20 |   844671 |   762627 |     4475    388 |       12 |       42
247.75/247.84	c  243s |      20 |   851795 |   768827 |     4475    391 |       12 |       42
249.75/249.85	c  245s |      20 |   858088 |   774327 |     4475    393 |       12 |       42
251.75/251.86	c  247s |      20 |   866478 |   782027 |     4475    396 |       13 |       49
253.75/253.86	c  249s |      20 |   873604 |   788627 |     4475    399 |       13 |       49
255.85/255.90	c  251s |      20 |   880128 |   794727 |     4475    401 |       13 |       49
257.84/257.91	c  253s |      20 |   887067 |   801127 |     4475    404 |       13 |       49
259.84/259.93	c  255s |      20 |   894611 |   808127 |     4475    407 |       13 |       49
261.85/261.94	c  257s |      20 |   902299 |   815427 |     4475    410 |       13 |       49
263.84/263.95	c  259s |      20 |   909570 |   822127 |     4475    413 |       13 |       49
265.84/265.99	c  261s |      20 |   916647 |   828827 |     4475    415 |       13 |       49
267.94/268.00	c  263s |      20 |   923583 |   835227 |     4475    418 |       13 |       49
269.94/270.02	c  265s |      20 |   930868 |   841727 |     4475    421 |       13 |       49
271.94/272.02	c  267s |      20 |   937844 |   848027 |     4475    423 |       13 |       49
273.95/274.05	c  269s |      20 |   944272 |   854027 |     4475    426 |       13 |       49
275.94/276.07	c  271s |      20 |   952928 |   861927 |     4475    429 |       13 |       49
277.94/278.09	c  273s |      20 |   961178 |   869427 |     4475    432 |       13 |       49
280.04/280.11	c  275s |      20 |   968729 |   876427 |     4475    435 |       13 |       49
282.04/282.12	c  277s |      20 |   976209 |   883127 |     4475    438 |       13 |       49
284.04/284.15	c  279s |      20 |   982801 |   889227 |     4475    441 |       13 |       49
286.05/286.18	c  281s |      20 |   990030 |   895927 |     4475    443 |       13 |       49
288.05/288.19	c  283s |      20 |   997463 |   902927 |     4475    446 |       13 |       49
290.15/290.21	c  285s |      20 |  1003498 |   908627 |     4475    449 |       13 |       49
292.15/292.23	c  287s |      20 |  1011372 |   915627 |     4475    452 |       13 |       49
294.14/294.24	c  289s |      20 |  1018506 |   922127 |     4475    454 |       13 |       49
296.14/296.25	c  291s |      20 |  1025791 |   928727 |     4475    457 |       13 |       49
298.15/298.27	c  293s |      20 |  1033049 |   935127 |     4475    460 |       13 |       49
300.14/300.28	c  295s |      20 |  1040475 |   942127 |     4475    463 |       13 |       49
302.14/302.28	c  297s |      20 |  1047179 |   948527 |     4475    465 |       13 |       49
304.14/304.29	c  299s |      20 |  1054427 |   955427 |     4475    468 |       13 |       49
306.24/306.32	c  301s |      20 |  1060400 |   961027 |     4475    471 |       13 |       49
308.24/308.34	c  303s |      20 |  1067602 |   967827 |     4475    473 |       13 |       49
310.25/310.35	c  305s |      20 |  1074740 |   974427 |     4475    476 |       13 |       49
312.24/312.36	c  307s |      20 |  1082269 |   981327 |     4923    479 |       13 |       49
314.24/314.39	c  309s |      20 |  1089416 |   987827 |     4923    481 |       13 |       49
316.34/316.41	c  311s |      20 |  1096599 |   994327 |     4923    484 |       13 |       49
318.14/318.28	c  313s |      21 |  1103288 |  1000345 |     4923    486 |       13 |       49
320.24/320.31	c  315s |      21 |  1111050 |  1006845 |     4923    489 |       13 |       49
322.25/322.33	c  317s |      21 |  1117824 |  1012445 |     4923    491 |       13 |       49
324.24/324.35	c  319s |      21 |  1124155 |  1017945 |     4923    493 |       13 |       49
326.24/326.36	c  321s |      21 |  1130367 |  1023945 |     4923    495 |       13 |       49
328.24/328.37	c  323s |      21 |  1135763 |  1029045 |     4923    497 |       13 |       49
330.24/330.38	c  325s |      21 |  1142134 |  1034545 |     4923    499 |       13 |       49
332.34/332.41	c  327s |      21 |  1149882 |  1040145 |     4923    501 |       13 |       49
334.34/334.41	c  329s |      21 |  1155324 |  1044945 |     4923    503 |       13 |       49
336.33/336.43	c  331s |      21 |  1160988 |  1049845 |     4923    505 |       13 |       49
338.33/338.47	c  333s |      21 |  1166313 |  1054545 |     4923    507 |       13 |       49
340.33/340.47	c  335s |      21 |  1172008 |  1059945 |     4923    509 |       13 |       49
342.43/342.51	c  337s |      21 |  1178737 |  1065845 |     4923    511 |       13 |       49
344.43/344.52	c  339s |      21 |  1186033 |  1072245 |     4923    514 |       13 |       49
346.44/346.52	c  341s |      21 |  1195132 |  1080745 |     4923    517 |       14 |       56
348.43/348.55	c  344s |      21 |  1202312 |  1087545 |     4923    520 |       14 |       56
350.43/350.59	c  346s |      21 |  1210114 |  1094845 |     4923    522 |       14 |       56
352.53/352.60	c  348s |      21 |  1217198 |  1101445 |     4923    525 |       14 |       56
354.53/354.65	c  350s |      21 |  1224442 |  1108145 |     4923    528 |       14 |       56
356.53/356.67	c  352s |      21 |  1231656 |  1114645 |     4923    530 |       14 |       56
358.53/358.69	c  354s |      21 |  1238340 |  1120745 |     4923    532 |       14 |       56
360.63/360.72	c  356s |      21 |  1245075 |  1127045 |     4923    535 |       14 |       56
362.63/362.74	c  358s |      21 |  1252576 |  1133945 |     4923    537 |       14 |       56
364.63/364.76	c  360s |      21 |  1258999 |  1139945 |     4923    540 |       14 |       56
366.63/366.78	c  362s |      21 |  1266306 |  1146545 |     4923    542 |       14 |       56
368.73/368.80	c  364s |      21 |  1272737 |  1152245 |     4923    545 |       14 |       56
370.73/370.81	c  366s |      21 |  1278337 |  1157545 |     4923    547 |       14 |       56
372.73/372.81	c  368s |      21 |  1284535 |  1163445 |     4923    549 |       14 |       56
374.73/374.82	c  370s |      21 |  1291533 |  1169545 |     4923    551 |       14 |       56
376.73/376.85	c  372s |      21 |  1298847 |  1175845 |     4923    554 |       14 |       56
378.73/378.87	c  374s |      21 |  1306690 |  1183045 |     4923    556 |       14 |       56
380.73/380.88	c  376s |      21 |  1314525 |  1190145 |     4923    559 |       14 |       56
382.83/382.90	c  378s |      21 |  1322224 |  1197245 |     4923    562 |       14 |       56
384.82/384.90	c  380s |      21 |  1329146 |  1203645 |     4923    564 |       14 |       56
386.82/386.92	c  382s |      21 |  1335704 |  1209845 |     4923    567 |       14 |       56
388.82/388.94	c  384s |      21 |  1343403 |  1216645 |     4923    569 |       14 |       56
390.82/390.96	c  386s |      21 |  1350733 |  1223245 |     4923    572 |       14 |       56
392.82/392.98	c  388s |      21 |  1357961 |  1229845 |     4923    574 |       14 |       56
394.83/395.00	c  390s |      21 |  1364891 |  1236145 |     4923    577 |       14 |       56
396.92/397.01	c  392s |      21 |  1371646 |  1242045 |     4923    579 |       14 |       56
398.92/399.02	c  394s |      21 |  1378474 |  1248045 |     4923    581 |       14 |       56
400.92/401.03	c  396s |      21 |  1385091 |  1254045 |     4923    584 |       14 |       56
402.92/403.04	c  398s |      21 |  1392288 |  1260745 |     4923    586 |       14 |       56
404.92/405.05	c  400s |      21 |  1399273 |  1267145 |     4923    589 |       14 |       56
406.93/407.06	c  402s |      21 |  1408010 |  1275245 |     4923    592 |       14 |       56
408.92/409.07	c  404s |      21 |  1415752 |  1282545 |     4923    595 |       14 |       56
410.92/411.08	c  406s |      21 |  1423238 |  1289245 |     4923    597 |       14 |       56
412.92/413.09	c  408s |      21 |  1430573 |  1296045 |     4923    600 |       14 |       56
415.02/415.10	c  410s |      21 |  1437847 |  1302545 |     4923    602 |       14 |       56
417.02/417.12	c  412s |      21 |  1445182 |  1309245 |     4923    605 |       14 |       56
419.02/419.15	c  414s |      21 |  1452722 |  1316345 |     4923    608 |       14 |       56
421.02/421.17	c  416s |      21 |  1459718 |  1322945 |     4923    610 |       14 |       56
423.02/423.19	c  418s |      21 |  1466829 |  1329645 |     4923    613 |       14 |       56
425.12/425.20	c  420s |      21 |  1473313 |  1335645 |     4923    615 |       14 |       56
427.12/427.20	c  422s |      21 |  1480522 |  1342145 |     4923    618 |       14 |       56
429.12/429.22	c  424s |      21 |  1488820 |  1349445 |     4923    621 |       14 |       56
431.12/431.25	c  426s |      21 |  1497181 |  1356845 |     4923    623 |       14 |       56
433.12/433.25	c  428s |      21 |  1504356 |  1363445 |     4923    626 |       14 |       56
435.12/435.26	c  430s |      21 |  1510630 |  1369245 |     4923    628 |       14 |       56
437.22/437.30	c  432s |      21 |  1517583 |  1375345 |     4923    631 |       14 |       56
439.22/439.32	c  434s |      21 |  1523607 |  1381045 |     4923    633 |       14 |       56
441.21/441.34	c  436s |      21 |  1529672 |  1386645 |     4923    635 |       14 |       56
443.22/443.34	c  438s |      21 |  1536300 |  1392945 |     4923    637 |       14 |       56
445.21/445.36	c  440s |      21 |  1542855 |  1398645 |     4923    640 |       14 |       56
447.21/447.37	c  442s |      21 |  1549537 |  1404645 |     4923    642 |       14 |       56
449.21/449.39	c  444s |      21 |  1556064 |  1410845 |     4923    644 |       15 |       63
451.31/451.41	c  446s |      21 |  1564000 |  1418645 |     4923    647 |       15 |       63
453.31/453.41	c  448s |      21 |  1570905 |  1425445 |     4923    650 |       15 |       63
455.33/455.43	c  450s |      21 |  1578112 |  1432445 |     4923    653 |       15 |       63
457.32/457.44	c  452s |      21 |  1585487 |  1439545 |     4923    656 |       15 |       63
459.32/459.46	c  454s |      21 |  1593505 |  1447145 |     4923    659 |       15 |       63
461.32/461.47	c  456s |      21 |  1600518 |  1453545 |     4923    661 |       15 |       63
463.32/463.48	c  458s |      21 |  1607854 |  1459945 |     4923    664 |       15 |       63
465.42/465.50	c  460s |      21 |  1614715 |  1466645 |     4923    667 |       15 |       63
466.33/466.48	c  461s |      21 |  1617816 |  1469703 |     4923    668 |       15 |       63
466.33/466.48	c #cpu_time = 461.968s
466.33/466.48	c #wall_clock_time = 461.945s
466.33/466.48	c #decision = 1617816
466.33/466.48	c #random_decision = 6805
466.33/466.48	c #conflict = 1469703
466.33/466.48	c #restart = 21
466.33/466.48	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
466.33/466.48	c lower bound updated to 3
466.33/466.48	c BCD2: 3 <= obj <= 32
466.33/466.48	c BCD2: #cores=1, #unrelaxed=0, #relaxed=6, #hardened=1
466.33/466.48	c BCD2: #sat=1 #unsat=3 bias=3/4
466.33/466.48	c Solving starts ...
466.33/466.48	c ============================[ Search Statistics ]============================
466.33/466.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
466.33/466.48	c       |         |          |          |    Limit     GC | Var      | Constra 
466.33/466.48	c =============================================================================
466.33/466.48	c  0.0s |       0 |        0 |        0 |     4923      0 |       16 |       63
466.43/466.57	c  0.1s |       1 |      212 |      100 |     4923      0 |       16 |       64
466.52/466.61	c  0.1s |       1 |      457 |      190 |     4923      0 |       16 |       64
466.52/466.61	c #cpu_time = 0.134s
466.52/466.61	c #wall_clock_time = 0.134s
466.52/466.61	c #decision = 457
466.52/466.61	c #random_decision = 3
466.52/466.61	c #conflict = 190
466.52/466.61	c #restart = 1
466.52/466.61	o 17
466.52/466.61	c BCD2: hardening fixes 1 literals
466.52/466.61	c BCD2: updating upper bound: 32 -> 16
466.52/466.61	c BCD2: 3 <= obj <= 16
466.52/466.61	c BCD2: #cores=1, #unrelaxed=0, #relaxed=5, #hardened=2
466.52/466.61	c BCD2: #sat=2 #unsat=3 bias=3/5
466.52/466.62	c Solving starts ...
466.52/466.62	c ============================[ Search Statistics ]============================
466.52/466.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
466.52/466.62	c       |         |          |          |    Limit     GC | Var      | Constra 
466.52/466.62	c =============================================================================
466.52/466.62	c  0.0s |       0 |        0 |        0 |     4923      0 |       25 |       66
466.52/466.63	c  0.0s |       0 |      113 |        5 |     4923      0 |       25 |       87
466.52/466.63	c #cpu_time = 0.010s
466.52/466.63	c #wall_clock_time = 0.010s
466.52/466.63	c #decision = 113
466.52/466.63	c #random_decision = 0
466.52/466.63	c #conflict = 5
466.52/466.63	c #restart = 0
466.52/466.63	o 9
466.52/466.63	c BCD2: hardening fixes 1 literals
466.52/466.63	c BCD2: updating upper bound: 16 -> 8
466.52/466.63	c BCD2: 3 <= obj <= 8
466.52/466.63	c BCD2: #cores=1, #unrelaxed=0, #relaxed=4, #hardened=3
466.52/466.63	c BCD2: #sat=3 #unsat=3 bias=3/6
466.52/466.63	c Solving starts ...
466.52/466.63	c ============================[ Search Statistics ]============================
466.52/466.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
466.52/466.63	c       |         |          |          |    Limit     GC | Var      | Constra 
466.52/466.63	c =============================================================================
466.52/466.63	c  0.0s |       0 |        0 |        0 |     4923      0 |       34 |       89
466.52/466.64	c  0.0s |       0 |      136 |       11 |     4923      0 |       34 |      110
466.52/466.64	c #cpu_time = 0.010s
466.52/466.64	c #wall_clock_time = 0.010s
466.52/466.64	c #decision = 136
466.52/466.64	c #random_decision = 0
466.52/466.64	c #conflict = 11
466.52/466.64	c #restart = 0
466.52/466.64	o 3
466.52/466.64	s OPTIMUM FOUND
466.52/466.64	v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10
466.52/466.64	v -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 x19 -x20
466.52/466.64	v x21 x22 -x23 x24 -x25 -x26 x27 -x28 x29 -x30
466.52/466.64	v x31 x32 -x33 -x34 x35 x36 x37 x38 -x39 x40
466.52/466.64	v -x41 x42 x43 x44 -x45 x46 x47 -x48 -x49 x50
466.52/466.64	v -x51 x52 -x53 -x54 -x55 x56 x57 -x58 x59 x60
466.52/466.64	v -x61 x62 x63 x64 x65 -x66 x67 -x68 -x69 -x70
466.52/466.64	v x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80
466.52/466.64	v -x81 -x82 x83 -x84 x85 -x86 x87 -x88 -x89 -x90
466.52/466.64	v x91 x92 -x93 -x94 -x95 -x96 -x97 x98 x99 x100
466.52/466.64	v x101 -x102 x103 -x104 -x105 x106 -x107 x108 x109 -x110
466.52/466.64	v x111 x112 x113 -x114 -x115 -x116 -x117 x118 x119 x120
466.52/466.64	v -x121 x122 x123 -x124 -x125 x126 -x127 -x128 -x129 -x130
466.52/466.64	v -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140
466.52/466.64	v x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150
466.52/466.64	v x151 -x152 x153 -x154 -x155 -x156 x157 x158 -x159 x160
466.52/466.64	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 x170
466.52/466.64	v -x171 x172 x173 x174 -x175 -x176 x177 -x178 -x179 x180
466.52/466.64	v -x181 x182 -x183 x184 x185 -x186 -x187 -x188 -x189
466.52/466.64	c total CPU time = 466.660s
466.52/466.64	c total wall clock time = 466.639s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106277-1466268400/watcher-4106277-1466268400 -o /tmp/evaluation-result-4106277-1466268400/solver-4106277-1466268400 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106277-1466268400.opb 

pid=25604
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.58 2.45 2.29 3/179 25607
/proc/meminfo: memFree=28943332/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=598460 CPUtime=0 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 2215 0 0 0 0 0 0 0 20 0 4 0 28885776 612823040 2064 33554432000 4194304 16246674 140736613856720 140736613856144 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25607/statm: 150383 2074 441 2943 0 147277 0
[pid=25607/tid=25608] ppid=25604 vsize=615868 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 630648832 2132 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=620988 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 635891712 2149 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=625084 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28885777 640086016 2168 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.58 2.45 2.29 3/179 25607
/proc/meminfo: memFree=28943332/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 20340 0 0 0 6 2 0 0 20 0 4 0 28885776 1247350784 20177 33554432000 4194304 16246674 140736613856720 140736613838592 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 304529 20182 758 2943 0 301423 0
[pid=25607/tid=25608] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 20188 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 20195 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 20202 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.58 2.45 2.29 3/179 25607
/proc/meminfo: memFree=28943332/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 37775 0 0 0 14 5 0 0 20 0 4 0 28885776 1247350784 37612 33554432000 4194304 16246674 140736613856720 140736613838592 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 304529 37617 758 2943 0 301423 0
[pid=25607/tid=25608] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 37623 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 37628 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 37631 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 2.58 2.45 2.29 3/179 25607
/proc/meminfo: memFree=28943332/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 50617 0 0 0 21 8 0 0 20 0 4 0 28885776 1247350784 50454 33554432000 4194304 16246674 140736613856720 140736613838592 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 304529 50460 758 2943 0 301423 0
[pid=25607/tid=25608] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 50467 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 50470 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 50474 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700405 s]
/proc/loadavg: 2.58 2.45 2.29 3/179 25607
/proc/meminfo: memFree=28943332/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 114671 0 0 0 50 18 0 0 20 0 4 0 28885776 1247350784 114508 33554432000 4194304 16246674 140736613856720 140736613838592 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 304529 114519 765 2943 0 301423 0
[pid=25607/tid=25608] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 114522 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 114524 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28885777 1247350784 114528 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.61 2.46 2.30 3/183 25611
/proc/meminfo: memFree=28190760/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 246248 0 0 0 113 36 0 0 20 0 4 0 28885776 1250496512 246062 33554432000 4194304 16246674 140736613856720 140736613856032 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 305297 246062 832 2943 0 302191 0
[pid=25607/tid=25608] ppid=25604 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1250496512 246062 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1250496512 246062 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1250496512 246062 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10038 s]
/proc/loadavg: 2.61 2.46 2.30 3/183 25611
/proc/meminfo: memFree=27960004/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1302084 CPUtime=3.08 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 266444 0 0 0 269 39 0 0 20 0 4 0 28885776 1333334016 266258 33554432000 4194304 16246674 140736613856720 140736613838592 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 325521 266258 832 2943 0 322415 0
[pid=25607/tid=25608] ppid=25604 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1333334016 266258 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1333334016 266258 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1333334016 266258 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1302084

[startup+6.30041 s]
/proc/loadavg: 2.56 2.46 2.30 3/183 25611
/proc/meminfo: memFree=27870492/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1310276 CPUtime=6.28 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 268672 0 0 0 589 39 0 0 20 0 4 0 28885776 1341722624 268486 33554432000 4194304 16246674 140736613856720 140736613838592 5711801 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 327569 268486 855 2943 0 324463 0
[pid=25607/tid=25608] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.52 2.45 2.29 3/183 25611
/proc/meminfo: memFree=27870044/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 268672 0 0 0 1229 40 0 0 20 0 4 0 28885776 1341722624 268486 33554432000 4194304 16246674 140736613856720 140736613838592 5600267 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 327569 268486 855 2943 0 324463 0
[pid=25607/tid=25608] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.40 2.43 2.29 3/183 25611
/proc/meminfo: memFree=27870572/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 268672 0 0 0 2509 40 0 0 20 0 4 0 28885776 1341722624 268486 33554432000 4194304 16246674 140736613856720 140736613838592 12483481 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 327569 268486 855 2943 0 324463 0
[pid=25607/tid=25608] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1341722624 268486 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1006 s]
/proc/loadavg: 2.46 2.44 2.29 3/183 25611
/proc/meminfo: memFree=27867604/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 269440 0 0 0 5068 40 0 0 20 0 4 0 28885776 1344868352 269254 33554432000 4194304 16246674 140736613856720 140736613838592 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 328337 269254 855 2943 0 325231 0
[pid=25607/tid=25608] ppid=25604 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1344868352 269254 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1344868352 269254 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1344868352 269254 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.32 2.40 2.29 3/183 25613
/proc/meminfo: memFree=27860868/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270976 0 0 0 10187 41 0 0 20 0 4 0 28885776 1351159808 270790 33554432000 4194304 16246674 140736613856720 140736613838592 12483512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270790 855 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492

[startup+162.3 s]
/proc/loadavg: 2.28 2.37 2.28 3/183 25614
/proc/meminfo: memFree=27861080/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=162.26 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270976 0 0 0 16185 41 0 0 20 0 4 0 28885776 1351159808 270790 33554432000 4194304 16246674 140736613856720 140736613838592 13943604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270790 855 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1319492

[startup+222.307 s]
/proc/loadavg: 2.37 2.38 2.28 4/184 25618
/proc/meminfo: memFree=27860956/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=222.26 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270976 0 0 0 22184 42 0 0 20 0 4 0 28885776 1351159808 270790 33554432000 4194304 16246674 140736613856720 140736613838592 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270790 855 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1319492

[startup+282.3 s]
/proc/loadavg: 2.29 2.35 2.27 3/183 25619
/proc/meminfo: memFree=27860864/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=282.24 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270976 0 0 0 28182 42 0 0 20 0 4 0 28885776 1351159808 270790 33554432000 4194304 16246674 140736613856720 140736613838592 5823849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270790 855 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1319492

[startup+342.301 s]
/proc/loadavg: 2.20 2.31 2.27 3/183 25620
/proc/meminfo: memFree=27860960/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=342.23 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270976 0 0 0 34180 43 0 0 20 0 4 0 28885776 1351159808 270790 33554432000 4194304 16246674 140736613856720 140736613838592 6861779 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270790 855 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1319492

[startup+402.3 s]
/proc/loadavg: 2.34 2.33 2.27 3/183 25622
/proc/meminfo: memFree=27860680/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=402.22 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270976 0 0 0 40179 43 0 0 20 0 4 0 28885776 1351159808 270790 33554432000 4194304 16246674 140736613856720 140736613838592 13927454 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270790 855 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270790 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1319492

[startup+462.3 s]
/proc/loadavg: 2.22 2.30 2.27 3/183 25623
/proc/meminfo: memFree=27860648/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=462.22 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270977 0 0 0 46178 44 0 0 20 0 4 0 28885776 1351159808 270791 33554432000 4194304 16246674 140736613856720 140736613838592 5822306 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270791 856 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1319492

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25607 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+464 s]
/proc/loadavg: 2.22 2.30 2.27 3/183 25623
/proc/meminfo: memFree=27860648/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=463.92 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270977 0 0 0 46348 44 0 0 20 0 4 0 28885776 1351159808 270791 33554432000 4194304 16246674 140736613856720 140736613838592 5723974 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270791 856 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 463.92
Current children cumulated vsize (KiB) 1319492

[startup+465.6 s]
/proc/loadavg: 2.20 2.29 2.26 3/183 25623
/proc/meminfo: memFree=27860648/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=465.52 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270977 0 0 0 46508 44 0 0 20 0 4 0 28885776 1351159808 270791 33554432000 4194304 16246674 140736613856720 140736613838592 13923760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270791 856 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 465.52
Current children cumulated vsize (KiB) 1319492

[startup+466.4 s]
/proc/loadavg: 2.20 2.29 2.26 3/183 25623
/proc/meminfo: memFree=27860648/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=466.33 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270977 0 0 0 46589 44 0 0 20 0 4 0 28885776 1351159808 270791 33554432000 4194304 16246674 140736613856720 140736613838592 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270791 856 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 466.33
Current children cumulated vsize (KiB) 1319492

[startup+466.6 s]
/proc/loadavg: 2.20 2.29 2.26 3/183 25623
/proc/meminfo: memFree=27860648/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=1319492 CPUtime=466.52 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202496 270977 0 0 0 46608 44 0 0 20 0 4 0 28885776 1351159808 270791 33554432000 4194304 16246674 140736613856720 140736613854528 5711355 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 329873 270791 856 2943 0 326767 0
[pid=25607/tid=25608] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25608/stat : 25608 (toysat) S 25604 25607 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623586766064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25607/tid=25609] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25609/stat : 25609 (toysat) S 25604 25607 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623576276208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25607/tid=25610] ppid=25604 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/25607/task/25610/stat : 25610 (toysat) S 25604 25607 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28885777 1351159808 270791 33554432000 4194304 16246674 140736613856720 140623565802672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 466.52
Current children cumulated vsize (KiB) 1319492

[startup+466.7 s]
/proc/loadavg: 2.20 2.29 2.26 3/183 25623
/proc/meminfo: memFree=27860648/32872528 swapFree=1499884/1696108
[pid=25607] ppid=25604 vsize=0 CPUtime=466.61 cores=0,2,4,6
/proc/25607/stat : 25607 (toysat) R 25604 25607 24910 0 -1 4202500 270981 0 0 0 46612 49 0 0 20 0 1 0 28885776 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25607/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 466.61
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 466.702
CPU time (s): 466.627
CPU user time (s): 466.126
CPU system time (s): 0.500923
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.126
system time used= 0.500923
maximum resident set size= 1083176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270981
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= 18
involuntary context switches= 492

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.55361 second user time and 4.80427 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 18:46:40
IDJOB=4106277
IDBENCH=48000
IDSOLVER=2542
FILE ID=node137/4106277-1466268400
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=43-P2=127-P3=89-P4=59-P5=127-P6=43-P7=127-P8=67-P9=17-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106277-1466268400/watcher-4106277-1466268400 -o /tmp/evaluation-result-4106277-1466268400/solver-4106277-1466268400 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106277-1466268400.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bc362e080dfd9e6c883df7eeb6006e66
RANDOM SEED=1920181889

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28943596 kB
Buffers:          147216 kB
Cached:           255848 kB
SwapCached:         1268 kB
Active:          1236776 kB
Inactive:         253544 kB
Active(anon):    1088596 kB
Inactive(anon):     1028 kB
Active(file):     148180 kB
Inactive(file):   252516 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16612 kB
Writeback:             0 kB
AnonPages:       2782752 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             607496 kB
SReclaimable:      51248 kB
SUnreclaim:       556248 kB
KernelStack:        1496 kB
PageTables:         9684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2925456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1275904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node137 at 2016-06-18 18:54:27