Trace number 4100129

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? (TO) 1800.38 1800.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb
MD5SUM3f95880b258ecfc346507235783375e9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables874498
Total number of constraints110909
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints110822
Minimum length of a constraint11
Maximum length of a constraint14080
Number of terms in the objective function 198658
Biggest coefficient in the objective function 14
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 636932
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 6076
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 636932
Number of bits of the biggest sum of numbers20
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-18T02:59:08+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-4100129-1466211546.opb"]
0.00/0.01	c use --random-gen="472504189 1797069119 463409300 54132557 3756724747 2325954879 2854553362 1297086872 4161245954 2406613655 3828875533 3510967941 532155385 3957619107 1267118629 3031548907 829733665 1560940064 1269233840 905497742 1055825564 3604799599 3049176150 2377733346 1878733870 2807326030 1548815403 1753467407 3867844047 3082596215 4083612077 3614297437 461866291 4260443503 595490451 541645449 3336781124 603765969 257836784 3058530077 190138800 3747684953 185066266 269403999 1423008312 634023682 3052074766 1177083885 2989887376 211063763 2147069730 2910279645 3282281026 1333937299 14266063 1799936811 2326559931 3868946325 1565325647 3209531379 771074413 2209402379 3647887433 1088512537 1504635546 76105976 216785008 1270909966 933777150 3435902937 401093102 149639506 1264817269 769512747 163754708 934455771 94082446 2267972533 4070961567 1936508731 3544413253 979309870 4141844958 3018075882 2819934934 4220468678 1689161868 283559659 1327450039 1760997267 4116264605 695453086 3547765992 2687001508 371382974 2326526201 3857583499 3636704690 249522854 4101855493 2375529387 261404971 3889926033 1248317839 4061133088 3283966750 613254352 932687456 3346941904 3250503371 1347484208 2511753772 1270226495 3867708483 2039493031 1275768231 3105233328 3398958355 1775931075 4161138403 46613877 3193724245 4237274690 1250857366 2563592781 434175412 1635870850 2944919923 4092692572 1951474379 1797664550 2072999181 2485771319 3291988490 1782722051 2541969265 1984233380 3496306613 2367894818 2582856946 3456526810 3697662097 136794553 4048425867 337969029 1011497630 2430888686 3307392452 4253236317 440492258 2511172655 3411355603 485574459 3457854885 2508141913 235452598 1457867872 4083343244 3980297179 3566122229 2264115377 2146109577 3557694566 3330635175 3628644432 3578051745 3331963376 4216168509 3120406799 4213455772 1714598875 817243355 1140748350 2198080125 2195617906 2031334090 3338478738 2555485199 837435358 244763082 1887286768 3856437510 4360561 2710215998 1340645952 1632375202 1900615977 2144524321 441184413 948808339 3332165247 699682648 3001108169 2474893205 3385380626 88302474 513524329 2034289762 56101149 122850291 107302564 1259856662 3720598957 1418350337 1791715524 539637791 3989781675 1699560293 4135340071 1585483243 124465020 822390604 2431370609 1299094796 475981934 2311168088 597084126 4245468030 2847707789 1864721591 618495683 2783157104 43353004 3486891295 120542282 3960780345 3808293672 2892890741 3103132241 1614252086 483156742 3114834996 3022743881 1256125930 688428720 1474334993 3029778750 853566750 3042522732 3635859955 3888411896 347474839 3305419535 1693259395 1352889737 1501726697 2518174104 388032095 2422429937 2067931007 1613860862 3152137732 3801583860 1601344906 1564297982 2011393856 255 362436" option to reproduce the execution
6.90/6.91	c #vars 874498
6.90/6.91	c #constraints 110909
35.49/35.52	c BCD2: Hardening is enabled.
35.49/35.52	c BCD2: BiasedSearch is enabled.
35.49/35.52	c Solving starts ...
35.49/35.52	c ============================[ Search Statistics ]============================
35.49/35.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
35.49/35.52	c       |         |          |          |    Limit     GC | Var      | Constra 
35.49/35.52	c =============================================================================
35.49/35.52	c  0.0s |       0 |        0 |        0 |   331045      0 |        0 |        0
36.89/36.99	c  1.5s |       1 |     4134 |      100 |   331045      0 |        0 |        0
37.99/38.01	c  2.5s |       2 |     4679 |      250 |   364150      0 |        0 |        0
39.59/39.69	c  4.2s |       3 |    15184 |      475 |   400566      0 |        0 |        0
42.48/42.55	c  7.0s |       3 |    51498 |      575 |   440623      0 |        0 |        0
44.78/44.85	c  9.3s |       3 |    98480 |      775 |   440623      0 |        0 |        0
44.98/45.00	c  9.5s |       4 |    98519 |      813 |   440623      0 |        0 |        0
47.09/47.10	c 11.6s |       5 |   102954 |     1320 |   484686      0 |        0 |        0
49.69/49.79	c 14.3s |       5 |   126229 |     1420 |   533155      0 |        0 |        0
52.18/52.20	c 16.7s |       5 |   159494 |     1820 |   533155      0 |        0 |        0
52.79/52.81	c 17.3s |       6 |   160007 |     2081 |   586471      0 |        0 |        0
53.89/53.97	c 18.4s |       7 |   161435 |     3223 |   645119      0 |        0 |        0
55.29/55.34	c 19.8s |       8 |   163381 |     4936 |   709631      0 |        0 |        0
56.99/57.09	c 21.6s |       9 |   166136 |     7506 |   780595      0 |        0 |        0
59.08/59.14	c 23.6s |       9 |   168838 |    10106 |   780595      0 |        0 |        0
59.78/59.81	c 24.3s |      10 |   170124 |    11361 |   858655      0 |        0 |        0
61.79/61.83	c 26.3s |      10 |   173068 |    13961 |   858655      0 |        0 |        0
63.78/63.88	c 28.4s |      11 |   176472 |    17144 |   944521      0 |        0 |        0
65.88/65.91	c 30.4s |      11 |   180928 |    21244 |   944521      0 |        0 |        0
67.88/67.91	c 32.4s |      11 |   185165 |    25144 |   944521      0 |        0 |        0
68.18/68.28	c 32.8s |      12 |   185869 |    25819 |  1038974      0 |        0 |        0
70.28/70.32	c 34.8s |      12 |   187718 |    27519 |  1038974      0 |        0 |        0
72.28/72.35	c 36.8s |      12 |   190406 |    30019 |  1038974      0 |        0 |        0
74.38/74.44	c 38.9s |      12 |   192735 |    32219 |  1038974      0 |        0 |        0
76.48/76.59	c 41.1s |      12 |   194761 |    34119 |  1038974      0 |        0 |        0
78.68/78.76	c 43.2s |      12 |   196692 |    35919 |  1038974      0 |        0 |        0
80.68/80.79	c 45.3s |      12 |   198309 |    37419 |  1038974      0 |        0 |        0
82.79/82.83	c 47.3s |      12 |   199723 |    38719 |  1142872      0 |        0 |        0
82.88/82.99	c 47.5s |      13 |   199842 |    38832 |  1142872      0 |        0 |        0
84.99/85.07	c 49.5s |      13 |   200603 |    39532 |  1142872      0 |        0 |        0
87.28/87.30	c 51.8s |      13 |   384148 |    40332 |  1142872      0 |        0 |        0
89.28/89.33	c 53.8s |      13 |   419126 |    41932 |  1142872      0 |        0 |        0
91.38/91.43	c 55.9s |      13 |   421873 |    43632 |  1142872      0 |        0 |        0
93.38/93.49	c 58.0s |      13 |   424560 |    45332 |  1142872      0 |        0 |        0
95.48/95.57	c 60.1s |      13 |   427110 |    47032 |  1142872      0 |        0 |        0
97.57/97.64	c 62.1s |      13 |   429496 |    48632 |  1142872      0 |        0 |        0
99.57/99.69	c 64.2s |      13 |   431664 |    50232 |  1142872      0 |        0 |        0
101.68/101.70	c 66.2s |      13 |   434115 |    51832 |  1142872      0 |        0 |        0
103.68/103.78	c 68.3s |      13 |   436354 |    53232 |  1142872      0 |        0 |        0
105.68/105.79	c 70.3s |      13 |   438336 |    54532 |  1142872      0 |        0 |        0
107.67/107.79	c 72.3s |      14 |   442716 |    58352 |  1257160      0 |        0 |        0
110.29/110.32	c 74.8s |      14 |   587629 |    58752 |  1257160      0 |        0 |        0
112.38/112.44	c 76.9s |      14 |   608246 |    60252 |  1257160      0 |        0 |        0
114.38/114.49	c 79.0s |      14 |   611188 |    62952 |  1257160      0 |        0 |        0
116.47/116.56	c 81.0s |      14 |   613856 |    65552 |  1257160      0 |        0 |        0
118.48/118.57	c 83.1s |      14 |   616546 |    67552 |  1257160      0 |        0 |        0
120.57/120.68	c 85.2s |      14 |   619183 |    69752 |  1257160      0 |        0 |        0
122.67/122.70	c 87.2s |      14 |   621255 |    71452 |  1257160      0 |        0 |        0
124.67/124.77	c 89.2s |      14 |   622876 |    72752 |  1257160      0 |        0 |        0
126.68/126.77	c 91.2s |      14 |   624443 |    74052 |  1257160      0 |        0 |        0
129.57/129.67	c 94.2s |      14 |   624743 |    74252 |  1257160      0 |        0 |        0
131.67/131.76	c 96.2s |      14 |   626822 |    75952 |  1257160      0 |        0 |        0
133.77/133.87	c 98.4s |      14 |   628623 |    77452 |  1257160      0 |        0 |        0
135.87/135.93	c  100s |      14 |   630323 |    78852 |  1257160      0 |        0 |        0
137.97/138.05	c  102s |      14 |   631610 |    79952 |  1257160      0 |        0 |        0
139.98/140.08	c  104s |      14 |   633068 |    81152 |  1257160      0 |        0 |        0
142.27/142.30	c  106s |      14 |   634740 |    82552 |  1257160      0 |        0 |        0
144.28/144.32	c  108s |      14 |   636220 |    83752 |  1257160      0 |        0 |        0
146.37/146.44	c  110s |      14 |   637679 |    84952 |  1257160      0 |        0 |        0
148.47/148.59	c  113s |      14 |   639176 |    86152 |  1257160      0 |        0 |        0
150.57/150.69	c  115s |      14 |   640715 |    87352 |  1382876      0 |        0 |        0
151.17/151.28	c  115s |      15 |   641092 |    87632 |  1382876      0 |        0 |        0
153.26/153.35	c  117s |      15 |   686666 |    88132 |  1382876      0 |        0 |        0
155.28/155.35	c  119s |      15 |   690218 |    90732 |  1382876      0 |        0 |        0
157.36/157.41	c  121s |      15 |   693405 |    93032 |  1382876      0 |        0 |        0
159.47/159.50	c  123s |      15 |   695775 |    94932 |  1382876      0 |        0 |        0
161.46/161.51	c  125s |      15 |   697683 |    96432 |  1382876      0 |        0 |        0
163.46/163.57	c  128s |      15 |   699591 |    97932 |  1382876      0 |        0 |        0
165.47/165.57	c  130s |      15 |   701277 |    99332 |  1382876      0 |        0 |        0
167.47/167.59	c  132s |      15 |   702741 |   100532 |  1382876      0 |        0 |        0
169.68/169.75	c  134s |      15 |   781813 |   102132 |  1382876      0 |        0 |        0
171.66/171.77	c  136s |      15 |   927079 |   102432 |  1382876      0 |        0 |        0
173.77/173.80	c  138s |      15 |  1012146 |   104632 |  1382876      0 |        0 |        0
176.17/176.29	c  140s |      15 |  1111842 |   106432 |  1382876      0 |        0 |        0
178.27/178.36	c  142s |      15 |  1114376 |   108832 |  1382876      0 |        0 |        0
180.27/180.38	c  144s |      15 |  1164314 |   111432 |  1382876      0 |        0 |        0
182.36/182.44	c  146s |      15 |  1168276 |   114932 |  1382876      0 |        0 |        0
184.37/184.47	c  148s |      15 |  1178915 |   118132 |  1382876      0 |        0 |        0
186.46/186.54	c  151s |      15 |  1217906 |   120432 |  1382876      0 |        0 |        0
188.46/188.56	c  153s |      15 |  1220943 |   122832 |  1382876      0 |        0 |        0
190.47/190.57	c  155s |      15 |  1223554 |   124832 |  1382876      0 |        0 |        0
192.46/192.58	c  157s |      15 |  1225778 |   126532 |  1382876      0 |        0 |        0
194.47/194.58	c  159s |      15 |  1227754 |   128032 |  1382876      0 |        0 |        0
196.66/196.71	c  161s |      15 |  1229580 |   129432 |  1382876      0 |        0 |        0
198.56/198.60	c  163s |      16 |  1231927 |   131552 |  1521164      0 |        0 |        0
200.56/200.69	c  165s |      16 |  1233781 |   132552 |  1521164      0 |        0 |        0
202.66/202.77	c  167s |      16 |  1236309 |   134752 |  1521164      0 |        0 |        0
204.77/204.81	c  169s |      16 |  1238233 |   136452 |  1521164      0 |        0 |        0
206.85/206.91	c  171s |      16 |  1240165 |   138152 |  1521164      0 |        0 |        0
208.96/209.02	c  173s |      16 |  1241607 |   139452 |  1521164      0 |        0 |        0
211.47/211.54	c  176s |      16 |  1241831 |   139652 |  1521164      0 |        0 |        0
213.56/213.60	c  178s |      16 |  1243087 |   140752 |  1521164      0 |        0 |        0
215.66/215.70	c  180s |      16 |  1244931 |   142352 |  1521164      0 |        0 |        0
217.65/217.71	c  182s |      16 |  1246516 |   143752 |  1521164      0 |        0 |        0
219.66/219.78	c  184s |      16 |  1248019 |   145152 |  1521164      0 |        0 |        0
221.75/221.86	c  186s |      16 |  1249739 |   146652 |  1521164      0 |        0 |        0
223.86/223.92	c  188s |      16 |  1251783 |   148452 |  1521164      0 |        0 |        0
225.96/226.05	c  190s |      16 |  1253315 |   149752 |  1521164      0 |        0 |        0
228.06/228.11	c  192s |      16 |  1255347 |   151452 |  1521164      0 |        0 |        0
230.06/230.12	c  194s |      16 |  1257151 |   152952 |  1521164      0 |        0 |        0
232.16/232.23	c  196s |      16 |  1258782 |   154352 |  1521164      0 |        0 |        0
234.16/234.25	c  198s |      16 |  1260002 |   155452 |  1521164      0 |        0 |        0
236.35/236.41	c  200s |      16 |  1261533 |   156752 |  1521164      0 |        0 |        0
238.46/238.58	c  203s |      16 |  1262909 |   157952 |  1521164      0 |        0 |        0
240.55/240.61	c  205s |      16 |  1263907 |   158852 |  1521164      0 |        0 |        0
242.65/242.72	c  207s |      16 |  1264782 |   159652 |  1521164      0 |        0 |        0
244.66/244.78	c  209s |      16 |  1265658 |   160452 |  1521164      0 |        0 |        0
246.75/246.82	c  211s |      16 |  1266401 |   161152 |  1521164      0 |        0 |        0
248.76/248.86	c  213s |      16 |  1267154 |   161852 |  1521164      0 |        0 |        0
250.85/250.90	c  215s |      16 |  1267939 |   162552 |  1521164      0 |        0 |        0
252.85/252.98	c  217s |      16 |  1268696 |   163252 |  1521164      0 |        0 |        0
254.95/255.07	c  219s |      16 |  1269456 |   163952 |  1521164      0 |        0 |        0
257.05/257.14	c  221s |      16 |  1270104 |   164552 |  1521164      0 |        0 |        0
259.35/259.42	c  223s |      16 |  1270742 |   165152 |  1521164      0 |        0 |        0
261.35/261.47	c  225s |      16 |  1271404 |   165752 |  1521164      0 |        0 |        0
263.45/263.57	c  228s |      16 |  1272080 |   166352 |  1521164      0 |        0 |        0
265.65/265.72	c  230s |      16 |  1272967 |   167152 |  1521164      0 |        0 |        0
267.65/267.74	c  232s |      16 |  1273859 |   167952 |  1521164      0 |        0 |        0
271.05/271.11	c  235s |      16 |  1274317 |   168352 |  1521164      0 |        0 |        0
273.15/273.24	c  237s |      16 |  1275327 |   169252 |  1521164      0 |        0 |        0
275.26/275.32	c  239s |      16 |  1276235 |   170052 |  1521164      0 |        0 |        0
277.36/277.45	c  241s |      16 |  1277102 |   170852 |  1521164      0 |        0 |        0
279.55/279.65	c  244s |      16 |  1278071 |   171752 |  1521164      0 |        0 |        0
281.75/281.84	c  246s |      16 |  1278815 |   172452 |  1521164      0 |        0 |        0
283.85/283.90	c  248s |      16 |  1279683 |   173252 |  1521164      0 |        0 |        0
286.05/286.14	c  250s |      16 |  1280551 |   174052 |  1521164      0 |        0 |        0
288.24/288.32	c  252s |      16 |  1281296 |   174752 |  1521164      0 |        0 |        0
290.45/290.57	c  255s |      16 |  1282164 |   175552 |  1521164      0 |        0 |        0
292.55/292.66	c  257s |      16 |  1282983 |   176252 |  1521164      0 |        0 |        0
294.84/294.93	c  259s |      16 |  1283736 |   176952 |  1521164      0 |        0 |        0
297.04/297.17	c  261s |      16 |  1284501 |   177652 |  1521164      0 |        0 |        0
299.36/299.41	c  263s |      16 |  1285321 |   178352 |  1521164      0 |        0 |        0
301.45/301.58	c  266s |      16 |  1285989 |   178952 |  1521164      0 |        0 |        0
303.54/303.66	c  268s |      16 |  1286568 |   179452 |  1521164      0 |        0 |        0
305.74/305.89	c  270s |      16 |  1287252 |   180052 |  1521164      0 |        0 |        0
307.85/307.91	c  272s |      16 |  1287830 |   180552 |  1521164      0 |        0 |        0
310.14/310.25	c  274s |      16 |  1288385 |   181052 |  1521164      0 |        0 |        0
312.55/312.61	c  277s |      16 |  1289076 |   181652 |  1521164      0 |        0 |        0
314.75/314.86	c  279s |      16 |  1289757 |   182252 |  1521164      0 |        0 |        0
318.15/318.23	c  282s |      16 |  1290095 |   182552 |  1521164      0 |        0 |        0
320.35/320.47	c  284s |      16 |  1290866 |   183252 |  1521164      0 |        0 |        0
322.45/322.58	c  287s |      16 |  1291546 |   183852 |  1521164      0 |        0 |        0
324.54/324.64	c  289s |      16 |  1292214 |   184452 |  1521164      0 |        0 |        0
326.54/326.66	c  291s |      16 |  1293019 |   185152 |  1521164      0 |        0 |        0
328.54/328.68	c  293s |      16 |  1293640 |   185752 |  1521164      0 |        0 |        0
331.14/331.25	c  295s |      16 |  1294180 |   186252 |  1521164      0 |        0 |        0
333.34/333.45	c  297s |      16 |  1294743 |   186752 |  1521164      0 |        0 |        0
335.54/335.66	c  300s |      16 |  1295413 |   187352 |  1521164      0 |        0 |        0
337.64/337.79	c  302s |      16 |  1296017 |   187852 |  1521164      0 |        0 |        0
339.64/339.79	c  304s |      16 |  1297625 |   189352 |  1521164      0 |        0 |        0
341.74/341.84	c  306s |      16 |  1299686 |   191352 |  1521164      0 |        0 |        0
343.74/343.88	c  308s |      16 |  1301543 |   193152 |  1521164      0 |        0 |        0
345.84/345.93	c  310s |      16 |  1303395 |   194952 |  1521164      0 |        0 |        0
347.94/348.02	c  312s |      16 |  1304967 |   196452 |  1673281      0 |        0 |        0
349.54/349.62	c  314s |      17 |  1305969 |   197432 |  1673281      0 |        0 |        0
351.74/351.88	c  316s |      17 |  1359184 |   197832 |  1673281      0 |        0 |        0
354.14/354.22	c  318s |      17 |  1539340 |   198732 |  1673281      0 |        0 |        0
356.73/356.80	c  321s |      17 |  1752557 |   199032 |  1673281      0 |        0 |        0
365.44/365.58	c  330s |      17 |  2032422 |   199432 |  1673281      0 |        0 |        0
374.04/374.15	c  338s |      17 |  2032472 |   199532 |  1673281      0 |        0 |        0
384.14/384.25	c  348s |      17 |  2032573 |   199632 |  1673281      0 |        0 |        0
394.43/394.56	c  359s |      17 |  2032681 |   199732 |  1673281      0 |        0 |        0
403.93/404.06	c  368s |      17 |  2032786 |   199832 |  1673281      0 |        0 |        0
412.93/413.05	c  377s |      17 |  2032910 |   199932 |  1673281      0 |        0 |        0
422.12/422.26	c  386s |      17 |  2033003 |   200032 |  1673281      0 |        0 |        0
431.43/431.59	c  396s |      17 |  2033108 |   200132 |  1673281      0 |        0 |        0
440.93/441.06	c  405s |      17 |  2033283 |   200232 |  1673281      0 |        0 |        0
450.22/450.32	c  414s |      17 |  2033379 |   200332 |  1673281      0 |        0 |        0
459.33/459.47	c  423s |      17 |  2033478 |   200432 |  1673281      0 |        0 |        0
466.12/466.29	c  430s |      17 |  2033675 |   200532 |  1673281      0 |        0 |        0
475.52/475.60	c  440s |      17 |  2033775 |   200632 |  1673281      0 |        0 |        0
484.62/484.78	c  449s |      17 |  2033873 |   200732 |  1673281      0 |        0 |        0
493.82/493.95	c  458s |      17 |  2034064 |   200832 |  1673281      0 |        0 |        0
503.01/503.12	c  467s |      17 |  2034135 |   200932 |  1673281      0 |        0 |        0
512.12/512.29	c  476s |      17 |  2034247 |   201032 |  1673281      0 |        0 |        0
521.31/521.44	c  485s |      17 |  2034347 |   201132 |  1673281      0 |        0 |        0
530.51/530.66	c  495s |      17 |  2034480 |   201232 |  1673281      0 |        0 |        0
538.61/538.78	c  503s |      17 |  2034693 |   201332 |  1673281      0 |        0 |        0
547.51/547.66	c  512s |      17 |  2034791 |   201432 |  1673281      0 |        0 |        0
556.71/556.90	c  521s |      17 |  2034891 |   201532 |  1673281      0 |        0 |        0
565.90/566.03	c  530s |      17 |  2034993 |   201632 |  1673281      0 |        0 |        0
575.11/575.29	c  539s |      17 |  2035104 |   201732 |  1673281      0 |        0 |        0
584.40/584.58	c  549s |      17 |  2035232 |   201832 |  1673281      0 |        0 |        0
594.00/594.15	c  558s |      17 |  2035381 |   201932 |  1673281      0 |        0 |        0
600.60/600.80	c  565s |      17 |  2035473 |   202032 |  1673281      0 |        0 |        0
609.90/610.02	c  574s |      17 |  2035580 |   202132 |  1673281      0 |        0 |        0
619.00/619.13	c  583s |      17 |  2035691 |   202232 |  1673281      0 |        0 |        0
628.20/628.33	c  592s |      17 |  2035785 |   202332 |  1673281      0 |        0 |        0
637.89/638.07	c  602s |      17 |  2035975 |   202432 |  1673281      0 |        0 |        0
644.99/645.19	c  609s |      17 |  2036092 |   202532 |  1673281      0 |        0 |        0
654.09/654.24	c  618s |      17 |  2036188 |   202632 |  1673281      0 |        0 |        0
663.28/663.46	c  627s |      17 |  2036287 |   202732 |  1673281      0 |        0 |        0
672.58/672.77	c  637s |      17 |  2036396 |   202832 |  1673281      0 |        0 |        0
681.59/681.77	c  646s |      17 |  2036506 |   202932 |  1673281      0 |        0 |        0
688.49/688.67	c  653s |      17 |  2036591 |   203032 |  1673281      0 |        0 |        0
697.68/697.89	c  662s |      17 |  2036751 |   203132 |  1673281      0 |        0 |        0
707.98/708.12	c  672s |      17 |  2036852 |   203232 |  1673281      0 |        0 |        0
716.98/717.13	c  681s |      17 |  2036943 |   203332 |  1673281      0 |        0 |        0
725.77/725.95	c  690s |      17 |  2037050 |   203432 |  1673281      0 |        0 |        0
732.47/732.68	c  697s |      17 |  2037138 |   203532 |  1673281      0 |        0 |        0
741.68/741.85	c  706s |      17 |  2037258 |   203632 |  1673281      0 |        0 |        0
750.78/750.94	c  715s |      17 |  2037342 |   203732 |  1673281      0 |        0 |        0
759.87/760.03	c  724s |      17 |  2037462 |   203832 |  1673281      0 |        0 |        0
767.88/768.03	c  732s |      17 |  2037663 |   203932 |  1673281      0 |        0 |        0
777.07/777.28	c  741s |      17 |  2037750 |   204032 |  1673281      0 |        0 |        0
786.07/786.26	c  750s |      17 |  2037852 |   204132 |  1673281      0 |        0 |        0
795.06/795.26	c  759s |      17 |  2037962 |   204232 |  1673281      0 |        0 |        0
801.97/802.20	c  766s |      17 |  2038056 |   204332 |  1673281      0 |        0 |        0
811.27/811.40	c  775s |      17 |  2038158 |   204432 |  1673281      0 |        0 |        0
820.27/820.40	c  784s |      17 |  2038265 |   204532 |  1673281      0 |        0 |        0
827.16/827.34	c  791s |      17 |  2038364 |   204632 |  1673281      0 |        0 |        0
836.96/837.16	c  801s |      17 |  2038532 |   204732 |  1673281      0 |        0 |        0
846.26/846.43	c  810s |      17 |  2038622 |   204832 |  1673281      0 |        0 |        0
855.46/855.64	c  820s |      17 |  2038733 |   204932 |  1673281      0 |        0 |        0
862.16/862.33	c  826s |      17 |  2038841 |   205032 |  1673281      0 |        0 |        0
871.45/871.61	c  836s |      17 |  2038948 |   205132 |  1673281      0 |        0 |        0
880.76/880.98	c  845s |      17 |  2039030 |   205232 |  1673281      0 |        0 |        0
890.25/890.42	c  854s |      17 |  2039147 |   205332 |  1673281      0 |        0 |        0
897.35/897.54	c  862s |      17 |  2039255 |   205432 |  1673281      0 |        0 |        0
906.45/906.68	c  871s |      17 |  2039335 |   205532 |  1673281      0 |        0 |        0
915.15/915.30	c  879s |      17 |  2039460 |   205632 |  1673281      0 |        0 |        0
921.74/921.94	c  886s |      17 |  2039557 |   205732 |  1673281      0 |        0 |        0
930.65/930.86	c  895s |      17 |  2039661 |   205832 |  1673281      0 |        0 |        0
937.54/937.75	c  902s |      17 |  2039772 |   205932 |  1673281      0 |        0 |        0
946.64/946.81	c  911s |      17 |  2039853 |   206032 |  1673281      0 |        0 |        0
955.74/955.92	c  920s |      17 |  2039966 |   206132 |  1673281      0 |        0 |        0
962.74/962.91	c  927s |      17 |  2040068 |   206232 |  1673281      0 |        0 |        0
973.04/973.21	c  937s |      17 |  2040154 |   206332 |  1673281      0 |        0 |        0
984.64/984.83	c  949s |      17 |  2040255 |   206432 |  1673281      0 |        0 |        0
998.03/998.27	c  962s |      17 |  2040387 |   206532 |  1673281      0 |        0 |        0
1007.03/1007.29	c  971s |      17 |  2040513 |   206632 |  1673281      0 |        0 |        0
1016.02/1016.27	c  980s |      17 |  2040612 |   206732 |  1673281      0 |        0 |        0
1025.02/1025.23	c  989s |      17 |  2040690 |   206832 |  1673281      0 |        0 |        0
1031.62/1031.87	c  996s |      17 |  2040785 |   206932 |  1673281      0 |        0 |        0
1040.73/1040.92	c 1005s |      17 |  2040866 |   207032 |  1673281      0 |        0 |        0
1047.13/1047.35	c 1011s |      17 |  2040990 |   207132 |  1673281      0 |        0 |        0
1055.93/1056.16	c 1020s |      17 |  2041089 |   207232 |  1673281      0 |        0 |        0
1064.93/1065.19	c 1029s |      17 |  2041189 |   207332 |  1673281      0 |        0 |        0
1071.62/1071.85	c 1036s |      17 |  2041288 |   207432 |  1673281      0 |        0 |        0
1080.33/1080.58	c 1045s |      17 |  2041372 |   207532 |  1673281      0 |        0 |        0
1084.91/1085.16	c 1049s |      17 |  2055182 |   207632 |  1673281      0 |        0 |        0
1091.72/1091.90	c 1056s |      17 |  2055296 |   207732 |  1673281      0 |        0 |        0
1096.32/1096.53	c 1061s |      17 |  2055405 |   207832 |  1673281      0 |        0 |        0
1103.52/1103.71	c 1068s |      17 |  2055519 |   207932 |  1673281      0 |        0 |        0
1108.41/1108.66	c 1073s |      17 |  2055632 |   208032 |  1673281      0 |        0 |        0
1115.71/1115.97	c 1080s |      17 |  2055739 |   208132 |  1673281      0 |        0 |        0
1120.41/1120.62	c 1085s |      17 |  2055842 |   208232 |  1673281      0 |        0 |        0
1127.92/1128.12	c 1092s |      17 |  2055949 |   208332 |  1673281      0 |        0 |        0
1135.51/1135.73	c 1100s |      17 |  2056057 |   208432 |  1673281      0 |        0 |        0
1140.71/1140.91	c 1105s |      17 |  2056179 |   208532 |  1673281      0 |        0 |        0
1148.42/1148.67	c 1113s |      17 |  2056288 |   208632 |  1673281      0 |        0 |        0
1154.21/1154.44	c 1118s |      17 |  2056394 |   208732 |  1673281      0 |        0 |        0
1162.11/1162.33	c 1126s |      17 |  2056502 |   208832 |  1673281      0 |        0 |        0
1168.01/1168.20	c 1132s |      17 |  2056604 |   208932 |  1673281      0 |        0 |        0
1176.21/1176.41	c 1140s |      17 |  2056713 |   209032 |  1673281      0 |        0 |        0
1184.30/1184.57	c 1149s |      17 |  2056815 |   209132 |  1673281      0 |        0 |        0
1190.21/1190.50	c 1154s |      17 |  2056922 |   209232 |  1673281      0 |        0 |        0
1198.90/1199.14	c 1163s |      17 |  2057024 |   209332 |  1673281      0 |        0 |        0
1204.81/1205.05	c 1169s |      17 |  2057141 |   209432 |  1673281      0 |        0 |        0
1212.90/1213.13	c 1177s |      17 |  2057250 |   209532 |  1673281      0 |        0 |        0
1221.10/1221.34	c 1185s |      17 |  2057360 |   209632 |  1673281      0 |        0 |        0
1227.10/1227.30	c 1191s |      17 |  2057464 |   209732 |  1673281      0 |        0 |        0
1235.20/1235.47	c 1199s |      17 |  2057572 |   209832 |  1673281      0 |        0 |        0
1241.29/1241.56	c 1206s |      17 |  2057684 |   209932 |  1673281      0 |        0 |        0
1249.89/1250.15	c 1214s |      17 |  2057785 |   210032 |  1673281      0 |        0 |        0
1256.00/1256.27	c 1220s |      17 |  2057884 |   210132 |  1673281      0 |        0 |        0
1264.49/1264.71	c 1229s |      17 |  2057992 |   210232 |  1673281      0 |        0 |        0
1272.79/1273.06	c 1237s |      17 |  2058092 |   210332 |  1673281      0 |        0 |        0
1278.99/1279.22	c 1243s |      17 |  2058196 |   210432 |  1673281      0 |        0 |        0
1287.39/1287.67	c 1252s |      17 |  2058299 |   210532 |  1673281      0 |        0 |        0
1293.79/1294.02	c 1258s |      17 |  2058405 |   210632 |  1673281      0 |        0 |        0
1302.59/1302.83	c 1267s |      17 |  2058513 |   210732 |  1673281      0 |        0 |        0
1311.09/1311.30	c 1275s |      17 |  2058619 |   210832 |  1673281      0 |        0 |        0
1317.18/1317.49	c 1281s |      17 |  2058722 |   210932 |  1673281      0 |        0 |        0
1325.78/1326.00	c 1290s |      17 |  2058825 |   211032 |  1673281      0 |        0 |        0
1331.98/1332.28	c 1296s |      17 |  2058927 |   211132 |  1673281      0 |        0 |        0
1340.48/1340.78	c 1305s |      17 |  2059029 |   211232 |  1673281      0 |        0 |        0
1346.68/1346.95	c 1311s |      17 |  2059135 |   211332 |  1673281      0 |        0 |        0
1355.08/1355.40	c 1319s |      17 |  2059238 |   211432 |  1673281      0 |        0 |        0
1363.58/1363.86	c 1328s |      17 |  2059341 |   211532 |  1673281      0 |        0 |        0
1370.07/1370.31	c 1334s |      17 |  2059447 |   211632 |  1673281      0 |        0 |        0
1378.67/1378.99	c 1343s |      17 |  2059549 |   211732 |  1673281      0 |        0 |        0
1385.27/1385.55	c 1350s |      17 |  2059650 |   211832 |  1673281      0 |        0 |        0
1394.07/1394.37	c 1358s |      17 |  2059754 |   211932 |  1673281      0 |        0 |        0
1400.37/1400.65	c 1365s |      17 |  2059868 |   212032 |  1673281      0 |        0 |        0
1408.57/1408.88	c 1373s |      17 |  2059968 |   212132 |  1673281      0 |        0 |        0
1416.97/1417.27	c 1381s |      17 |  2060078 |   212232 |  1673281      0 |        0 |        0
1423.17/1423.44	c 1387s |      17 |  2060199 |   212332 |  1673281      0 |        0 |        0
1431.56/1431.87	c 1396s |      17 |  2060307 |   212432 |  1673281      0 |        0 |        0
1438.06/1438.31	c 1402s |      17 |  2060418 |   212532 |  1673281      0 |        0 |        0
1446.36/1446.63	c 1411s |      17 |  2060528 |   212632 |  1673281      0 |        0 |        0
1452.56/1452.80	c 1417s |      17 |  2060633 |   212732 |  1673281      0 |        0 |        0
1460.96/1461.26	c 1425s |      17 |  2060740 |   212832 |  1673281      0 |        0 |        0
1467.26/1467.58	c 1432s |      17 |  2060853 |   212932 |  1673281      0 |        0 |        0
1475.07/1475.34	c 1439s |      17 |  2060974 |   213032 |  1673281      0 |        0 |        0
1483.05/1483.31	c 1447s |      17 |  2061090 |   213132 |  1673281      0 |        0 |        0
1489.16/1489.43	c 1453s |      17 |  2061210 |   213232 |  1673281      0 |        0 |        0
1497.96/1498.22	c 1462s |      17 |  2061336 |   213332 |  1673281      0 |        0 |        0
1504.26/1504.52	c 1468s |      17 |  2061447 |   213432 |  1673281      0 |        0 |        0
1511.46/1511.71	c 1476s |      17 |  2061560 |   213532 |  1673281      0 |        0 |        0
1516.86/1517.18	c 1481s |      17 |  2061683 |   213632 |  1673281      0 |        0 |        0
1524.56/1524.85	c 1489s |      17 |  2061802 |   213732 |  1673281      0 |        0 |        0
1530.05/1530.33	c 1494s |      17 |  2061933 |   213832 |  1673281      0 |        0 |        0
1537.95/1538.21	c 1502s |      17 |  2062044 |   213932 |  1673281      0 |        0 |        0
1544.05/1544.35	c 1508s |      17 |  2062148 |   214032 |  1673281      0 |        0 |        0
1551.54/1551.82	c 1516s |      17 |  2062249 |   214132 |  1673281      0 |        0 |        0
1556.74/1557.04	c 1521s |      17 |  2062353 |   214232 |  1673281      0 |        0 |        0
1565.65/1565.90	c 1530s |      17 |  2062452 |   214332 |  1673281      0 |        0 |        0
1574.54/1574.85	c 1539s |      17 |  2062536 |   214432 |  1673281      0 |        0 |        0
1579.65/1579.91	c 1544s |      17 |  2062654 |   214532 |  1673281      0 |        0 |        0
1587.14/1587.41	c 1551s |      17 |  2062759 |   214632 |  1673281      0 |        0 |        0
1591.94/1592.23	c 1556s |      17 |  2062891 |   214732 |  1673281      0 |        0 |        0
1599.64/1599.93	c 1564s |      17 |  2063003 |   214832 |  1673281      0 |        0 |        0
1605.74/1606.03	c 1570s |      17 |  2063120 |   214932 |  1673281      0 |        0 |        0
1613.94/1614.25	c 1578s |      17 |  2063218 |   215032 |  1673281      0 |        0 |        0
1618.94/1619.23	c 1583s |      17 |  2063295 |   215132 |  1673281      0 |        0 |        0
1625.54/1625.86	c 1590s |      17 |  2063406 |   215232 |  1673281      0 |        0 |        0
1629.84/1630.12	c 1594s |      17 |  2063496 |   215332 |  1673281      0 |        0 |        0
1636.54/1636.80	c 1601s |      17 |  2063590 |   215432 |  1673281      0 |        0 |        0
1640.84/1641.10	c 1605s |      17 |  2063688 |   215532 |  1673281      0 |        0 |        0
1645.03/1645.38	c 1609s |      17 |  2063791 |   215632 |  1673281      0 |        0 |        0
1651.63/1651.95	c 1616s |      17 |  2063898 |   215732 |  1673281      0 |        0 |        0
1656.03/1656.36	c 1620s |      17 |  2064011 |   215832 |  1673281      0 |        0 |        0
1663.83/1664.16	c 1628s |      17 |  2064088 |   215932 |  1673281      0 |        0 |        0
1671.83/1672.14	c 1636s |      17 |  2064198 |   216032 |  1673281      0 |        0 |        0
1683.42/1683.76	c 1648s |      17 |  2064283 |   216132 |  1673281      0 |        0 |        0
1693.94/1694.24	c 1658s |      17 |  2064408 |   216232 |  1673281      0 |        0 |        0
1703.93/1704.24	c 1668s |      17 |  2064503 |   216332 |  1673281      0 |        0 |        0
1713.83/1714.12	c 1678s |      17 |  2064614 |   216432 |  1673281      0 |        0 |        0
1720.52/1720.88	c 1685s |      17 |  2064699 |   216532 |  1673281      0 |        0 |        0
1730.62/1730.96	c 1695s |      17 |  2064799 |   216632 |  1673281      0 |        0 |        0
1740.52/1740.81	c 1705s |      17 |  2064888 |   216732 |  1673281      0 |        0 |        0
1753.22/1753.58	c 1718s |      17 |  2064978 |   216832 |  1673281      0 |        0 |        0
1762.41/1762.73	c 1727s |      17 |  2065103 |   216932 |  1673281      0 |        0 |        0
1775.42/1775.74	c 1740s |      17 |  2065183 |   217032 |  1673281      0 |        0 |        0
1787.21/1787.52	c 1752s |      17 |  2065276 |   217132 |  1673281      0 |        0 |        0
1795.81/1796.11	c 1760s |      17 |  2065393 |   217232 |  1673281      0 |        0 |        0

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

