Trace number 4100353

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.08 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-biella1.opb
MD5SUM02b8e2ce7db79ee00a9a8f2ebac90f1b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark0.45593
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables42650
Total number of constraints1202
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1202
Minimum length of a constraint38
Maximum length of a constraint42650
Number of terms in the objective function 42650
Biggest coefficient in the objective function 58891
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 565237
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262142
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 565237
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-18T03:29:22+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-4100353-1466213361.opb"]
0.00/0.01	c use --random-gen="321897631 304801345 3713693489 3941295585 1642973175 1250617468 2078682305 1681888811 3755111160 722708641 2438079241 2141306551 1869852044 1423000550 2340852871 3783828857 2772683800 3820546911 2225066030 1408264913 2955567679 939215469 717582377 276429848 1924486288 1932999377 4029944277 1311499745 2053611300 1712470121 2170629752 776840098 405165394 149964462 2068359758 741613868 1290794520 1961382811 1550922537 612153477 1482566947 1268020385 4207142766 1629452879 1727636098 1048454516 711713556 3860076645 151570717 2778632581 1869931186 12219123 981418363 2895439760 3162502752 574097108 3648720393 3965230278 233025658 218678676 772706191 111767095 2381447241 3650652598 570371481 1852401276 3917863284 4091237087 4099128246 1839299598 2365192454 2560146268 2615459114 333056579 2979976230 1758344365 4111612443 3596483439 3452169572 1372294264 1370085106 757142624 2044057133 4261831327 822431825 457386327 986945594 918579605 1355914407 3147891263 2308989060 361616912 478887377 2657321091 109688331 2065412942 728788331 1273391832 3212525925 1748234193 4276795644 1524245398 39129714 3229201445 3862749800 1521180812 623948415 678999098 659755996 229474009 3685402746 764872655 727013916 1165051562 4102725796 3983419433 736602113 19489235 1672864530 193319190 3049043595 1585415591 983399382 2223018297 2690423224 3984366621 670434822 839223231 3813110306 4252798600 2671022813 2939993258 3906988182 1418559239 4162951167 1054940564 3044188103 2963251408 4112310568 2829423617 925915536 2634421826 28296381 393695755 18095044 82054031 293507929 3882292645 3346201058 2580514305 301481320 1458429686 1823545409 784774926 1498273694 2422595602 804093040 2930648330 2475587163 1870237241 2005578875 107434663 1186007197 1172103433 393473645 565486475 2417322289 2894790885 585892967 1892513791 2836206985 4095874972 522019495 335867182 402941562 3288233507 3164770731 2700951634 3330320419 301155061 2310478671 2318200707 1328894488 2131775790 848019285 1121335027 3833325599 1421787514 1939200419 3434922377 2997334506 4129951850 397152715 1154068140 461252899 1512065695 2600170382 893756161 1671946171 4022117357 3922929058 583814115 506640153 1439082929 1122791811 587209234 2747095541 1560556055 1192458041 2332739888 905258168 3002066790 3290966356 67285605 3013618502 848685946 2627258476 1425331451 3577573157 3039795355 970203995 4186768760 2857405128 3155480631 1230428141 1221715446 3957212010 3929760226 3461074881 2420386838 1250610731 4236910388 3750851471 2491823240 2098499310 1513825838 222996147 1493299256 1158922656 3265841404 723093862 428310669 2603315433 4116094002 525948385 1742450830 2669151560 1523565636 2264098442 2152347909 1317278755 970693288 1918037551 2863110408 1281531371 3257222257 255 362436" option to reproduce the execution
0.29/0.34	c #vars 42650
0.29/0.34	c #constraints 1202
1.10/1.20	c BCD2: Hardening is enabled.
1.10/1.20	c BCD2: BiasedSearch is enabled.
1.10/1.20	c Solving starts ...
1.10/1.20	c ============================[ Search Statistics ]============================
1.10/1.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.20	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.20	c =============================================================================
1.10/1.20	c  0.0s |       0 |        0 |        0 |    15016      0 |    16046 |        0
10.59/10.65	c  9.5s |       0 |     1223 |      100 |    15016      0 |    16046 |        0
10.59/10.67	c  9.5s |       1 |     1223 |      100 |    15016      0 |    16046 |        0
16.59/16.65	c 15.4s |       1 |     1928 |      200 |    16518      0 |    16046 |        0
18.89/18.97	c 17.8s |       2 |     2197 |      250 |    16518      0 |    16046 |        0
26.49/26.55	c 25.4s |       2 |     2560 |      350 |    18170      0 |    16046 |        0
34.98/35.09	c 33.9s |       2 |     3575 |      450 |    18170      0 |    16046 |        0
36.48/36.50	c 35.3s |       3 |     3623 |      475 |    18170      0 |    16046 |        0
42.48/42.59	c 41.4s |       3 |     3983 |      575 |    19987      0 |    16046 |        0
49.49/49.57	c 48.4s |       3 |     4573 |      675 |    19987      0 |    16046 |        0
57.19/57.29	c 56.1s |       3 |     5220 |      775 |    19987      0 |    16046 |        0
60.38/60.43	c 59.2s |       4 |     5682 |      813 |    19987      0 |    16046 |        0
67.68/67.72	c 66.5s |       4 |     6246 |      913 |    21986      0 |    16046 |        0
74.98/75.10	c 73.9s |       4 |     6941 |     1013 |    21986      0 |    16046 |        0
83.78/83.82	c 82.6s |       4 |     7758 |     1113 |    21986      0 |    16046 |        0
91.38/91.45	c 90.3s |       4 |     8379 |     1213 |    21986      0 |    16046 |        0
98.57/98.67	c 97.5s |       4 |     9032 |     1313 |    21986      0 |    16046 |        0
99.08/99.11	c 97.9s |       5 |     9044 |     1320 |    21986      0 |    16046 |        0
105.17/105.24	c  104s |       5 |     9556 |     1420 |    24185      0 |    16046 |        0
110.57/110.66	c  109s |       5 |     9806 |     1520 |    24185      0 |    16046 |        0
116.47/116.56	c  115s |       5 |    10123 |     1620 |    24185      0 |    16046 |        0
125.57/125.62	c  124s |       5 |    10653 |     1720 |    24185      0 |    16046 |        0
132.07/132.17	c  130s |       5 |    10914 |     1820 |    24185      0 |    16046 |        0
139.07/139.11	c  137s |       5 |    11167 |     1920 |    24185      0 |    16046 |        0
145.76/145.84	c  144s |       5 |    11538 |     2020 |    24185      0 |    16046 |        0
149.76/149.89	c  148s |       6 |    11701 |     2081 |    26604      0 |    16046 |        0
155.66/155.73	c  154s |       6 |    12180 |     2181 |    26604      0 |    16046 |        0
163.06/163.17	c  161s |       6 |    12578 |     2281 |    26604      0 |    16046 |        0
169.76/169.84	c  168s |       6 |    13315 |     2381 |    26604      0 |    16046 |        0
175.56/175.60	c  174s |       6 |    14032 |     2481 |    26604      0 |    16046 |        0
179.56/179.63	c  178s |       6 |    14398 |     2581 |    26604      0 |    16046 |        0
184.16/184.21	c  183s |       6 |    14822 |     2681 |    26604      0 |    16046 |        0
188.56/188.66	c  187s |       6 |    15450 |     2781 |    26604      0 |    16046 |        0
193.16/193.28	c  192s |       6 |    15808 |     2881 |    26604      0 |    16046 |        0
198.66/198.79	c  197s |       6 |    16385 |     2981 |    26604      0 |    16046 |        0
202.66/202.76	c  201s |       6 |    16793 |     3081 |    26604      0 |    16046 |        0
208.56/208.67	c  207s |       6 |    17442 |     3181 |    26604      0 |    16046 |        0
210.95/211.07	c  209s |       7 |    17698 |     3223 |    29265      0 |    16046 |        0
214.85/214.92	c  213s |       7 |    17985 |     3323 |    29265      0 |    16046 |        0
219.85/219.99	c  218s |       7 |    18730 |     3423 |    29265      0 |    16046 |        0
225.25/225.32	c  224s |       7 |    19190 |     3523 |    29265      0 |    16046 |        0
230.35/230.43	c  229s |       7 |    19645 |     3623 |    29265      0 |    16046 |        0
234.95/235.08	c  233s |       7 |    20240 |     3723 |    29265      0 |    16046 |        0
239.95/240.09	c  238s |       7 |    20978 |     3823 |    29265      0 |    16046 |        0
244.35/244.48	c  243s |       7 |    21383 |     3923 |    29265      0 |    16046 |        0
249.15/249.22	c  248s |       7 |    22154 |     4023 |    29265      0 |    16046 |        0
255.16/255.29	c  254s |       7 |    22743 |     4123 |    29265      0 |    16046 |        0
260.95/261.04	c  259s |       7 |    23739 |     4223 |    29265      0 |    16046 |        0
265.65/265.74	c  264s |       7 |    24283 |     4323 |    29265      0 |    16046 |        0
270.35/270.46	c  269s |       7 |    24980 |     4423 |    29265      0 |    16046 |        0
274.75/274.88	c  273s |       7 |    25420 |     4523 |    29265      0 |    16046 |        0
279.04/279.10	c  277s |       7 |    25891 |     4623 |    29265      0 |    16046 |        0
283.34/283.45	c  282s |       7 |    26398 |     4723 |    29265      0 |    16046 |        0
288.15/288.24	c  287s |       7 |    27328 |     4823 |    29265      0 |    16046 |        0
293.84/293.99	c  292s |       7 |    27952 |     4923 |    32192      0 |    16046 |        0
294.64/294.73	c  293s |       8 |    27988 |     4936 |    32192      0 |    16046 |        0
299.15/299.21	c  298s |       8 |    28450 |     5036 |    32192      0 |    16046 |        0
303.65/303.70	c  302s |       8 |    28993 |     5136 |    32192      0 |    16046 |        0
308.44/308.58	c  307s |       8 |    29414 |     5236 |    32192      0 |    16046 |        0
314.94/315.05	c  313s |       8 |    30219 |     5336 |    32192      0 |    16046 |        0
320.24/320.30	c  319s |       8 |    30633 |     5436 |    32192      0 |    16046 |        0
325.94/326.07	c  324s |       8 |    31131 |     5536 |    32192      0 |    16046 |        0
331.14/331.22	c  330s |       8 |    31581 |     5636 |    32192      0 |    16046 |        0
336.64/336.77	c  335s |       8 |    32063 |     5736 |    32192      0 |    16046 |        0
341.94/342.08	c  340s |       8 |    32300 |     5836 |    32192      0 |    16046 |        0
347.33/347.49	c  346s |       8 |    32589 |     5936 |    32192      0 |    16046 |        0
352.04/352.16	c  350s |       8 |    32916 |     6036 |    32192      0 |    16046 |        0
357.33/357.42	c  356s |       8 |    33120 |     6136 |    32192      0 |    16046 |        0
363.23/363.33	c  362s |       8 |    33493 |     6236 |    32192      0 |    16046 |        0
368.73/368.87	c  367s |       8 |    34201 |     6336 |    32192      0 |    16046 |        0
374.23/374.30	c  373s |       8 |    35192 |     6436 |    32192      0 |    16046 |        0
380.13/380.27	c  379s |       8 |    36048 |     6536 |    32192      0 |    16046 |        0
385.04/385.12	c  383s |       8 |    36498 |     6636 |    32192      0 |    16046 |        0
390.23/390.36	c  389s |       8 |    37315 |     6736 |    32192      0 |    16046 |        0
394.53/394.62	c  393s |       8 |    37923 |     6836 |    32192      0 |    16046 |        0
399.03/399.14	c  397s |       8 |    38399 |     6936 |    32192      0 |    16046 |        0
403.83/403.92	c  402s |       8 |    39003 |     7036 |    32192      0 |    16046 |        0
408.82/408.94	c  407s |       8 |    39512 |     7136 |    32192      0 |    16046 |        0
413.53/413.67	c  412s |       8 |    40055 |     7236 |    32192      0 |    16046 |        0
417.72/417.88	c  416s |       8 |    40497 |     7336 |    32192      0 |    16046 |        0
422.12/422.20	c  421s |       8 |    40954 |     7436 |    32192      0 |    16046 |        0
425.22/425.31	c  424s |       9 |    41378 |     7506 |    35412      0 |    16046 |        0
428.62/428.78	c  427s |       9 |    41706 |     7606 |    35412      0 |    16046 |        0
434.22/434.35	c  433s |       9 |    42407 |     7706 |    35412      0 |    16046 |        0
437.83/437.94	c  436s |       9 |    42736 |     7806 |    35412      0 |    16046 |        0
442.13/442.25	c  441s |       9 |    43280 |     7906 |    35412      0 |    16046 |        0
446.82/446.90	c  445s |       9 |    43500 |     8006 |    35412      0 |    16046 |        0
452.62/452.74	c  451s |       9 |    44332 |     8106 |    35412      0 |    16046 |        0
457.72/457.88	c  456s |       9 |    44821 |     8206 |    35412      0 |    16046 |        0
462.32/462.45	c  461s |       9 |    45253 |     8306 |    35412      0 |    16046 |        0
466.32/466.45	c  465s |       9 |    45715 |     8406 |    35412      0 |    16046 |        0
471.22/471.38	c  470s |       9 |    46210 |     8506 |    35412      0 |    16046 |        0
475.91/476.00	c  474s |       9 |    46551 |     8606 |    35412      0 |    16046 |        0
480.62/480.71	c  479s |       9 |    47218 |     8706 |    35412      0 |    16046 |        0
486.41/486.55	c  485s |       9 |    47808 |     8806 |    35412      0 |    16046 |        0
491.41/491.58	c  490s |       9 |    48155 |     8906 |    35412      0 |    16046 |        0
496.61/496.73	c  495s |       9 |    48741 |     9006 |    35412      0 |    16046 |        0
501.31/501.41	c  500s |       9 |    49351 |     9106 |    35412      0 |    16046 |        0
507.02/507.12	c  505s |       9 |    50076 |     9206 |    35412      0 |    16046 |        0
511.71/511.86	c  510s |       9 |    50965 |     9306 |    35412      0 |    16046 |        0
516.81/516.90	c  515s |       9 |    51474 |     9406 |    35412      0 |    16046 |        0
521.41/521.52	c  520s |       9 |    52108 |     9506 |    35412      0 |    16046 |        0
526.21/526.33	c  525s |       9 |    52490 |     9606 |    35412      0 |    16046 |        0
531.11/531.20	c  530s |       9 |    53025 |     9706 |    35412      0 |    16046 |        0
534.31/534.41	c  533s |       9 |    53317 |     9806 |    35412      0 |    16046 |        0
537.11/537.25	c  536s |       9 |    53643 |     9906 |    35412      0 |    16046 |        0
540.11/540.28	c  539s |       9 |    54033 |    10006 |    35412      0 |    16046 |        0
544.60/544.72	c  543s |       9 |    54306 |    10106 |    35412      0 |    16046 |        0
549.50/549.67	c  548s |       9 |    54955 |    10206 |    35412      0 |    16046 |        0
555.10/555.26	c  554s |       9 |    55899 |    10306 |    35412      0 |    16046 |        0
560.50/560.62	c  559s |       9 |    56762 |    10406 |    35412      0 |    16046 |        0
565.00/565.16	c  563s |       9 |    57272 |    10506 |    35412      0 |    16046 |        0
570.70/570.83	c  569s |       9 |    57928 |    10606 |    35412      0 |    16046 |        0
575.60/575.70	c  574s |       9 |    58368 |    10706 |    35412      0 |    16046 |        0
580.71/580.84	c  579s |       9 |    58922 |    10806 |    35412      0 |    16046 |        0
586.00/586.18	c  584s |       9 |    59463 |    10906 |    35412      0 |    16046 |        0
590.90/591.00	c  589s |       9 |    59684 |    11006 |    35412      0 |    16046 |        0
596.40/596.53	c  595s |       9 |    60063 |    11106 |    35412      0 |    16046 |        0
601.00/601.17	c  599s |       9 |    60332 |    11206 |    35412      0 |    16046 |        0
605.50/605.66	c  604s |       9 |    60513 |    11306 |    38954      0 |    16046 |        0
608.09/608.21	c  607s |      10 |    60674 |    11361 |    38954      0 |    16046 |        0
612.79/612.95	c  611s |      10 |    61248 |    11461 |    38954      0 |    16046 |        0
617.39/617.58	c  616s |      10 |    61875 |    11561 |    38954      0 |    16046 |        0
622.69/622.88	c  621s |      10 |    62403 |    11661 |    38954      0 |    16046 |        0
627.69/627.83	c  626s |      10 |    62859 |    11761 |    38954      0 |    16046 |        0
632.50/632.65	c  631s |      10 |    63093 |    11861 |    38954      0 |    16046 |        0
636.69/636.86	c  635s |      10 |    63621 |    11961 |    38954      0 |    16046 |        0
641.20/641.32	c  640s |      10 |    63905 |    12061 |    38954      0 |    16046 |        0
644.69/644.89	c  643s |      10 |    64308 |    12161 |    38954      0 |    16046 |        0
649.00/649.19	c  647s |      10 |    64579 |    12261 |    38954      0 |    16046 |        0
652.79/652.94	c  651s |      10 |    64804 |    12361 |    38954      0 |    16046 |        0
656.39/656.58	c  655s |      10 |    65010 |    12461 |    38954      0 |    16046 |        0
660.99/661.19	c  659s |      10 |    65193 |    12561 |    38954      0 |    16046 |        0
666.49/666.61	c  665s |      10 |    65945 |    12661 |    38954      0 |    16046 |        0
671.28/671.41	c  670s |      10 |    66602 |    12761 |    38954      0 |    16046 |        0
675.78/675.97	c  674s |      10 |    67120 |    12861 |    38954      0 |    16046 |        0
680.38/680.53	c  679s |      10 |    67570 |    12961 |    38954      0 |    16046 |        0
685.08/685.21	c  684s |      10 |    68137 |    13061 |    38954      0 |    16046 |        0
688.98/689.14	c  687s |      10 |    68576 |    13161 |    38954      0 |    16046 |        0
692.68/692.89	c  691s |      10 |    69099 |    13261 |    38954      0 |    16046 |        0
696.19/696.40	c  695s |      10 |    69509 |    13361 |    38954      0 |    16046 |        0
700.38/700.55	c  699s |      10 |    69751 |    13461 |    38954      0 |    16046 |        0
704.99/705.18	c  703s |      10 |    69980 |    13561 |    38954      0 |    16046 |        0
710.78/710.96	c  709s |      10 |    70758 |    13661 |    38954      0 |    16046 |        0
716.49/716.63	c  715s |      10 |    71311 |    13761 |    38954      0 |    16046 |        0
721.79/721.96	c  720s |      10 |    71819 |    13861 |    38954      0 |    16046 |        0
727.09/727.29	c  726s |      10 |    72293 |    13961 |    38954      0 |    16046 |        0
733.38/733.53	c  732s |      10 |    73003 |    14061 |    38954      0 |    16046 |        0
738.98/739.10	c  737s |      10 |    73523 |    14161 |    38954      0 |    16046 |        0
744.08/744.20	c  742s |      10 |    73820 |    14261 |    38954      0 |    16046 |        0
749.09/749.23	c  748s |      10 |    74173 |    14361 |    38954      0 |    16046 |        0
754.68/754.88	c  753s |      10 |    74478 |    14461 |    38954      0 |    16046 |        0
759.88/760.10	c  758s |      10 |    74943 |    14561 |    38954      0 |    16046 |        0
765.28/765.46	c  764s |      10 |    75288 |    14661 |    38954      0 |    16046 |        0
770.18/770.38	c  769s |      10 |    75847 |    14761 |    38954      0 |    16046 |        0
775.48/775.68	c  774s |      10 |    76465 |    14861 |    38954      0 |    16046 |        0
780.27/780.43	c  779s |      10 |    76804 |    14961 |    38954      0 |    16046 |        0
785.87/786.07	c  784s |      10 |    77196 |    15061 |    38954      0 |    16046 |        0
791.67/791.87	c  790s |      10 |    77578 |    15161 |    38954      0 |    16046 |        0
797.97/798.13	c  796s |      10 |    78029 |    15261 |    38954      0 |    16046 |        0
802.57/802.77	c  801s |      10 |    78444 |    15361 |    38954      0 |    16046 |        0
807.77/807.92	c  806s |      10 |    79418 |    15461 |    38954      0 |    16046 |        0
812.97/813.12	c  811s |      10 |    79944 |    15561 |    38954      0 |    16046 |        0
817.87/818.05	c  816s |      10 |    80591 |    15661 |    38954      0 |    16046 |        0
822.57/822.71	c  821s |      10 |    80970 |    15761 |    38954      0 |    16046 |        0
827.87/828.01	c  826s |      10 |    81392 |    15861 |    38954      0 |    16046 |        0
832.17/832.38	c  831s |      10 |    81587 |    15961 |    38954      0 |    16046 |        0
836.36/836.51	c  835s |      10 |    81855 |    16061 |    38954      0 |    16046 |        0
840.66/840.89	c  839s |      10 |    82115 |    16161 |    38954      0 |    16046 |        0
844.77/844.94	c  843s |      10 |    82368 |    16261 |    38954      0 |    16046 |        0
850.06/850.24	c  849s |      10 |    82685 |    16361 |    38954      0 |    16046 |        0
856.06/856.22	c  855s |      10 |    83371 |    16461 |    38954      0 |    16046 |        0
861.85/862.02	c  860s |      10 |    83901 |    16561 |    38954      0 |    16046 |        0
867.64/867.83	c  866s |      10 |    84365 |    16661 |    38954      0 |    16046 |        0
873.64/873.81	c  872s |      10 |    84852 |    16761 |    38954      0 |    16046 |        0
879.64/879.85	c  878s |      10 |    85422 |    16861 |    38954      0 |    16046 |        0
886.04/886.29	c  885s |      10 |    85709 |    16961 |    38954      0 |    16046 |        0
892.83/893.00	c  891s |      10 |    85934 |    17061 |    42850      0 |    16046 |        0
898.33/898.57	c  897s |      11 |    86204 |    17144 |    42850      0 |    16046 |        0
902.63/902.88	c  901s |      11 |    86472 |    17244 |    42850      0 |    16046 |        0
908.63/908.83	c  907s |      11 |    87105 |    17344 |    42850      0 |    16046 |        0
913.73/913.93	c  912s |      11 |    87793 |    17444 |    42850      0 |    16046 |        0
919.22/919.45	c  918s |      11 |    88310 |    17544 |    42850      0 |    16046 |        0
925.12/925.32	c  924s |      11 |    89022 |    17644 |    42850      0 |    16046 |        0
930.21/930.41	c  929s |      11 |    89536 |    17744 |    42850      0 |    16046 |        0
936.02/936.24	c  935s |      11 |    90017 |    17844 |    42850      0 |    16046 |        0
941.21/941.40	c  940s |      11 |    90427 |    17944 |    42850      0 |    16046 |        0
946.81/947.08	c  945s |      11 |    90814 |    18044 |    42850      0 |    16046 |        0
952.00/952.28	c  951s |      11 |    91181 |    18144 |    42850      0 |    16046 |        0
958.50/958.72	c  957s |      11 |    91817 |    18244 |    42850      0 |    16046 |        0
964.70/964.99	c  963s |      11 |    92292 |    18344 |    42850      0 |    16046 |        0
971.00/971.24	c  970s |      11 |    92754 |    18444 |    42850      0 |    16046 |        0
977.89/978.19	c  976s |      11 |    93280 |    18544 |    42850      0 |    16046 |        0
984.49/984.73	c  983s |      11 |    93648 |    18644 |    42850      0 |    16046 |        0
991.69/991.91	c  990s |      11 |    94000 |    18744 |    42850      0 |    16046 |        0
998.59/998.87	c  997s |      11 |    94353 |    18844 |    42850      0 |    16046 |        0
1005.19/1005.46	c 1004s |      11 |    94621 |    18944 |    42850      0 |    16046 |        0
1010.99/1011.25	c 1010s |      11 |    95262 |    19044 |    42850      0 |    16046 |        0
1016.79/1017.00	c 1015s |      11 |    95717 |    19144 |    42850      0 |    16046 |        0
1022.38/1022.66	c 1021s |      11 |    96084 |    19244 |    42850      0 |    16046 |        0
1028.29/1028.52	c 1027s |      11 |    96510 |    19344 |    42850      0 |    16046 |        0
1032.88/1033.17	c 1031s |      11 |    96742 |    19444 |    42850      0 |    16046 |        0
1037.28/1037.54	c 1036s |      11 |    96948 |    19544 |    42850      0 |    16046 |        0
1043.38/1043.64	c 1042s |      11 |    97587 |    19644 |    42850      0 |    16046 |        0
1049.08/1049.38	c 1048s |      11 |    98167 |    19744 |    42850      0 |    16046 |        0
1054.58/1054.85	c 1053s |      11 |    98565 |    19844 |    42850      0 |    16046 |        0
1059.98/1060.23	c 1059s |      11 |    99178 |    19944 |    42850      0 |    16046 |        0
1065.28/1065.55	c 1064s |      11 |    99616 |    20044 |    42850      0 |    16046 |        0
1071.28/1071.51	c 1070s |      11 |   100133 |    20144 |    42850      0 |    16046 |        0
1076.78/1077.01	c 1075s |      11 |   100544 |    20244 |    42850      0 |    16046 |        0
1081.78/1082.06	c 1080s |      11 |   100945 |    20344 |    42850      0 |    16046 |        0
1086.47/1086.72	c 1085s |      11 |   101292 |    20444 |    42850      0 |    16046 |        0
1091.08/1091.34	c 1090s |      11 |   101712 |    20544 |    42850      0 |    16046 |        0
1096.48/1096.78	c 1095s |      11 |   102100 |    20644 |    42850      0 |    16046 |        0
1103.08/1103.37	c 1102s |      11 |   102665 |    20744 |    42850      0 |    16046 |        0
1109.78/1110.02	c 1108s |      11 |   103125 |    20844 |    42850      0 |    16046 |        0
1116.17/1116.46	c 1115s |      11 |   103541 |    20944 |    42850      0 |    16046 |        0
1122.27/1122.51	c 1121s |      11 |   103896 |    21044 |    42850      0 |    16046 |        0
1128.87/1129.14	c 1127s |      11 |   104267 |    21144 |    42850      0 |    16046 |        0
1135.87/1136.11	c 1134s |      11 |   104549 |    21244 |    42850      0 |    16046 |        0
1142.07/1142.31	c 1141s |      11 |   105161 |    21344 |    42850      0 |    16046 |        0
1148.57/1148.82	c 1147s |      11 |   105560 |    21444 |    42850      0 |    16046 |        0
1154.36/1154.60	c 1153s |      11 |   105993 |    21544 |    42850      0 |    16046 |        0
1160.06/1160.38	c 1159s |      11 |   106458 |    21644 |    42850      0 |    16046 |        0
1165.66/1165.97	c 1164s |      11 |   106729 |    21744 |    42850      0 |    16046 |        0
1171.96/1172.28	c 1171s |      11 |   107389 |    21844 |    42850      0 |    16046 |        0
1177.46/1177.74	c 1176s |      11 |   107940 |    21944 |    42850      0 |    16046 |        0
1182.56/1182.84	c 1181s |      11 |   108521 |    22044 |    42850      0 |    16046 |        0
1187.56/1187.85	c 1186s |      11 |   109093 |    22144 |    42850      0 |    16046 |        0
1192.66/1192.91	c 1191s |      11 |   109425 |    22244 |    42850      0 |    16046 |        0
1197.66/1197.96	c 1196s |      11 |   109641 |    22344 |    42850      0 |    16046 |        0
1202.46/1202.74	c 1201s |      11 |   109995 |    22444 |    42850      0 |    16046 |        0
1208.66/1208.97	c 1207s |      11 |   110535 |    22544 |    42850      0 |    16046 |        0
1215.06/1215.37	c 1214s |      11 |   110970 |    22644 |    42850      0 |    16046 |        0
1220.95/1221.24	c 1220s |      11 |   111227 |    22744 |    42850      0 |    16046 |        0
1226.36/1226.65	c 1225s |      11 |   111555 |    22844 |    42850      0 |    16046 |        0
1231.76/1232.09	c 1230s |      11 |   111771 |    22944 |    42850      0 |    16046 |        0
1237.26/1237.55	c 1236s |      11 |   111952 |    23044 |    42850      0 |    16046 |        0
1243.55/1243.85	c 1242s |      11 |   112593 |    23144 |    42850      0 |    16046 |        0
1248.95/1249.24	c 1248s |      11 |   113183 |    23244 |    42850      0 |    16046 |        0
1254.45/1254.70	c 1253s |      11 |   113686 |    23344 |    42850      0 |    16046 |        0
1260.25/1260.54	c 1259s |      11 |   114112 |    23444 |    42850      0 |    16046 |        0
1265.05/1265.39	c 1264s |      11 |   114484 |    23544 |    42850      0 |    16046 |        0
1270.95/1271.29	c 1270s |      11 |   114882 |    23644 |    42850      0 |    16046 |        0
1276.45/1276.75	c 1275s |      11 |   115469 |    23744 |    42850      0 |    16046 |        0
1282.24/1282.52	c 1281s |      11 |   116050 |    23844 |    42850      0 |    16046 |        0
1288.14/1288.47	c 1287s |      11 |   116776 |    23944 |    42850      0 |    16046 |        0
1294.04/1294.33	c 1293s |      11 |   117359 |    24044 |    42850      0 |    16046 |        0
1299.54/1299.82	c 1298s |      11 |   117786 |    24144 |    42850      0 |    16046 |        0
1305.34/1305.68	c 1304s |      11 |   118284 |    24244 |    42850      0 |    16046 |        0
1310.74/1311.04	c 1309s |      11 |   118630 |    24344 |    42850      0 |    16046 |        0
1317.04/1317.34	c 1316s |      11 |   119024 |    24444 |    42850      0 |    16046 |        0
1323.54/1323.84	c 1322s |      11 |   119413 |    24544 |    42850      0 |    16046 |        0
1330.14/1330.41	c 1329s |      11 |   120036 |    24644 |    42850      0 |    16046 |        0
1336.93/1337.25	c 1336s |      11 |   120769 |    24744 |    42850      0 |    16046 |        0
1343.53/1343.81	c 1342s |      11 |   121254 |    24844 |    42850      0 |    16046 |        0
1349.83/1350.17	c 1348s |      11 |   121749 |    24944 |    42850      0 |    16046 |        0
1355.93/1356.30	c 1355s |      11 |   122019 |    25044 |    42850      0 |    16046 |        0
1362.13/1362.46	c 1361s |      11 |   122601 |    25144 |    42850      0 |    16046 |        0
1368.03/1368.37	c 1367s |      11 |   123027 |    25244 |    42850      0 |    16046 |        0
1374.23/1374.54	c 1373s |      11 |   123392 |    25344 |    42850      0 |    16046 |        0
1380.13/1380.40	c 1379s |      11 |   123655 |    25444 |    42850      0 |    16046 |        0
1385.33/1385.65	c 1384s |      11 |   123915 |    25544 |    42850      0 |    16046 |        0
1390.33/1390.63	c 1389s |      11 |   124270 |    25644 |    42850      0 |    16046 |        0
1396.63/1396.99	c 1395s |      11 |   124792 |    25744 |    47136      0 |    16046 |        0
1401.13/1401.50	c 1400s |      12 |   125091 |    25819 |    47136      0 |    16046 |        0
1406.92/1407.21	c 1406s |      12 |   125482 |    25919 |    47136      0 |    16046 |        0
1412.72/1413.01	c 1411s |      12 |   125800 |    26019 |    47136      0 |    16046 |        0
1418.52/1418.86	c 1417s |      12 |   126364 |    26119 |    47136      0 |    16046 |        0
1423.82/1424.16	c 1422s |      12 |   126848 |    26219 |    47136      0 |    16046 |        0
1429.42/1429.77	c 1428s |      12 |   127411 |    26319 |    47136      0 |    16046 |        0
1435.42/1435.71	c 1434s |      12 |   128009 |    26419 |    47136      0 |    16046 |        0
1440.62/1440.96	c 1439s |      12 |   128453 |    26519 |    47136      0 |    16046 |        0
1446.22/1446.60	c 1445s |      12 |   128844 |    26619 |    47136      0 |    16046 |        0
1451.92/1452.27	c 1451s |      12 |   129324 |    26719 |    47136      0 |    16046 |        0
1458.02/1458.32	c 1457s |      12 |   129973 |    26819 |    47136      0 |    16046 |        0
1464.51/1464.81	c 1463s |      12 |   130474 |    26919 |    47136      0 |    16046 |        0
1470.52/1470.82	c 1469s |      12 |   130948 |    27019 |    47136      0 |    16046 |        0
1477.31/1477.61	c 1476s |      12 |   131642 |    27119 |    47136      0 |    16046 |        0
1483.62/1483.95	c 1482s |      12 |   131847 |    27219 |    47136      0 |    16046 |        0
1489.41/1489.75	c 1488s |      12 |   132430 |    27319 |    47136      0 |    16046 |        0
1496.11/1496.40	c 1495s |      12 |   132691 |    27419 |    47136      0 |    16046 |        0
1502.21/1502.60	c 1501s |      12 |   132867 |    27519 |    47136      0 |    16046 |        0
1508.71/1509.00	c 1507s |      12 |   133376 |    27619 |    47136      0 |    16046 |        0
1514.41/1514.80	c 1513s |      12 |   133775 |    27719 |    47136      0 |    16046 |        0
1520.60/1520.94	c 1519s |      12 |   134234 |    27819 |    47136      0 |    16046 |        0
1526.61/1526.96	c 1525s |      12 |   134442 |    27919 |    47136      0 |    16046 |        0
1533.21/1533.54	c 1532s |      12 |   134868 |    28019 |    47136      0 |    16046 |        0
1538.90/1539.23	c 1538s |      12 |   135218 |    28119 |    47136      0 |    16046 |        0
1545.90/1546.23	c 1545s |      12 |   135955 |    28219 |    47136      0 |    16046 |        0
1551.30/1551.69	c 1550s |      12 |   136272 |    28319 |    47136      0 |    16046 |        0
1558.10/1558.40	c 1557s |      12 |   136495 |    28419 |    47136      0 |    16046 |        0
1563.80/1564.15	c 1562s |      12 |   136816 |    28519 |    47136      0 |    16046 |        0
1570.30/1570.64	c 1569s |      12 |   137276 |    28619 |    47136      0 |    16046 |        0
1576.70/1577.02	c 1575s |      12 |   137541 |    28719 |    47136      0 |    16046 |        0
1582.60/1582.99	c 1581s |      12 |   137762 |    28819 |    47136      0 |    16046 |        0
1588.89/1589.23	c 1588s |      12 |   138125 |    28919 |    47136      0 |    16046 |        0
1594.39/1594.72	c 1593s |      12 |   138636 |    29019 |    47136      0 |    16046 |        0
1599.99/1600.31	c 1599s |      12 |   139096 |    29119 |    47136      0 |    16046 |        0
1605.70/1606.02	c 1604s |      12 |   139460 |    29219 |    47136      0 |    16046 |        0
1611.49/1611.86	c 1610s |      12 |   139884 |    29319 |    47136      0 |    16046 |        0
1617.19/1617.51	c 1616s |      12 |   140186 |    29419 |    47136      0 |    16046 |        0
1623.19/1623.59	c 1622s |      12 |   140367 |    29519 |    47136      0 |    16046 |        0
1627.79/1628.13	c 1626s |      12 |   140555 |    29619 |    47136      0 |    16046 |        0
1633.39/1633.72	c 1632s |      12 |   140870 |    29719 |    47136      0 |    16046 |        0
1639.79/1640.14	c 1638s |      12 |   141213 |    29819 |    47136      0 |    16046 |        0
1645.78/1646.16	c 1644s |      12 |   141412 |    29919 |    47136      0 |    16046 |        0
1651.28/1651.66	c 1650s |      12 |   141814 |    30019 |    47136      0 |    16046 |        0
1657.08/1657.44	c 1656s |      12 |   142220 |    30119 |    47136      0 |    16046 |        0
1663.38/1663.79	c 1662s |      12 |   142460 |    30219 |    47136      0 |    16046 |        0
1669.69/1670.09	c 1668s |      12 |   142906 |    30319 |    47136      0 |    16046 |        0
1676.89/1677.20	c 1676s |      12 |   143386 |    30419 |    47136      0 |    16046 |        0
1683.59/1683.92	c 1682s |      12 |   143596 |    30519 |    47136      0 |    16046 |        0
1689.49/1689.87	c 1688s |      12 |   143907 |    30619 |    47136      0 |    16046 |        0
1696.19/1696.53	c 1695s |      12 |   144284 |    30719 |    47136      0 |    16046 |        0
1702.89/1703.28	c 1702s |      12 |   144664 |    30819 |    47136      0 |    16046 |        0
1709.38/1709.74	c 1708s |      12 |   145213 |    30919 |    47136      0 |    16046 |        0
1714.88/1715.23	c 1714s |      12 |   145472 |    31019 |    47136      0 |    16046 |        0
1719.98/1720.40	c 1719s |      12 |   145686 |    31119 |    47136      0 |    16046 |        0
1726.58/1726.97	c 1725s |      12 |   146023 |    31219 |    47136      0 |    16046 |        0
1732.78/1733.13	c 1731s |      12 |   146377 |    31319 |    47136      0 |    16046 |        0
1739.18/1739.59	c 1738s |      12 |   146835 |    31419 |    47136      0 |    16046 |        0
1744.58/1744.98	c 1743s |      12 |   147250 |    31519 |    47136      0 |    16046 |        0
1749.38/1749.72	c 1748s |      12 |   147516 |    31619 |    47136      0 |    16046 |        0
1755.08/1755.45	c 1754s |      12 |   147998 |    31719 |    47136      0 |    16046 |        0
1761.88/1762.24	c 1761s |      12 |   148438 |    31819 |    47136      0 |    16046 |        0
1767.67/1768.06	c 1766s |      12 |   148776 |    31919 |    47136      0 |    16046 |        0
1773.27/1773.68	c 1772s |      12 |   149083 |    32019 |    47136      0 |    16046 |        0
1779.27/1779.69	c 1778s |      12 |   149417 |    32119 |    47136      0 |    16046 |        0
1785.37/1785.71	c 1784s |      12 |   149799 |    32219 |    47136      0 |    16046 |        0
1791.47/1791.84	c 1790s |      12 |   150103 |    32319 |    47136      0 |    16046 |        0
1797.08/1797.42	c 1796s |      12 |   150514 |    32419 |    47136      0 |    16046 |        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-4100353-1466213361/watcher-4100353-1466213361 -o /tmp/evaluation-result-4100353-1466213361/solver-4100353-1466213361 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100353-1466213361.opb 

