Trace number 4079369

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) 903.032 903.326

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_3_mh_ic.opb
MD5SUMbd1f23f2ad95dce248911d20ecda08b7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4466220
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 variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 109215352
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 5000695793
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 109215352
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 5000695793
Number of bits of the biggest sum of numbers33
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-07T19:51:03+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-4079369-1465321863.opb"]
0.00/0.01	c use --random-gen="2240205518 3999300455 2261149214 2367852233 3797713838 74056008 704079704 2393613697 1393591028 3354546466 2535834421 247166677 4161564950 22875352 3017165486 2698327760 4216017906 42413738 339433347 3770181716 4221158016 1161420866 151645851 299007592 58176390 587893143 830488989 3996148398 4122471833 3403849022 1871023951 4117622449 1438051948 1043384158 31651584 2465395756 1308893716 2718630846 2793825916 3719553853 528536295 1357289682 2666113477 1144565244 2864347432 1644119921 1105001370 1576246042 1166479437 1313782231 2677802813 1889755068 628792458 2591500171 1110834812 804065291 2938478988 43488414 241499588 1910165085 3291486194 3612812455 2925719138 4062347413 2194349829 2514660061 21156801 2948947558 2923457212 1496667846 1306206324 1119140127 622540978 2946317862 1914810126 2962644663 2447602349 1891893489 1668808307 4252156501 703641029 3760184139 945132975 1399115435 3904543897 1613634684 1235085660 2354722435 548638684 3727512322 2574239205 1797893514 4235686209 2176179160 1649497015 1449234061 2089092905 807984273 451050207 188000324 1202918200 4001222489 2003138398 3516797310 4005833815 2204626694 3021347854 887991899 549361950 1263580563 646637486 2017473302 1315291299 4106395797 1498382623 642042952 2819162748 875654567 2357446488 4115172284 3903745259 925979807 3013404574 3928960141 952082761 1714773127 1852010448 2930573348 949366407 4182431467 1125128126 1484248590 2854375995 830538128 2111886074 2010368938 3102451118 215603341 2665538482 3769409670 2274140865 1091694836 3485362820 905595900 3900991174 165091385 165725263 138658365 2491307041 2282787352 3740187542 2959309292 1131145991 3390276184 3146353571 546902788 66681377 2699175174 2547432991 3853937672 3305888703 325042732 3675818218 2915869681 3245260708 2848230386 2756943970 1967361844 1355295023 527735259 1066441036 630200648 1957842537 3848129369 4199098156 491273477 2145215245 1817040556 174815355 281980560 1615915662 2599395705 1423228509 292310024 2686131010 268222060 1412431198 609494951 2309419743 1432178176 1190983209 1143602563 4241039281 3677073463 874429499 2517959481 891457614 1938193029 3860308796 3760945245 804341203 1753353657 2419350815 1192104991 1402560549 2757834222 1167520976 2377351645 2296319519 3331301103 2537671156 3053702419 574602662 4195081291 327172502 26669243 2395185248 2545495425 1856473227 3937724518 3913971328 3322613322 4216387714 3030897277 3578453278 2319253600 4186310970 1462232897 1651289027 2064302944 4131381767 3976434081 507340009 2274489364 4019465275 2873668136 1282522668 222696272 277433965 2078460711 3494416950 2848970015 4096260753 4025373734 4137429023 218686632 1969260676 377303031 1988079064 3092810622 2262456227 2079655268 1265098584 649944167 1628720778 1209511767 255 362436" option to reproduce the execution
0.09/0.19	c #vars 9765
0.09/0.19	c #constraints 21293
0.39/0.49	c BCD2: Hardening is enabled.
0.39/0.49	c BCD2: BiasedSearch is enabled.
0.39/0.49	c Solving starts ...
0.39/0.49	c ============================[ Search Statistics ]============================
0.39/0.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.49	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.49	c =============================================================================
0.39/0.49	c  0.0s |       0 |        0 |        0 |    10562      0 |       60 |        0
0.69/0.72	c  0.2s |       1 |      298 |      100 |    10562      0 |       60 |        0
1.69/1.74	c  1.3s |       2 |     1035 |      250 |    11619      0 |       60 |        0
3.48/3.50	c  3.0s |       3 |     1726 |      475 |    12781      0 |       60 |        0
4.98/5.04	c  4.6s |       4 |     3044 |      813 |    14060      0 |       60 |        0
6.99/7.05	c  6.6s |       5 |     4685 |     1320 |    15467      0 |       60 |        0
9.29/9.37	c  8.9s |       5 |     6877 |     1920 |    17014      0 |       60 |        0
9.79/9.82	c  9.3s |       6 |     7510 |     2081 |    18716      0 |       60 |        0
11.10/11.12	c 10.6s |       7 |     9829 |     3223 |    20588      0 |       60 |        0
13.09/13.20	c 12.7s |       7 |    12946 |     4723 |    20588      0 |       60 |        0
13.39/13.47	c 13.0s |       8 |    13412 |     4936 |    22647      0 |       60 |        0
15.50/15.51	c 15.0s |       8 |    16014 |     6336 |    22647      0 |       60 |        0
17.19/17.21	c 16.7s |       9 |    18735 |     7506 |    24912      0 |       60 |        0
19.19/19.22	c 18.7s |       9 |    21959 |     8906 |    24912      0 |       60 |        0
21.39/21.40	c 20.9s |       9 |    24672 |    10306 |    24912      0 |       60 |        0
23.09/23.17	c 22.7s |      10 |    27020 |    11361 |    27404      0 |       60 |        0
25.29/25.34	c 24.9s |      10 |    28742 |    11761 |    27404      0 |       60 |        0
27.39/27.47	c 27.0s |      10 |    30256 |    12161 |    27404      0 |       60 |        0
29.49/29.55	c 29.1s |      10 |    32732 |    13061 |    27404      0 |       60 |        0
31.59/31.62	c 31.1s |      10 |    35374 |    14261 |    27404      0 |       60 |        0
33.69/33.75	c 33.3s |      10 |    37546 |    15461 |    27404      0 |       60 |        0
35.89/35.95	c 35.5s |      10 |    39533 |    16561 |    27404      0 |       60 |        0
37.09/37.19	c 36.7s |      11 |    40461 |    17144 |    30145      0 |       60 |        0
39.19/39.28	c 38.8s |      11 |    41980 |    18044 |    30145      0 |       60 |        0
41.18/41.28	c 40.8s |      11 |    43742 |    19044 |    30145      0 |       60 |        0
43.38/43.40	c 42.9s |      11 |    45843 |    20044 |    30145      0 |       60 |        0
45.38/45.46	c 45.0s |      11 |    47437 |    20944 |    30145      0 |       60 |        0
47.48/47.52	c 47.0s |      11 |    49208 |    21844 |    30145      0 |       60 |        0
49.68/49.76	c 49.3s |      11 |    50610 |    22844 |    30145      0 |       60 |        0
51.79/51.81	c 51.3s |      11 |    52110 |    23744 |    30145      0 |       60 |        0
53.78/53.84	c 53.4s |      11 |    53794 |    24744 |    30145      0 |       60 |        0
55.98/56.00	c 55.5s |      11 |    55282 |    25644 |    30145      0 |       60 |        0
56.38/56.42	c 55.9s |      12 |    55612 |    25819 |    33160      0 |       60 |        0
58.48/58.58	c 58.1s |      12 |    57013 |    26619 |    33160      0 |       60 |        0
60.48/60.58	c 60.1s |      12 |    58362 |    27519 |    33160      0 |       60 |        0
62.58/62.62	c 62.1s |      12 |    59676 |    28419 |    33160      0 |       60 |        0
64.68/64.79	c 64.3s |      12 |    61343 |    29519 |    33160      0 |       60 |        0
66.78/66.81	c 66.3s |      12 |    62569 |    30319 |    33160      0 |       60 |        0
68.78/68.81	c 68.3s |      12 |    63708 |    31019 |    33160      0 |       60 |        0
70.98/71.00	c 70.5s |      12 |    65275 |    31919 |    33160      0 |       60 |        0
72.98/73.06	c 72.6s |      12 |    66813 |    32819 |    33160      0 |       60 |        0
75.08/75.16	c 74.7s |      12 |    68869 |    33819 |    33160      0 |       60 |        0
77.28/77.35	c 76.9s |      12 |    71333 |    35119 |    33160      0 |       60 |        0
79.47/79.57	c 79.1s |      12 |    73573 |    36019 |    33160      1 |       60 |        0
81.57/81.64	c 81.2s |      12 |    75934 |    37119 |    33160      1 |       60 |        0
83.68/83.71	c 83.2s |      12 |    77404 |    38019 |    33160      1 |       60 |        0
85.47/85.54	c 85.1s |      13 |    78792 |    38832 |    36476      1 |       60 |        0
87.47/87.56	c 87.1s |      13 |    80147 |    39732 |    36476      1 |       60 |        0
89.57/89.60	c 89.1s |      13 |    81412 |    40632 |    36476      1 |       60 |        0
91.57/91.60	c 91.1s |      13 |    82621 |    41432 |    36476      1 |       60 |        0
93.67/93.71	c 93.2s |      13 |    84108 |    42232 |    36476      1 |       60 |        0
95.87/95.92	c 95.4s |      13 |    85475 |    43132 |    36476      1 |       60 |        0
97.98/98.03	c 97.5s |      13 |    86763 |    44032 |    36476      1 |       60 |        0
100.07/100.12	c 99.6s |      13 |    87869 |    44832 |    36476      1 |       60 |        0
102.17/102.20	c  101s |      13 |    88830 |    45532 |    36476      1 |       60 |        0
104.37/104.40	c  103s |      13 |    89921 |    46332 |    36476      1 |       60 |        0
106.36/106.46	c  105s |      13 |    91119 |    47132 |    36476      1 |       60 |        0
108.46/108.57	c  108s |      13 |    92104 |    47532 |    36476      1 |       60 |        0
110.46/110.58	c  110s |      13 |    93839 |    48232 |    36476      1 |       60 |        0
112.66/112.72	c  112s |      13 |    94947 |    48732 |    36476      1 |       60 |        0
114.86/115.00	c  114s |      13 |    97034 |    49632 |    36476      1 |       60 |        0
117.06/117.19	c  116s |      13 |    98302 |    50332 |    36476      1 |       60 |        0
119.36/119.41	c  118s |      13 |   100196 |    51432 |    36476      1 |       60 |        0
121.36/121.49	c  121s |      13 |   101889 |    52432 |    36476      1 |       60 |        0
123.46/123.50	c  123s |      13 |   103677 |    53332 |    36476      1 |       60 |        0
125.56/125.66	c  125s |      13 |   105721 |    54232 |    36476      1 |       60 |        0
127.76/127.84	c  127s |      13 |   107593 |    55232 |    36476      1 |       60 |        0
129.96/130.00	c  129s |      13 |   109584 |    56232 |    36476      1 |       60 |        0
131.96/132.05	c  131s |      13 |   111188 |    57132 |    36476      1 |       60 |        0
134.26/134.36	c  133s |      13 |   112595 |    57932 |    36476      2 |       60 |        0
135.26/135.37	c  134s |      14 |   113335 |    58352 |    40124      2 |       60 |        0
137.47/137.59	c  137s |      14 |   115271 |    59252 |    40124      2 |       60 |        0
139.66/139.74	c  139s |      14 |   116333 |    59652 |    40124      2 |       60 |        0
141.76/141.86	c  141s |      14 |   118621 |    60752 |    40124      2 |       60 |        0
143.96/144.00	c  143s |      14 |   120330 |    61952 |    40124      2 |       60 |        0
146.06/146.18	c  145s |      14 |   122061 |    63252 |    40124      2 |       60 |        0
148.16/148.30	c  147s |      14 |   123677 |    64452 |    40124      2 |       60 |        0
150.46/150.52	c  150s |      14 |   125625 |    65552 |    40124      2 |       60 |        0
152.65/152.78	c  152s |      14 |   126774 |    66352 |    40124      2 |       60 |        0
154.75/154.85	c  154s |      14 |   128196 |    67252 |    40124      2 |       60 |        0
156.85/156.94	c  156s |      14 |   129598 |    68052 |    40124      2 |       60 |        0
159.05/159.10	c  158s |      14 |   130948 |    68952 |    40124      2 |       60 |        0
161.15/161.26	c  160s |      14 |   132506 |    69852 |    40124      2 |       60 |        0
163.25/163.31	c  162s |      14 |   133807 |    70752 |    40124      2 |       60 |        0
165.45/165.56	c  165s |      14 |   135205 |    71652 |    40124      2 |       60 |        0
167.45/167.59	c  167s |      14 |   136574 |    72452 |    40124      2 |       60 |        0
169.65/169.79	c  169s |      14 |   138383 |    73352 |    40124      2 |       60 |        0
171.75/171.82	c  171s |      14 |   139568 |    74152 |    40124      2 |       60 |        0
173.75/173.83	c  173s |      14 |   140706 |    74952 |    40124      2 |       60 |        0
175.85/175.95	c  175s |      14 |   142032 |    75852 |    40124      2 |       60 |        0
177.95/178.08	c  177s |      14 |   143213 |    76652 |    40124      2 |       60 |        0
180.15/180.20	c  179s |      14 |   144224 |    77352 |    40124      2 |       60 |        0
182.35/182.43	c  181s |      14 |   145775 |    78252 |    40124      2 |       60 |        0
184.64/184.74	c  184s |      14 |   147023 |    79052 |    40124      2 |       60 |        0
186.84/186.90	c  186s |      14 |   148209 |    79852 |    40124      2 |       60 |        0
188.84/188.96	c  188s |      14 |   149552 |    80652 |    40124      3 |       60 |        0
190.94/191.07	c  190s |      14 |   151157 |    81652 |    40124      3 |       60 |        0
193.04/193.11	c  192s |      14 |   152475 |    82552 |    40124      3 |       60 |        0
195.24/195.33	c  194s |      14 |   154136 |    83552 |    40124      3 |       60 |        0
197.44/197.53	c  197s |      14 |   155552 |    84452 |    40124      3 |       60 |        0
199.44/199.56	c  199s |      14 |   156926 |    85252 |    40124      3 |       60 |        0
201.44/201.57	c  201s |      14 |   158221 |    86052 |    40124      3 |       60 |        0
203.74/203.81	c  203s |      14 |   159441 |    86852 |    40124      3 |       60 |        0
205.74/205.87	c  205s |      15 |   160525 |    87632 |    44137      3 |       60 |        0
208.03/208.10	c  207s |      15 |   161801 |    88332 |    44137      3 |       60 |        0
210.23/210.33	c  209s |      15 |   163100 |    89232 |    44137      3 |       60 |        0
212.34/212.45	c  211s |      15 |   164395 |    90032 |    44137      3 |       60 |        0
214.33/214.50	c  214s |      15 |   165716 |    90932 |    44137      3 |       60 |        0
216.53/216.63	c  216s |      15 |   167020 |    91832 |    44137      3 |       60 |        0
218.63/218.74	c  218s |      15 |   168283 |    92732 |    44137      3 |       60 |        0
220.63/220.74	c  220s |      15 |   169397 |    93532 |    44137      3 |       60 |        0
222.63/222.77	c  222s |      15 |   170551 |    94232 |    44137      3 |       60 |        0
224.72/224.81	c  224s |      15 |   171699 |    95032 |    44137      3 |       60 |        0
226.82/226.98	c  226s |      15 |   172997 |    95932 |    44137      3 |       60 |        0
228.92/229.03	c  228s |      15 |   174122 |    96732 |    44137      3 |       60 |        0
231.12/231.22	c  230s |      15 |   175512 |    97632 |    44137      3 |       60 |        0
233.22/233.31	c  232s |      15 |   177064 |    98632 |    44137      3 |       60 |        0
235.22/235.39	c  234s |      15 |   178563 |    99632 |    44137      3 |       60 |        0
237.42/237.59	c  237s |      15 |   180129 |   100632 |    44137      3 |       60 |        0
239.82/239.94	c  239s |      15 |   181799 |   101532 |    44137      3 |       60 |        0
241.82/241.98	c  241s |      15 |   183175 |   102332 |    44137      3 |       60 |        0
244.02/244.12	c  243s |      15 |   184894 |   103132 |    44137      3 |       60 |        0
246.12/246.22	c  245s |      15 |   186461 |   104032 |    44137      3 |       60 |        0
248.22/248.36	c  247s |      15 |   187679 |   104732 |    44137      3 |       60 |        0
250.22/250.37	c  249s |      15 |   188953 |   105532 |    44137      3 |       60 |        0
252.31/252.41	c  251s |      15 |   190270 |   106332 |    44137      3 |       60 |        0
254.31/254.47	c  253s |      15 |   191714 |   107332 |    44137      3 |       60 |        0
256.32/256.48	c  255s |      15 |   192993 |   108132 |    44137      3 |       60 |        0
258.52/258.63	c  258s |      15 |   194496 |   109032 |    44137      4 |       60 |        0
260.62/260.80	c  260s |      15 |   195926 |   109932 |    44137      4 |       60 |        0
262.71/262.82	c  262s |      15 |   197130 |   110732 |    44137      4 |       60 |        0
264.81/264.92	c  264s |      15 |   198707 |   111732 |    44137      4 |       60 |        0
266.91/267.04	c  266s |      15 |   200187 |   112632 |    44137      4 |       60 |        0
269.01/269.12	c  268s |      15 |   201494 |   113532 |    44137      4 |       60 |        0
271.10/271.24	c  270s |      15 |   203065 |   114432 |    44137      4 |       60 |        0
273.20/273.39	c  272s |      15 |   204719 |   115432 |    44137      4 |       60 |        0
275.30/275.45	c  274s |      15 |   206043 |   116332 |    44137      4 |       60 |        0
277.50/277.62	c  277s |      15 |   207578 |   117332 |    44137      4 |       60 |        0
279.60/279.75	c  279s |      15 |   209029 |   118232 |    44137      4 |       60 |        0
281.80/281.93	c  281s |      15 |   210362 |   119032 |    44137      4 |       60 |        0
283.90/284.01	c  283s |      15 |   211572 |   119832 |    44137      4 |       60 |        0
285.91/286.03	c  285s |      15 |   212931 |   120632 |    44137      4 |       60 |        0
287.90/288.09	c  287s |      15 |   214375 |   121532 |    44137      4 |       60 |        0
290.20/290.34	c  289s |      15 |   215877 |   122432 |    44137      4 |       60 |        0
292.40/292.53	c  292s |      15 |   217290 |   123332 |    44137      4 |       60 |        0
294.60/294.73	c  294s |      15 |   218386 |   124132 |    44137      4 |       60 |        0
296.80/296.91	c  296s |      15 |   219888 |   125032 |    44137      4 |       60 |        0
298.80/298.99	c  298s |      15 |   221312 |   125832 |    44137      4 |       60 |        0
301.10/301.23	c  300s |      15 |   222805 |   126732 |    44137      4 |       60 |        0
303.09/303.24	c  302s |      15 |   223921 |   127532 |    44137      4 |       60 |        0
305.29/305.46	c  304s |      15 |   225191 |   128332 |    44137      4 |       60 |        0
307.39/307.51	c  307s |      15 |   226252 |   129032 |    44137      4 |       60 |        0
309.39/309.52	c  309s |      15 |   227273 |   129732 |    44137      4 |       60 |        0
311.69/311.87	c  311s |      15 |   228234 |   130332 |    44137      5 |       60 |        0
313.79/313.92	c  313s |      15 |   229424 |   131032 |    48551      5 |       60 |        0
314.99/315.18	c  314s |      16 |   230194 |   131552 |    48551      5 |       60 |        0
317.09/317.24	c  316s |      16 |   231908 |   132452 |    48551      5 |       60 |        0
319.29/319.46	c  318s |      16 |   233271 |   133352 |    48551      5 |       60 |        0
321.49/321.68	c  321s |      16 |   234581 |   134252 |    48551      5 |       60 |        0
323.79/323.98	c  323s |      16 |   235909 |   135152 |    48551      5 |       60 |        0
325.89/326.03	c  325s |      16 |   237255 |   136052 |    48551      5 |       60 |        0
328.09/328.28	c  327s |      16 |   238577 |   136952 |    48551      5 |       60 |        0
330.29/330.40	c  329s |      16 |   239872 |   137852 |    48551      5 |       60 |        0
332.39/332.59	c  332s |      16 |   241266 |   138752 |    48551      5 |       60 |        0
334.69/334.86	c  334s |      16 |   242284 |   139252 |    48551      5 |       60 |        0
336.89/337.08	c  336s |      16 |   244139 |   139852 |    48551      5 |       60 |        0
338.99/339.11	c  338s |      16 |   245550 |   140652 |    48551      5 |       60 |        0
340.99/341.19	c  340s |      16 |   246785 |   141352 |    48551      5 |       60 |        0
343.19/343.36	c  342s |      16 |   248609 |   142152 |    48551      5 |       60 |        0
345.18/345.38	c  344s |      16 |   250188 |   143052 |    48551      5 |       60 |        0
347.28/347.46	c  346s |      16 |   251682 |   143852 |    48551      5 |       60 |        0
349.48/349.64	c  349s |      16 |   253183 |   144752 |    48551      5 |       60 |        0
351.58/351.77	c  351s |      16 |   254578 |   145652 |    48551      5 |       60 |        0
353.78/353.99	c  353s |      16 |   256084 |   146652 |    48551      5 |       60 |        0
356.08/356.24	c  355s |      16 |   257454 |   147652 |    48551      5 |       60 |        0
358.28/358.49	c  358s |      16 |   258966 |   148752 |    48551      5 |       60 |        0
360.48/360.66	c  360s |      16 |   260437 |   149752 |    48551      5 |       60 |        0
362.58/362.73	c  362s |      16 |   261660 |   150652 |    48551      5 |       60 |        0
364.78/364.93	c  364s |      16 |   263074 |   151552 |    48551      5 |       60 |        0
366.98/367.15	c  366s |      16 |   264224 |   152352 |    48551      5 |       60 |        0
369.08/369.28	c  368s |      16 |   265548 |   153152 |    48551      5 |       60 |        0
371.38/371.55	c  371s |      16 |   266874 |   153952 |    48551      5 |       60 |        0
373.38/373.59	c  373s |      16 |   268136 |   154552 |    48551      5 |       60 |        0
375.48/375.60	c  375s |      16 |   269447 |   155352 |    48551      5 |       60 |        0
377.58/377.76	c  377s |      16 |   271084 |   156452 |    48551      5 |       60 |        0
379.78/379.98	c  379s |      16 |   272179 |   157252 |    48551      5 |       60 |        0
381.88/382.04	c  381s |      16 |   273376 |   158052 |    48551      5 |       60 |        0
384.07/384.23	c  383s |      16 |   274654 |   158852 |    48551      5 |       60 |        0
386.17/386.38	c  385s |      16 |   275785 |   159652 |    48551      5 |       60 |        0
388.28/388.48	c  387s |      16 |   276820 |   160352 |    48551      5 |       60 |        0
390.48/390.68	c  390s |      16 |   278085 |   161152 |    48551      5 |       60 |        0
392.58/392.71	c  392s |      16 |   279083 |   161852 |    48551      5 |       60 |        0
394.78/394.99	c  394s |      16 |   280241 |   162552 |    48551      6 |       60 |        0
397.57/397.79	c  397s |      16 |   282596 |   163552 |    48551      6 |       60 |        0
399.77/399.92	c  399s |      16 |   283965 |   164352 |    48551      6 |       60 |        0
401.97/402.11	c  401s |      16 |   285416 |   165252 |    48551      6 |       60 |        0
403.97/404.13	c  403s |      16 |   286658 |   166152 |    48551      6 |       60 |        0
405.97/406.19	c  405s |      16 |   288248 |   166952 |    48551      6 |       60 |        0
408.07/408.27	c  407s |      16 |   289647 |   167852 |    48551      6 |       60 |        0
410.17/410.39	c  409s |      16 |   291468 |   168852 |    48551      6 |       60 |        0
412.37/412.54	c  412s |      16 |   292789 |   169752 |    48551      6 |       60 |        0
414.67/414.81	c  414s |      16 |   294245 |   170752 |    48551      6 |       60 |        0
416.77/416.99	c  416s |      16 |   295535 |   171652 |    48551      6 |       60 |        0
418.97/419.12	c  418s |      16 |   297091 |   172552 |    48551      6 |       60 |        0
420.96/421.18	c  420s |      16 |   298497 |   173452 |    48551      6 |       60 |        0
423.06/423.24	c  422s |      16 |   299760 |   174352 |    48551      6 |       60 |        0
425.16/425.30	c  424s |      16 |   301117 |   175152 |    48551      6 |       60 |        0
427.16/427.30	c  426s |      16 |   302144 |   175852 |    48551      6 |       60 |        0
429.26/429.41	c  428s |      16 |   303267 |   176552 |    48551      6 |       60 |        0
431.56/431.74	c  431s |      16 |   304775 |   177252 |    48551      6 |       60 |        0
433.56/433.78	c  433s |      16 |   305900 |   177952 |    48551      6 |       60 |        0
435.86/436.01	c  435s |      16 |   306964 |   178552 |    48551      6 |       60 |        0
438.06/438.20	c  437s |      16 |   308348 |   179452 |    48551      6 |       60 |        0
440.06/440.25	c  439s |      16 |   309708 |   180152 |    48551      6 |       60 |        0
442.16/442.34	c  441s |      16 |   310659 |   180752 |    48551      6 |       60 |        0
444.45/444.63	c  444s |      16 |   312239 |   181352 |    48551      6 |       60 |        0
446.65/446.88	c  446s |      16 |   313279 |   182152 |    48551      6 |       60 |        0
448.76/448.99	c  448s |      16 |   314391 |   182852 |    48551      6 |       60 |        0
450.85/451.08	c  450s |      16 |   315346 |   183452 |    48551      6 |       60 |        0
452.84/453.09	c  452s |      16 |   316313 |   183852 |    48551      6 |       60 |        0
454.94/455.17	c  454s |      16 |   317181 |   184452 |    48551      6 |       60 |        0
457.04/457.26	c  456s |      16 |   318022 |   185052 |    48551      6 |       60 |        0
459.14/459.39	c  458s |      16 |   318917 |   185652 |    48551      6 |       60 |        0
461.54/461.78	c  461s |      16 |   320021 |   186352 |    48551      6 |       60 |        0
463.83/464.03	c  463s |      16 |   321189 |   186952 |    48551      6 |       60 |        0
466.13/466.36	c  465s |      16 |   322205 |   187652 |    48551      6 |       60 |        0
468.23/468.41	c  467s |      16 |   323003 |   188152 |    48551      7 |       60 |        0
470.64/470.88	c  470s |      16 |   324284 |   188752 |    48551      7 |       60 |        0
472.84/473.08	c  472s |      16 |   325545 |   189552 |    48551      7 |       60 |        0
474.93/475.16	c  474s |      16 |   326537 |   190252 |    48551      7 |       60 |        0
477.24/477.44	c  476s |      16 |   327608 |   190952 |    48551      7 |       60 |        0
479.44/479.68	c  479s |      16 |   328969 |   191852 |    48551      7 |       60 |        0
481.64/481.83	c  481s |      16 |   330376 |   192852 |    48551      7 |       60 |        0
483.73/483.97	c  483s |      16 |   331483 |   193552 |    48551      7 |       60 |        0
485.83/486.00	c  485s |      16 |   332519 |   194252 |    48551      7 |       60 |        0
487.83/488.08	c  487s |      16 |   333749 |   195052 |    48551      7 |       60 |        0
489.93/490.15	c  489s |      16 |   335532 |   195852 |    48551      7 |       60 |        0
492.23/492.49	c  492s |      16 |   336539 |   196452 |    53407      7 |       60 |        0
494.33/494.54	c  494s |      16 |   337351 |   197052 |    53407      7 |       60 |        0
495.23/495.46	c  494s |      17 |   337861 |   197432 |    53407      7 |       60 |        0
497.63/497.86	c  497s |      17 |   338491 |   197732 |    53407      7 |       60 |        0
499.73/499.90	c  499s |      17 |   339837 |   198232 |    53407      7 |       60 |        0
501.73/501.91	c  501s |      17 |   342090 |   199232 |    53407      7 |       60 |        0
503.83/504.09	c  503s |      17 |   343708 |   200132 |    53407      7 |       60 |        0
506.03/506.25	c  505s |      17 |   345629 |   201032 |    53407      7 |       60 |        0
508.03/508.30	c  507s |      17 |   347254 |   201932 |    53407      7 |       60 |        0
510.33/510.50	c  510s |      17 |   348795 |   202832 |    53407      7 |       60 |        0
512.33/512.56	c  512s |      17 |   350200 |   203732 |    53407      7 |       60 |        0
514.52/514.75	c  514s |      17 |   352133 |   204632 |    53407      7 |       60 |        0
516.72/516.96	c  516s |      17 |   353867 |   205632 |    53407      7 |       60 |        0
518.72/518.97	c  518s |      17 |   355389 |   206432 |    53407      7 |       60 |        0
520.72/520.98	c  520s |      17 |   356890 |   207232 |    53407      7 |       60 |        0
522.92/523.11	c  522s |      17 |   358393 |   208132 |    53407      7 |       60 |        0
525.12/525.35	c  524s |      17 |   360074 |   209132 |    53407      7 |       60 |        0
527.32/527.52	c  527s |      17 |   361535 |   210032 |    53407      7 |       60 |        0
529.42/529.60	c  529s |      17 |   362873 |   210932 |    53407      7 |       60 |        0
531.52/531.77	c  531s |      17 |   364028 |   211732 |    53407      7 |       60 |        0
533.62/533.82	c  533s |      17 |   365135 |   212532 |    53407      7 |       60 |        0
535.72/535.98	c  535s |      17 |   366443 |   213432 |    53407      7 |       60 |        0
537.72/537.99	c  537s |      17 |   367596 |   214332 |    53407      7 |       60 |        0
539.92/540.18	c  539s |      17 |   368818 |   215332 |    53407      7 |       60 |        0
542.12/542.34	c  541s |      17 |   369886 |   216132 |    53407      7 |       60 |        0
544.32/544.54	c  544s |      17 |   370935 |   216932 |    53407      7 |       60 |        0
546.52/546.77	c  546s |      17 |   371961 |   217732 |    53407      7 |       60 |        0
548.72/548.94	c  548s |      17 |   373212 |   218732 |    53407      7 |       60 |        0
550.81/551.08	c  550s |      17 |   374086 |   219332 |    53407      8 |       60 |        0
553.01/553.20	c  552s |      17 |   375173 |   220032 |    53407      8 |       60 |        0
555.01/555.30	c  554s |      17 |   376287 |   220832 |    53407      8 |       60 |        0
557.11/557.39	c  556s |      17 |   377243 |   221632 |    53407      8 |       60 |        0
559.31/559.50	c  559s |      17 |   378646 |   222632 |    53407      8 |       60 |        0
561.31/561.51	c  561s |      17 |   379993 |   223332 |    53407      8 |       60 |        0
563.51/563.76	c  563s |      17 |   381071 |   223932 |    53407      8 |       60 |        0
565.51/565.78	c  565s |      17 |   382570 |   224732 |    53407      8 |       60 |        0
567.61/567.82	c  567s |      17 |   383899 |   225532 |    53407      8 |       60 |        0
569.62/569.89	c  569s |      17 |   385251 |   226332 |    53407      8 |       60 |        0
571.82/572.03	c  571s |      17 |   386721 |   227132 |    53407      8 |       60 |        0
573.81/574.09	c  573s |      17 |   388216 |   227932 |    53407      8 |       60 |        0
575.91/576.13	c  575s |      17 |   389565 |   228732 |    53407      8 |       60 |        0
577.91/578.18	c  577s |      17 |   390853 |   229632 |    53407      8 |       60 |        0
580.11/580.34	c  579s |      17 |   392273 |   230532 |    53407      8 |       60 |        0
582.31/582.54	c  582s |      17 |   393863 |   231232 |    53407      8 |       60 |        0
584.70/584.92	c  584s |      17 |   395059 |   231932 |    53407      8 |       60 |        0
586.80/587.09	c  586s |      17 |   396121 |   232632 |    53407      8 |       60 |        0
589.10/589.33	c  588s |      17 |   397170 |   233332 |    53407      8 |       60 |        0
591.10/591.34	c  590s |      17 |   398426 |   233932 |    53407      8 |       60 |        0
593.29/593.57	c  593s |      17 |   399696 |   234532 |    53407      8 |       60 |        0
595.39/595.68	c  595s |      17 |   400723 |   235132 |    53407      8 |       60 |        0
597.59/597.80	c  597s |      17 |   401742 |   235632 |    53407      8 |       60 |        0
599.79/600.04	c  599s |      17 |   402762 |   236232 |    53407      8 |       60 |        0
601.99/602.26	c  601s |      17 |   403785 |   236832 |    53407      8 |       60 |        0
604.39/604.66	c  604s |      17 |   404888 |   237432 |    53407      8 |       60 |        0
606.69/606.98	c  606s |      17 |   405872 |   238032 |    53407      8 |       60 |        0
608.89/609.12	c  608s |      17 |   406778 |   238532 |    53407      8 |       60 |        0
611.09/611.33	c  610s |      17 |   407600 |   239032 |    53407      8 |       60 |        0
613.28/613.54	c  613s |      17 |   408332 |   239532 |    53407      8 |       60 |        0
615.48/615.74	c  615s |      17 |   409021 |   240032 |    53407      8 |       60 |        0
617.58/617.85	c  617s |      17 |   409919 |   240632 |    53407      8 |       60 |        0
619.78/620.05	c  619s |      17 |   411251 |   241332 |    53407      8 |       60 |        0
621.78/622.07	c  621s |      17 |   412166 |   241932 |    53407      8 |       60 |        0
623.88/624.10	c  623s |      17 |   413158 |   242532 |    53407      8 |       60 |        0
626.08/626.40	c  625s |      17 |   413987 |   243132 |    53407      8 |       60 |        0
628.18/628.44	c  627s |      17 |   414975 |   243732 |    53407      8 |       60 |        0
630.38/630.64	c  630s |      17 |   415991 |   244432 |    53407      8 |       60 |        0
632.58/632.87	c  632s |      17 |   417119 |   245032 |    53407      8 |       60 |        0
634.87/635.11	c  634s |      17 |   418235 |   245632 |    53407      8 |       60 |        0
636.87/637.19	c  636s |      17 |   418991 |   246132 |    53407      8 |       60 |        0
639.17/639.49	c  639s |      17 |   419847 |   246732 |    53407      8 |       60 |        0
641.47/641.70	c  641s |      17 |   420589 |   247232 |    53407      8 |       60 |        0
643.67/643.90	c  643s |      17 |   421324 |   247732 |    53407      8 |       60 |        0
645.87/646.15	c  645s |      17 |   422057 |   248232 |    53407      8 |       60 |        0
648.17/648.45	c  647s |      17 |   422811 |   248732 |    53407      8 |       60 |        0
650.57/650.85	c  650s |      17 |   423816 |   249332 |    53407      8 |       60 |        0
652.97/653.28	c  652s |      17 |   424883 |   249932 |    53407      8 |       60 |        0
655.27/655.59	c  655s |      17 |   425584 |   250432 |    53407      8 |       60 |        0
657.57/657.82	c  657s |      17 |   426253 |   250932 |    53407      8 |       60 |        0
660.36/660.67	c  660s |      17 |   426979 |   251432 |    53407      9 |       60 |        0
662.46/662.78	c  662s |      17 |   427623 |   251932 |    53407      9 |       60 |        0
664.76/665.04	c  664s |      17 |   428502 |   252532 |    53407      9 |       60 |        0
667.06/667.31	c  666s |      17 |   429325 |   253132 |    53407      9 |       60 |        0
669.26/669.50	c  669s |      17 |   430209 |   253732 |    53407      9 |       60 |        0
671.56/671.82	c  671s |      17 |   431112 |   254332 |    53407      9 |       60 |        0
673.85/674.17	c  673s |      17 |   431908 |   254932 |    53407      9 |       60 |        0
675.95/676.25	c  675s |      17 |   432615 |   255432 |    53407      9 |       60 |        0
678.35/678.62	c  678s |      17 |   433491 |   256032 |    53407      9 |       60 |        0
678.85/679.14	c  678s |      17 |   434243 |   256154 |    53407      9 |       60 |        0
678.85/679.14	c #cpu_time = 676.751s
678.85/679.14	c #wall_clock_time = 678.644s
678.85/679.14	c #decision = 434243
678.85/679.14	c #random_decision = 424
678.85/679.14	c #conflict = 256154
678.85/679.14	c #restart = 17
678.85/679.14	o 163862268
678.85/679.18	c BCD2: updating upper bound: 5000695793 -> 163862282
678.95/679.27	c BCD2: 0 <= obj <= 163862282
678.95/679.27	c BCD2: #cores=0, #unrelaxed=4005, #relaxed=0, #hardened=0
678.95/679.27	c BCD2: #sat=1 #unsat=1 bias=1/2
678.95/679.27	c Solving starts ...
678.95/679.27	c ============================[ Search Statistics ]============================
678.95/679.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
678.95/679.27	c       |         |          |          |    Limit     GC | Var      | Constra 
678.95/679.27	c =============================================================================
678.95/679.27	c  0.0s |       0 |        0 |        0 |    53407      0 |       60 |        0
679.25/679.58	c  0.3s |       0 |       89 |        0 |    53407      0 |       60 |        0
679.25/679.58	c #cpu_time = 0.307s
679.25/679.58	c #wall_clock_time = 0.307s
679.25/679.58	c #decision = 89
679.25/679.58	c #random_decision = 0
679.25/679.58	c #conflict = 0
679.25/679.58	c #restart = 0
679.25/679.58	c BCD2: found a new core of size 90: cost of the new core is >=59319
679.25/679.58	c lower bound updated to 59304
679.35/679.63	c BCD2: 59319 <= obj <= 163862282
679.35/679.63	c BCD2: #cores=1, #unrelaxed=3915, #relaxed=90, #hardened=0
679.35/679.63	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-4079369-1465321863/watcher-4079369-1465321863 -o /tmp/evaluation-result-4079369-1465321863/solver-4079369-1465321863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079369-1465321863.opb 

