Trace number 4120682

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 485.308 485.49

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n90-d3-i1-f.cnf.gz-plain.pb.metafix.opb
MD5SUMe34aaf1a297bca9652728409f14a5209
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.40463
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables135
Total number of constraints360
Number of constraints which are clauses360
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T20:38:50+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-4120682-1467311930.opb"]
0.00/0.01	c use --random-gen="650154478 1983737525 1911409542 1245117650 1199025504 4236202160 2368334259 2209537851 810419868 3125757260 499840099 1410304493 1864211934 51324647 4266114321 2371390789 2525609521 3773152602 2323859313 1114392700 568498829 4214433448 4056840734 4267401746 1093030562 206525732 1757827798 967774490 1161606933 2105278045 4006557726 2605255807 3357599475 2854836775 408887473 627616043 359446505 1873133852 2440619270 3183648160 1627479297 3520631516 1591718814 649981448 671968794 1911542935 560176343 2635264360 1344848030 3468956379 2688256923 855315255 2012249371 1661723855 3864085401 1841363604 635296216 2954403518 1029388582 2197583032 1888751494 1732360886 2785987728 214698475 2894452162 697773969 1352222042 2718154143 880813466 1287490986 4249933739 1486543126 1343651443 2737436771 3996157991 276191234 2235687095 1722695387 3435734032 1543129444 2001925515 2337415177 2044286470 1909979030 2548932968 143018410 218425427 2946549833 3985587139 1244216136 2159024382 2788354860 3223087723 448229483 1037518737 3040907200 2583274953 477418291 2120017447 4043643326 1180960040 22821858 634445598 597488969 3240795857 3238277843 1304527269 2014247523 1000037389 492565792 2795618413 3429935520 564427205 428119086 3276715221 2950320589 3493333600 912144079 2543760841 1925931207 1560092003 1732168314 3504594229 890896018 4230481990 275054918 1267516679 1621050597 772926109 219267556 1021676713 3057666985 714742012 1378220345 4249383186 594421530 416691575 1922332391 1142327232 896740799 809513729 4183565958 2611950238 4163315059 590893054 375190815 888343973 3881148326 544593784 588207366 661158204 1745857632 3946189216 1051063828 588471617 882920483 801687766 1984876742 171204389 466183793 3015164294 78511132 421439863 2515853673 2781495801 4211528864 2670619347 1838512896 2556972917 2088239108 862773901 2419542125 2376862283 2785309314 2337317461 279310817 4148453285 1482830324 2310918832 3708552154 1480494669 2479796407 1442021897 2243070001 1507349132 2126155844 968633689 149682176 753896490 789317781 2353030140 1382806683 769571233 2632982398 1805873111 1308016593 2525626077 141684284 4141803110 1959845886 3996326732 3396728720 573596233 3044562903 1304386175 1316190084 4015362071 4028493490 2785384900 3892486137 2129378131 4160839438 262292926 3852389852 1167768796 2092144246 3433841049 2452086838 3055185199 1132780450 292857136 3065255524 1836985544 984824860 353985226 1763526927 2075972625 753535270 2678321765 2516336430 456608430 3957335422 3059805744 404671486 3966413557 2025637881 2435186057 3687665831 3523029532 2821925785 839229461 2008673688 1908446475 1599055430 3143093640 1131605696 1881901533 1979562427 3613804270 1220710986 3729943670 2705062951 2151863805 3761966342 2635970686 1002351056 255 362436" option to reproduce the execution
0.00/0.01	c #vars 135
0.00/0.01	c #constraints 360
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      165      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      204 |      100 |      165      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      425 |      250 |      182      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      731 |      475 |      201      2 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1165 |      813 |      222      5 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1795 |     1320 |      245      8 |        0 |        0
0.19/0.25	c  0.2s |       6 |     2648 |     2081 |      297     12 |        0 |        0
0.29/0.37	c  0.4s |       7 |     4079 |     3223 |      327     19 |        0 |        0
0.49/0.55	c  0.5s |       8 |     5963 |     4936 |      360     28 |        0 |        0
0.79/0.82	c  0.8s |       9 |     9114 |     7506 |      397     40 |        0 |        0
1.19/1.21	c  1.2s |      10 |    13911 |    11361 |      437     58 |        0 |        0
1.68/1.75	c  1.7s |      11 |    20397 |    17144 |      481     83 |        0 |        0
2.39/2.47	c  2.5s |      12 |    31285 |    25819 |      530    117 |        0 |        0
3.40/3.43	c  3.4s |      13 |    49557 |    38832 |      583    165 |        0 |        0
4.79/4.81	c  4.8s |      14 |    76211 |    58352 |      642    230 |        0 |        0
6.79/6.81	c  6.8s |      14 |   108989 |    84452 |      642    309 |        0 |        0
6.99/7.05	c  7.0s |      15 |   112847 |    87632 |      707    319 |        0 |        0
8.99/9.05	c  9.0s |      15 |   151048 |   115732 |      707    397 |        0 |        0
10.09/10.12	c 10.1s |      16 |   172392 |   131552 |      778    440 |        0 |        0
12.09/12.13	c 12.1s |      16 |   209369 |   158352 |      778    508 |        0 |        0
14.08/14.13	c 14.1s |      16 |   247023 |   185552 |      778    577 |        0 |        0
14.98/15.01	c 15.0s |      17 |   263714 |   197432 |      856    606 |        0 |        0
16.98/17.02	c 17.0s |      17 |   298629 |   221832 |      856    663 |        0 |        0
18.98/19.02	c 19.0s |      17 |   334291 |   247532 |      856    722 |        0 |        0
20.99/21.02	c 21.0s |      17 |   369726 |   273932 |      856    783 |        0 |        0
22.68/22.74	c 22.7s |      18 |   399922 |   296252 |      942    834 |        0 |        0
24.68/24.74	c 24.7s |      18 |   433870 |   321852 |      942    888 |        0 |        0
26.68/26.74	c 26.7s |      18 |   468007 |   347552 |      942    942 |        0 |        0
28.69/28.75	c 28.7s |      18 |   501619 |   372952 |      942    995 |        0 |        0
30.68/30.75	c 30.7s |      18 |   533883 |   397952 |      942   1047 |        0 |        0
32.69/32.75	c 32.7s |      18 |   569561 |   424552 |      942   1103 |        0 |        0
34.29/34.31	c 34.3s |      19 |   596581 |   444482 |     1037   1144 |        0 |        0
36.29/36.31	c 36.3s |      19 |   632133 |   470982 |     1037   1194 |        0 |        0
38.29/38.31	c 38.3s |      19 |   668580 |   497782 |     1037   1245 |        0 |        0
40.29/40.31	c 40.3s |      19 |   699647 |   522082 |     1037   1292 |        0 |        0
42.28/42.31	c 42.3s |      19 |   735702 |   548282 |     1037   1342 |        0 |        0
44.28/44.32	c 44.3s |      19 |   772693 |   574582 |     1037   1392 |        0 |        0
46.29/46.32	c 46.3s |      19 |   809887 |   600482 |     1037   1442 |        0 |        0
48.28/48.33	c 48.3s |      19 |   848606 |   628082 |     1037   1495 |        0 |        0
50.28/50.33	c 50.3s |      19 |   884960 |   655182 |     1037   1547 |        0 |        0
51.18/51.24	c 51.2s |      20 |   900399 |   666827 |     1141   1568 |        0 |        0
53.19/53.24	c 53.2s |      20 |   934735 |   692227 |     1141   1612 |        0 |        0
55.19/55.25	c 55.2s |      20 |   968862 |   717627 |     1141   1656 |        0 |        0
57.19/57.26	c 57.2s |      20 |   999454 |   741327 |     1141   1697 |        0 |        0
59.18/59.26	c 59.2s |      20 |  1032812 |   766227 |     1141   1741 |        0 |        0
61.18/61.26	c 61.2s |      20 |  1067694 |   791727 |     1141   1785 |        0 |        0
63.18/63.26	c 63.2s |      20 |  1103502 |   817427 |     1141   1830 |        0 |        0
65.18/65.26	c 65.2s |      20 |  1137893 |   842227 |     1141   1873 |        0 |        0
67.18/67.27	c 67.2s |      20 |  1171225 |   866827 |     1141   1916 |        0 |        0
69.18/69.27	c 69.3s |      20 |  1204254 |   891427 |     1141   1959 |        0 |        0
71.18/71.28	c 71.3s |      20 |  1241014 |   917527 |     1141   2004 |        0 |        0
73.17/73.28	c 73.3s |      20 |  1274531 |   943227 |     1141   2049 |        0 |        0
75.17/75.29	c 75.3s |      20 |  1307787 |   968027 |     1141   2093 |        0 |        0
77.18/77.29	c 77.3s |      20 |  1339555 |   992127 |     1141   2135 |        0 |        0
77.98/78.00	c 78.0s |      21 |  1351176 |  1000345 |     1256   2148 |        0 |        0
79.98/80.00	c 80.0s |      21 |  1380468 |  1021745 |     1256   2181 |        0 |        0
81.98/82.01	c 82.0s |      21 |  1408885 |  1042745 |     1256   2214 |        0 |        0
83.98/84.01	c 84.0s |      21 |  1440817 |  1065845 |     1256   2251 |        0 |        0
85.98/86.02	c 86.0s |      21 |  1473050 |  1089745 |     1256   2289 |        0 |        0
87.98/88.03	c 88.0s |      21 |  1507025 |  1114345 |     1256   2328 |        0 |        0
89.97/90.03	c 90.0s |      21 |  1542094 |  1139645 |     1256   2368 |        0 |        0
91.97/92.04	c 92.0s |      21 |  1576024 |  1164745 |     1256   2407 |        0 |        0
93.97/94.04	c 94.0s |      21 |  1606670 |  1187845 |     1256   2444 |        0 |        0
95.97/96.05	c 96.0s |      21 |  1636773 |  1210045 |     1256   2479 |        0 |        0
97.98/98.05	c 98.0s |      21 |  1669177 |  1233745 |     1256   2516 |        0 |        0
99.97/100.06	c  100s |      21 |  1702760 |  1257945 |     1256   2555 |        0 |        0
101.97/102.06	c  102s |      21 |  1737958 |  1282945 |     1256   2594 |        0 |        0
103.97/104.07	c  104s |      21 |  1770044 |  1307145 |     1256   2633 |        0 |        0
105.97/106.07	c  106s |      21 |  1805464 |  1333045 |     1256   2674 |        0 |        0
107.97/108.08	c  108s |      21 |  1837398 |  1356645 |     1256   2711 |        0 |        0
109.98/110.08	c  110s |      21 |  1872439 |  1381545 |     1256   2750 |        0 |        0
111.97/112.08	c  112s |      21 |  1908718 |  1406145 |     1256   2789 |        0 |        0
113.97/114.09	c  114s |      21 |  1941052 |  1430245 |     1256   2827 |        0 |        0
115.97/116.09	c  116s |      21 |  1976702 |  1455845 |     1256   2868 |        0 |        0
117.97/118.09	c  118s |      21 |  2007305 |  1479645 |     1256   2906 |        0 |        0
119.76/119.86	c  119s |      22 |  2035036 |  1500622 |     1382   2937 |        0 |        0
121.76/121.86	c  121s |      22 |  2063248 |  1522122 |     1382   2968 |        0 |        0
123.76/123.87	c  123s |      22 |  2091217 |  1543322 |     1382   2998 |        0 |        0
125.76/125.87	c  125s |      22 |  2118674 |  1564322 |     1382   3029 |        0 |        0
127.76/127.88	c  127s |      22 |  2145450 |  1585122 |     1382   3058 |        0 |        0
129.77/129.89	c  129s |      22 |  2173830 |  1606522 |     1382   3089 |        0 |        0
131.76/131.90	c  131s |      22 |  2202798 |  1628922 |     1382   3121 |        0 |        0
133.86/133.90	c  133s |      22 |  2230706 |  1650022 |     1382   3152 |        0 |        0
135.86/135.90	c  135s |      22 |  2262115 |  1672622 |     1382   3184 |        0 |        0
137.87/137.91	c  137s |      22 |  2291339 |  1694822 |     1382   3216 |        0 |        0
139.86/139.91	c  139s |      22 |  2320290 |  1716622 |     1382   3247 |        0 |        0
141.87/141.92	c  141s |      22 |  2347439 |  1737922 |     1382   3278 |        0 |        0
143.86/143.92	c  143s |      22 |  2377291 |  1760322 |     1382   3310 |        0 |        0
145.86/145.92	c  145s |      22 |  2408131 |  1783022 |     1382   3343 |        0 |        0
147.86/147.93	c  147s |      22 |  2437541 |  1805122 |     1382   3375 |        0 |        0
149.85/149.94	c  149s |      22 |  2470475 |  1828722 |     1382   3409 |        0 |        0
151.86/151.94	c  151s |      22 |  2502358 |  1852222 |     1382   3442 |        0 |        0
153.85/153.94	c  153s |      22 |  2533049 |  1875022 |     1382   3475 |        0 |        0
155.85/155.96	c  155s |      22 |  2562274 |  1896922 |     1382   3507 |        0 |        0
157.85/157.96	c  157s |      22 |  2589675 |  1917722 |     1382   3536 |        0 |        0
159.85/159.97	c  159s |      22 |  2618791 |  1939722 |     1382   3568 |        0 |        0
161.85/161.98	c  161s |      22 |  2648676 |  1962322 |     1382   3601 |        0 |        0
163.86/163.99	c  163s |      22 |  2679068 |  1985122 |     1382   3633 |        0 |        0
165.85/165.99	c  165s |      22 |  2709964 |  2008022 |     1382   3666 |        0 |        0
167.85/167.99	c  167s |      22 |  2739667 |  2030022 |     1382   3698 |        0 |        0
169.85/169.99	c  169s |      22 |  2773122 |  2054322 |     1382   3733 |        0 |        0
171.94/172.00	c  171s |      22 |  2806296 |  2078522 |     1382   3768 |        0 |        0
173.94/174.01	c  173s |      22 |  2837237 |  2102022 |     1382   3802 |        0 |        0
175.95/176.01	c  175s |      22 |  2869959 |  2125622 |     1382   3836 |        0 |        0
177.94/178.01	c  177s |      22 |  2902263 |  2149222 |     1382   3870 |        0 |        0
179.94/180.02	c  179s |      22 |  2935575 |  2173122 |     1382   3904 |        0 |        0
181.94/182.02	c  182s |      22 |  2965574 |  2195722 |     1382   3937 |        0 |        0
183.94/184.03	c  184s |      22 |  2996457 |  2218922 |     1382   3970 |        0 |        0
185.95/186.03	c  186s |      22 |  3028171 |  2242822 |     1521   4003 |        0 |        0
186.64/186.73	c  186s |      23 |  3039078 |  2251038 |     1521   4014 |        0 |        0
188.64/188.74	c  188s |      23 |  3069961 |  2274038 |     1521   4044 |        0 |        0
190.65/190.74	c  190s |      23 |  3100278 |  2296438 |     1521   4074 |        0 |        0
192.64/192.75	c  192s |      23 |  3130922 |  2318838 |     1521   4103 |        0 |        0
194.65/194.75	c  194s |      23 |  3162973 |  2342138 |     1521   4133 |        0 |        0
196.64/196.76	c  196s |      23 |  3194853 |  2364938 |     1521   4163 |        0 |        0
198.64/198.76	c  198s |      23 |  3225051 |  2386538 |     1521   4191 |        0 |        0
200.64/200.76	c  200s |      23 |  3255968 |  2409538 |     1521   4222 |        0 |        0
202.64/202.77	c  202s |      23 |  3285427 |  2431338 |     1521   4250 |        0 |        0
204.65/204.77	c  204s |      23 |  3317724 |  2454438 |     1521   4280 |        0 |        0
206.64/206.77	c  206s |      23 |  3349715 |  2477538 |     1521   4311 |        0 |        0
208.64/208.78	c  208s |      23 |  3375341 |  2497638 |     1521   4337 |        0 |        0
210.63/210.78	c  210s |      23 |  3402051 |  2518138 |     1521   4364 |        0 |        0
212.63/212.79	c  212s |      23 |  3435045 |  2542138 |     1521   4395 |        0 |        0
214.63/214.79	c  214s |      23 |  3465989 |  2565238 |     1521   4425 |        0 |        0
216.64/216.79	c  216s |      23 |  3494565 |  2586838 |     1521   4454 |        0 |        0
218.73/218.80	c  218s |      23 |  3526904 |  2610238 |     1521   4484 |        0 |        0
220.72/220.80	c  220s |      23 |  3560936 |  2633938 |     1521   4515 |        0 |        0
222.72/222.81	c  222s |      23 |  3595978 |  2657738 |     1521   4546 |        0 |        0
224.72/224.81	c  224s |      23 |  3628875 |  2681538 |     1521   4578 |        0 |        0
226.72/226.81	c  226s |      23 |  3663151 |  2705938 |     1521   4610 |        0 |        0
228.73/228.81	c  228s |      23 |  3696238 |  2729538 |     1521   4641 |        0 |        0
230.72/230.81	c  230s |      23 |  3729055 |  2753238 |     1521   4672 |        0 |        0
232.72/232.81	c  232s |      23 |  3759918 |  2776238 |     1521   4702 |        0 |        0
234.72/234.82	c  234s |      23 |  3789696 |  2797738 |     1521   4730 |        0 |        0
236.72/236.82	c  236s |      23 |  3820820 |  2820338 |     1521   4759 |        0 |        0
238.72/238.83	c  238s |      23 |  3851038 |  2842038 |     1521   4788 |        0 |        0
240.72/240.84	c  240s |      23 |  3882112 |  2864238 |     1521   4817 |        0 |        0
242.72/242.84	c  242s |      23 |  3914024 |  2887038 |     1521   4847 |        0 |        0
244.72/244.85	c  244s |      23 |  3946868 |  2910338 |     1521   4877 |        0 |        0
246.72/246.85	c  246s |      23 |  3977945 |  2932438 |     1521   4906 |        0 |        0
248.72/248.85	c  248s |      23 |  4009768 |  2955438 |     1521   4936 |        0 |        0
250.72/250.85	c  250s |      23 |  4037138 |  2976238 |     1521   4964 |        0 |        0
252.71/252.86	c  252s |      23 |  4068898 |  2999238 |     1521   4994 |        0 |        0
254.71/254.86	c  254s |      23 |  4101271 |  3021538 |     1521   5023 |        0 |        0
256.71/256.87	c  256s |      23 |  4132759 |  3044838 |     1521   5054 |        0 |        0
258.71/258.88	c  258s |      23 |  4165727 |  3068738 |     1521   5085 |        0 |        0
260.71/260.88	c  260s |      23 |  4197500 |  3092138 |     1521   5115 |        0 |        0
262.70/262.88	c  262s |      23 |  4224175 |  3113838 |     1521   5144 |        0 |        0
264.70/264.89	c  264s |      23 |  4250209 |  3135238 |     1521   5172 |        0 |        0
266.80/266.90	c  266s |      23 |  4280725 |  3158338 |     1521   5202 |        0 |        0
268.80/268.90	c  268s |      23 |  4309808 |  3180438 |     1521   5231 |        0 |        0
270.81/270.91	c  270s |      23 |  4342724 |  3203938 |     1521   5262 |        0 |        0
272.82/272.91	c  272s |      23 |  4374853 |  3227838 |     1521   5293 |        0 |        0
274.81/274.91	c  274s |      23 |  4409261 |  3252038 |     1521   5325 |        0 |        0
276.81/276.92	c  276s |      23 |  4443700 |  3276738 |     1521   5357 |        0 |        0
278.81/278.92	c  278s |      23 |  4477452 |  3300938 |     1521   5389 |        0 |        0
280.81/280.93	c  280s |      23 |  4507480 |  3323838 |     1521   5419 |        0 |        0
282.80/282.94	c  282s |      23 |  4538676 |  3347138 |     1521   5449 |        0 |        0
284.81/284.94	c  284s |      23 |  4567178 |  3368138 |     1674   5475 |        0 |        0
285.60/285.77	c  285s |      24 |  4577993 |  3376662 |     1674   5485 |        0 |        0
287.60/287.78	c  287s |      24 |  4606001 |  3397762 |     1674   5510 |        0 |        0
289.60/289.78	c  289s |      24 |  4634986 |  3419762 |     1674   5536 |        0 |        0
291.59/291.79	c  291s |      24 |  4663732 |  3441162 |     1674   5562 |        0 |        0
293.60/293.79	c  293s |      24 |  4689699 |  3461262 |     1674   5585 |        0 |        0
295.69/295.80	c  295s |      24 |  4718516 |  3482862 |     1674   5611 |        0 |        0
297.69/297.80	c  297s |      24 |  4748171 |  3503862 |     1674   5636 |        0 |        0
299.69/299.81	c  299s |      24 |  4779561 |  3526362 |     1674   5663 |        0 |        0
301.69/301.81	c  301s |      24 |  4811019 |  3549662 |     1674   5691 |        0 |        0
303.69/303.82	c  303s |      24 |  4845112 |  3574762 |     1674   5720 |        0 |        0
305.69/305.83	c  305s |      24 |  4878613 |  3598762 |     1674   5749 |        0 |        0
307.69/307.83	c  307s |      24 |  4911024 |  3622462 |     1674   5777 |        0 |        0
309.69/309.84	c  309s |      24 |  4942574 |  3645962 |     1674   5805 |        0 |        0
311.69/311.84	c  311s |      24 |  4976361 |  3670262 |     1674   5834 |        0 |        0
313.69/313.84	c  313s |      24 |  5006179 |  3692862 |     1674   5861 |        0 |        0
315.70/315.85	c  315s |      24 |  5039022 |  3717162 |     1674   5890 |        0 |        0
317.69/317.86	c  317s |      24 |  5072828 |  3740462 |     1674   5918 |        0 |        0
319.69/319.86	c  319s |      24 |  5107250 |  3765362 |     1674   5947 |        0 |        0
321.69/321.87	c  321s |      24 |  5139677 |  3788662 |     1674   5975 |        0 |        0
323.69/323.87	c  323s |      24 |  5173082 |  3813162 |     1674   6004 |        0 |        0
325.69/325.88	c  325s |      24 |  5206201 |  3837462 |     1674   6033 |        0 |        0
327.69/327.88	c  327s |      24 |  5238262 |  3861062 |     1674   6061 |        0 |        0
329.68/329.89	c  329s |      24 |  5267576 |  3883862 |     1674   6088 |        0 |        0
331.68/331.89	c  331s |      24 |  5301752 |  3908062 |     1674   6117 |        0 |        0
333.78/333.90	c  333s |      24 |  5336341 |  3932862 |     1674   6147 |        0 |        0
335.78/335.90	c  335s |      24 |  5370808 |  3957562 |     1674   6176 |        0 |        0
337.78/337.90	c  337s |      24 |  5406748 |  3982462 |     1674   6206 |        0 |        0
339.78/339.91	c  339s |      24 |  5443459 |  4007662 |     1674   6236 |        0 |        0
341.78/341.91	c  341s |      24 |  5475126 |  4031362 |     1674   6264 |        0 |        0
343.78/343.92	c  343s |      24 |  5509114 |  4056362 |     1674   6294 |        0 |        0
345.78/345.92	c  345s |      24 |  5543972 |  4081862 |     1674   6324 |        0 |        0
347.78/347.92	c  347s |      24 |  5574084 |  4104262 |     1674   6351 |        0 |        0
349.78/349.93	c  349s |      24 |  5601913 |  4125062 |     1674   6375 |        0 |        0
351.77/351.93	c  351s |      24 |  5633692 |  4148362 |     1674   6403 |        0 |        0
353.77/353.94	c  353s |      24 |  5664310 |  4171062 |     1674   6430 |        0 |        0
355.77/355.94	c  355s |      24 |  5696603 |  4194562 |     1674   6458 |        0 |        0
357.77/357.95	c  357s |      24 |  5728377 |  4218662 |     1674   6487 |        0 |        0
359.77/359.95	c  359s |      24 |  5760059 |  4241862 |     1674   6514 |        0 |        0
361.77/361.95	c  361s |      24 |  5791026 |  4265462 |     1674   6542 |        0 |        0
363.76/363.95	c  363s |      24 |  5822763 |  4288362 |     1674   6569 |        0 |        0
365.76/365.96	c  365s |      24 |  5855680 |  4313162 |     1674   6599 |        0 |        0
367.76/367.97	c  367s |      24 |  5884206 |  4335862 |     1674   6626 |        0 |        0
369.76/369.97	c  369s |      24 |  5912964 |  4358262 |     1674   6653 |        0 |        0
371.78/371.97	c  371s |      24 |  5944370 |  4381962 |     1674   6681 |        0 |        0
373.77/373.97	c  373s |      24 |  5976112 |  4405762 |     1674   6709 |        0 |        0
375.77/375.98	c  375s |      24 |  6008479 |  4430062 |     1674   6738 |        0 |        0
377.77/377.99	c  377s |      24 |  6042130 |  4454562 |     1674   6767 |        0 |        0
379.76/379.99	c  379s |      24 |  6069365 |  4476262 |     1674   6793 |        0 |        0
381.86/382.00	c  381s |      24 |  6101810 |  4500262 |     1674   6821 |        0 |        0
383.77/384.00	c  383s |      24 |  6136286 |  4525062 |     1674   6851 |        0 |        0
385.86/386.01	c  385s |      24 |  6169911 |  4549362 |     1674   6880 |        0 |        0
387.86/388.01	c  387s |      24 |  6203046 |  4573762 |     1674   6909 |        0 |        0
389.86/390.01	c  389s |      24 |  6237563 |  4598562 |     1674   6938 |        0 |        0
391.85/392.02	c  392s |      24 |  6267580 |  4622262 |     1674   6967 |        0 |        0
393.85/394.03	c  394s |      24 |  6299386 |  4645762 |     1674   6994 |        0 |        0
395.86/396.03	c  396s |      24 |  6330259 |  4668462 |     1674   7021 |        0 |        0
397.85/398.04	c  398s |      24 |  6364953 |  4692162 |     1674   7050 |        0 |        0
399.85/400.04	c  400s |      24 |  6399248 |  4716762 |     1674   7079 |        0 |        0
401.84/402.05	c  402s |      24 |  6430328 |  4740062 |     1674   7107 |        0 |        0
403.84/404.05	c  404s |      24 |  6463919 |  4764862 |     1674   7136 |        0 |        0
405.85/406.06	c  406s |      24 |  6497202 |  4789362 |     1674   7165 |        0 |        0
407.84/408.06	c  408s |      24 |  6529890 |  4814162 |     1674   7195 |        0 |        0
409.84/410.06	c  410s |      24 |  6561018 |  4837762 |     1674   7223 |        0 |        0
411.84/412.07	c  412s |      24 |  6597200 |  4863662 |     1674   7253 |        0 |        0
413.85/414.07	c  414s |      24 |  6627703 |  4887262 |     1674   7281 |        0 |        0
415.85/416.07	c  416s |      24 |  6657640 |  4909962 |     1674   7308 |        0 |        0
417.85/418.08	c  418s |      24 |  6686530 |  4932762 |     1674   7335 |        0 |        0
419.84/420.09	c  420s |      24 |  6720522 |  4958062 |     1674   7365 |        0 |        0
421.94/422.10	c  422s |      24 |  6754013 |  4983462 |     1674   7396 |        0 |        0
423.94/424.10	c  424s |      24 |  6787694 |  5007962 |     1674   7424 |        1 |        4
425.94/426.10	c  426s |      24 |  6821303 |  5032262 |     1842   7452 |        1 |        4
427.94/428.10	c  428s |      24 |  6854767 |  5055662 |     1842   7477 |        1 |        4
428.74/428.90	c  428s |      25 |  6867755 |  5065098 |     1842   7488 |        1 |        4
430.74/430.91	c  430s |      25 |  6900456 |  5090198 |     1842   7515 |        1 |        4
432.73/432.92	c  432s |      25 |  6933709 |  5114998 |     1842   7542 |        1 |        4
434.73/434.92	c  434s |      25 |  6969096 |  5140798 |     1842   7569 |        1 |        4
436.73/436.92	c  436s |      25 |  7002113 |  5164998 |     1842   7596 |        1 |        4
438.74/438.93	c  438s |      25 |  7038641 |  5190798 |     1842   7623 |        1 |        4
440.73/440.94	c  440s |      25 |  7072075 |  5215398 |     1842   7650 |        1 |        4
442.73/442.94	c  442s |      25 |  7107581 |  5241198 |     1842   7678 |        1 |        4
444.73/444.94	c  444s |      25 |  7143171 |  5266998 |     1842   7706 |        1 |        4
446.73/446.94	c  446s |      25 |  7178016 |  5292698 |     1842   7733 |        1 |        4
448.73/448.94	c  448s |      25 |  7208672 |  5315698 |     1842   7757 |        2 |        8
450.72/450.94	c  450s |      25 |  7242329 |  5339498 |     1842   7782 |        2 |        8
452.72/452.95	c  452s |      25 |  7276642 |  5364098 |     1842   7809 |        2 |        8
454.73/454.95	c  454s |      25 |  7308592 |  5387698 |     1842   7834 |        2 |        8
456.73/456.96	c  456s |      25 |  7343179 |  5412398 |     1842   7861 |        2 |        8
458.73/458.96	c  458s |      25 |  7375782 |  5436598 |     1842   7887 |        2 |        8
460.73/460.97	c  460s |      25 |  7408250 |  5460598 |     1842   7913 |        2 |        8
462.73/462.97	c  462s |      25 |  7445204 |  5486698 |     1842   7941 |        2 |        8
464.72/464.98	c  464s |      25 |  7480190 |  5512198 |     1842   7968 |        3 |       12
466.72/466.98	c  466s |      25 |  7515568 |  5537298 |     1842   7995 |        3 |       12
468.72/468.99	c  468s |      25 |  7549176 |  5561698 |     1842   8022 |        3 |       12
470.73/470.99	c  470s |      25 |  7578658 |  5583998 |     1842   8046 |        3 |       12
472.82/473.01	c  472s |      25 |  7609381 |  5605298 |     1842   8069 |        3 |       12
474.82/475.01	c  474s |      25 |  7640722 |  5628598 |     1842   8094 |        3 |       12
476.82/477.01	c  476s |      25 |  7672538 |  5652698 |     1842   8119 |        4 |       16
478.82/479.01	c  478s |      25 |  7703312 |  5675498 |     1842   8143 |        4 |       16
480.81/481.02	c  480s |      25 |  7735513 |  5699098 |     1842   8169 |        4 |       16
482.81/483.02	c  483s |      25 |  7767090 |  5722998 |     1842   8194 |        5 |       20
484.81/485.03	c  485s |      25 |  7800246 |  5748098 |     1842   8219 |        7 |       28
485.21/485.46	c  485s |      25 |  7809276 |  5754671 |     1842   8223 |       20 |       64
485.21/485.46	c #cpu_time = 485.348s
485.21/485.46	c #wall_clock_time = 485.444s
485.21/485.46	c #decision = 7809276
485.21/485.46	c #random_decision = 37779
485.21/485.46	c #conflict = 5754671
485.21/485.46	c #restart = 25
485.21/485.46	s UNSATISFIABLE
485.21/485.46	c total CPU time = 485.371s
485.21/485.46	c total wall clock time = 485.467s

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