pid=17023
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.95 2.50 2.33 3/180 17026
/proc/meminfo: memFree=29210744/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 2679 0 0 0 0 0 0 0 20 0 4 0 23384882 735506432 3040 33554432000 4194304 16246674 140736972231232 140736972230656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 180335 3049 441 2943 0 177229 0
[pid=17026/tid=17027] ppid=17023 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 754380800 3112 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 758575104 3127 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 762769408 3143 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100139 s]
/proc/loadavg: 2.95 2.50 2.33 3/180 17026
/proc/meminfo: memFree=29210744/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1300036 CPUtime=0.09 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 28874 0 0 0 5 4 0 0 20 0 4 0 23384882 1331236864 29173 33554432000 4194304 16246674 140736972231232 140736972230544 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 325009 29188 799 2943 0 321903 0
[pid=17026/tid=17027] ppid=17023 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1331236864 29199 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1331236864 29211 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1331236864 29221 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1300036

[startup+0.200513 s]
/proc/loadavg: 2.95 2.50 2.33 3/180 17026
/proc/meminfo: memFree=29210744/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 48858 0 0 0 12 7 0 0 20 0 4 0 23384882 1342771200 49668 33554432000 4194304 16246674 140736972231232 140736972230544 14795827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 327825 49668 801 2943 0 324719 0
[pid=17026/tid=17027] ppid=17023 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1342771200 49668 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1342771200 49668 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1342771200 49668 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300493 s]
/proc/loadavg: 2.95 2.50 2.33 3/180 17026
/proc/meminfo: memFree=29210744/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 50625 0 0 0 22 7 0 0 20 0 4 0 23384882 1343819776 51435 33554432000 4194304 16246674 140736972231232 140736972230544 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 328081 51435 801 2943 0 324975 0
[pid=17026/tid=17027] ppid=17023 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1343819776 51435 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1343819776 51435 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1343819776 51435 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700396 s]
/proc/loadavg: 2.95 2.50 2.33 3/180 17026
/proc/meminfo: memFree=29210744/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=0.69 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 94619 0 0 0 56 13 0 0 20 0 4 0 23384882 1358499840 95429 33554432000 4194304 16246674 140736972231232 140736972230544 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 95429 835 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 95429 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 95429 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 95429 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1326660