pid=20309
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.15 2.18 2.18 3/179 20312
/proc/meminfo: memFree=22853276/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 2625 0 0 0 0 0 0 0 20 0 4 0 114119148 721874944 2986 33554432000 4194304 16246674 140737032862752 140737032862176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 176751 2995 441 2943 0 173645 0
[pid=20312/tid=20313] ppid=20309 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 739700736 3055 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 744943616 3072 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114119148 749137920 3089 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100211 s]
/proc/loadavg: 2.15 2.18 2.18 3/179 20312
/proc/meminfo: memFree=22853276/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 28134 0 0 0 6 3 0 0 20 0 4 0 114119148 1333334016 28433 33554432000 4194304 16246674 140737032862752 140737032862064 8055525 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 325521 28448 801 2943 0 322415 0
[pid=20312/tid=20313] ppid=20309 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1333334016 28459 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1333334016 28470 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1333334016 28481 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200498 s]
/proc/loadavg: 2.15 2.18 2.18 3/179 20312
/proc/meminfo: memFree=22853276/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 48797 0 0 0 13 6 0 0 20 0 4 0 114119148 1345916928 49606 33554432000 4194304 16246674 140737032862752 140737032862064 5702920 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 328593 49606 808 2943 0 325487 0
[pid=20312/tid=20313] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 49606 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 49606 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 49606 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300454 s]
/proc/loadavg: 2.15 2.18 2.18 3/179 20312
/proc/meminfo: memFree=22853276/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 49495 0 0 0 22 6 0 0 20 0 4 0 114119148 1345916928 50304 33554432000 4194304 16246674 140737032862752 140737032844672 7206249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 328593 50312 842 2943 0 325487 0
[pid=20312/tid=20313] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 50316 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 50321 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 50326 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700384 s]
/proc/loadavg: 2.15 2.18 2.18 3/179 20312
/proc/meminfo: memFree=22853276/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 104398 0 0 0 55 14 0 0 20 0 4 0 114119148 1345916928 105207 33554432000 4194304 16246674 140737032862752 140737032844672 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 328593 105211 885 2943 0 325487 0
[pid=20312/tid=20313] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 105213 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 105215 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 105216 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50037 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 20365
/proc/meminfo: memFree=29682088/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 156926 0 0 0 127 22 0 0 20 0 4 0 114119148 1345916928 157735 33554432000 4194304 16246674 140737032862752 140737032844672 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 328593 157737 885 2943 0 325487 0
[pid=20312/tid=20313] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 157739 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 157740 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 157743 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10036 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 20365
/proc/meminfo: memFree=29049584/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 253152 0 0 0 275 34 0 0 20 0 4 0 114119148 1345916928 253961 33554432000 4194304 16246674 140737032862752 140737032844672 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 328593 253967 885 2943 0 325487 0
[pid=20312/tid=20313] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 253971 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 253975 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1345916928 253978 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30041 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 20365
/proc/meminfo: memFree=28084284/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1326660 CPUtime=6.29 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 272341 0 0 0 592 37 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 140737032844672 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 331665 273150 891 2943 0 328559 0
[pid=20312/tid=20313] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 20366
/proc/meminfo: memFree=28083028/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 272341 0 0 0 1232 37 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 140737032844672 5602196 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 331665 273150 891 2943 0 328559 0
[pid=20312/tid=20313] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273150 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 20366
/proc/meminfo: memFree=28083736/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1326660 CPUtime=25.49 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 272344 0 0 0 2512 37 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 140737032844672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 331665 273157 893 2943 0 328559 0
[pid=20312/tid=20313] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 20366
/proc/meminfo: memFree=28083832/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 272346 0 0 0 5071 37 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 140737032844672 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 331665 273157 893 2943 0 328559 0
[pid=20312/tid=20313] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273157 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.16 2.18 2.18 4/183 20367
/proc/meminfo: memFree=28083264/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1326660 CPUtime=102.27 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 272364 0 0 0 10190 37 0 0 20 0 4 0 114119148 1358499840 273163 33554432000 4194304 16246674 140737032862752 140737032845744 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 331665 273163 898 2943 0 328559 0
[pid=20312/tid=20313] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273163 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273163 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1358499840 273163 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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