pid=32602
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.29 2.28 2.20 3/179 32605
/proc/meminfo: memFree=30226680/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2874 0 0 0 0 0 0 0 20 0 4 0 23201294 785838080 2724 33554432000 4194304 16246674 140735244240320 140735244239744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 192367 2731 441 2943 0 189261 0
[pid=32605/tid=32606] ppid=32602 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 804712448 2794 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 808906752 2812 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=794044 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23201294 813101056 2828 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.29 2.28 2.20 3/179 32605
/proc/meminfo: memFree=30226680/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 30066 0 0 0 6 3 0 0 20 0 4 0 23201294 1332285440 29855 33554432000 4194304 16246674 140735244240320 140735244239632 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 325265 29871 799 2943 0 322159 0
[pid=32605/tid=32606] ppid=32602 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 1332285440 29883 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 1332285440 29895 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 1332285440 29906 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200542 s]
/proc/loadavg: 2.29 2.28 2.20 3/179 32605
/proc/meminfo: memFree=30226680/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 44780 0 0 0 14 5 0 0 20 0 4 0 23201294 1345916928 45079 33554432000 4194304 16246674 140735244240320 140735244239632 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 328593 45079 799 2943 0 325487 0
[pid=32605/tid=32606] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 45079 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 45079 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 45079 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300522 s]
/proc/loadavg: 2.29 2.28 2.20 3/179 32605
/proc/meminfo: memFree=30226680/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 51953 0 0 0 22 7 0 0 20 0 4 0 23201294 1345916928 52252 33554432000 4194304 16246674 140735244240320 140735244239632 13893129 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 328593 52252 799 2943 0 325487 0
[pid=32605/tid=32606] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 52252 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 52252 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 52252 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700441 s]
/proc/loadavg: 2.29 2.28 2.20 3/179 32605
/proc/meminfo: memFree=30226680/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 63234 0 0 0 60 9 0 0 20 0 4 0 23201294 1345916928 63533 33554432000 4194304 16246674 140735244240320 140735244239632 4221108 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 328593 63533 801 2943 0 325487 0
[pid=32605/tid=32606] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 63533 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 63533 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 1345916928 63533 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50044 s]
/proc/loadavg: 2.29 2.28 2.20 3/183 32609
/proc/meminfo: memFree=29723520/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 79891 0 0 0 138 11 0 0 20 0 4 0 23201294 1358499840 82745 33554432000 4194304 16246674 140735244240320 140735244223312 7363328 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 331665 82745 801 2943 0 328559 0
[pid=32605/tid=32606] ppid=32602 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 1358499840 82745 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 1358499840 82745 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 1358499840 82745 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10041 s]
/proc/loadavg: 2.29 2.28 2.20 3/183 32609
/proc/meminfo: memFree=29327024/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1351236 CPUtime=3.09 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 112204 0 0 0 292 17 0 0 20 0 4 0 23201294 1383665664 121190 33554432000 4194304 16246674 140735244240320 140735244222208 4206568 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 337809 121190 802 2943 0 334703 0
[pid=32605/tid=32606] ppid=32602 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 1383665664 121190 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 1383665664 121190 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 1383665664 121190 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30036 s]
/proc/loadavg: 2.35 2.30 2.20 3/183 32609
/proc/meminfo: memFree=28739380/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1400388 CPUtime=6.29 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 244215 0 0 0 592 37 0 0 20 0 4 0 23201294 1433997312 263933 33554432000 4194304 16246674 140735244240320 140735244239632 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 350097 263954 802 2943 0 346991 0
[pid=32605/tid=32606] ppid=32602 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 1433997312 263965 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 1433997312 263975 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 1433997312 263986 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 2.40 2.31 2.20 3/183 32609
/proc/meminfo: memFree=27289052/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=1969732 CPUtime=12.69 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 411596 0 0 0 1210 59 0 0 20 0 4 0 23201294 2017005568 432335 33554432000 4194304 16246674 140735244240320 140735244222208 5592705 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 492433 432335 838 2943 0 489327 0
[pid=32605/tid=32606] ppid=32602 vsize=1969732 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 2017005568 432335 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=1969732 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 2017005568 432335 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=1969732 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 2017005568 432335 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1969732