[startup+1.50039 s]
/proc/loadavg: 2.95 2.50 2.33 3/184 17030
/proc/meminfo: memFree=28798656/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 102535 0 0 0 135 14 0 0 20 0 4 0 23384882 1358499840 103345 33554432000 4194304 16246674 140736972231232 140736972213120 13780488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 103345 886 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 103345 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 103345 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 103345 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10039 s]
/proc/loadavg: 2.95 2.50 2.33 3/184 17030
/proc/meminfo: memFree=28798524/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=3.09 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 102538 0 0 0 295 14 0 0 20 0 4 0 23384882 1358499840 103348 33554432000 4194304 16246674 140736972231232 140736972213120 5829752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 103348 889 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 103348 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 103348 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 103348 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

[startup+6.30041 s]
/proc/loadavg: 2.87 2.49 2.33 3/184 17030
/proc/meminfo: memFree=28549412/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=6.29 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 190340 0 0 0 604 25 0 0 20 0 4 0 23384882 1358499840 191150 33554432000 4194304 16246674 140736972231232 140736972213120 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 191150 889 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 191150 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 191150 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 191150 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7003 s]
/proc/loadavg: 2.80 2.48 2.33 4/184 17030
/proc/meminfo: memFree=28119632/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272340 0 0 0 1229 40 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140736972213120 5601651 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273150 889 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5005 s]
/proc/loadavg: 2.76 2.49 2.33 3/184 17030
/proc/meminfo: memFree=28119956/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=25.49 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272340 0 0 0 2509 40 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140736972213120 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273150 889 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.50 2.45 2.32 3/184 17032
/proc/meminfo: memFree=28119912/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272340 0 0 0 5068 40 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140736972213120 5600120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273150 889 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.34 2.42 2.32 4/183 17034
/proc/meminfo: memFree=28119884/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=102.28 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272340 0 0 0 10188 40 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140736972213120 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273150 889 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273150 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660


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

