Trace number 4079415

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-02? (MO) 762.952 763.205

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_8_mh.opb
MD5SUMe48ee9240e6d9b52ec3ebd9cb27e0b8c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7715044
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 17168297281
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 17168297281
Number of bits of the biggest sum of numbers34
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.00	c 2016-06-07T21:37:16+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-4079415-1465328236.opb"]
0.00/0.01	c use --random-gen="2034571551 1024134761 97652321 1281080141 1518114964 278894130 2996410712 3061511618 2827993185 341098272 4118310126 3084850037 3880902674 70987375 608834537 1779973405 741719405 1212164024 2908366917 2665843922 127841774 2823544448 2980947517 3469075368 935578640 185522450 272825178 1290999468 499718869 1710531945 3882695635 2045770550 2647779993 3429909923 3330846748 2612587365 1983585311 1602919161 1353732760 679322368 1738887643 2154405139 2969142031 738079335 3640210256 2291582994 2038006931 1710147348 2324106266 4225216390 1739471392 3778424027 3881424605 3818448478 2727601842 419030435 3190972496 409590754 3371895542 707195270 1729064651 3207185779 265760971 3069949290 4075386777 3590953844 2326011507 4056236478 3403294598 3135530604 2087517891 4259999275 2029533304 2502697320 3606530306 2418449432 639853565 2805343472 4267703987 1832336106 529056545 3466377011 2939131313 2160397113 2482827659 394658072 55292578 3791129477 1981577462 3818182946 494241406 4074203533 636532033 369765024 2231215553 3325601226 4253715212 1586333428 4006511115 2041147866 1641602861 2633289600 1875460958 3804891833 3675190261 3835421486 816722216 751801638 2777503276 3179453761 1220678760 2784620334 1642127884 2692163987 4224871739 4221768829 3654491929 1088418233 1603380846 3819934298 4144237835 3647319443 1413439696 2784329820 148958622 2186564897 2073355801 1263372455 1261068147 3760881554 621929003 4136620481 1902770173 2758757876 534859707 2908948753 2621737141 1987003281 2445899704 1876247341 6440314 3359255580 3964019242 3017436310 3091735932 2917222625 3841090424 400590255 247006662 4190958997 721317488 2205138683 3794447585 3429005775 708437914 1691702297 2593526770 935563072 3827488568 114748690 803672311 905701418 1325361091 1277379944 125353872 382739699 3310529928 1446237346 601249305 2453742070 1766166378 143291828 184434293 1555919890 1181767901 1643709180 3578803679 4123389281 3635850289 996527841 2224637810 144809923 994247381 90947157 3035338481 3761491148 455866433 390415329 2147051926 1803475590 1117744475 3459240317 3264210185 3337362302 2431112670 2586102036 1960639418 1047229574 1159094935 67656631 2638105043 1588410554 389318052 441000798 285339841 1315741369 2824330296 2160554527 690737920 289281167 2795042520 3209431933 940131869 3875522082 2197392307 113564134 733793220 1985154967 1160026016 2640989216 2242539499 1857853745 638896784 1852556277 2397293570 394867098 2519142914 3895533286 3329797019 3183083746 4044937640 3312485384 1900611927 2975205387 549314296 721929064 2924775101 3608574413 29466327 2197040308 497992331 4040668064 2893000081 2209972614 1688602990 2872757742 3227546728 576267752 1642180121 3154558555 2061472402 3280559015 2628797790 3081592482 1193242312 3929977376 255 362436" option to reproduce the execution
0.49/0.51	c #vars 31350
0.49/0.51	c #constraints 73332
1.59/1.68	c BCD2: Hardening is enabled.
1.59/1.68	c BCD2: BiasedSearch is enabled.
1.59/1.68	c Solving starts ...
1.59/1.68	c ============================[ Search Statistics ]============================
1.59/1.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.68	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.68	c =============================================================================
1.78/1.85	c  0.0s |       0 |        0 |        0 |    35294      0 |       75 |        0
2.29/2.35	c  0.5s |       1 |      181 |      100 |    35294      0 |       75 |        0
2.58/2.69	c  0.8s |       2 |      897 |      250 |    38824      0 |       75 |        0
5.68/5.71	c  3.9s |       2 |     2079 |      450 |    42707      0 |       75 |        0
6.28/6.38	c  4.5s |       3 |     2189 |      475 |    42707      0 |       75 |        0
10.38/10.49	c  8.6s |       3 |     4200 |      675 |    46978      0 |       75 |        0
11.48/11.55	c  9.7s |       4 |     5684 |      813 |    46978      0 |       75 |        0
13.48/13.56	c 11.7s |       5 |     9241 |     1320 |    51676      0 |       75 |        0
15.68/15.74	c 13.9s |       5 |    11921 |     1720 |    56844      0 |       75 |        0
16.59/16.64	c 14.8s |       6 |    12990 |     2081 |    62529      0 |       75 |        0
18.58/18.66	c 16.8s |       6 |    14937 |     2681 |    62529      0 |       75 |        0
20.28/20.31	c 18.5s |       7 |    16764 |     3223 |    68782      0 |       75 |        0
22.58/22.62	c 20.8s |       7 |    23345 |     3823 |    68782      0 |       75 |        0
25.08/25.20	c 23.3s |       7 |    25087 |     4123 |    68782      0 |       75 |        0
27.38/27.41	c 25.6s |       7 |    27333 |     4823 |    68782      0 |       75 |        0
27.68/27.76	c 25.9s |       8 |    27587 |     4936 |    75661      0 |       75 |        0
30.08/30.17	c 28.3s |       8 |    29099 |     5436 |    75661      0 |       75 |        0
32.28/32.36	c 30.5s |       8 |    30282 |     5936 |    75661      0 |       75 |        0
34.48/34.56	c 32.7s |       8 |    31906 |     6536 |    75661      0 |       75 |        0
36.48/36.59	c 34.7s |       8 |    33741 |     7136 |    75661      0 |       75 |        0
37.78/37.84	c 36.0s |       9 |    34661 |     7506 |    83228      0 |       75 |        0
39.98/40.09	c 38.2s |       9 |    36478 |     8206 |    83228      0 |       75 |        0
42.18/42.28	c 40.4s |       9 |    38259 |     8806 |    83228      0 |       75 |        0
44.48/44.55	c 42.7s |       9 |    39931 |     9506 |    83228      0 |       75 |        0
46.97/47.00	c 45.2s |       9 |    41018 |     9706 |    83228      0 |       75 |        0
49.17/49.29	c 47.4s |       9 |    42814 |    10106 |    83228      0 |       75 |        0
51.57/51.63	c 49.8s |       9 |    44673 |    10606 |    83228      0 |       75 |        0
53.77/53.89	c 52.0s |       9 |    46767 |    11306 |    91551      0 |       75 |        0
54.07/54.17	c 52.3s |      10 |    47094 |    11361 |    91551      0 |       75 |        0
56.37/56.45	c 54.6s |      10 |    48775 |    11961 |    91551      0 |       75 |        0
58.47/58.51	c 56.7s |      10 |    50551 |    12461 |    91551      0 |       75 |        0
60.67/60.76	c 58.9s |      10 |    52514 |    13061 |    91551      0 |       75 |        0
63.17/63.20	c 61.3s |      10 |    54138 |    13661 |    91551      0 |       75 |        0
65.37/65.42	c 63.6s |      10 |    55528 |    14161 |    91551      0 |       75 |        0
67.57/67.61	c 65.8s |      10 |    57062 |    14661 |    91551      0 |       75 |        0
69.77/69.83	c 68.0s |      10 |    58595 |    15161 |    91551      0 |       75 |        0
71.77/71.83	c 70.0s |      10 |    60391 |    15761 |    91551      0 |       75 |        0
73.87/73.95	c 72.1s |      10 |    61518 |    16161 |    91551      0 |       75 |        0
76.27/76.31	c 74.5s |      10 |    62937 |    16661 |    91551      0 |       75 |        0
78.08/78.17	c 76.3s |      11 |    64490 |    17144 |   100707      0 |       75 |        0
80.17/80.28	c 78.4s |      11 |    66493 |    17644 |   100707      0 |       75 |        0
82.37/82.48	c 80.6s |      11 |    68137 |    18244 |   100707      0 |       75 |        0
84.47/84.58	c 82.7s |      11 |    69563 |    18644 |   100707      0 |       75 |        0
86.47/86.60	c 84.7s |      11 |    70804 |    19144 |   100707      0 |       75 |        0
88.77/88.81	c 87.0s |      11 |    72364 |    19744 |   100707      0 |       75 |        0
90.97/91.06	c 89.2s |      11 |    74243 |    20344 |   100707      0 |       75 |        0
92.97/93.09	c 91.2s |      11 |    75797 |    20844 |   100707      0 |       75 |        0
95.27/95.39	c 93.5s |      11 |    77800 |    21544 |   100707      0 |       75 |        0
97.97/98.02	c 96.2s |      11 |    78734 |    21744 |   100707      0 |       75 |        0
101.37/101.42	c 99.6s |      11 |    79772 |    21944 |   100707      0 |       75 |        0
103.37/103.44	c  101s |      11 |    81001 |    22144 |   100707      0 |       75 |        0
105.47/105.53	c  103s |      11 |    83001 |    22844 |   100707      0 |       75 |        0
107.66/107.75	c  105s |      11 |    85237 |    23544 |   100707      0 |       75 |        0
109.97/110.10	c  108s |      11 |    87549 |    24344 |   100707      0 |       75 |        0
112.17/112.28	c  110s |      11 |    89547 |    24944 |   100707      0 |       75 |        0
114.26/114.39	c  112s |      11 |    91093 |    25444 |   100707      0 |       75 |        0
115.86/115.99	c  114s |      12 |    91964 |    25819 |   110778      0 |       75 |        0
117.96/118.08	c  116s |      12 |    92859 |    26219 |   110778      0 |       75 |        0
120.16/120.25	c  118s |      12 |    93762 |    26319 |   110778      0 |       75 |        0
122.46/122.56	c  120s |      12 |    95498 |    26919 |   110778      0 |       75 |        0
124.56/124.60	c  122s |      12 |    96540 |    27419 |   110778      0 |       75 |        0
126.57/126.64	c  124s |      12 |    98006 |    27919 |   110778      0 |       75 |        0
129.06/129.15	c  127s |      12 |    99396 |    28419 |   110778      0 |       75 |        0
131.16/131.23	c  129s |      12 |   100736 |    28919 |   110778      0 |       75 |        0
133.46/133.56	c  131s |      12 |   102351 |    29419 |   110778      0 |       75 |        0
135.56/135.69	c  133s |      12 |   103501 |    29919 |   110778      0 |       75 |        0
137.86/137.93	c  136s |      12 |   104835 |    30419 |   110778      0 |       75 |        0
139.86/139.97	c  138s |      12 |   106127 |    30919 |   110778      0 |       75 |        0
142.16/142.28	c  140s |      12 |   107509 |    31419 |   110778      0 |       75 |        0
144.36/144.40	c  142s |      12 |   108398 |    31819 |   110778      0 |       75 |        0
146.37/146.47	c  144s |      12 |   109701 |    32219 |   110778      0 |       75 |        0
148.66/148.74	c  146s |      12 |   110515 |    32619 |   110778      0 |       75 |        0
150.77/150.88	c  149s |      12 |   111691 |    33019 |   110778      0 |       75 |        0
153.06/153.12	c  151s |      12 |   112514 |    33419 |   110778      0 |       75 |        0
155.26/155.37	c  153s |      12 |   113763 |    33919 |   110778      0 |       75 |        0
157.86/157.92	c  156s |      12 |   114996 |    34319 |   110778      0 |       75 |        0
160.16/160.25	c  158s |      12 |   116344 |    34719 |   110778      0 |       75 |        0
162.46/162.57	c  160s |      12 |   117280 |    35019 |   110778      0 |       75 |        0
164.96/165.07	c  163s |      12 |   118204 |    35419 |   110778      0 |       75 |        0
167.06/167.17	c  165s |      12 |   119319 |    35919 |   110778      0 |       75 |        0
169.46/169.59	c  167s |      12 |   120598 |    36419 |   110778      0 |       75 |        0
171.85/171.91	c  170s |      12 |   121791 |    36919 |   110778      0 |       75 |        0
174.05/174.16	c  172s |      12 |   122663 |    37319 |   110778      0 |       75 |        0
176.15/176.27	c  174s |      12 |   123805 |    37719 |   110778      0 |       75 |        0
178.35/178.45	c  176s |      12 |   124620 |    38119 |   110778      0 |       75 |        0
180.55/180.63	c  178s |      12 |   125749 |    38519 |   110778      0 |       75 |        0
182.25/182.35	c  180s |      13 |   126382 |    38832 |   121856      0 |       75 |        0
184.76/184.81	c  182s |      13 |   127334 |    39232 |   121856      0 |       75 |        0
187.06/187.15	c  185s |      13 |   128501 |    39732 |   121856      0 |       75 |        0
189.16/189.25	c  187s |      13 |   129433 |    40132 |   121856      0 |       75 |        0
191.65/191.79	c  189s |      13 |   130532 |    40632 |   121856      0 |       75 |        0
194.15/194.23	c  192s |      13 |   131472 |    41032 |   121856      0 |       75 |        0
196.35/196.43	c  194s |      13 |   132330 |    41432 |   121856      0 |       75 |        0
198.65/198.70	c  196s |      13 |   133346 |    41932 |   121856      0 |       75 |        0
200.85/200.94	c  199s |      13 |   134138 |    42332 |   121856      0 |       75 |        0
202.95/203.00	c  201s |      13 |   134818 |    42732 |   121856      0 |       75 |        0
205.45/205.51	c  203s |      13 |   135967 |    43232 |   121856      0 |       75 |        0
207.75/207.83	c  205s |      13 |   136850 |    43632 |   121856      0 |       75 |        0
209.75/209.86	c  208s |      13 |   137593 |    43932 |   121856      0 |       75 |        0
211.85/211.91	c  210s |      13 |   138433 |    44232 |   121856      0 |       75 |        0
213.95/214.08	c  212s |      13 |   140268 |    44632 |   121856      0 |       75 |        0
216.45/216.59	c  214s |      13 |   141287 |    45032 |   121856      0 |       75 |        0
218.65/218.79	c  216s |      13 |   142327 |    45432 |   121856      0 |       75 |        0
220.85/220.91	c  219s |      13 |   143274 |    45832 |   121856      0 |       75 |        0
223.05/223.10	c  221s |      13 |   144250 |    46232 |   121856      0 |       75 |        0
225.45/225.55	c  223s |      13 |   145017 |    46632 |   121856      0 |       75 |        0
227.65/227.76	c  225s |      13 |   146161 |    47132 |   121856      0 |       75 |        0
229.85/229.99	c  228s |      13 |   147110 |    47532 |   121856      0 |       75 |        0
232.15/232.24	c  230s |      13 |   148593 |    47932 |   121856      0 |       75 |        0
234.25/234.39	c  232s |      13 |   149572 |    48332 |   121856      0 |       75 |        0
236.34/236.48	c  234s |      13 |   150450 |    48732 |   121856      0 |       75 |        0
238.54/238.66	c  236s |      13 |   151736 |    49132 |   121856      0 |       75 |        0
240.64/240.76	c  238s |      13 |   152773 |    49532 |   121856      0 |       75 |        0
243.05/243.13	c  241s |      13 |   153914 |    50032 |   121856      0 |       75 |        0
245.04/245.14	c  243s |      13 |   154823 |    50432 |   121856      0 |       75 |        0
247.14/247.23	c  245s |      13 |   155678 |    50832 |   121856      0 |       75 |        0
249.44/249.58	c  247s |      13 |   156852 |    51332 |   121856      0 |       75 |        0
251.95/252.02	c  250s |      13 |   157972 |    51832 |   121856      0 |       75 |        0
254.05/254.16	c  252s |      13 |   158910 |    52332 |   121856      0 |       75 |        0
256.54/256.64	c  254s |      13 |   159947 |    52832 |   121856      0 |       75 |        0
258.94/259.03	c  257s |      13 |   160751 |    53232 |   121856      0 |       75 |        0
260.94/261.07	c  259s |      13 |   161433 |    53532 |   121856      0 |       75 |        0
263.24/263.35	c  261s |      13 |   162084 |    53832 |   121856      0 |       75 |        0
265.64/265.76	c  263s |      13 |   162871 |    54232 |   121856      0 |       75 |        0
267.74/267.83	c  265s |      13 |   163781 |    54632 |   121856      0 |       75 |        0
270.04/270.15	c  268s |      13 |   164776 |    55132 |   121856      0 |       75 |        0
272.13/272.22	c  270s |      13 |   165917 |    55532 |   121856      0 |       75 |        0
274.24/274.34	c  272s |      13 |   166761 |    55932 |   121856      0 |       75 |        0
276.54/276.68	c  274s |      13 |   167799 |    56332 |   121856      0 |       75 |        0
278.84/278.93	c  277s |      13 |   168672 |    56732 |   121856      0 |       75 |        0
281.14/281.20	c  279s |      13 |   169630 |    57132 |   121856      0 |       75 |        0
283.14/283.21	c  281s |      13 |   170387 |    57532 |   121856      0 |       75 |        0
285.14/285.25	c  283s |      13 |   171281 |    57932 |   121856      0 |       75 |        0
287.43/287.59	c  285s |      13 |   172135 |    58332 |   134042      0 |       75 |        0
287.63/287.70	c  285s |      14 |   172165 |    58352 |   134042      0 |       75 |        0
289.63/289.74	c  287s |      14 |   172857 |    58652 |   134042      0 |       75 |        0
292.93/293.07	c  291s |      14 |   174795 |    59052 |   134042      0 |       75 |        0
295.13/295.28	c  293s |      14 |   175675 |    59152 |   134042      0 |       75 |        0
297.53/297.67	c  295s |      14 |   176938 |    59452 |   134042      0 |       75 |        0
299.93/300.09	c  298s |      14 |   178884 |    60052 |   134042      0 |       75 |        0
302.23/302.36	c  300s |      14 |   180252 |    60552 |   134042      0 |       75 |        0
304.53/304.61	c  302s |      14 |   181330 |    61052 |   134042      0 |       75 |        0
306.83/306.91	c  305s |      14 |   182163 |    61452 |   134042      0 |       75 |        0
308.83/308.95	c  307s |      14 |   183326 |    61752 |   134042      0 |       75 |        0
311.42/311.51	c  309s |      14 |   184282 |    62152 |   134042      0 |       75 |        0
313.43/313.53	c  311s |      14 |   185141 |    62452 |   134042      0 |       75 |        0
315.52/315.60	c  313s |      14 |   186161 |    62752 |   134042      0 |       75 |        0
317.72/317.82	c  315s |      14 |   187753 |    63152 |   134042      0 |       75 |        0
320.22/320.30	c  318s |      14 |   188962 |    63652 |   134042      0 |       75 |        0
322.23/322.34	c  320s |      14 |   189919 |    64052 |   134042      0 |       75 |        0
324.22/324.35	c  322s |      14 |   190780 |    64452 |   134042      0 |       75 |        0
326.22/326.39	c  324s |      14 |   191919 |    64852 |   134042      0 |       75 |        0
328.62/328.71	c  326s |      14 |   193360 |    65352 |   134042      0 |       75 |        0
330.71/330.88	c  329s |      14 |   194971 |    65852 |   134042      0 |       75 |        0
333.22/333.34	c  331s |      14 |   196250 |    66452 |   134042      0 |       75 |        0
335.71/335.83	c  333s |      14 |   197530 |    66952 |   134042      0 |       75 |        0
337.81/337.96	c  336s |      14 |   199114 |    67452 |   134042      0 |       75 |        0
340.11/340.20	c  338s |      14 |   200407 |    67852 |   134042      0 |       75 |        0
342.21/342.36	c  340s |      14 |   201581 |    68352 |   134042      0 |       75 |        0
344.21/344.39	c  342s |      14 |   202775 |    68752 |   134042      0 |       75 |        0
346.31/346.46	c  344s |      14 |   203977 |    69152 |   134042      0 |       75 |        0
348.50/348.70	c  346s |      14 |   205225 |    69652 |   134042      0 |       75 |        0
351.00/351.18	c  349s |      14 |   206776 |    70152 |   134042      0 |       75 |        0
353.11/353.26	c  351s |      14 |   207930 |    70652 |   134042      0 |       75 |        0
355.21/355.34	c  353s |      14 |   209231 |    71152 |   134042      0 |       75 |        0
357.60/357.76	c  355s |      14 |   210636 |    71652 |   134042      0 |       75 |        0
359.61/359.79	c  357s |      14 |   211842 |    72152 |   134042      0 |       75 |        0
361.91/362.05	c  360s |      14 |   213096 |    72652 |   134042      0 |       75 |        0
364.10/364.24	c  362s |      14 |   214366 |    73152 |   134042      0 |       75 |        0
366.40/366.56	c  364s |      14 |   215356 |    73552 |   134042      0 |       75 |        0
368.69/368.84	c  366s |      14 |   216650 |    74052 |   134042      0 |       75 |        0
370.89/371.04	c  369s |      14 |   217960 |    74552 |   134042      0 |       75 |        0
372.90/373.05	c  371s |      14 |   218926 |    74952 |   134042      0 |       75 |        0
375.10/375.24	c  373s |      14 |   220284 |    75452 |   134042      0 |       75 |        0
377.30/377.43	c  375s |      14 |   221229 |    75852 |   134042      0 |       75 |        0
379.59/379.77	c  377s |      14 |   222168 |    76352 |   134042      0 |       75 |        0
381.70/381.86	c  380s |      14 |   222955 |    76752 |   134042      0 |       75 |        0
383.89/384.01	c  382s |      14 |   224186 |    77252 |   134042      0 |       75 |        0
385.99/386.12	c  384s |      14 |   225832 |    77852 |   134042      0 |       75 |        0
388.19/388.33	c  386s |      14 |   227095 |    78352 |   134042      0 |       75 |        0
390.49/390.66	c  388s |      14 |   228731 |    78852 |   134042      0 |       75 |        0
392.98/393.19	c  391s |      14 |   229949 |    79352 |   134042      0 |       75 |        0
395.28/395.45	c  393s |      14 |   231250 |    79852 |   134042      0 |       75 |        0
397.48/397.64	c  395s |      14 |   232603 |    80352 |   134042      0 |       75 |        0
399.78/399.98	c  398s |      14 |   233923 |    80852 |   134042      0 |       75 |        0
402.28/402.42	c  400s |      14 |   235305 |    81252 |   134042      0 |       75 |        0
404.69/404.80	c  402s |      14 |   236319 |    81652 |   134042      0 |       75 |        0
407.18/407.36	c  405s |      14 |   237737 |    82152 |   134042      0 |       75 |        0
409.28/409.44	c  407s |      14 |   239079 |    82652 |   134042      0 |       75 |        0
411.78/411.91	c  410s |      14 |   240423 |    83152 |   134042      0 |       75 |        0
414.08/414.29	c  412s |      14 |   242005 |    83652 |   134042      0 |       75 |        0
416.58/416.76	c  414s |      14 |   243000 |    84152 |   134042      0 |       75 |        0
419.18/419.31	c  417s |      14 |   244081 |    84552 |   134042      0 |       75 |        0
421.28/421.44	c  419s |      14 |   245110 |    84952 |   134042      0 |       75 |        0
423.58/423.76	c  421s |      14 |   246464 |    85452 |   134042      0 |       75 |        0
425.68/425.87	c  424s |      14 |   247637 |    85852 |   134042      0 |       75 |        0
427.78/427.93	c  426s |      14 |   248559 |    86252 |   134042      0 |       75 |        0
430.08/430.26	c  428s |      14 |   249433 |    86652 |   134042      0 |       75 |        0
432.37/432.58	c  430s |      14 |   250258 |    87052 |   147447      0 |       75 |        0
434.38/434.59	c  432s |      14 |   251297 |    87452 |   147447      0 |       75 |        0
435.48/435.68	c  433s |      15 |   251682 |    87632 |   147447      0 |       75 |        0
437.57/437.72	c  435s |      15 |   252252 |    87932 |   147447      0 |       75 |        0
440.07/440.23	c  438s |      15 |   253185 |    88432 |   147447      0 |       75 |        0
442.47/442.67	c  440s |      15 |   254015 |    88832 |   147447      0 |       75 |        0
445.07/445.29	c  443s |      15 |   254974 |    89332 |   147447      0 |       75 |        0
447.47/447.66	c  445s |      15 |   255817 |    89832 |   147447      0 |       75 |        0
449.67/449.83	c  447s |      15 |   256468 |    90232 |   147447      0 |       75 |        0
452.07/452.29	c  450s |      15 |   257141 |    90632 |   147447      0 |       75 |        0
454.37/454.52	c  452s |      15 |   257800 |    91032 |   147447      0 |       75 |        0
456.66/456.80	c  454s |      15 |   258629 |    91432 |   147447      0 |       75 |        0
458.96/459.10	c  457s |      15 |   259624 |    91832 |   147447      0 |       75 |        0
461.26/461.40	c  459s |      15 |   260711 |    92232 |   147447      0 |       75 |        0
463.36/463.51	c  461s |      15 |   261453 |    92532 |   147447      0 |       75 |        0
465.86/466.07	c  464s |      15 |   262587 |    92932 |   147447      0 |       75 |        0
468.06/468.24	c  466s |      15 |   263391 |    93332 |   147447      0 |       75 |        0
470.36/470.57	c  468s |      15 |   264682 |    93832 |   147447      0 |       75 |        0
472.76/472.91	c  471s |      15 |   265712 |    94332 |   147447      0 |       75 |        0
475.06/475.21	c  473s |      15 |   266523 |    94732 |   147447      0 |       75 |        0
477.06/477.27	c  475s |      15 |   267588 |    95132 |   147447      0 |       75 |        0
479.56/479.71	c  477s |      15 |   268399 |    95532 |   147447      0 |       75 |        0
481.76/481.94	c  480s |      15 |   269449 |    95932 |   147447      0 |       75 |        0
484.15/484.38	c  482s |      15 |   270591 |    96432 |   147447      0 |       75 |        0
486.55/486.70	c  484s |      15 |   271311 |    96832 |   147447      0 |       75 |        0
488.85/489.04	c  487s |      15 |   271956 |    97232 |   147447      0 |       75 |        0
491.35/491.52	c  489s |      15 |   272688 |    97632 |   147447      0 |       75 |        0
494.45/494.64	c  492s |      15 |   274120 |    97932 |   147447      0 |       75 |        0
496.55/496.79	c  494s |      15 |   275067 |    98232 |   147447      0 |       75 |        0
499.05/499.25	c  497s |      15 |   276410 |    98632 |   147447      0 |       75 |        0
501.25/501.43	c  499s |      15 |   277163 |    98932 |   147447      0 |       75 |        0
503.55/503.76	c  501s |      15 |   278308 |    99332 |   147447      0 |       75 |        0
506.35/506.57	c  504s |      15 |   278971 |    99732 |   147447      0 |       75 |        0
508.94/509.15	c  507s |      15 |   279617 |   100032 |   147447      0 |       75 |        0
511.45/511.63	c  509s |      15 |   281165 |   100432 |   147447      0 |       75 |        0
513.65/513.85	c  511s |      15 |   282411 |   100932 |   147447      0 |       75 |        0
516.04/516.22	c  514s |      15 |   283348 |   101332 |   147447      0 |       75 |        0
518.44/518.68	c  516s |      15 |   284781 |   101732 |   147447      0 |       75 |        0
520.54/520.72	c  518s |      15 |   285838 |   102032 |   147447      0 |       75 |        0
523.34/523.51	c  521s |      15 |   286998 |   102432 |   147447      0 |       75 |        0
525.94/526.15	c  524s |      15 |   287651 |   102732 |   147447      0 |       75 |        0
528.34/528.60	c  526s |      15 |   288315 |   103032 |   147447      0 |       75 |        0
530.44/530.63	c  528s |      15 |   289063 |   103232 |   147447      0 |       75 |        0
532.84/533.09	c  531s |      15 |   289900 |   103532 |   147447      0 |       75 |        0
534.94/535.16	c  533s |      15 |   290282 |   103732 |   147447      0 |       75 |        0
537.63/537.84	c  535s |      15 |   290913 |   104032 |   147447      0 |       75 |        0
539.94/540.17	c  538s |      15 |   291679 |   104332 |   147447      0 |       75 |        0
542.14/542.36	c  540s |      15 |   292365 |   104632 |   147447      0 |       75 |        0
544.73/544.98	c  543s |      15 |   293026 |   104932 |   147447      0 |       75 |        0
546.93/547.11	c  545s |      15 |   293733 |   105232 |   147447      0 |       75 |        0
549.53/549.73	c  547s |      15 |   294568 |   105532 |   147447      0 |       75 |        0
551.83/552.01	c  550s |      15 |   295503 |   105832 |   147447      0 |       75 |        0
554.13/554.33	c  552s |      15 |   296312 |   106232 |   147447      0 |       75 |        0
556.53/556.71	c  554s |      15 |   297085 |   106632 |   147447      0 |       75 |        0
558.82/559.08	c  557s |      15 |   298187 |   107032 |   147447      0 |       75 |        0
561.72/561.94	c  560s |      15 |   299067 |   107432 |   147447      0 |       75 |        0
564.32/564.52	c  562s |      15 |   300028 |   107832 |   147447      0 |       75 |        0
566.43/566.63	c  564s |      15 |   300853 |   108132 |   147447      0 |       75 |        0
568.63/568.82	c  566s |      15 |   301365 |   108432 |   147447      0 |       75 |        0
571.32/571.50	c  569s |      15 |   302164 |   108732 |   147447      0 |       75 |        0
573.52/573.70	c  571s |      15 |   302816 |   109032 |   147447      0 |       75 |        0
576.23/576.40	c  574s |      15 |   303491 |   109332 |   147447      0 |       75 |        0
578.82/579.00	c  577s |      15 |   304074 |   109632 |   147447      0 |       75 |        0
580.81/581.04	c  579s |      15 |   304727 |   109932 |   147447      0 |       75 |        0
583.51/583.71	c  581s |      15 |   305470 |   110332 |   147447      0 |       75 |        0
585.71/585.95	c  584s |      15 |   306126 |   110632 |   147447      0 |       75 |        0
588.21/588.40	c  586s |      15 |   306712 |   110932 |   147447      0 |       75 |        0
590.91/591.12	c  589s |      15 |   307582 |   111332 |   147447      0 |       75 |        0
593.11/593.32	c  591s |      15 |   308272 |   111632 |   147447      0 |       75 |        0
595.61/595.86	c  594s |      15 |   309055 |   111932 |   147447      0 |       75 |        0
598.21/598.46	c  596s |      15 |   309698 |   112232 |   147447      0 |       75 |        0
600.81/601.02	c  599s |      15 |   310310 |   112532 |   147447      0 |       75 |        0
603.41/603.60	c  601s |      15 |   310790 |   112832 |   147447      0 |       75 |        0
605.61/605.85	c  604s |      15 |   311344 |   113132 |   147447      0 |       75 |        0
608.21/608.47	c  606s |      15 |   312034 |   113532 |   147447      0 |       75 |        0
610.60/610.85	c  608s |      15 |   312523 |   113832 |   147447      0 |       75 |        0
612.70/612.98	c  611s |      15 |   313049 |   114132 |   147447      0 |       75 |        0
614.82/615.00	c  613s |      15 |   313492 |   114432 |   147447      0 |       75 |        0
617.41/617.63	c  615s |      15 |   314024 |   114732 |   147447      0 |       75 |        0
620.01/620.26	c  618s |      15 |   314534 |   115032 |   147447      0 |       75 |        0
622.31/622.60	c  620s |      15 |   315141 |   115332 |   147447      0 |       75 |        0
624.71/624.97	c  623s |      15 |   315847 |   115632 |   147447      0 |       75 |        0
627.00/627.25	c  625s |      15 |   316585 |   115932 |   147447      0 |       75 |        0
629.30/629.54	c  627s |      15 |   317686 |   116232 |   147447      0 |       75 |        0
631.40/631.63	c  629s |      15 |   318490 |   116532 |   147447      0 |       75 |        0
633.51/633.73	c  631s |      15 |   319034 |   116832 |   147447      0 |       75 |        0
635.71/635.97	c  634s |      15 |   320352 |   117232 |   147447      0 |       75 |        0
638.19/638.47	c  636s |      15 |   321652 |   117632 |   147447      0 |       75 |        0
640.89/641.14	c  639s |      15 |   322651 |   118032 |   147447      0 |       75 |        0
643.59/643.81	c  641s |      15 |   323600 |   118432 |   147447      0 |       75 |        0
645.89/646.11	c  644s |      15 |   324494 |   118732 |   147447      0 |       75 |        0
647.99/648.25	c  646s |      15 |   325453 |   119032 |   147447      0 |       75 |        0
650.69/650.98	c  649s |      15 |   326396 |   119432 |   147447      0 |       75 |        0
651.69/651.94	c  650s |      15 |   327852 |   119499 |   147447      0 |       75 |        0
651.69/651.94	c #cpu_time = 648.286s
651.69/651.94	c #wall_clock_time = 650.057s
651.69/651.94	c #decision = 327852
651.69/651.94	c #random_decision = 209
651.69/651.94	c #conflict = 119499
651.69/651.94	c #restart = 15
651.69/651.94	o 271362277
651.69/651.98	c BCD2: updating upper bound: 17168297281 -> 271362301
651.78/652.04	c BCD2: 0 <= obj <= 271362301
651.78/652.04	c BCD2: #cores=0, #unrelaxed=16825, #relaxed=0, #hardened=0
651.78/652.04	c BCD2: #sat=1 #unsat=1 bias=1/2
651.78/652.05	c Solving starts ...
651.78/652.05	c ============================[ Search Statistics ]============================
651.78/652.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
651.78/652.05	c       |         |          |          |    Limit     GC | Var      | Constra 
651.78/652.05	c =============================================================================
651.78/652.05	c  0.0s |       0 |        0 |        0 |   147447      0 |       75 |        0
652.19/652.43	c  0.4s |       0 |      270 |        1 |   147447      0 |       75 |        0
652.19/652.43	c #cpu_time = 0.375s
652.19/652.43	c #wall_clock_time = 0.376s
652.19/652.43	c #decision = 270
652.19/652.43	c #random_decision = 0
652.19/652.43	c #conflict = 1
652.19/652.43	c #restart = 0
652.19/652.43	c BCD2: found a new core of size 270: cost of the new core is >=8000
652.19/652.43	c lower bound updated to 7975
652.19/652.47	c BCD2: 8000 <= obj <= 271362301
652.19/652.47	c BCD2: #cores=1, #unrelaxed=16555, #relaxed=270, #hardened=0
652.19/652.47	c BCD2: #sat=1 #unsat=2 bias=2/3

