Trace number 4079380

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) 952.799 952.954

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
MD5SUMe7b6dae550ad8f4cdbfa76831693ec64
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1443321
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 74618461
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 10171756525
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 74618461
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 10171756525
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-07T20:41:02+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-4079380-1465324862.opb"]
0.00/0.01	c use --random-gen="2040456797 997084155 1561449792 1457992349 2745961053 1690032332 184514328 817150683 1163304996 3819665139 2010063438 3441630762 3124096426 3616337046 3049959819 3591034416 1529563817 4275702385 1536686451 1704392039 161954462 2899996410 1751296803 1103849538 3954193235 79268355 297292959 4159296900 318989296 955276902 3218345863 3355040261 3643839805 478238597 2367322600 289287430 3816647850 2932581248 1819004137 1461289949 2815433013 588854280 1251780749 2097461148 2866905679 4249297069 596305736 4244226978 1145262504 1699837369 2617079660 3034233326 2509032843 4178531364 1841096638 807582310 3913731820 1167777164 4237918452 3083042035 673369564 4279784116 2622901046 406869956 2212253389 4165517941 3585568305 1044239142 3579316854 1531611767 1787242703 2463107336 962910379 4195044236 1723422327 340490871 561404356 4057350464 359919937 2846485239 3615583861 1120565614 263292723 3578791576 1039050779 3894501499 846929842 93966808 978672011 825186759 4135161755 3911679383 60420497 3770286322 4038220465 1908279483 3111156713 4093898654 736011490 1465464989 2702435678 1560325754 2900746770 1467273702 2998540974 1641189980 814686672 122752346 1784082061 2688327985 2272785154 473503416 3678848419 591466677 4184819940 4291894769 654260538 3157241088 888777075 1839851675 2032771047 1748675173 3939462 3953881774 4093461658 384014672 4025563694 1599664798 1670457285 4069241555 2557265977 2220243502 811170345 773966699 2735366242 1860087893 3568916152 1247050812 3470955984 311560596 3847346709 3856161803 2996211359 4006262378 2807448880 337375700 648684023 1165781098 2612446378 3550246598 2770387214 2676825911 1671873987 136222135 1140503657 972580931 856621835 2654804056 4084355013 940985884 1031916078 1916549435 853418082 3845861417 3353453705 3427904971 303177093 3388180435 1924697183 572536651 4284602964 2763930426 2748335672 2125162821 3764227529 3481702286 2949419170 3393887748 941559569 4106761008 726993749 1982977990 3730689419 3885159687 2375386052 1517971281 1111354003 3146694218 1249766241 203222899 2570702745 3773756776 1475154462 296320509 2473792224 1416108191 1970350191 1188825144 557358780 3099460084 2655145212 1434521300 865325163 1945920969 2109766593 2690651832 1317663677 2854806899 2394900000 3899758063 3434020438 1710798035 964610590 1099708842 2106920545 1975550628 1276940855 2655767111 3157184006 1206086729 751350963 2552587892 1873525994 4245810110 4100473037 2407530164 3058090221 4219894845 2011240606 3183473595 993237801 3643512179 2871330094 2918970585 1842974679 3611761756 404428079 1679026006 1649879730 3432621460 2549845300 4227167020 81172584 1529031299 169641980 3194683497 776722271 2906513093 953049927 4052988530 3410592025 3736348203 2032140717 2887418988 2345287280 678827649 255 362436" option to reproduce the execution
0.68/0.77	c #vars 45775
0.68/0.77	c #constraints 102733
2.59/2.66	c BCD2: Hardening is enabled.
2.59/2.66	c BCD2: BiasedSearch is enabled.
2.59/2.66	c Solving starts ...
2.59/2.66	c ============================[ Search Statistics ]============================
2.59/2.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.66	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.66	c =============================================================================
2.59/2.66	c  0.0s |       0 |        0 |        0 |    50102      0 |      100 |        0
3.59/3.68	c  1.0s |       1 |      558 |      100 |    50102      0 |      100 |        0
4.40/4.47	c  1.8s |       2 |     1787 |      250 |    55113      0 |      100 |        0
6.70/6.72	c  4.1s |       2 |     2551 |      350 |    60625      0 |      100 |        0
8.69/8.77	c  6.1s |       3 |     3623 |      475 |    60625      0 |      100 |        0
10.79/10.85	c  8.2s |       3 |     4228 |      575 |    66688      0 |      100 |        0
14.99/15.04	c 12.4s |       3 |     5346 |      775 |    66688      0 |      100 |        0
15.69/15.74	c 13.1s |       4 |     5561 |      813 |    66688      0 |      100 |        0
17.99/18.07	c 15.4s |       4 |     6330 |      913 |    73357      0 |      100 |        0
20.19/20.23	c 17.6s |       4 |     7010 |     1013 |    73357      0 |      100 |        0
22.29/22.31	c 19.7s |       4 |     7310 |     1113 |    73357      0 |      100 |        0
25.59/25.65	c 23.0s |       4 |     7733 |     1213 |    73357      0 |      100 |        0
28.59/28.64	c 26.0s |       4 |     8532 |     1313 |    73357      0 |      100 |        0
28.59/28.70	c 26.0s |       5 |     8536 |     1320 |    73357      0 |      100 |        0
31.99/32.07	c 29.4s |       5 |     9368 |     1420 |    80693      0 |      100 |        0
34.99/35.06	c 32.4s |       5 |    10354 |     1520 |    80693      0 |      100 |        0
37.09/37.12	c 34.5s |       5 |    11011 |     1620 |    80693      0 |      100 |        0
40.69/40.78	c 38.1s |       5 |    12413 |     1820 |    80693      0 |      100 |        0
43.48/43.54	c 40.9s |       5 |    12882 |     1920 |    80693      0 |      100 |        0
45.68/45.70	c 43.0s |       5 |    13642 |     2020 |    80693      0 |      100 |        0
46.88/46.95	c 44.3s |       6 |    13995 |     2081 |    88763      0 |      100 |        0
49.08/49.11	c 46.5s |       6 |    14711 |     2181 |    88763      0 |      100 |        0
51.38/51.45	c 48.8s |       6 |    15215 |     2281 |    88763      0 |      100 |        0
55.88/55.97	c 53.3s |       6 |    17022 |     2481 |    88763      0 |      100 |        0
57.98/58.09	c 55.4s |       6 |    17916 |     2581 |    88763      0 |      100 |        0
60.08/60.15	c 57.5s |       6 |    18534 |     2681 |    88763      0 |      100 |        0
64.08/64.14	c 61.5s |       6 |    20014 |     2881 |    88763      0 |      100 |        0
68.08/68.15	c 65.5s |       6 |    21291 |     3081 |    88763      0 |      100 |        0
70.18/70.29	c 67.6s |       6 |    22109 |     3181 |    88763      0 |      100 |        0
71.28/71.39	c 68.7s |       7 |    22220 |     3223 |    97640      0 |      100 |        0
74.58/74.61	c 72.0s |       7 |    22742 |     3323 |    97640      0 |      100 |        0
77.28/77.35	c 74.7s |       7 |    23526 |     3423 |    97640      0 |      100 |        0
79.58/79.63	c 77.0s |       7 |    24187 |     3523 |    97640      0 |      100 |        0
83.48/83.58	c 80.9s |       7 |    25460 |     3723 |    97640      0 |      100 |        0
85.98/86.01	c 83.4s |       7 |    26193 |     3823 |    97640      0 |      100 |        0
88.88/88.95	c 86.3s |       7 |    26924 |     3923 |    97640      0 |      100 |        0
91.08/91.12	c 88.5s |       7 |    27658 |     4023 |    97640      0 |      100 |        0
93.18/93.27	c 90.6s |       7 |    28445 |     4123 |    97640      0 |      100 |        0
96.88/96.97	c 94.3s |       7 |    29899 |     4323 |    97640      0 |      100 |        0
99.18/99.29	c 96.6s |       7 |    30526 |     4423 |    97640      0 |      100 |        0
101.28/101.36	c 98.7s |       7 |    31192 |     4523 |    97640      0 |      100 |        0
104.88/104.93	c  102s |       7 |    32813 |     4723 |    97640      0 |      100 |        0
107.27/107.33	c  104s |       7 |    33356 |     4823 |    97640      0 |      100 |        0
109.47/109.53	c  106s |       8 |    34011 |     4936 |   107405      0 |      100 |        0
113.77/113.89	c  111s |       8 |    34728 |     5136 |   107405      0 |      100 |        0
115.97/116.07	c  113s |       8 |    35151 |     5236 |   107405      0 |      100 |        0
120.07/120.14	c  117s |       8 |    35973 |     5436 |   107405      0 |      100 |        0
122.27/122.33	c  119s |       8 |    36663 |     5536 |   107405      0 |      100 |        0
124.87/125.00	c  122s |       8 |    37215 |     5636 |   107405      0 |      100 |        0
128.07/128.15	c  125s |       8 |    38142 |     5836 |   107405      0 |      100 |        0
130.88/130.91	c  128s |       8 |    38740 |     5936 |   107405      0 |      100 |        0
133.37/133.40	c  130s |       8 |    39404 |     6036 |   107405      0 |      100 |        0
135.97/136.09	c  133s |       8 |    40067 |     6136 |   107405      0 |      100 |        0
138.07/138.13	c  135s |       8 |    40264 |     6236 |   107405      0 |      100 |        0
140.07/140.13	c  137s |       8 |    40746 |     6336 |   107405      0 |      100 |        0
142.27/142.32	c  139s |       8 |    41294 |     6436 |   107405      0 |      100 |        0
144.27/144.37	c  141s |       8 |    41823 |     6536 |   107405      0 |      100 |        0
146.57/146.67	c  144s |       8 |    42638 |     6636 |   107405      0 |      100 |        0
150.87/150.90	c  148s |       8 |    44000 |     6836 |   107405      0 |      100 |        0
153.67/153.76	c  151s |       8 |    44930 |     7036 |   107405      0 |      100 |        0
156.97/157.04	c  154s |       8 |    46489 |     7236 |   107405      0 |      100 |        0
160.17/160.25	c  157s |       8 |    47590 |     7436 |   107405      0 |      100 |        0
161.37/161.41	c  158s |       9 |    48124 |     7506 |   118146      0 |      100 |        0
163.57/163.61	c  160s |       9 |    48946 |     7606 |   118146      0 |      100 |        0
166.46/166.51	c  163s |       9 |    49610 |     7806 |   118146      0 |      100 |        0
170.36/170.45	c  167s |       9 |    50441 |     8006 |   118146      0 |      100 |        0
173.66/173.71	c  171s |       9 |    51170 |     8206 |   118146      0 |      100 |        0
177.96/178.05	c  175s |       9 |    52008 |     8406 |   118146      0 |      100 |        0
182.67/182.79	c  180s |       9 |    53501 |     8606 |   118146      0 |      100 |        0
185.16/185.21	c  182s |       9 |    54331 |     8806 |   118146      0 |      100 |        0
187.46/187.53	c  184s |       9 |    54671 |     8906 |   118146      0 |      100 |        0
190.16/190.24	c  187s |       9 |    55500 |     9106 |   118146      0 |      100 |        0
193.76/193.88	c  191s |       9 |    56433 |     9306 |   118146      0 |      100 |        0
195.87/195.97	c  193s |       9 |    56699 |     9406 |   118146      0 |      100 |        0
199.26/199.34	c  196s |       9 |    57304 |     9606 |   118146      0 |      100 |        0
203.36/203.44	c  200s |       9 |    58121 |     9806 |   118146      0 |      100 |        0
206.56/206.66	c  203s |       9 |    58813 |    10006 |   118146      0 |      100 |        0
209.46/209.57	c  206s |       9 |    59846 |    10206 |   118146      0 |      100 |        0
212.46/212.59	c  209s |       9 |    60671 |    10406 |   118146      0 |      100 |        0
215.46/215.54	c  212s |       9 |    61424 |    10606 |   118146      0 |      100 |        0
218.96/219.08	c  216s |       9 |    62102 |    10806 |   118146      0 |      100 |        0
223.06/223.11	c  220s |       9 |    63120 |    11006 |   118146      0 |      100 |        0
226.56/226.63	c  223s |       9 |    63954 |    11206 |   118146      0 |      100 |        0
228.95/229.08	c  226s |      10 |    64435 |    11361 |   129961      0 |      100 |        0
231.06/231.17	c  228s |      10 |    64898 |    11461 |   129961      0 |      100 |        0
234.75/234.86	c  232s |      10 |    65529 |    11661 |   129961      0 |      100 |        0
237.05/237.17	c  234s |      10 |    65969 |    11761 |   129961      0 |      100 |        0
239.95/240.04	c  237s |      10 |    66629 |    11861 |   129961      0 |      100 |        0
243.65/243.74	c  241s |      10 |    67352 |    12061 |   129961      0 |      100 |        0
245.65/245.76	c  243s |      10 |    68380 |    12161 |   129961      0 |      100 |        0
249.25/249.32	c  246s |      10 |    69174 |    12361 |   129961      0 |      100 |        0
252.65/252.74	c  250s |      10 |    70002 |    12561 |   129961      0 |      100 |        0
254.75/254.84	c  252s |      10 |    70578 |    12661 |   129961      0 |      100 |        0
257.75/257.84	c  255s |      10 |    71569 |    12861 |   129961      0 |      100 |        0
261.95/262.04	c  259s |      10 |    72445 |    13061 |   129961      0 |      100 |        0
265.25/265.31	c  262s |      10 |    73854 |    13261 |   129961      0 |      100 |        0
267.25/267.35	c  264s |      10 |    76475 |    13761 |   129961      0 |      100 |        0
269.45/269.56	c  266s |      10 |    79301 |    14461 |   129961      0 |      100 |        0
271.55/271.65	c  268s |      10 |    81405 |    15061 |   129961      0 |      100 |        0
273.95/274.06	c  271s |      10 |    83529 |    15661 |   129961      0 |      100 |        0
276.24/276.38	c  273s |      10 |    85467 |    16161 |   129961      0 |      100 |        0
278.75/278.83	c  276s |      10 |    87613 |    16761 |   129961      0 |      100 |        0
280.46/280.56	c  277s |      11 |    89052 |    17144 |   142958      0 |      100 |        0
282.45/282.59	c  279s |      11 |    90150 |    17444 |   142958      0 |      100 |        0
284.96/285.01	c  282s |      11 |    91459 |    17844 |   142958      0 |      100 |        0
287.75/287.85	c  285s |      11 |    92047 |    18144 |   142958      0 |      100 |        0
290.05/290.11	c  287s |      11 |    93573 |    18544 |   142958      0 |      100 |        0
292.66/292.77	c  290s |      11 |    95575 |    19044 |   142958      0 |      100 |        0
294.76/294.87	c  292s |      11 |    96436 |    19344 |   142958      0 |      100 |        0
296.96/297.09	c  294s |      11 |    97622 |    19744 |   142958      0 |      100 |        0
299.35/299.43	c  296s |      11 |    98614 |    20144 |   142958      0 |      100 |        0
301.46/301.53	c  298s |      11 |    99663 |    20544 |   142958      0 |      100 |        0
304.05/304.19	c  301s |      11 |   101722 |    21044 |   142958      0 |      100 |        0
306.55/306.69	c  304s |      11 |   102533 |    21444 |   142958      0 |      100 |        0
308.65/308.78	c  306s |      11 |   103097 |    21744 |   142958      0 |      100 |        0
311.15/311.22	c  308s |      11 |   104119 |    22144 |   142958      0 |      100 |        0
313.45/313.54	c  310s |      11 |   105491 |    22644 |   142958      0 |      100 |        0
315.65/315.78	c  313s |      11 |   107090 |    23144 |   142958      0 |      100 |        0
317.85/318.00	c  315s |      11 |   108078 |    23544 |   142958      0 |      100 |        0
319.95/320.03	c  317s |      11 |   108916 |    23844 |   142958      0 |      100 |        0
322.04/322.17	c  319s |      11 |   109471 |    24144 |   142958      0 |      100 |        0
324.34/324.42	c  321s |      11 |   110032 |    24444 |   142958      0 |      100 |        0
326.44/326.55	c  323s |      11 |   110730 |    24744 |   142958      0 |      100 |        0
329.04/329.17	c  326s |      11 |   111258 |    25044 |   142958      0 |      100 |        0
331.44/331.53	c  328s |      11 |   112143 |    25544 |   142958      0 |      100 |        0
333.14/333.24	c  330s |      12 |   112758 |    25819 |   157254      0 |      100 |        0
336.55/336.65	c  333s |      12 |   113206 |    25919 |   157254      0 |      100 |        0
338.54/338.69	c  336s |      12 |   114243 |    26119 |   157254      0 |      100 |        0
340.64/340.79	c  338s |      12 |   116604 |    26719 |   157254      0 |      100 |        0
342.74/342.89	c  340s |      12 |   117838 |    27219 |   157254      0 |      100 |        0
345.04/345.12	c  342s |      12 |   119857 |    27719 |   157254      0 |      100 |        0
347.34/347.46	c  344s |      12 |   121098 |    28219 |   157254      0 |      100 |        0
349.54/349.61	c  346s |      12 |   123182 |    28819 |   157254      0 |      100 |        0
351.54/351.67	c  349s |      12 |   125335 |    29419 |   157254      0 |      100 |        0
353.74/353.85	c  351s |      12 |   126516 |    29819 |   157254      0 |      100 |        0
356.14/356.24	c  353s |      12 |   128444 |    30319 |   157254      0 |      100 |        0
358.24/358.36	c  355s |      12 |   129806 |    30719 |   157254      0 |      100 |        0
360.44/360.52	c  357s |      12 |   131253 |    31219 |   157254      0 |      100 |        0
362.74/362.80	c  360s |      12 |   132676 |    31719 |   157254      0 |      100 |        0
364.74/364.82	c  362s |      12 |   133769 |    32119 |   157254      0 |      100 |        0
366.74/366.83	c  364s |      12 |   135079 |    32519 |   157254      0 |      100 |        0
368.74/368.87	c  366s |      12 |   135869 |    32919 |   157254      0 |      100 |        0
371.33/371.48	c  368s |      12 |   137083 |    33319 |   157254      0 |      100 |        0
374.04/374.10	c  371s |      12 |   137979 |    33719 |   157254      0 |      100 |        0
376.33/376.41	c  373s |      12 |   139970 |    34219 |   157254      0 |      100 |        0
378.53/378.69	c  376s |      12 |   141361 |    34719 |   157254      0 |      100 |        0
381.03/381.17	c  378s |      12 |   142629 |    35219 |   157254      0 |      100 |        0
383.33/383.42	c  380s |      12 |   144153 |    35719 |   157254      0 |      100 |        0
385.83/385.98	c  383s |      12 |   145223 |    36219 |   157254      0 |      100 |        0
387.93/388.06	c  385s |      12 |   145955 |    36519 |   157254      0 |      100 |        0
390.13/390.26	c  387s |      12 |   147118 |    36919 |   157254      0 |      100 |        0
392.64/392.71	c  390s |      12 |   148926 |    37519 |   157254      0 |      100 |        0
394.63/394.78	c  392s |      12 |   150517 |    38019 |   157254      0 |      100 |        0
397.33/397.40	c  394s |      12 |   152051 |    38619 |   172980      0 |      100 |        0
398.24/398.33	c  395s |      13 |   152448 |    38832 |   172980      0 |      100 |        0
403.33/403.43	c  400s |      13 |   153359 |    39032 |   172980      0 |      100 |        0
406.94/407.08	c  404s |      13 |   154263 |    39132 |   172980      0 |      100 |        0
410.13/410.28	c  407s |      13 |   154659 |    39232 |   172980      0 |      100 |        0
412.73/412.80	c  410s |      13 |   155224 |    39332 |   172980      0 |      100 |        0
416.33/416.45	c  413s |      13 |   156300 |    39432 |   172980      0 |      100 |        0
419.83/419.91	c  417s |      13 |   157084 |    39532 |   172980      0 |      100 |        0
422.53/422.69	c  420s |      13 |   158026 |    39632 |   172980      0 |      100 |        0
424.93/425.00	c  422s |      13 |   158464 |    39732 |   172980      0 |      100 |        0
428.53/428.62	c  425s |      13 |   159040 |    39832 |   172980      0 |      100 |        0
432.53/432.67	c  430s |      13 |   159708 |    39932 |   172980      0 |      100 |        0
436.22/436.37	c  433s |      13 |   160394 |    40032 |   172980      0 |      100 |        0
438.32/438.46	c  435s |      13 |   160941 |    40132 |   172980      0 |      100 |        0
440.52/440.61	c  437s |      13 |   162861 |    40832 |   172980      0 |      100 |        0
442.82/442.95	c  440s |      13 |   164975 |    41432 |   172980      0 |      100 |        0
444.92/445.04	c  442s |      13 |   166293 |    41932 |   172980      0 |      100 |        0
447.02/447.13	c  444s |      13 |   167917 |    42432 |   172980      0 |      100 |        0
449.22/449.34	c  446s |      13 |   169427 |    42932 |   172980      0 |      100 |        0
451.22/451.37	c  448s |      13 |   170385 |    43432 |   172980      0 |      100 |        0
453.42/453.52	c  450s |      13 |   171313 |    43932 |   172980      0 |      100 |        0
455.43/455.59	c  452s |      13 |   172472 |    44432 |   172980      0 |      100 |        0
457.53/457.61	c  454s |      13 |   173636 |    44932 |   172980      0 |      100 |        0
459.72/459.81	c  457s |      13 |   174817 |    45432 |   172980      0 |      100 |        0
462.22/462.30	c  459s |      13 |   176069 |    46032 |   172980      0 |      100 |        0
464.52/464.67	c  462s |      13 |   177028 |    46532 |   172980      0 |      100 |        0
466.82/466.91	c  464s |      13 |   178025 |    47032 |   172980      0 |      100 |        0
469.02/469.19	c  466s |      13 |   179426 |    47632 |   172980      0 |      100 |        0
471.12/471.24	c  468s |      13 |   180975 |    48132 |   172980      0 |      100 |        0
473.32/473.47	c  470s |      13 |   182732 |    48732 |   172980      0 |      100 |        0
475.41/475.58	c  472s |      13 |   183831 |    49332 |   172980      0 |      100 |        0
477.71/477.83	c  475s |      13 |   185009 |    50032 |   172980      0 |      100 |        0
479.71/479.85	c  477s |      13 |   185971 |    50632 |   172980      0 |      100 |        0
481.72/481.90	c  479s |      13 |   186959 |    51332 |   172980      0 |      100 |        0
484.31/484.46	c  481s |      13 |   189018 |    52032 |   172980      0 |      100 |        0
486.71/486.81	c  484s |      13 |   190434 |    52532 |   172980      0 |      100 |        0
488.91/489.06	c  486s |      13 |   192133 |    53132 |   172980      0 |      100 |        0
491.01/491.17	c  488s |      13 |   192948 |    53532 |   172980      0 |      100 |        0
493.32/493.42	c  490s |      13 |   193795 |    53932 |   172980      0 |      100 |        0
495.52/495.64	c  492s |      13 |   195220 |    54432 |   172980      0 |      100 |        0
497.72/497.84	c  495s |      13 |   196530 |    54832 |   172980      0 |      100 |        0
499.82/499.98	c  497s |      13 |   197425 |    55232 |   172980      0 |      100 |        0
502.12/502.24	c  499s |      13 |   198512 |    55632 |   172980      0 |      100 |        0
504.22/504.38	c  501s |      13 |   199571 |    56032 |   172980      0 |      100 |        0
506.82/506.99	c  504s |      13 |   200408 |    56432 |   172980      0 |      100 |        0
509.52/509.65	c  506s |      13 |   201383 |    56932 |   172980      0 |      100 |        0
512.02/512.14	c  509s |      13 |   202315 |    57432 |   172980      0 |      100 |        0
514.41/514.52	c  511s |      13 |   203315 |    58032 |   190279      0 |      100 |        0
515.92/516.05	c  513s |      14 |   204302 |    58352 |   190279      0 |      100 |        0
518.12/518.22	c  515s |      14 |   204778 |    58452 |   190279      0 |      100 |        0
520.61/520.72	c  518s |      14 |   204967 |    58552 |   190279      0 |      100 |        0
523.01/523.19	c  520s |      14 |   205479 |    58652 |   190279      0 |      100 |        0
525.31/525.44	c  522s |      14 |   206125 |    58752 |   190279      0 |      100 |        0
527.81/527.97	c  525s |      14 |   206521 |    58852 |   190279      0 |      100 |        0
530.12/530.30	c  527s |      14 |   206704 |    58952 |   190279      0 |      100 |        0
532.32/532.47	c  529s |      14 |   207170 |    59052 |   190279      0 |      100 |        0
534.71/534.89	c  532s |      14 |   207551 |    59152 |   190279      0 |      100 |        0
536.91/537.04	c  534s |      14 |   208038 |    59252 |   190279      0 |      100 |        0
538.92/539.06	c  536s |      14 |   208727 |    59552 |   190279      0 |      100 |        0
541.51/541.69	c  539s |      14 |   210187 |    60052 |   190279      0 |      100 |        0
543.71/543.86	c  541s |      14 |   211082 |    60352 |   190279      0 |      100 |        0
545.81/545.99	c  543s |      14 |   211798 |    60652 |   190279      0 |      100 |        0
548.51/548.61	c  545s |      14 |   212532 |    60952 |   190279      0 |      100 |        0
551.11/551.26	c  548s |      14 |   213676 |    61252 |   190279      0 |      100 |        0
553.70/553.80	c  551s |      14 |   214900 |    61652 |   190279      0 |      100 |        0
555.80/555.91	c  553s |      14 |   216010 |    62052 |   190279      0 |      100 |        0
557.90/558.05	c  555s |      14 |   216958 |    62452 |   190279      0 |      100 |        0
560.60/560.70	c  558s |      14 |   218158 |    62952 |   190279      0 |      100 |        0
562.90/563.09	c  560s |      14 |   219167 |    63352 |   190279      0 |      100 |        0
565.20/565.32	c  562s |      14 |   220139 |    63752 |   190279      0 |      100 |        0
567.80/567.94	c  565s |      14 |   221190 |    64052 |   190279      0 |      100 |        0
570.30/570.42	c  567s |      14 |   221951 |    64352 |   190279      0 |      100 |        0
572.70/572.87	c  570s |      14 |   223005 |    64752 |   190279      0 |      100 |        0
574.90/575.00	c  572s |      14 |   223715 |    65052 |   190279      0 |      100 |        0
576.90/577.08	c  574s |      14 |   224515 |    65352 |   190279      0 |      100 |        0
579.40/579.51	c  576s |      14 |   225152 |    65652 |   190279      0 |      100 |        0
582.20/582.31	c  579s |      14 |   226055 |    65952 |   190279      0 |      100 |        0
584.40/584.52	c  581s |      14 |   226623 |    66152 |   190279      0 |      100 |        0
586.80/586.98	c  584s |      14 |   227445 |    66452 |   190279      0 |      100 |        0
589.30/589.46	c  586s |      14 |   228299 |    66752 |   190279      0 |      100 |        0
591.90/592.07	c  589s |      14 |   228882 |    67152 |   190279      0 |      100 |        0
594.10/594.28	c  591s |      14 |   229561 |    67552 |   190279      0 |      100 |        0
596.80/596.90	c  594s |      14 |   230347 |    67852 |   190279      0 |      100 |        0
599.40/599.51	c  596s |      14 |   230838 |    68152 |   190279      0 |      100 |        0
601.70/601.82	c  599s |      14 |   231275 |    68452 |   190279      0 |      100 |        0
603.80/603.96	c  601s |      14 |   231801 |    68752 |   190279      0 |      100 |        0
606.30/606.47	c  603s |      14 |   232482 |    69052 |   190279      0 |      100 |        0
609.20/609.40	c  606s |      14 |   232991 |    69352 |   190279      0 |      100 |        0
611.50/611.64	c  608s |      14 |   233382 |    69652 |   190279      0 |      100 |        0
613.80/613.92	c  611s |      14 |   233824 |    69952 |   190279      0 |      100 |        0
616.10/616.24	c  613s |      14 |   234676 |    70252 |   190279      0 |      100 |        0
618.70/618.85	c  616s |      14 |   235599 |    70652 |   190279      0 |      100 |        0
620.79/620.90	c  618s |      14 |   236343 |    70952 |   190279      0 |      100 |        0
623.29/623.41	c  620s |      14 |   237224 |    71352 |   190279      0 |      100 |        0
625.90/626.05	c  623s |      14 |   238042 |    71752 |   190279      0 |      100 |        0
628.39/628.58	c  625s |      14 |   238905 |    72152 |   190279      0 |      100 |        0
630.49/630.63	c  627s |      14 |   239454 |    72452 |   190279      0 |      100 |        0
632.59/632.79	c  630s |      14 |   240033 |    72752 |   190279      0 |      100 |        0
634.79/634.93	c  632s |      14 |   240619 |    73052 |   190279      0 |      100 |        0
636.90/637.01	c  634s |      14 |   241249 |    73352 |   190279      0 |      100 |        0
639.49/639.67	c  637s |      14 |   241896 |    73752 |   190279      0 |      100 |        0
641.59/641.78	c  639s |      14 |   242395 |    74052 |   190279      0 |      100 |        0
643.79/643.94	c  641s |      14 |   242855 |    74352 |   190279      0 |      100 |        0
645.79/645.98	c  643s |      14 |   243341 |    74652 |   190279      0 |      100 |        0
648.19/648.34	c  645s |      14 |   243772 |    74952 |   190279      0 |      100 |        0
650.49/650.61	c  647s |      14 |   244847 |    75452 |   190279      0 |      100 |        0
652.49/652.62	c  649s |      14 |   245934 |    75852 |   190279      0 |      100 |        0
654.50/654.68	c  652s |      14 |   246972 |    76352 |   190279      0 |      100 |        0
656.79/656.98	c  654s |      14 |   248120 |    76752 |   190279      0 |      100 |        0
659.09/659.27	c  656s |      14 |   249395 |    77152 |   190279      0 |      100 |        0
661.49/661.65	c  658s |      14 |   250316 |    77552 |   190279      0 |      100 |        0
663.89/664.07	c  661s |      14 |   251380 |    78052 |   190279      0 |      100 |        0
666.39/666.52	c  663s |      14 |   252078 |    78452 |   190279      0 |      100 |        0
668.69/668.89	c  666s |      14 |   253020 |    78952 |   190279      0 |      100 |        0
671.29/671.46	c  668s |      14 |   254852 |    79452 |   190279      0 |      100 |        0
673.49/673.60	c  670s |      14 |   255500 |    79752 |   190279      0 |      100 |        0
675.99/676.16	c  673s |      14 |   256520 |    80152 |   190279      0 |      100 |        0
678.08/678.23	c  675s |      14 |   257239 |    80452 |   190279      0 |      100 |        0
680.89/681.01	c  678s |      14 |   258163 |    80852 |   190279      0 |      100 |        0
683.09/683.29	c  680s |      14 |   258842 |    81152 |   190279      0 |      100 |        0
685.29/685.41	c  682s |      14 |   259304 |    81452 |   190279      0 |      100 |        0
687.49/687.69	c  685s |      14 |   260086 |    81852 |   190279      0 |      100 |        0
689.78/689.91	c  687s |      14 |   260970 |    82252 |   190279      0 |      100 |        0
691.89/692.02	c  689s |      14 |   261956 |    82652 |   190279      0 |      100 |        0
694.09/694.29	c  691s |      14 |   262994 |    83052 |   190279      0 |      100 |        0
696.68/696.85	c  694s |      14 |   263921 |    83552 |   190279      0 |      100 |        0
698.98/699.11	c  696s |      14 |   264692 |    83852 |   190279      0 |      100 |        0
701.28/701.40	c  698s |      14 |   265624 |    84252 |   190279      0 |      100 |        0
703.58/703.77	c  701s |      14 |   266678 |    84652 |   190279      0 |      100 |        0
705.68/705.88	c  703s |      14 |   267521 |    84952 |   190279      0 |      100 |        0
707.98/708.16	c  705s |      14 |   269337 |    85352 |   190279      0 |      100 |        0
710.18/710.39	c  707s |      14 |   270787 |    85752 |   190279      0 |      100 |        0
712.79/712.96	c  710s |      14 |   271749 |    86152 |   190279      0 |      100 |        0
714.99/715.17	c  712s |      14 |   272525 |    86452 |   190279      0 |      100 |        0
717.58/717.78	c  715s |      14 |   273625 |    86852 |   190279      0 |      100 |        0
720.18/720.31	c  717s |      14 |   274629 |    87152 |   209307      0 |      100 |        0
722.68/722.87	c  720s |      14 |   275745 |    87552 |   209307      0 |      100 |        0
723.18/723.39	c  720s |      15 |   275965 |    87632 |   209307      0 |      100 |        0
725.98/726.11	c  723s |      15 |   276659 |    87932 |   209307      0 |      100 |        0
728.88/729.01	c  726s |      15 |   277495 |    88332 |   209307      0 |      100 |        0
731.87/732.05	c  729s |      15 |   278052 |    88632 |   209307      0 |      100 |        0
734.78/734.95	c  732s |      15 |   278679 |    88932 |   209307      0 |      100 |        0
737.47/737.69	c  735s |      15 |   279202 |    89232 |   209307      0 |      100 |        0
740.07/740.27	c  737s |      15 |   279635 |    89532 |   209307      0 |      100 |        0
741.38/741.58	c  738s |      15 |   280026 |    89657 |   209307      0 |      100 |        0
741.38/741.58	c #cpu_time = 738.859s
741.38/741.58	c #wall_clock_time = 738.872s
741.38/741.58	c #decision = 280026
741.38/741.58	c #random_decision = 298
741.38/741.58	c #conflict = 89657
741.38/741.58	c #restart = 15
741.38/741.58	o 182199996
742.07/742.20	c BCD2: updating upper bound: 10171756525 -> 182200020
742.38/742.58	c BCD2: 0 <= obj <= 182200020
742.38/742.58	c BCD2: #cores=0, #unrelaxed=17425, #relaxed=0, #hardened=0
742.38/742.58	c BCD2: #sat=1 #unsat=1 bias=1/2
742.38/742.60	c Solving starts ...
742.38/742.60	c ============================[ Search Statistics ]============================
742.38/742.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
742.38/742.60	c       |         |          |          |    Limit     GC | Var      | Constra 
742.38/742.60	c =============================================================================
742.38/742.60	c  0.0s |       0 |        0 |        0 |   209307      0 |      100 |        0
743.07/743.26	c  0.7s |       0 |      274 |        0 |   209307      0 |      100 |        0
743.07/743.26	c #cpu_time = 0.642s
743.07/743.26	c #wall_clock_time = 0.642s
743.07/743.26	c #decision = 274
743.07/743.26	c #random_decision = 0
743.07/743.26	c #conflict = 0
743.07/743.26	c #restart = 0
743.07/743.26	c BCD2: found a new core of size 275: cost of the new core is >=125
743.07/743.26	c lower bound updated to 100
743.48/743.61	c BCD2: 125 <= obj <= 182200020
743.48/743.61	c BCD2: #cores=1, #unrelaxed=17150, #relaxed=275, #hardened=0
743.48/743.61	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-4079380-1465324862/watcher-4079380-1465324862 -o /tmp/evaluation-result-4079380-1465324862/solver-4079380-1465324862 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079380-1465324862.opb 