/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1326660

[startup+1302.3 s]
/proc/loadavg: 2.24 2.23 2.25 3/183 17114
/proc/meminfo: memFree=28159084/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1302.04 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 130163 41 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 12415657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1326660

[startup+1362.3 s]
/proc/loadavg: 2.26 2.23 2.25 3/183 17115
/proc/meminfo: memFree=28148240/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1362.03 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 136162 41 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1326660

[startup+1422.3 s]
/proc/loadavg: 2.24 2.23 2.25 3/183 17116
/proc/meminfo: memFree=28147692/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1422.03 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 142162 41 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 13774460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1326660

[startup+1482.3 s]
/proc/loadavg: 2.18 2.22 2.24 3/183 17117
/proc/meminfo: memFree=28147664/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1482.01 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 148160 41 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.14 2.21 2.24 3/183 17118
/proc/meminfo: memFree=28147908/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1542.01 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 154160 41 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 5659568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.22 2.21 2.23 3/183 17120
/proc/meminfo: memFree=28147420/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1601.99 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 160158 41 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 5600395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 2.23 3/183 17121
/proc/meminfo: memFree=28147624/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1661.98 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 166157 41 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 5825286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.30 2.22 2.23 3/183 17122
/proc/meminfo: memFree=28147576/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1721.98 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 172156 42 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 5600232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1326660