pid=18971
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.21 2.21 2.11 3/179 18974
/proc/meminfo: memFree=27574388/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 2807 0 0 0 0 0 0 0 20 0 4 0 12153999 769060864 3168 33554432000 4194304 16246674 140735025008224 140735025007648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 188271 3176 441 2943 0 185165 0
[pid=18974/tid=18975] ppid=18971 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 787935232 3239 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=773564 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 792129536 3256 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12153999 797372416 3273 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.21 2.21 2.11 3/179 18974
/proc/meminfo: memFree=27574388/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 24096 0 0 0 6 3 0 0 20 0 4 0 12153999 1247350784 24446 33554432000 4194304 16246674 140735025008224 140735025007648 12874965 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 304529 24453 708 2943 0 301423 0
[pid=18974/tid=18975] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 24461 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 24468 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 24474 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200474 s]
/proc/loadavg: 2.21 2.21 2.11 3/179 18974
/proc/meminfo: memFree=27574388/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 46147 0 0 0 13 6 0 0 20 0 4 0 12153999 1247350784 46496 33554432000 4194304 16246674 140735025008224 140735025007648 12460649 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 304529 46499 708 2943 0 301423 0
[pid=18974/tid=18975] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 46506 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 46508 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 46509 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300441 s]
/proc/loadavg: 2.21 2.21 2.11 3/179 18974
/proc/meminfo: memFree=27574388/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 67447 0 0 0 20 9 0 0 20 0 4 0 12153999 1247350784 67797 33554432000 4194304 16246674 140735025008224 140735025007648 5516309 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 304529 67805 708 2943 0 301423 0
[pid=18974/tid=18975] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 67813 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 67820 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 67825 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700356 s]
/proc/loadavg: 2.21 2.21 2.11 3/179 18974
/proc/meminfo: memFree=27574388/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 154612 0 0 0 48 21 0 0 20 0 4 0 12153999 1247350784 154962 33554432000 4194304 16246674 140735025008224 140735025007648 13192029 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 304529 154972 708 2943 0 301423 0
[pid=18974/tid=18975] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 154980 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 154986 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12153999 1247350784 154992 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.21 2.21 2.11 3/183 18978
/proc/meminfo: memFree=26607348/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 245583 0 0 0 114 34 0 0 20 0 4 0 12153999 1248399360 245912 33554432000 4194304 16246674 140735025008224 140735025007536 12460658 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 304785 245912 786 2943 0 301679 0
[pid=18974/tid=18975] ppid=18971 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1248399360 245912 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1248399360 245912 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1248399360 245912 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10037 s]
/proc/loadavg: 2.21 2.21 2.11 3/183 18978
/proc/meminfo: memFree=26505048/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 267411 0 0 0 272 37 0 0 20 0 4 0 12153999 1337528320 267740 33554432000 4194304 16246674 140735025008224 140735024990080 5545898 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 326545 267740 786 2943 0 323439 0
[pid=18974/tid=18975] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267740 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267740 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267740 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.19 2.21 2.11 3/183 18978
/proc/meminfo: memFree=26504212/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 267428 0 0 0 592 37 0 0 20 0 4 0 12153999 1337528320 267757 33554432000 4194304 16246674 140735025008224 140735024990144 6020579 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 326545 267757 786 2943 0 323439 0
[pid=18974/tid=18975] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267757 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267757 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267757 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.18 2.20 2.11 4/183 18978
/proc/meminfo: memFree=26503772/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 267494 0 0 0 1232 37 0 0 20 0 4 0 12153999 1337528320 267823 33554432000 4194304 16246674 140735025008224 140735024990144 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 326545 267823 789 2943 0 323439 0
[pid=18974/tid=18975] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267823 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267823 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1337528320 267823 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.21 2.21 2.12 3/182 18978
/proc/meminfo: memFree=26503828/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 267803 0 0 0 2511 37 0 0 20 0 4 0 12153999 1338576896 268132 33554432000 4194304 16246674 140735025008224 140735024990144 6010344 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 326801 268132 789 2943 0 323695 0
[pid=18974/tid=18975] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268132 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268132 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268132 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.14 2.19 2.11 3/183 18979
/proc/meminfo: memFree=26502860/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 267828 0 0 0 5070 38 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140735024991224 5824087 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 326801 268159 789 2943 0 323695 0
[pid=18974/tid=18975] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.22 2.21 2.12 3/184 18983
/proc/meminfo: memFree=26502512/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 267834 0 0 0 10187 40 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140735024991224 5754801 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 326801 268159 789 2943 0 323695 0
[pid=18974/tid=18975] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 267878 0 0 0 22179 44 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140735024991224 5545872 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 326801 268159 789 2943 0 323695 0
[pid=18974/tid=18975] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1338576896 268159 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1307204