pid=14184
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.05 2.05 2.00 4/179 14187
/proc/meminfo: memFree=29854768/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 2887 0 0 0 0 0 0 0 20 0 4 0 114420960 790032384 3247 33554432000 4194304 16246674 140733229997168 140733229996592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 193647 3255 441 2943 0 190541 0
[pid=14187/tid=14188] ppid=14184 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 808906752 3319 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 814149632 3336 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=798140 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114420960 817295360 3351 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100133 s]
/proc/loadavg: 2.05 2.05 2.00 4/179 14187
/proc/meminfo: memFree=29854768/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 29306 0 0 0 6 3 0 0 20 0 4 0 114420960 1334382592 29604 33554432000 4194304 16246674 140733229997168 140733229980160 12752373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 325777 29620 800 2943 0 322671 0
[pid=14187/tid=14188] ppid=14184 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1334382592 29631 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1334382592 29643 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1334382592 29653 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200553 s]
/proc/loadavg: 2.05 2.05 2.00 4/179 14187
/proc/meminfo: memFree=29854768/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 45877 0 0 0 13 6 0 0 20 0 4 0 114420960 1344868352 46686 33554432000 4194304 16246674 140733229997168 140733229980160 14795900 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 328337 46686 801 2943 0 325231 0
[pid=14187/tid=14188] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 46686 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 46686 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 46686 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300512 s]
/proc/loadavg: 2.05 2.05 2.00 4/179 14187
/proc/meminfo: memFree=29854768/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 53196 0 0 0 22 7 0 0 20 0 4 0 114420960 1344868352 54005 33554432000 4194304 16246674 140733229997168 140733229980160 4220580 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 328337 54005 801 2943 0 325231 0
[pid=14187/tid=14188] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 54005 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 54005 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 54005 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700438 s]
/proc/loadavg: 2.05 2.05 2.00 4/179 14187
/proc/meminfo: memFree=29854768/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 65575 0 0 0 60 8 0 0 20 0 4 0 114420960 1344868352 66384 33554432000 4194304 16246674 140733229997168 140733229980160 7387302 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 328337 66384 803 2943 0 325231 0
[pid=14187/tid=14188] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 66384 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 66384 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1344868352 66384 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 14191
/proc/meminfo: memFree=29353424/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 166065 0 0 0 123 26 0 0 20 0 4 0 114420960 1350111232 166874 33554432000 4194304 16246674 140733229997168 140733229979072 13929603 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 329617 166885 841 2943 0 326511 0
[pid=14187/tid=14188] ppid=14184 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1350111232 166891 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1350111232 166899 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1350111232 166905 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1318468