Verifier Data 

ERROR: no interpretation found !

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-4079415-1465328236/watcher-4079415-1465328236 -o /tmp/evaluation-result-4079415-1465328236/solver-4079415-1465328236 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079415-1465328236.opb 

pid=21426
running on 4 cores: 1,3,5,7

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.16 2.21 2.19 3/179 21429
/proc/meminfo: memFree=21330292/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 2781 0 0 0 0 0 0 0 20 0 4 0 114755977 762769408 3142 33554432000 4194304 16246674 140737302927008 140737302926432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21429/statm: 186735 3152 441 2943 0 183629 0
[pid=21429/tid=21430] ppid=21426 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 780595200 3210 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 784789504 3225 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114755977 788983808 3242 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.16 2.21 2.19 3/179 21429
/proc/meminfo: memFree=21330292/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 29814 0 0 0 4 5 0 0 20 0 4 0 114755977 1334382592 30113 33554432000 4194304 16246674 140737302927008 140737302926320 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21429/statm: 325777 30128 799 2943 0 322671 0
[pid=21429/tid=21430] ppid=21426 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1334382592 30139 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1334382592 30150 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1334382592 30160 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200544 s]
/proc/loadavg: 2.16 2.21 2.19 3/179 21429
/proc/meminfo: memFree=21330292/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 42922 0 0 0 12 7 0 0 20 0 4 0 114755977 1344868352 43731 33554432000 4194304 16246674 140737302927008 140737302926320 13927398 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21429/statm: 328337 43731 801 2943 0 325231 0
[pid=21429/tid=21430] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 43731 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 43731 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 43731 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.3005 s]
/proc/loadavg: 2.16 2.21 2.19 3/179 21429
/proc/meminfo: memFree=21330292/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 55991 0 0 0 20 9 0 0 20 0 4 0 114755977 1344868352 56800 33554432000 4194304 16246674 140737302927008 140737302926320 4221108 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21429/statm: 328337 56800 801 2943 0 325231 0
[pid=21429/tid=21430] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 56800 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 56800 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 56800 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700427 s]
/proc/loadavg: 2.16 2.21 2.19 3/179 21429
/proc/meminfo: memFree=21330292/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 64216 0 0 0 59 10 0 0 20 0 4 0 114755977 1344868352 65025 33554432000 4194304 16246674 140737302927008 140737302926320 5901185 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21429/statm: 328337 65025 839 2943 0 325231 0
[pid=21429/tid=21430] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 65025 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 65025 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 65025 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.16 2.21 2.19 3/183 21433
/proc/meminfo: memFree=20860892/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 190279 0 0 0 121 28 0 0 20 0 4 0 114755977 1344868352 191088 33554432000 4194304 16246674 140737302927008 140737302908928 12457395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 328337 191098 844 2943 0 325231 0
[pid=21429/tid=21430] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 191103 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 191109 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1344868352 191115 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.16 2.21 2.19 3/183 21433
/proc/meminfo: memFree=20395024/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=3.08 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 233193 0 0 0 274 34 0 0 20 0 4 0 114755977 1378422784 234002 33554432000 4194304 16246674 140737302927008 140737302908928 5667488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 234002 887 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 234002 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 234002 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 234002 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1346116