[startup+522.3 s]
/proc/loadavg: 2.23 2.19 2.18 4/183 20375
/proc/meminfo: memFree=28062596/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1346116 CPUtime=522.12 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 277372 0 0 0 52174 38 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 140737032844672 5598492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 336529 278027 898 2943 0 333423 0
[pid=20312/tid=20313] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1346116

[startup+582.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/184 20379
/proc/meminfo: memFree=28063084/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1346116 CPUtime=582.11 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 277395 0 0 0 58172 39 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 140737032844672 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 336529 278027 898 2943 0 333423 0
[pid=20312/tid=20313] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.17 2.20 2.18 3/184 20404
/proc/meminfo: memFree=28061956/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=1346116 CPUtime=642.07 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 277432 0 0 0 64168 39 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 140737032844672 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 336529 278027 898 2943 0 333423 0
[pid=20312/tid=20313] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 1378422784 278027 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1346116

[startup+702.3 s]
/proc/loadavg: 2.06 2.16 2.17 4/183 20405
/proc/meminfo: memFree=26260188/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=3144260 CPUtime=702.05 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 727019 0 0 0 70103 102 0 0 20 0 4 0 114119148 3219722240 727587 33554432000 4194304 16246674 140737032862752 140737032861848 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 786065 727587 922 2943 0 782959 0
[pid=20312/tid=20313] ppid=20309 vsize=3144260 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 3219722240 727587 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=3144260 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 3219722240 727587 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=3144260 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 3219722240 727587 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 702.05
Current children cumulated vsize (KiB) 3144260

[startup+762.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/183 20406
/proc/meminfo: memFree=25540860/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=3862084 CPUtime=762.04 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 1513709 0 0 0 75984 220 0 0 20 0 4 0 114119148 3954774016 907045 33554432000 4194304 16246674 140737032862752 140737032861848 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 965521 907045 922 2943 0 962415 0
[pid=20312/tid=20313] ppid=20309 vsize=3862084 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 3954774016 907045 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=3862084 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 3954774016 907045 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=3862084 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 3954774016 907045 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 3862084

[startup+822.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/183 20407
/proc/meminfo: memFree=16868076/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=12517956 CPUtime=822.02 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 3677679 0 0 0 81701 501 0 0 20 0 4 0 114119148 12818386944 3071015 33554432000 4194304 16246674 140737032862752 140737032861928 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 3129489 3071015 922 2943 0 3126383 0
[pid=20312/tid=20313] ppid=20309 vsize=12517956 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 12818386944 3071015 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=12517956 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 12818386944 3071015 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=12517956 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 12818386944 3071015 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 12517956

[startup+882.307 s]
/proc/loadavg: 2.33 2.22 2.19 4/183 20408
/proc/meminfo: memFree=16087112/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=13297220 CPUtime=882.02 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 3872499 0 0 0 87673 529 0 0 20 0 4 0 114119148 13616353280 3265835 33554432000 4194304 16246674 140737032862752 140737032860672 14013533 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 3324305 3265835 926 2943 0 3321199 0
[pid=20312/tid=20313] ppid=20309 vsize=13297220 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 13616353280 3265835 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=13297220 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 13616353280 3265835 33554432000 4194304 16246674 140737032862752 139684648819728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=13297220 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 13616353280 3265835 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 13297220



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+902.5 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 20409
/proc/meminfo: memFree=13886816/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=15919684 CPUtime=902.21 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) R 20309 20312 19387 0 -1 4202496 4527867 0 0 0 89595 626 0 0 20 0 4 0 114119148 16301756416 3921203 33554432000 4194304 16246674 140737032862752 140737032861928 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 3979921 3921213 926 2943 0 3976815 0
[pid=20312/tid=20313] ppid=20309 vsize=15919684 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20313/stat : 20313 (toysat) S 20309 20312 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114119148 16301756416 3921219 33554432000 4194304 16246674 140737032862752 139684659309808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=15919684 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) S 20309 20312 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114119148 16301756416 3921225 33554432000 4194304 16246674 140737032862752 139684648819952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20312/tid=20315] ppid=20309 vsize=15919684 CPUtime=0 cores=0,2,4,6
/proc/20312/task/20315/stat : 20315 (toysat) S 20309 20312 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114119148 16301756416 3921232 33554432000 4194304 16246674 140737032862752 139684638346416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 902.21
Current children cumulated vsize (KiB) 15919684

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 20312 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+902.8 s]
/proc/loadavg: 2.31 2.22 2.19 3/183 20409
/proc/meminfo: memFree=13886816/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=0 CPUtime=902.51 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) Z 20309 20312 19387 0 -1 4203532 4528551 0 0 0 89595 656 0 0 20 0 2 0 114119148 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 0 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) R 20309 20312 19387 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 114119148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 902.51
Current children cumulated vsize (KiB) 0