[startup+282.3 s]
/proc/loadavg: 2.12 2.19 2.12 3/183 18986
/proc/meminfo: memFree=26500368/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1308228 CPUtime=282.21 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268016 0 0 0 28175 46 0 0 20 0 4 0 12153999 1339625472 268272 33554432000 4194304 16246674 140735025008224 140735024991224 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18974/statm: 327057 268272 789 2943 0 323951 0
[pid=18974/tid=18975] ppid=18971 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1339625472 268272 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1339625472 268272 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1339625472 268272 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1308228

[startup+342.3 s]
/proc/loadavg: 2.36 2.24 2.14 3/183 19135
/proc/meminfo: memFree=26505728/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=342.18 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268243 0 0 0 34171 47 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024990144 13949761 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1309252

[startup+402.3 s]
/proc/loadavg: 2.19 2.21 2.13 3/183 19233
/proc/meminfo: memFree=26508184/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=402.14 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268280 0 0 0 40166 48 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1309252

[startup+462.3 s]
/proc/loadavg: 2.22 2.21 2.14 3/183 19234
/proc/meminfo: memFree=26507836/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=462.13 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268320 0 0 0 46163 50 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 6071910 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1309252

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

[startup+473.6 s]
/proc/loadavg: 2.26 2.22 2.14 3/183 19234
/proc/meminfo: memFree=26507952/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=473.42 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268328 0 0 0 47292 50 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 473.42
Current children cumulated vsize (KiB) 1309252