[startup+6.30043 s]
/proc/loadavg: 2.14 2.20 2.19 3/183 21433
/proc/meminfo: memFree=20022568/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=6.28 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277179 0 0 0 588 40 0 0 20 0 4 0 114755977 1378422784 277988 33554432000 4194304 16246674 140737302927008 140737302908928 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 277988 890 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 277988 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 277988 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 277988 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1346116

[startup+12.7004 s]
/proc/loadavg: 2.13 2.20 2.19 3/183 21433
/proc/meminfo: memFree=17195428/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=12.68 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277211 0 0 0 1228 40 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140737302908928 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278020 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1346116

[startup+25.5005 s]
/proc/loadavg: 2.10 2.19 2.18 3/183 21433
/proc/meminfo: memFree=17195808/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=25.48 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277211 0 0 0 2508 40 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140737302908928 5602050 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278020 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1346116

[startup+51.1004 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 21433
/proc/meminfo: memFree=17195300/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=51.07 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277211 0 0 0 5067 40 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140737302908928 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278020 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1346116

[startup+102.301 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 21434
/proc/meminfo: memFree=17195496/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=102.27 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277211 0 0 0 10187 40 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140737302908928 5674797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278020 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278020 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1346116


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

[pid=21429] ppid=21426 vsize=1346116 CPUtime=342.21 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277268 0 0 0 34180 41 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140737302908928 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278023 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1346116

[startup+402.3 s]
/proc/loadavg: 2.22 2.21 2.18 4/183 21492
/proc/meminfo: memFree=27181736/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=402.18 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277303 0 0 0 40177 41 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140737302908928 5601651 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278023 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1346116

[startup+462.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 21494
/proc/meminfo: memFree=27181776/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=462.16 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277320 0 0 0 46175 41 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140737302908928 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278023 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1346116

[startup+522.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 21495
/proc/meminfo: memFree=27181932/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=522.14 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277350 0 0 0 52173 41 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140737302908928 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278023 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1346116

[startup+582.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/183 21496
/proc/meminfo: memFree=27181584/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=582.11 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277382 0 0 0 58170 41 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140737302908928 5673495 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278023 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1346116

[startup+642.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/183 21497
/proc/meminfo: memFree=27181612/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=1346116 CPUtime=642.09 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 277418 0 0 0 64167 42 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140737302908928 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 336529 278023 893 2943 0 333423 0
[pid=21429/tid=21430] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298155957488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 1378422784 278023 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1346116

[startup+702.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 21498
/proc/meminfo: memFree=21452728/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=7064132 CPUtime=702.06 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 1706958 0 0 0 69973 233 0 0 20 0 4 0 114755977 7233671168 1707555 33554432000 4194304 16246674 140737302927008 140737302924800 4221122 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 1766033 1707555 918 2943 0 1762927 0
[pid=21429/tid=21430] ppid=21426 vsize=7064132 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 7233671168 1707555 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=7064132 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 7233671168 1707555 33554432000 4194304 16246674 140737302927008 140298155957264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=7064132 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 7233671168 1707555 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 7064132

[startup+762.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 21500
/proc/meminfo: memFree=12674676/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=15840836 CPUtime=762.05 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 3901106 0 0 0 75665 540 0 0 20 0 4 0 114755977 16221016064 3901703 33554432000 4194304 16246674 140737302927008 140737302925672 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 3960209 3901705 918 2943 0 3957103 0
[pid=21429/tid=21430] ppid=21426 vsize=15841860 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 16222064640 3901755 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=15841860 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 16222064640 3901760 33554432000 4194304 16246674 140737302927008 140298155957264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=15841860 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 16222064640 3901763 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 15840836



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+762.408 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 21500
/proc/meminfo: memFree=12674676/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=15893060 CPUtime=762.15 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) R 21426 21429 2168 0 -1 4202496 3913957 0 0 0 75674 541 0 0 20 0 4 0 114755977 16274493440 3914554 33554432000 4194304 16246674 140737302927008 140737302925672 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 3973265 3914560 918 2943 0 3970159 0
[pid=21429/tid=21430] ppid=21426 vsize=15893060 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21430/stat : 21430 (toysat) S 21426 21429 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114755977 16274493440 3914564 33554432000 4194304 16246674 140737302927008 140298166447344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21429/tid=21431] ppid=21426 vsize=15893060 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21431/stat : 21431 (toysat) S 21426 21429 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114755977 16274493440 3914568 33554432000 4194304 16246674 140737302927008 140298155957264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=15893060 CPUtime=0 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) S 21426 21429 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114755977 16274493440 3914571 33554432000 4194304 16246674 140737302927008 140298145483952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 15893060

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+762.8 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 21500
/proc/meminfo: memFree=12674676/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=0 CPUtime=762.54 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) Z 21426 21429 2168 0 -1 4203532 3914566 0 0 0 75674 580 0 0 20 0 2 0 114755977 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 0 0 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=0 CPUtime=0.37 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) R 21426 21429 2168 0 -1 4203588 2 0 0 0 0 37 0 0 20 0 2 0 114755977 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.54
Current children cumulated vsize (KiB) 0

[startup+763.2 s]
/proc/loadavg: 2.15 2.21 2.18 3/183 21500
/proc/meminfo: memFree=12674676/32872528 swapFree=16636/1570076
[pid=21429] ppid=21426 vsize=0 CPUtime=762.94 cores=1,3,5,7
/proc/21429/stat : 21429 (toysat) Z 21426 21429 2168 0 -1 4203532 3914566 0 0 0 75674 620 0 0 20 0 2 0 114755977 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21429/statm: 0 0 0 0 0 0 0
[pid=21429/tid=21432] ppid=21426 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/21429/task/21432/stat : 21432 (toysat) R 21426 21429 2168 0 -1 4203588 2 0 0 0 0 77 0 0 20 0 2 0 114755977 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.94
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 763.205
CPU time (s): 762.952
CPU user time (s): 756.746
CPU system time (s): 6.20606
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 15893060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 756.746
system time used= 6.20606
maximum resident set size= 15660652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3914566
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= 305
involuntary context switches= 770

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.6296 second user time and 3.47547 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 21:37:16
IDJOB=4079415
IDBENCH=92701
IDSOLVER=2542
FILE ID=node140/4079415-1465328236
RUNJOBID= node140-1465312758-19944
PBS_JOBID= 19850417
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079415-1465328236/watcher-4079415-1465328236 -o /tmp/evaluation-result-4079415-1465328236/solver-4079415-1465328236 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079415-1465328236.opb

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

MD5SUM BENCH= e48ee9240e6d9b52ec3ebd9cb27e0b8c
RANDOM SEED=1228060234

node140.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.768
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	: 5333.53
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.768
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.768
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.55
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.768
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.56
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.768
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.768
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.55
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.768
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.55
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        21330936 kB
Buffers:           61432 kB
Cached:           224440 kB
SwapCached:         1660 kB
Active:          9063576 kB
Inactive:         142872 kB
Active(anon):    8917308 kB
Inactive(anon):     5988 kB
Active(file):     146268 kB
Inactive(file):   136884 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             19104 kB
Writeback:             0 kB
AnonPages:      10490632 kB
Mapped:            10980 kB
Shmem:                 0 kB
Slab:             614520 kB
SReclaimable:      58200 kB
SUnreclaim:       556320 kB
KernelStack:        1456 kB
PageTables:        24584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10633828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 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= 71680 MiB
End job on node140 at 2016-06-07 21:50:00