[startup+3.10044 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 14191
/proc/meminfo: memFree=28154220/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=3.09 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272854 0 0 0 266 43 0 0 20 0 4 0 114420960 1360596992 273663 33554432000 4194304 16246674 140733229997168 140733229979072 5659576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273663 892 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273663 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273663 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273663 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1328708

[startup+6.30044 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 14191
/proc/meminfo: memFree=28110700/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=6.29 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 586 43 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 14191
/proc/meminfo: memFree=28110972/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=12.69 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 1226 43 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 14191
/proc/meminfo: memFree=28110552/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=25.49 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 2506 43 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1328708

[startup+51.1005 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 14191
/proc/meminfo: memFree=28110520/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=51.08 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 5065 43 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1328708

[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 14192
/proc/meminfo: memFree=27963280/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=102.28 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 10185 43 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 5600380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1328708


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


[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 14205
/proc/meminfo: memFree=27962620/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=582.2 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 58175 45 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1328708

[startup+642.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 14206
/proc/meminfo: memFree=27962532/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=642.19 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 64174 45 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 5600380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 1328708

[startup+702.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14207
/proc/meminfo: memFree=27962172/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=1328708 CPUtime=702.18 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 272859 0 0 0 70173 45 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 140733229979072 5600072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 332177 273668 896 2943 0 329071 0
[pid=14187/tid=14188] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 1360596992 273668 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 1328708

[startup+762.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14208
/proc/meminfo: memFree=25954152/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=3332676 CPUtime=762.18 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 773877 0 0 0 76087 131 0 0 20 0 4 0 114420960 3412660224 774686 33554432000 4194304 16246674 140733229997168 140733229996264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 833169 774686 920 2943 0 830063 0
[pid=14187/tid=14188] ppid=14184 vsize=3332676 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 3412660224 774686 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=3332676 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 3412660224 774686 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=3332676 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 3412660224 774686 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 3332676

[startup+822.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 14210
/proc/meminfo: memFree=18350372/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=10921540 CPUtime=822.16 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 2671096 0 0 0 81756 460 0 0 20 0 4 0 114420960 11183656960 2671905 33554432000 4194304 16246674 140733229997168 140733229995008 4225056 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 2730385 2671905 920 2943 0 2727279 0
[pid=14187/tid=14188] ppid=14184 vsize=10921540 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 11183656960 2671905 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=10921540 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 11183656960 2671905 33554432000 4194304 16246674 140733229997168 139757497592848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=10921540 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 11183656960 2671905 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 10921540

[startup+882.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14211
/proc/meminfo: memFree=15463188/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=13803076 CPUtime=882.16 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 3391485 0 0 0 87609 607 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 140733229996264 4206674 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 3450769 3392294 924 2943 0 3447663 0
[pid=14187/tid=14188] ppid=14184 vsize=13803076 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=13803076 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=13803076 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 13803076

[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14212
/proc/meminfo: memFree=15463216/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=13803076 CPUtime=942.15 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 3391485 0 0 0 93587 628 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 140733229996264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 3450769 3392294 924 2943 0 3447663 0
[pid=14187/tid=14188] ppid=14184 vsize=13803076 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=13803076 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=13803076 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 14134349824 3392294 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 13803076



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+952.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14212
/proc/meminfo: memFree=13623784/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=15872580 CPUtime=951.94 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) R 14184 14187 11961 0 -1 4202496 3908642 0 0 0 94462 732 0 0 20 0 4 0 114420960 16253521920 3909451 33554432000 4194304 16246674 140733229997168 140733229996264 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 3968145 3909452 924 2943 0 3965039 0
[pid=14187/tid=14188] ppid=14184 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) S 14184 14187 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114420960 16253521920 3909452 33554432000 4194304 16246674 140733229997168 139757580430576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=14187/tid=14189] ppid=14184 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14189/stat : 14189 (toysat) S 14184 14187 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114420960 16253521920 3909452 33554432000 4194304 16246674 140733229997168 139757497593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=14187/tid=14190] ppid=14184 vsize=15872580 CPUtime=0 cores=1,3,5,7
/proc/14187/task/14190/stat : 14190 (toysat) S 14184 14187 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114420960 16253521920 3909452 33554432000 4194304 16246674 140733229997168 139757487119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 951.94
Current children cumulated vsize (KiB) 15872580

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

[startup+952.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14212
/proc/meminfo: memFree=13623784/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=0 CPUtime=952.25 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) Z 14184 14187 11961 0 -1 4203532 3909072 0 0 0 94463 762 0 0 20 0 2 0 114420960 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 0 0 0 0 0 0 0
[pid=14187/tid=14188] ppid=14184 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) R 14184 14187 11961 0 -1 4203588 9 0 0 0 0 28 0 0 20 0 2 0 114420960 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 952.25
Current children cumulated vsize (KiB) 0

[startup+952.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 14212
/proc/meminfo: memFree=22551300/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=0 CPUtime=952.65 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) Z 14184 14187 11961 0 -1 4203532 3909072 0 0 0 94463 802 0 0 20 0 2 0 114420960 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 0 0 0 0 0 0 0
[pid=14187/tid=14188] ppid=14184 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) R 14184 14187 11961 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 114420960 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) 952.65
Current children cumulated vsize (KiB) 0

[startup+952.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 14212
/proc/meminfo: memFree=22551300/32872528 swapFree=12744/274376
[pid=14187] ppid=14184 vsize=0 CPUtime=952.75 cores=1,3,5,7
/proc/14187/stat : 14187 (toysat) Z 14184 14187 11961 0 -1 4203532 3909072 0 0 0 94463 812 0 0 20 0 2 0 114420960 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14187/statm: 0 0 0 0 0 0 0
[pid=14187/tid=14188] ppid=14184 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/14187/task/14188/stat : 14188 (toysat) R 14184 14187 11961 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 114420960 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) 952.75
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 952.954
CPU time (s): 952.799
CPU user time (s): 944.63
CPU system time (s): 8.16876
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 15872580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 944.63
system time used= 8.16876
maximum resident set size= 15639524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3909072
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= 94
involuntary context switches= 1068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.67759 second user time and 3.49347 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 20:41:02
IDJOB=4079380
IDBENCH=92681
IDSOLVER=2542
FILE ID=node107/4079380-1465324862
RUNJOBID= node107-1465310409-12875
PBS_JOBID= 19848089
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_6_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-4079380-1465324862/watcher-4079380-1465324862 -o /tmp/evaluation-result-4079380-1465324862/solver-4079380-1465324862 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079380-1465324862.opb

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

MD5SUM BENCH= e7b6dae550ad8f4cdbfa76831693ec64
RANDOM SEED=363127517

node107.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.441
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        29854684 kB
Buffers:          103008 kB
Cached:           350684 kB
SwapCached:         1648 kB
Active:          1699148 kB
Inactive:         301644 kB
Active(anon):    1547300 kB
Inactive(anon):     2796 kB
Active(file):     151848 kB
Inactive(file):   298848 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             74880 kB
Writeback:             0 kB
AnonPages:       1823268 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             604404 kB
SReclaimable:      47764 kB
SUnreclaim:       556640 kB
KernelStack:        1504 kB
PageTables:         7784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1970084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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= 71676 MiB
End job on node107 at 2016-06-07 20:56:55