[startup+480 s]
/proc/loadavg: 2.22 2.22 2.14 4/183 19235
/proc/meminfo: memFree=26507552/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=479.81 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268336 0 0 0 47931 50 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 479.81
Current children cumulated vsize (KiB) 1309252

[startup+483.2 s]
/proc/loadavg: 2.22 2.22 2.14 4/183 19235
/proc/meminfo: memFree=26507908/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=483.01 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268336 0 0 0 48251 50 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 12483215 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 483.01
Current children cumulated vsize (KiB) 1309252

[startup+484.8 s]
/proc/loadavg: 2.22 2.22 2.14 4/183 19235
/proc/meminfo: memFree=26507908/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=484.61 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268336 0 0 0 48411 50 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 5675441 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 484.61
Current children cumulated vsize (KiB) 1309252

[startup+485.208 s]
/proc/loadavg: 2.20 2.21 2.14 4/183 19235
/proc/meminfo: memFree=26507908/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=485.02 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268336 0 0 0 48452 50 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 6018766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 485.02
Current children cumulated vsize (KiB) 1309252

[startup+485.4 s]
/proc/loadavg: 2.20 2.21 2.14 4/183 19235
/proc/meminfo: memFree=26507908/32872528 swapFree=1427768/1542232
[pid=18974] ppid=18971 vsize=1309252 CPUtime=485.21 cores=0,2,4,6
/proc/18974/stat : 18974 (toysat) R 18971 18974 15544 0 -1 4202496 268336 0 0 0 48471 50 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140735024991224 5823751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18974/statm: 327313 268473 790 2943 0 324207 0
[pid=18974/tid=18975] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18975/stat : 18975 (toysat) S 18971 18974 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140606003195120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18974/tid=18976] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18976/stat : 18976 (toysat) S 18971 18974 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605992705264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18974/tid=18977] ppid=18971 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18974/task/18977/stat : 18977 (toysat) S 18971 18974 15544 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12153999 1340674048 268473 33554432000 4194304 16246674 140735025008224 140605982231728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 485.21
Current children cumulated vsize (KiB) 1309252