[startup+25.5004 s]
/proc/loadavg: 2.31 2.29 2.20 3/183 32609
/proc/meminfo: memFree=24327572/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=3792452 CPUtime=25.49 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 867282 0 0 0 2432 117 0 0 20 0 4 0 23201294 3883470848 889043 33554432000 4194304 16246674 140735244240320 140735244239416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 948113 889043 840 2943 0 945007 0
[pid=32605/tid=32606] ppid=32602 vsize=3792452 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 3883470848 889043 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=3792452 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 3883470848 889043 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=3792452 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 3883470848 889043 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3792452

[startup+51.1004 s]
/proc/loadavg: 2.34 2.30 2.20 3/183 32609
/proc/meminfo: memFree=21583272/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=4853316 CPUtime=51.08 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 1132554 0 0 0 4951 157 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140735244239496 5825108 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 1213329 1154315 896 2943 0 1210223 0
[pid=32605/tid=32606] ppid=32602 vsize=4853316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=4853316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=4853316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4853316

[startup+102.3 s]
/proc/loadavg: 2.44 2.33 2.22 3/184 32613
/proc/meminfo: memFree=21029484/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=4853316 CPUtime=102.28 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 1132554 0 0 0 10059 169 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140735244239496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 1213329 1154315 896 2943 0 1210223 0
[pid=32605/tid=32606] ppid=32602 vsize=4853316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=4853316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=4853316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 4969795584 1154315 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4853316


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