[startup+1782.3 s]
/proc/loadavg: 2.32 2.24 2.23 3/183 17123
/proc/meminfo: memFree=28148124/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1781.97 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 178155 42 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1326660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.22 2.23 3/183 17123
/proc/meminfo: memFree=28147980/32872528 swapFree=1431120/1543540
[pid=17026] ppid=17023 vsize=1326660 CPUtime=1800.07 cores=0,2,4,6
/proc/17026/stat : 17026 (toysat) R 17023 17026 15180 0 -1 4202496 272419 0 0 0 179965 42 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140736972213120 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17026/statm: 331665 273154 892 2943 0 328559 0
[pid=17026/tid=17027] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17027/stat : 17027 (toysat) S 17023 17026 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260943047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17028] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (toysat) S 17023 17026 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260932558064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17023 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (toysat) S 17023 17026 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23384882 1358499840 273154 33554432000 4194304 16246674 140736972231232 140260814089392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1326660

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.66
CPU system time (s): 0.421935
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 1326660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.421935
maximum resident set size= 1092616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272419
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= 91
involuntary context switches= 1968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5993 second user time and 6.87195 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 03:29:21
IDJOB=4100353
IDBENCH=1606
IDSOLVER=2542
FILE ID=node116/4100353-1466213361
RUNJOBID= node116-1466206094-15196
PBS_JOBID= 19918160
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 02b8e2ce7db79ee00a9a8f2ebac90f1b
RANDOM SEED=623196760

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29211536 kB
Buffers:          101124 kB
Cached:           121680 kB
SwapCached:         2160 kB
Active:          1253288 kB
Inactive:         123640 kB
Active(anon):    1154964 kB
Inactive(anon):     1544 kB
Active(file):      98324 kB
Inactive(file):   122096 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             18384 kB
Writeback:            40 kB
AnonPages:       2698664 kB
Mapped:            10820 kB
Shmem:                 0 kB
Slab:             603516 kB
SReclaimable:      46900 kB
SUnreclaim:       556616 kB
KernelStack:        1448 kB
PageTables:         9584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2840724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 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-18 03:59:22