Child status: 0
Real time (s): 485.49
CPU time (s): 485.308
CPU user time (s): 484.781
CPU system time (s): 0.526919
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 484.781
system time used= 0.526919
maximum resident set size= 1073904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268341
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= 212
involuntary context switches= 568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04869 second user time and 2.6096 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-30 20:38:50
IDJOB=4120682
IDBENCH=110071
IDSOLVER=2542
FILE ID=node116/4120682-1467311930
RUNJOBID= node116-1467310476-18420
PBS_JOBID= 20005287
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120682-1467311930/watcher-4120682-1467311930 -o /tmp/evaluation-result-4120682-1467311930/solver-4120682-1467311930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18420 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120682-1467311930.opb

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

MD5SUM BENCH= e34aaf1a297bca9652728409f14a5209
RANDOM SEED=401576932

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.426
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.426
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.426
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.426
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.54
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.426
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:        27575428 kB
Buffers:          203420 kB
Cached:          1709528 kB
SwapCached:            0 kB
Active:          1433252 kB
Inactive:        1573956 kB
Active(anon):    1096824 kB
Inactive(anon):        0 kB
Active(file):     336428 kB
Inactive(file):  1573956 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2635952 kB
Mapped:            17080 kB
Shmem:               204 kB
Slab:             614732 kB
SReclaimable:      58120 kB
SUnreclaim:       556612 kB
KernelStack:        1512 kB
PageTables:         9036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2769872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1193984 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= 71692 MiB
End job on node116 at 2016-06-30 20:46:55