/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 8246595584 1954578 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8053316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 8246595584 1954578 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8053316 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 8246595584 1954578 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 8053316

[startup+1362.3 s]
/proc/loadavg: 2.27 2.23 2.19 4/183 508
/proc/meminfo: memFree=21493096/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=8157764 CPUtime=1362.07 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 1958684 0 0 0 135709 498 0 0 20 0 4 0 23201294 8353550336 1980691 33554432000 4194304 16246674 140735244240320 140735244238144 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2039441 1980691 902 2943 0 2036335 0
[pid=32605/tid=32606] ppid=32602 vsize=8157764 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 8353550336 1980691 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8157764 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 8353550336 1980691 33554432000 4194304 16246674 140735244240320 140181314182160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8157764 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 8353550336 1980691 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 8157764

[startup+1422.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 509
/proc/meminfo: memFree=21361860/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=8288836 CPUtime=1422.07 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 1991365 0 0 0 141691 516 0 0 20 0 4 0 23201294 8487768064 2013371 33554432000 4194304 16246674 140735244240320 140735244239416 5712128 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2072209 2013371 902 2943 0 2069103 0
[pid=32605/tid=32606] ppid=32602 vsize=8288836 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 8487768064 2013371 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8288836 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 8487768064 2013371 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8288836 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 8487768064 2013371 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 8288836

[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/183 511
/proc/meminfo: memFree=21251980/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=8398404 CPUtime=1482.05 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2018845 0 0 0 147675 530 0 0 20 0 4 0 23201294 8599965696 2040851 33554432000 4194304 16246674 140735244240320 140735244238144 4223003 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2099601 2040851 902 2943 0 2096495 0
[pid=32605/tid=32606] ppid=32602 vsize=8398404 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 8599965696 2040851 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8398404 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 8599965696 2040851 33554432000 4194304 16246674 140735244240320 140181314182160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8398404 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 8599965696 2040851 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 8398404

[startup+1542.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 512
/proc/meminfo: memFree=21109672/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=8540740 CPUtime=1542.05 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2054430 0 0 0 153655 550 0 0 20 0 4 0 23201294 8745717760 2076435 33554432000 4194304 16246674 140735244240320 140735244239496 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2135185 2076435 902 2943 0 2132079 0
[pid=32605/tid=32606] ppid=32602 vsize=8540740 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 8745717760 2076435 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8540740 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 8745717760 2076435 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8540740 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 8745717760 2076435 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 8540740

[startup+1602.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 513
/proc/meminfo: memFree=20972080/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=8677956 CPUtime=1602.04 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2088542 0 0 0 159639 565 0 0 20 0 4 0 23201294 8886226944 2110547 33554432000 4194304 16246674 140735244240320 140735244239416 5722816 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2169489 2110547 902 2943 0 2166383 0
[pid=32605/tid=32606] ppid=32602 vsize=8677956 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 8886226944 2110547 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8677956 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 8886226944 2110547 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8677956 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 8886226944 2110547 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 8677956

[startup+1662.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 514
/proc/meminfo: memFree=20845200/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=8803908 CPUtime=1662.04 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2120222 0 0 0 165622 582 0 0 20 0 4 0 23201294 9015201792 2142227 33554432000 4194304 16246674 140735244240320 140735244238208 4206613 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2200977 2142227 902 2943 0 2197871 0
[pid=32605/tid=32606] ppid=32602 vsize=8803908 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 9015201792 2142227 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8803908 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 9015201792 2142227 33554432000 4194304 16246674 140735244240320 140181314182160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8803908 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 9015201792 2142227 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 8803908

[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/182 515
/proc/meminfo: memFree=20718372/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=8930884 CPUtime=1722.02 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2151966 0 0 0 171601 601 0 0 20 0 4 0 23201294 9145225216 2173971 33554432000 4194304 16246674 140735244240320 140735244222208 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2232721 2173971 902 2943 0 2229615 0
[pid=32605/tid=32606] ppid=32602 vsize=8930884 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 9145225216 2173971 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=8930884 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 9145225216 2173971 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=8930884 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 9145225216 2173971 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 8930884

[startup+1782.31 s]
/proc/loadavg: 2.34 2.26 2.20 3/183 518
/proc/meminfo: memFree=20616724/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=9032260 CPUtime=1782.02 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2177061 0 0 0 177583 619 0 0 20 0 4 0 23201294 9249034240 2199066 33554432000 4194304 16246674 140735244240320 140735244239416 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2258065 2199066 902 2943 0 2254959 0
[pid=32605/tid=32606] ppid=32602 vsize=9032260 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 9249034240 2199066 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=9032260 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 9249034240 2199066 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=9032260 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 9249034240 2199066 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 9032260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/183 518
/proc/meminfo: memFree=20602688/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=9045572 CPUtime=1800.01 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) R 32602 32605 31224 0 -1 4202496 2180638 0 0 0 179377 624 0 0 20 0 4 0 23201294 9262665728 2202643 33554432000 4194304 16246674 140735244240320 140735244222208 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 2261393 2202643 902 2943 0 2258287 0
[pid=32605/tid=32606] ppid=32602 vsize=9045572 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) S 32602 32605 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201294 9262665728 2202643 33554432000 4194304 16246674 140735244240320 140181324672240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=32605/tid=32607] ppid=32602 vsize=9045572 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32607/stat : 32607 (toysat) S 32602 32605 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201294 9262665728 2202643 33554432000 4194304 16246674 140735244240320 140181314182384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=32605/tid=32608] ppid=32602 vsize=9045572 CPUtime=0 cores=1,3,5,7
/proc/32605/task/32608/stat : 32608 (toysat) S 32602 32605 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201294 9262665728 2202643 33554432000 4194304 16246674 140735244240320 140181303708848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9045572

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

[startup+1800.6 s]
/proc/loadavg: 2.32 2.26 2.19 3/183 518
/proc/meminfo: memFree=20602688/32872528 swapFree=1200228/1314692
[pid=32605] ppid=32602 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/32605/stat : 32605 (toysat) Z 32602 32605 31224 0 -1 4203532 2180638 0 0 0 179377 653 0 0 20 0 2 0 23201294 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/32605/statm: 0 0 0 0 0 0 0
[pid=32605/tid=32606] ppid=32602 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/32605/task/32606/stat : 32606 (toysat) R 32602 32605 31224 0 -1 4203588 10 0 0 0 0 28 0 0 20 0 2 0 23201294 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.38
CPU user time (s): 1793.78
CPU system time (s): 6.602
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 9045572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 6.602
maximum resident set size= 8810572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2180638
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= 421
involuntary context switches= 1809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64529 second user time and 6.84096 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 02:59:08
IDJOB=4100129
IDBENCH=1577
IDSOLVER=2542
FILE ID=node131/4100129-1466211546
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71616 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100129-1466211546/watcher-4100129-1466211546 -o /tmp/evaluation-result-4100129-1466211546/solver-4100129-1466211546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100129-1466211546.opb

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

MD5SUM BENCH= 3f95880b258ecfc346507235783375e9
RANDOM SEED=1794746707

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.752
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.56
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.752
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.57
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.752
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:        30227060 kB
Buffers:           45544 kB
Cached:           186588 kB
SwapCached:         1500 kB
Active:           543324 kB
Inactive:          77700 kB
Active(anon):     388524 kB
Inactive(anon):     2640 kB
Active(file):     154800 kB
Inactive(file):    75060 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:            108364 kB
Writeback:             0 kB
AnonPages:       1705192 kB
Mapped:            10368 kB
Shmem:                 0 kB
Slab:             575536 kB
SReclaimable:      18896 kB
SUnreclaim:       556640 kB
KernelStack:        1464 kB
PageTables:         8808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2538392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71624 MiB
End job on node131 at 2016-06-18 03:29:08