[startup+903.207 s]
/proc/loadavg: 2.31 2.22 2.19 3/181 20409
/proc/meminfo: memFree=25209256/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=0 CPUtime=902.92 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) Z 20309 20312 19387 0 -1 4203532 4528551 0 0 0 89595 697 0 0 20 0 2 0 114119148 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 0 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=0 CPUtime=0.69 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) R 20309 20312 19387 0 -1 4203588 8 0 0 0 0 69 0 0 20 0 2 0 114119148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 902.92
Current children cumulated vsize (KiB) 0

[startup+903.3 s]
/proc/loadavg: 2.31 2.22 2.19 3/181 20409
/proc/meminfo: memFree=25209256/32872528 swapFree=16204/1518544
[pid=20312] ppid=20309 vsize=0 CPUtime=903.01 cores=0,2,4,6
/proc/20312/stat : 20312 (toysat) Z 20309 20312 19387 0 -1 4203532 4528551 0 0 0 89595 706 0 0 20 0 2 0 114119148 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20312/statm: 0 0 0 0 0 0 0
[pid=20312/tid=20314] ppid=20309 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/20312/task/20314/stat : 20314 (toysat) R 20309 20312 19387 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 114119148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 903.01
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 903.326
CPU time (s): 903.032
CPU user time (s): 895.954
CPU system time (s): 7.07792
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 15919684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 895.954
system time used= 7.07792
maximum resident set size= 15687548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4528551
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= 371
involuntary context switches= 919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30765 second user time and 3.49947 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 19:51:03
IDJOB=4079369
IDBENCH=92657
IDSOLVER=2542
FILE ID=node129/4079369-1465321863
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71624 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079369-1465321863/watcher-4079369-1465321863 -o /tmp/evaluation-result-4079369-1465321863/solver-4079369-1465321863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079369-1465321863.opb

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

MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7
RANDOM SEED=582010248

node129.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.715
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.43
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.715
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.715
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.715
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.715
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.715
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.715
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.715
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:        22853432 kB
Buffers:           46460 kB
Cached:           390816 kB
SwapCached:         2220 kB
Active:          7517384 kB
Inactive:         230256 kB
Active(anon):    7308908 kB
Inactive(anon):     3276 kB
Active(file):     208476 kB
Inactive(file):   226980 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:             17096 kB
Writeback:             0 kB
AnonPages:       8827244 kB
Mapped:            11748 kB
Shmem:                 0 kB
Slab:             605460 kB
SReclaimable:      49660 kB
SUnreclaim:       555800 kB
KernelStack:        1520 kB
PageTables:        21412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    8970776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1681408 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= 71700 MiB
End job on node129 at 2016-06-07 20:06:06