Trace number 4093488

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 832.842 833.027

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-langford-3-11_wcsp.wbo
MD5SUM69dbc7406636817ba2a44752a9d60525
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark16.6995
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1089
Total number of constraints40843
Number of soft constraints40810
Number of constraints which are clauses40810
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint33
Top cost 1
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 40810
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 34
Number of bits of the biggest sum of numbers6
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-16T18:38:15+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","--wbo","--search=bcd2","HOME/instance-4093488-1466095094.wbo"]
0.00/0.01	c use --random-gen="1493727826 4199951072 796877465 778188820 4146198238 1819162791 1728017721 3600476882 3239793354 3071544404 3878505462 2755043932 3727390856 3431151740 3844896079 3957250411 4151857069 2237133178 522307110 1161585210 2026448506 3050872762 1702776142 4112500342 3383474598 1390638470 4294463969 3212719185 3574987478 3677382791 2684254931 3068750589 3039326205 924790084 1800902291 3804195727 3852581252 1260676838 2755517082 154724204 1811490006 4099755592 4099239779 3723489826 262376749 3314755691 2767376946 1519986677 4145677308 2881139055 3751825764 1824189627 295556818 3763898059 366662891 1069734946 911607008 1502646640 3115130322 3103208750 3705143663 2526252255 4233138395 3191261788 4276349165 1261924294 3149610914 606121214 2073898211 1807669011 4179393186 619519617 172615305 3874266611 1608904046 1972685751 4213442987 2384435384 1763199776 2574921722 1802694854 554927400 587169681 1868445382 781419776 4150974730 3767216933 4021714431 3437810226 3332319402 1876037655 4201586757 3455073374 2431844821 1555206135 2218939142 3970830030 3841888911 146941547 10883687 2681818941 2927102728 3943287631 294152364 2181110272 3169749838 2493388439 255203191 3287399220 2975725804 2588761923 2261365428 4212922406 2463906744 1531706105 2959407347 1169843071 3030926873 1167686614 1546384037 276410862 2492425616 187078808 3592137697 3688556034 4061680449 1977514563 3515788962 1472721927 3284025512 1066942024 2044814436 2861904499 3319751819 2019914552 1144818878 57953583 1504430952 1318582478 2041400452 33177210 4112906805 1679828516 3343775310 1627234698 376232716 48053662 1147984752 2932220892 1241633549 1411739285 1324939960 2286853652 1609654532 370784781 210743582 75448591 2613430368 2298228928 2228477823 1426103369 2897527357 2796109054 2955582873 1079732100 3857982094 1455888824 3298846670 1610797464 2505142201 261525091 3151267981 899765781 1951585695 1530859608 1173828487 1996387724 3765281253 863281419 1943923052 3212291760 558888418 2575081885 2831956347 4169368932 2793833432 2737612400 982513202 261150223 953092558 1230967732 982466165 4065915780 3550055822 2985559350 1618850926 1954338812 292640660 881981421 1357773096 4046516994 3441575755 1666133035 1343205786 3288411383 251447054 3185852196 657623642 53321934 1928984095 997809458 2910137184 400863035 447624730 2627817943 1182996344 3316760827 3466840476 751794448 786915913 86978778 656545523 241208376 3671306497 2836664011 1757685803 1302677941 848740129 1906307306 1683235100 1002400778 1656448847 1486226098 1387685781 2202872395 193654474 2009943179 2909950237 3238930077 4243242851 28996308 874404296 2784330787 1997832258 882689512 2902074446 3444408870 4065165551 18874913 2403333024 2731080072 2912161624 1141997922 219041030 3667326513 3352408169 255 362436" option to reproduce the execution
1.59/1.61	c #vars 1089
1.59/1.61	c #constraints 40843
2.69/2.78	c BCD2: Hardening is enabled.
2.69/2.78	c BCD2: BiasedSearch is enabled.
2.69/2.78	c Solving starts ...
2.69/2.78	c ============================[ Search Statistics ]============================
2.69/2.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.78	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.78	c =============================================================================
2.79/2.80	c  0.0s |       0 |        0 |        0 |    27591      0 |    40810 |        0
2.79/2.85	c  0.1s |       1 |     1006 |      100 |    27591      0 |    40810 |        0
2.89/2.90	c  0.1s |       2 |     1862 |      250 |    30351      0 |    40810 |        0
2.89/2.98	c  0.2s |       3 |     2916 |      475 |    33387      0 |    40810 |        0
2.99/3.09	c  0.3s |       4 |     4124 |      813 |    36726      0 |    40810 |        0
3.29/3.31	c  0.5s |       5 |     5722 |     1320 |    40399      0 |    40810 |        0
3.59/3.64	c  0.8s |       6 |     7928 |     2081 |    48883      0 |    40810 |        0
4.09/4.16	c  1.4s |       7 |    11055 |     3223 |    53772      0 |    40810 |        0
4.79/4.88	c  2.1s |       8 |    15659 |     4936 |    59150      0 |    40810 |        0
6.19/6.29	c  3.5s |       9 |    22945 |     7506 |    65066      0 |    40810 |        0
8.29/8.32	c  5.5s |       9 |    31391 |    10406 |    65066      0 |    40812 |      194
8.79/8.88	c  6.1s |      10 |    34365 |    11361 |    71573      0 |    40812 |      194
10.79/10.89	c  8.1s |      10 |    43197 |    13761 |    71573      0 |    40817 |      678
12.89/12.98	c 10.2s |      10 |    50034 |    15561 |    71573      0 |    40826 |     1543
14.99/15.01	c 12.2s |      10 |    54643 |    16761 |    71573      0 |    40841 |     2943
15.39/15.50	c 12.7s |      11 |    55744 |    17144 |    78731      0 |    40842 |     3039
17.59/17.61	c 14.8s |      11 |    60006 |    18444 |    78731      0 |    40848 |     3606
19.59/19.63	c 16.8s |      11 |    63566 |    19844 |    78731      0 |    40849 |     3701
21.69/21.78	c 19.0s |      11 |    66677 |    20944 |    78731      0 |    40854 |     4172
23.89/23.93	c 21.1s |      11 |    68437 |    21844 |    78731      0 |    40854 |     4172
25.89/25.97	c 23.2s |      11 |    70406 |    22744 |    78731      0 |    40858 |     4506
27.89/27.99	c 25.2s |      11 |    71903 |    23544 |    78731      0 |    40859 |     4603
30.29/30.31	c 27.5s |      11 |    73609 |    24344 |    78731      0 |    40860 |     4698
32.39/32.48	c 29.7s |      11 |    75117 |    25044 |    78731      0 |    40862 |     4882
34.59/34.64	c 31.8s |      11 |    76507 |    25744 |    86605      0 |    40862 |     4882
34.89/34.99	c 32.2s |      12 |    76602 |    25819 |    86605      0 |    40862 |     4882
37.09/37.14	c 34.3s |      12 |    77896 |    26419 |    86605      0 |    40863 |     4974
39.49/39.55	c 36.8s |      12 |    78882 |    27019 |    86605      0 |    40863 |     4974
41.59/41.65	c 38.9s |      12 |    79687 |    27519 |    86605      0 |    40863 |     4974
43.99/44.01	c 41.2s |      12 |    80349 |    28019 |    86605      0 |    40863 |     4974
45.99/46.09	c 43.3s |      12 |    80843 |    28419 |    86605      0 |    40863 |     4974
48.09/48.13	c 45.3s |      12 |    81391 |    28819 |    86605      0 |    40863 |     4974
50.49/50.57	c 47.8s |      12 |    82111 |    29319 |    86605      0 |    40863 |     4974
52.59/52.65	c 49.9s |      12 |    82726 |    29719 |    86605      0 |    40863 |     4974
54.98/55.07	c 52.3s |      12 |    83252 |    30119 |    86605      0 |    40863 |     4974
57.18/57.27	c 54.5s |      12 |    83907 |    30519 |    86605      0 |    40864 |     5069
59.28/59.39	c 56.6s |      12 |    84464 |    30919 |    86605      0 |    40864 |     5069
61.79/61.87	c 59.1s |      12 |    85228 |    31419 |    86605      0 |    40864 |     5069
64.18/64.24	c 61.4s |      12 |    85851 |    31819 |    86605      0 |    40865 |     5165
66.38/66.47	c 63.7s |      12 |    86747 |    32319 |    86605      0 |    40865 |     5165
68.39/68.48	c 65.7s |      12 |    87385 |    32719 |    86605      0 |    40866 |     5257
70.78/70.82	c 68.0s |      12 |    87996 |    33119 |    86605      0 |    40866 |     5257
72.98/73.09	c 70.3s |      12 |    88580 |    33519 |    86605      0 |    40866 |     5257
75.38/75.47	c 72.7s |      12 |    89148 |    33919 |    86605      0 |    40866 |     5257
77.78/77.84	c 75.0s |      12 |    89697 |    34319 |    86605      0 |    40866 |     5257
80.18/80.22	c 77.4s |      12 |    90306 |    34719 |    86605      0 |    40866 |     5257
82.38/82.46	c 79.7s |      12 |    90696 |    35019 |    86605      0 |    40866 |     5257
84.98/85.00	c 82.2s |      12 |    91319 |    35419 |    86605      0 |    40866 |     5257
87.28/87.39	c 84.6s |      12 |    91745 |    35719 |    86605      0 |    40867 |     5352
89.38/89.41	c 86.6s |      12 |    92158 |    36019 |    86605      0 |    40867 |     5352
91.98/92.05	c 89.3s |      12 |    92621 |    36419 |    86605      0 |    40867 |     5352
94.08/94.15	c 91.4s |      12 |    92995 |    36719 |    86605      0 |    40867 |     5352
96.28/96.32	c 93.5s |      12 |    93385 |    37019 |    86605      0 |    40867 |     5352
98.58/98.60	c 95.8s |      12 |    93736 |    37319 |    86605      0 |    40867 |     5352
100.68/100.76	c 98.0s |      12 |    94103 |    37619 |    86605      0 |    40867 |     5352
102.98/103.03	c  100s |      12 |    94482 |    37919 |    86605      0 |    40867 |     5352
105.38/105.46	c  102s |      12 |    94886 |    38219 |    86605      0 |    40867 |     5352
107.67/107.79	c  104s |      12 |    95251 |    38519 |    86605      0 |    40867 |     5352
110.18/110.21	c  107s |      12 |    95704 |    38819 |    95266      0 |    40868 |     5447
110.27/110.34	c  107s |      13 |    95716 |    38832 |    95266      0 |    40868 |     5447
112.38/112.49	c  109s |      13 |    96156 |    39132 |    95266      0 |    40868 |     5447
114.97/115.06	c  112s |      13 |    96768 |    39532 |    95266      0 |    40868 |     5447
117.37/117.41	c  114s |      13 |    97186 |    39832 |    95266      0 |    40868 |     5447
119.77/119.88	c  117s |      13 |    97543 |    40132 |    95266      0 |    40868 |     5447
122.18/122.21	c  119s |      13 |    97911 |    40432 |    95266      0 |    40868 |     5447
124.48/124.50	c  121s |      13 |    98295 |    40732 |    95266      0 |    40868 |     5447
127.07/127.16	c  124s |      13 |    98795 |    41132 |    95266      0 |    40868 |     5447
129.07/129.18	c  126s |      13 |    99153 |    41432 |    95266      0 |    40868 |     5447
131.67/131.71	c  128s |      13 |    99608 |    41732 |    95266      0 |    40869 |     5542
133.97/134.06	c  131s |      13 |   100043 |    42032 |    95266      0 |    40869 |     5542
136.37/136.44	c  133s |      13 |   100433 |    42332 |    95266      0 |    40869 |     5542
138.97/139.06	c  136s |      13 |   100813 |    42632 |    95266      0 |    40869 |     5542
141.67/141.78	c  138s |      13 |   101196 |    42932 |    95266      0 |    40869 |     5542
143.77/143.85	c  141s |      13 |   101427 |    43132 |    95266      0 |    40869 |     5542
146.38/146.49	c  143s |      13 |   101789 |    43432 |    95266      0 |    40869 |     5542
149.27/149.31	c  146s |      13 |   102149 |    43732 |    95266      0 |    40869 |     5542
151.97/152.07	c  149s |      13 |   102515 |    44032 |    95266      0 |    40869 |     5542
154.77/154.81	c  152s |      13 |   102857 |    44332 |    95266      0 |    40869 |     5542
157.47/157.54	c  154s |      13 |   103260 |    44632 |    95266      0 |    40869 |     5542
160.27/160.36	c  157s |      13 |   103625 |    44932 |    95266      0 |    40869 |     5542
163.27/163.34	c  160s |      13 |   103969 |    45232 |    95266      0 |    40869 |     5542
165.36/165.42	c  162s |      13 |   104213 |    45432 |    95266      0 |    40869 |     5542
168.26/168.35	c  165s |      13 |   104659 |    45732 |    95266      0 |    40870 |     5638
170.86/170.98	c  168s |      13 |   105035 |    46032 |    95266      0 |    40870 |     5638
173.26/173.39	c  170s |      13 |   105392 |    46332 |    95266      0 |    40870 |     5638
175.96/176.08	c  173s |      13 |   105796 |    46632 |    95266      0 |    40870 |     5638
178.37/178.41	c  175s |      13 |   106164 |    46932 |    95266      0 |    40870 |     5638
180.96/181.05	c  178s |      13 |   106546 |    47232 |    95266      0 |    40870 |     5638
183.66/183.70	c  180s |      13 |   106910 |    47532 |    95266      0 |    40870 |     5638
186.56/186.62	c  183s |      13 |   107302 |    47832 |    95266      0 |    40870 |     5638
188.56/188.68	c  185s |      13 |   107531 |    48032 |    95266      0 |    40870 |     5638
191.36/191.42	c  188s |      13 |   107887 |    48332 |    95266      0 |    40870 |     5638
194.06/194.16	c  191s |      13 |   108212 |    48632 |    95266      0 |    40870 |     5638
196.76/196.89	c  194s |      13 |   108556 |    48932 |    95266      0 |    40870 |     5638
199.66/199.77	c  196s |      13 |   108925 |    49232 |    95266      0 |    40870 |     5638
202.56/202.64	c  199s |      13 |   109298 |    49532 |    95266      0 |    40870 |     5638
205.56/205.62	c  202s |      13 |   109633 |    49832 |    95266      0 |    40870 |     5638
208.26/208.36	c  205s |      13 |   109998 |    50132 |    95266      0 |    40870 |     5638
211.15/211.30	c  208s |      13 |   110398 |    50432 |    95266      0 |    40870 |     5638
214.15/214.22	c  211s |      13 |   110790 |    50732 |    95266      0 |    40870 |     5638
216.86/216.95	c  214s |      13 |   111175 |    51032 |    95266      0 |    40870 |     5638
219.55/219.64	c  216s |      13 |   111494 |    51332 |    95266      0 |    40870 |     5638
222.45/222.52	c  219s |      13 |   111901 |    51632 |    95266      0 |    40870 |     5638
224.56/224.64	c  221s |      13 |   112117 |    51832 |    95266      0 |    40870 |     5638
226.85/226.92	c  224s |      13 |   112394 |    52032 |    95266      0 |    40871 |     5733
229.45/229.58	c  226s |      13 |   112769 |    52332 |    95266      0 |    40871 |     5733
231.55/231.66	c  228s |      13 |   113017 |    52532 |    95266      0 |    40871 |     5733
233.65/233.74	c  230s |      13 |   113244 |    52732 |    95266      0 |    40871 |     5733
235.85/235.93	c  233s |      13 |   113499 |    52932 |    95266      0 |    40871 |     5733
238.65/238.77	c  235s |      13 |   113882 |    53232 |    95266      0 |    40871 |     5733
241.45/241.57	c  238s |      13 |   114257 |    53532 |    95266      0 |    40871 |     5733
244.05/244.10	c  241s |      13 |   114605 |    53732 |    95266      0 |    40872 |     5827
246.05/246.18	c  243s |      13 |   114842 |    53932 |    95266      0 |    40872 |     5827
248.35/248.43	c  245s |      13 |   115067 |    54132 |    95266      0 |    40872 |     5827
250.85/250.93	c  248s |      13 |   115316 |    54332 |    95266      0 |    40872 |     5827
253.05/253.10	c  250s |      13 |   115539 |    54532 |    95266      0 |    40872 |     5827
255.25/255.37	c  252s |      13 |   115741 |    54732 |    95266      0 |    40872 |     5827
258.25/258.31	c  255s |      13 |   116139 |    55032 |    95266      0 |    40872 |     5827
260.25/260.39	c  257s |      13 |   116419 |    55232 |    95266      0 |    40872 |     5827
262.45/262.56	c  259s |      13 |   116643 |    55432 |    95266      0 |    40872 |     5827
264.75/264.80	c  262s |      13 |   116876 |    55632 |    95266      0 |    40872 |     5827
266.85/266.92	c  264s |      13 |   117118 |    55832 |    95266      0 |    40872 |     5827
269.55/269.63	c  266s |      13 |   117449 |    56132 |    95266      0 |    40872 |     5827
271.55/271.67	c  268s |      13 |   117688 |    56332 |    95266      0 |    40872 |     5827
273.75/273.82	c  271s |      13 |   117956 |    56532 |    95266      0 |    40872 |     5827
276.05/276.16	c  273s |      13 |   118174 |    56732 |    95266      0 |    40872 |     5827
278.24/278.31	c  275s |      13 |   118403 |    56932 |    95266      0 |    40872 |     5827
280.24/280.34	c  277s |      13 |   118642 |    57132 |    95266      0 |    40872 |     5827
282.34/282.49	c  279s |      13 |   118891 |    57332 |    95266      0 |    40872 |     5827
284.54/284.65	c  281s |      13 |   119122 |    57532 |    95266      0 |    40872 |     5827
286.64/286.76	c  283s |      13 |   119351 |    57732 |    95266      0 |    40872 |     5827
288.74/288.80	c  286s |      13 |   119600 |    57932 |    95266      0 |    40872 |     5827
290.74/290.84	c  288s |      13 |   119844 |    58132 |   104793      0 |    40872 |     5827
292.75/292.85	c  290s |      13 |   120084 |    58332 |   104793      0 |    40872 |     5827
292.94/293.04	c  290s |      14 |   120107 |    58352 |   104793      0 |    40872 |     5827
295.64/295.75	c  292s |      14 |   120406 |    58552 |   104793      0 |    40872 |     5827
298.34/298.42	c  295s |      14 |   120633 |    58752 |   104793      0 |    40872 |     5827
300.54/300.61	c  297s |      14 |   120860 |    58952 |   104793      0 |    40872 |     5827
303.24/303.34	c  300s |      14 |   121096 |    59152 |   104793      0 |    40872 |     5827
305.54/305.69	c  302s |      14 |   121326 |    59352 |   104793      0 |    40872 |     5827
308.34/308.40	c  305s |      14 |   121569 |    59552 |   104793      0 |    40872 |     5827
311.04/311.17	c  308s |      14 |   121828 |    59752 |   104793      0 |    40872 |     5827
313.55/313.66	c  310s |      14 |   122046 |    59952 |   104793      0 |    40872 |     5827
315.94/316.00	c  313s |      14 |   122297 |    60152 |   104793      0 |    40872 |     5827
318.34/318.40	c  315s |      14 |   122559 |    60352 |   104793      0 |    40872 |     5827
320.84/321.00	c  318s |      14 |   122796 |    60552 |   104793      0 |    40872 |     5827
323.14/323.23	c  320s |      14 |   123054 |    60752 |   104793      0 |    40872 |     5827
325.54/325.67	c  322s |      14 |   123280 |    60952 |   104793      0 |    40872 |     5827
327.74/327.83	c  325s |      14 |   123568 |    61152 |   104793      0 |    40872 |     5827
330.14/330.27	c  327s |      14 |   123795 |    61352 |   104793      0 |    40872 |     5827
332.44/332.56	c  329s |      14 |   124041 |    61552 |   104793      0 |    40872 |     5827
334.94/335.04	c  332s |      14 |   124282 |    61752 |   104793      0 |    40872 |     5827
337.63/337.76	c  334s |      14 |   124530 |    61952 |   104793      0 |    40872 |     5827
339.94/340.07	c  337s |      14 |   124794 |    62152 |   104793      0 |    40872 |     5827
342.43/342.59	c  339s |      14 |   125041 |    62352 |   104793      0 |    40872 |     5827
345.13/345.26	c  342s |      14 |   125283 |    62552 |   104793      0 |    40872 |     5827
347.64/347.74	c  344s |      14 |   125506 |    62752 |   104793      0 |    40872 |     5827
350.23/350.39	c  347s |      14 |   125758 |    62952 |   104793      0 |    40872 |     5827
353.43/353.59	c  350s |      14 |   126028 |    63152 |   104793      0 |    40872 |     5827
356.33/356.45	c  353s |      14 |   126256 |    63352 |   104793      0 |    40872 |     5827
359.23/359.32	c  356s |      14 |   126507 |    63552 |   104793      0 |    40872 |     5827
362.04/362.17	c  359s |      14 |   126758 |    63752 |   104793      0 |    40872 |     5827
364.53/364.64	c  361s |      14 |   126980 |    63952 |   104793      0 |    40872 |     5827
367.33/367.45	c  364s |      14 |   127196 |    64152 |   104793      0 |    40872 |     5827
370.23/370.37	c  367s |      14 |   127453 |    64352 |   104793      0 |    40873 |     5920
372.73/372.83	c  370s |      14 |   127673 |    64552 |   104793      0 |    40873 |     5920
374.73/374.84	c  372s |      14 |   127914 |    64752 |   104793      0 |    40873 |     5920
377.03/377.15	c  374s |      14 |   128157 |    64952 |   104793      0 |    40873 |     5920
379.33/379.44	c  376s |      14 |   128390 |    65152 |   104793      0 |    40873 |     5920
381.43/381.58	c  378s |      14 |   128649 |    65352 |   104793      0 |    40873 |     5920
383.53/383.63	c  380s |      14 |   128913 |    65552 |   104793      0 |    40873 |     5920
385.63/385.71	c  382s |      14 |   129163 |    65752 |   104793      0 |    40873 |     5920
387.83/387.95	c  385s |      14 |   129397 |    65952 |   104793      0 |    40873 |     5920
390.93/391.10	c  388s |      14 |   129752 |    66252 |   104793      0 |    40873 |     5920
393.63/393.70	c  390s |      14 |   129974 |    66452 |   104793      0 |    40874 |     6016
395.72/395.84	c  393s |      14 |   130208 |    66652 |   104793      0 |    40874 |     6016
398.23/398.31	c  395s |      14 |   130446 |    66852 |   104793      0 |    40874 |     6016
400.82/400.91	c  398s |      14 |   130672 |    67052 |   104793      0 |    40874 |     6016
403.12/403.29	c  400s |      14 |   130895 |    67252 |   104793      0 |    40874 |     6016
405.62/405.70	c  402s |      14 |   131115 |    67452 |   104793      0 |    40874 |     6016
407.92/408.09	c  405s |      14 |   131341 |    67652 |   104793      0 |    40874 |     6016
410.33/410.49	c  407s |      14 |   131544 |    67852 |   104793      0 |    40874 |     6016
412.53/412.62	c  409s |      14 |   131811 |    68052 |   104793      0 |    40874 |     6016
414.92/415.06	c  412s |      14 |   132023 |    68252 |   104793      0 |    40874 |     6016
417.12/417.29	c  414s |      14 |   132303 |    68452 |   104793      0 |    40874 |     6016
419.52/419.65	c  416s |      14 |   132535 |    68652 |   104793      0 |    40874 |     6016
422.22/422.31	c  419s |      14 |   132773 |    68852 |   104793      0 |    40874 |     6016
424.73/424.84	c  422s |      14 |   132996 |    69052 |   104793      0 |    40874 |     6016
427.82/427.93	c  425s |      14 |   133386 |    69352 |   104793      0 |    40874 |     6016
430.23/430.38	c  427s |      14 |   133612 |    69552 |   104793      0 |    40874 |     6016
432.43/432.57	c  429s |      14 |   133857 |    69752 |   104793      0 |    40874 |     6016
434.92/435.02	c  432s |      14 |   134097 |    69952 |   104793      0 |    40874 |     6016
437.42/437.50	c  434s |      14 |   134318 |    70152 |   104793      0 |    40874 |     6016
439.72/439.82	c  437s |      14 |   134553 |    70352 |   104793      0 |    40874 |     6016
442.32/442.44	c  439s |      14 |   134779 |    70552 |   104793      0 |    40874 |     6016
444.92/445.03	c  442s |      14 |   135024 |    70752 |   104793      0 |    40874 |     6016
447.32/447.46	c  444s |      14 |   135249 |    70952 |   104793      0 |    40874 |     6016
449.92/450.05	c  447s |      14 |   135475 |    71152 |   104793      0 |    40874 |     6016
452.32/452.47	c  449s |      14 |   135713 |    71352 |   104793      0 |    40874 |     6016
454.81/454.97	c  452s |      14 |   135960 |    71552 |   104793      0 |    40874 |     6016
457.21/457.30	c  454s |      14 |   136206 |    71752 |   104793      0 |    40874 |     6016
459.31/459.47	c  456s |      14 |   136440 |    71952 |   104793      0 |    40874 |     6016
461.71/461.88	c  459s |      14 |   136667 |    72152 |   104793      0 |    40874 |     6016
464.01/464.16	c  461s |      14 |   136937 |    72352 |   104793      0 |    40874 |     6016
466.42/466.60	c  463s |      14 |   137175 |    72552 |   104793      0 |    40874 |     6016
469.11/469.20	c  466s |      14 |   137415 |    72752 |   104793      0 |    40874 |     6016
471.51/471.65	c  468s |      14 |   137679 |    72952 |   104793      0 |    40874 |     6016
474.01/474.15	c  471s |      14 |   137942 |    73152 |   104793      0 |    40874 |     6016
476.42/476.57	c  473s |      14 |   138191 |    73352 |   104793      0 |    40874 |     6016
479.11/479.20	c  476s |      14 |   138397 |    73552 |   104793      0 |    40874 |     6016
481.71/481.88	c  479s |      14 |   138614 |    73752 |   104793      0 |    40874 |     6016
484.21/484.37	c  481s |      14 |   138827 |    73952 |   104793      0 |    40874 |     6016
486.81/486.98	c  484s |      14 |   139080 |    74152 |   104793      0 |    40874 |     6016
489.62/489.74	c  486s |      14 |   139308 |    74352 |   104793      0 |    40874 |     6016
492.11/492.21	c  489s |      14 |   139554 |    74552 |   104793      0 |    40874 |     6016
494.71/494.87	c  492s |      14 |   139788 |    74752 |   104793      0 |    40874 |     6016
497.51/497.63	c  494s |      14 |   140024 |    74952 |   104793      0 |    40874 |     6016
500.21/500.34	c  497s |      14 |   140243 |    75152 |   104793      0 |    40874 |     6016
502.71/502.82	c  500s |      14 |   140487 |    75352 |   104793      0 |    40874 |     6016
505.60/505.73	c  502s |      14 |   140714 |    75552 |   104793      0 |    40874 |     6016
508.31/508.43	c  505s |      14 |   140972 |    75752 |   104793      0 |    40874 |     6016
511.30/511.41	c  508s |      14 |   141222 |    75952 |   104793      0 |    40874 |     6016
513.81/513.92	c  511s |      14 |   141442 |    76152 |   104793      0 |    40874 |     6016
516.60/516.72	c  513s |      14 |   141661 |    76352 |   104793      0 |    40874 |     6016
519.31/519.44	c  516s |      14 |   141891 |    76552 |   104793      0 |    40874 |     6016
521.60/521.71	c  518s |      14 |   142131 |    76752 |   104793      0 |    40874 |     6016
524.30/524.42	c  521s |      14 |   142371 |    76952 |   104793      0 |    40874 |     6016
527.10/527.27	c  524s |      14 |   142612 |    77152 |   104793      0 |    40874 |     6016
530.40/530.58	c  527s |      14 |   142833 |    77352 |   104793      0 |    40874 |     6016
533.30/533.47	c  530s |      14 |   143074 |    77552 |   104793      0 |    40874 |     6016
536.40/536.51	c  533s |      14 |   143284 |    77752 |   104793      0 |    40874 |     6016
539.30/539.41	c  536s |      14 |   143509 |    77952 |   104793      0 |    40874 |     6016
542.20/542.38	c  539s |      14 |   143738 |    78152 |   104793      0 |    40874 |     6016
545.30/545.42	c  542s |      14 |   143977 |    78352 |   104793      0 |    40875 |     6110
548.20/548.31	c  545s |      14 |   144192 |    78552 |   104793      0 |    40875 |     6110
550.90/551.00	c  548s |      14 |   144430 |    78752 |   104793      0 |    40875 |     6110
553.30/553.45	c  550s |      14 |   144663 |    78952 |   104793      0 |    40875 |     6110
555.70/555.85	c  553s |      14 |   144910 |    79152 |   104793      0 |    40875 |     6110
557.90/558.06	c  555s |      14 |   145133 |    79352 |   104793      0 |    40875 |     6110
560.09/560.22	c  557s |      14 |   145359 |    79552 |   104793      0 |    40875 |     6110
562.49/562.69	c  559s |      14 |   145604 |    79752 |   104793      0 |    40875 |     6110
564.89/565.07	c  562s |      14 |   145832 |    79952 |   104793      0 |    40875 |     6110
567.39/567.58	c  564s |      14 |   146059 |    80152 |   104793      0 |    40875 |     6110
570.19/570.38	c  567s |      14 |   146311 |    80352 |   104793      0 |    40875 |     6110
572.99/573.17	c  570s |      14 |   146532 |    80552 |   104793      0 |    40875 |     6110
575.69/575.87	c  573s |      14 |   146774 |    80752 |   104793      0 |    40875 |     6110
578.79/578.97	c  576s |      14 |   147007 |    80952 |   104793      0 |    40875 |     6110
581.49/581.68	c  578s |      14 |   147259 |    81152 |   104793      0 |    40875 |     6110
584.29/584.41	c  581s |      14 |   147492 |    81352 |   104793      0 |    40875 |     6110
587.09/587.29	c  584s |      14 |   147707 |    81552 |   104793      0 |    40875 |     6110
589.79/589.99	c  587s |      14 |   147935 |    81752 |   104793      0 |    40875 |     6110
592.39/592.56	c  589s |      14 |   148170 |    81952 |   104793      0 |    40875 |     6110
595.19/595.35	c  592s |      14 |   148413 |    82152 |   104793      0 |    40875 |     6110
598.29/598.40	c  595s |      14 |   148643 |    82352 |   104793      0 |    40875 |     6110
601.38/601.58	c  598s |      14 |   148859 |    82552 |   104793      0 |    40875 |     6110
604.28/604.43	c  601s |      14 |   149093 |    82752 |   104793      0 |    40875 |     6110
607.19/607.32	c  604s |      14 |   149338 |    82952 |   104793      0 |    40875 |     6110
610.28/610.46	c  607s |      14 |   149585 |    83152 |   104793      0 |    40875 |     6110
613.28/613.42	c  610s |      14 |   149812 |    83352 |   104793      0 |    40875 |     6110
616.09/616.29	c  613s |      14 |   150070 |    83552 |   104793      0 |    40875 |     6110
618.68/618.88	c  616s |      14 |   150323 |    83752 |   104793      0 |    40875 |     6110
621.88/622.06	c  619s |      14 |   150557 |    83952 |   104793      0 |    40875 |     6110
624.79/624.99	c  622s |      14 |   150826 |    84152 |   104793      0 |    40875 |     6110
628.19/628.32	c  625s |      14 |   151036 |    84352 |   104793      0 |    40875 |     6110
630.68/630.89	c  628s |      14 |   151277 |    84552 |   104793      0 |    40875 |     6110
633.58/633.77	c  630s |      14 |   151523 |    84752 |   104793      0 |    40875 |     6110
636.78/637.00	c  634s |      14 |   151758 |    84952 |   104793      0 |    40875 |     6110
640.28/640.46	c  637s |      14 |   151991 |    85152 |   104793      0 |    40875 |     6110
643.28/643.49	c  640s |      14 |   152230 |    85352 |   104793      0 |    40875 |     6110
646.47/646.61	c  643s |      14 |   152466 |    85552 |   104793      0 |    40875 |     6110
649.47/649.64	c  646s |      14 |   152681 |    85752 |   104793      0 |    40875 |     6110
652.07/652.21	c  649s |      14 |   152926 |    85952 |   104793      0 |    40875 |     6110
655.17/655.33	c  652s |      14 |   153167 |    86152 |   104793      0 |    40875 |     6110
657.18/657.37	c  654s |      14 |   153287 |    86252 |   104793      0 |    40876 |     6201
660.28/660.42	c  657s |      14 |   153522 |    86452 |   104793      0 |    40876 |     6201
663.28/663.46	c  660s |      14 |   153728 |    86652 |   104793      0 |    40876 |     6201
666.18/666.32	c  663s |      14 |   153966 |    86852 |   104793      0 |    40876 |     6201
669.18/669.30	c  666s |      14 |   154203 |    87052 |   115273      0 |    40876 |     6201
672.38/672.55	c  669s |      14 |   154446 |    87252 |   115273      0 |    40876 |     6201
675.48/675.68	c  672s |      14 |   154662 |    87452 |   115273      0 |    40876 |     6201
678.37/678.52	c  675s |      15 |   154911 |    87632 |   115273      0 |    40876 |     6201
680.47/680.67	c  677s |      15 |   155065 |    87732 |   115273      0 |    40876 |     6201
683.67/683.85	c  681s |      15 |   155310 |    87932 |   115273      0 |    40876 |     6201
686.87/687.07	c  684s |      15 |   155540 |    88132 |   115273      0 |    40876 |     6201
690.27/690.42	c  687s |      15 |   155760 |    88332 |   115273      0 |    40876 |     6201
693.67/693.81	c  691s |      15 |   155994 |    88532 |   115273      0 |    40876 |     6201
696.77/696.97	c  694s |      15 |   156205 |    88732 |   115273      0 |    40876 |     6201
700.16/700.30	c  697s |      15 |   156439 |    88932 |   115273      0 |    40876 |     6201
703.76/703.99	c  701s |      15 |   156664 |    89132 |   115273      0 |    40876 |     6201
706.96/707.14	c  704s |      15 |   156880 |    89332 |   115273      0 |    40876 |     6201
710.16/710.34	c  707s |      15 |   157121 |    89532 |   115273      0 |    40876 |     6201
713.26/713.50	c  710s |      15 |   157335 |    89732 |   115273      0 |    40876 |     6201
716.46/716.63	c  713s |      15 |   157562 |    89932 |   115273      0 |    40876 |     6201
719.66/719.89	c  717s |      15 |   157791 |    90132 |   115273      0 |    40876 |     6201
722.95/723.17	c  720s |      15 |   158030 |    90332 |   115273      0 |    40876 |     6201
725.96/726.13	c  723s |      15 |   158261 |    90532 |   115273      0 |    40876 |     6201
728.85/729.02	c  726s |      15 |   158499 |    90732 |   115273      0 |    40876 |     6201
731.46/731.68	c  728s |      15 |   158727 |    90932 |   115273      0 |    40876 |     6201
734.35/734.54	c  731s |      15 |   158955 |    91132 |   115273      0 |    40876 |     6201
737.15/737.34	c  734s |      15 |   159174 |    91332 |   115273      0 |    40876 |     6201
740.25/740.45	c  737s |      15 |   159379 |    91532 |   115273      0 |    40876 |     6201
743.25/743.42	c  740s |      15 |   159622 |    91732 |   115273      0 |    40876 |     6201
746.85/747.04	c  744s |      15 |   159861 |    91932 |   115273      0 |    40877 |     6294
749.95/750.17	c  747s |      15 |   160083 |    92132 |   115273      0 |    40877 |     6294
753.15/753.32	c  750s |      15 |   160308 |    92332 |   115273      0 |    40877 |     6294
756.25/756.46	c  753s |      15 |   160553 |    92532 |   115273      0 |    40877 |     6294
759.34/759.51	c  756s |      15 |   160787 |    92732 |   115273      0 |    40877 |     6294
762.74/762.93	c  760s |      15 |   161009 |    92932 |   115273      0 |    40877 |     6294
765.84/766.02	c  763s |      15 |   161238 |    93132 |   115273      0 |    40877 |     6294
769.44/769.67	c  766s |      15 |   161442 |    93332 |   115273      0 |    40877 |     6294
772.74/772.93	c  770s |      15 |   161661 |    93532 |   115273      0 |    40877 |     6294
776.04/776.24	c  773s |      15 |   161886 |    93732 |   115273      0 |    40877 |     6294
779.34/779.52	c  776s |      15 |   162170 |    93932 |   115273      0 |    40878 |     6348
782.74/782.99	c  780s |      15 |   162396 |    94132 |   115273      0 |    40878 |     6348
786.34/786.52	c  783s |      15 |   162624 |    94332 |   115273      0 |    40878 |     6348
789.84/790.07	c  787s |      15 |   162842 |    94532 |   115273      0 |    40878 |     6348
793.04/793.27	c  790s |      15 |   163079 |    94732 |   115273      0 |    40878 |     6348
796.44/796.64	c  793s |      15 |   163337 |    94932 |   115273      0 |    40878 |     6348
799.74/799.95	c  797s |      15 |   163544 |    95132 |   115273      0 |    40878 |     6348
802.82/803.06	c  800s |      15 |   163766 |    95332 |   115273      0 |    40878 |     6348
806.12/806.34	c  803s |      15 |   163987 |    95532 |   115273      0 |    40878 |     6348
808.22/808.44	c  805s |      15 |   164098 |    95632 |   115273      0 |    40879 |     6440
811.72/811.96	c  809s |      15 |   164349 |    95832 |   115273      0 |    40879 |     6440
814.92/815.10	c  812s |      15 |   164599 |    96032 |   115273      0 |    40879 |     6440
818.11/818.39	c  815s |      15 |   164815 |    96232 |   115273      0 |    40879 |     6440
822.01/822.29	c  819s |      15 |   165054 |    96432 |   115273      0 |    40879 |     6440
830.10/830.34	c  827s |      15 |   165284 |    96632 |   115273      0 |    41086 |    17575
832.71/832.92	c  830s |      15 |   165404 |    96742 |   115273      0 |    41662 |    34754
832.71/832.92	c #cpu_time = 827.946s
832.71/832.92	c #wall_clock_time = 830.121s
832.71/832.92	c #decision = 165404
832.71/832.92	c #random_decision = 484
832.71/832.92	c #conflict = 96742
832.71/832.92	c #restart = 15
832.80/833.00	s UNSATISFIABLE
832.80/833.00	c total CPU time = 830.817s
832.80/833.00	c total wall clock time = 832.999s

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-4093488-1466095094/watcher-4093488-1466095094 -o /tmp/evaluation-result-4093488-1466095094/solver-4093488-1466095094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093488-1466095094.wbo 

pid=21764
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: 1.93 2.01 2.03 3/177 21767
/proc/meminfo: memFree=30010460/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 11559579 722923520 3502 33554432000 4194304 16246674 140734606410320 140734606409744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 177263 3512 441 2943 0 174157 0
[pid=21767/tid=21768] ppid=21764 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 741797888 3572 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 745992192 3590 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11559580 750186496 3606 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 1.93 2.01 2.03 3/177 21767
/proc/meminfo: memFree=30010460/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 29384 0 0 0 5 4 0 0 20 0 4 0 11559579 1249447936 30196 33554432000 4194304 16246674 140734606410320 140734606409632 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 305041 30209 802 2943 0 301935 0
[pid=21767/tid=21768] ppid=21764 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1249447936 30220 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1249447936 30231 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1249447936 30241 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200528 s]
/proc/loadavg: 1.93 2.01 2.03 3/177 21767
/proc/meminfo: memFree=30010460/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1305156 CPUtime=0.19 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 50722 0 0 0 12 7 0 0 20 0 4 0 11559579 1336479744 52045 33554432000 4194304 16246674 140734606410320 140734606409632 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 326289 52048 802 2943 0 323183 0
[pid=21767/tid=21768] ppid=21764 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1336479744 52050 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1336479744 52053 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1336479744 52055 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1305156

[startup+0.300483 s]
/proc/loadavg: 1.93 2.01 2.03 3/177 21767
/proc/meminfo: memFree=30010460/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 59203 0 0 0 20 9 0 0 20 0 4 0 11559579 1345916928 60526 33554432000 4194304 16246674 140734606410320 140734606409632 12459048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 328593 60536 829 2943 0 325487 0
[pid=21767/tid=21768] ppid=21764 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1345916928 60542 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1345916928 60548 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1345916928 60554 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.70037 s]
/proc/loadavg: 1.93 2.01 2.03 3/177 21767
/proc/meminfo: memFree=30010460/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 74138 0 0 0 58 11 0 0 20 0 4 0 11559579 1345916928 75460 33554432000 4194304 16246674 140734606410320 140734606409632 6197796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 328593 75471 837 2943 0 325487 0
[pid=21767/tid=21768] ppid=21764 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1345916928 75478 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1345916928 75485 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1345916928 75491 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 1.93 2.01 2.03 3/181 21771
/proc/meminfo: memFree=29487956/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1330756 CPUtime=1.49 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 129370 0 0 0 130 19 0 0 20 0 4 0 11559579 1362694144 130692 33554432000 4194304 16246674 140734606410320 140734606392192 12477964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 332689 130692 837 2943 0 329583 0
[pid=21767/tid=21768] ppid=21764 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1362694144 130692 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1362694144 130692 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1362694144 130692 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1330756

[startup+3.10039 s]
/proc/loadavg: 1.93 2.01 2.03 3/181 21771
/proc/meminfo: memFree=29225572/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 211265 0 0 0 279 30 0 0 20 0 4 0 11559579 1389957120 212587 33554432000 4194304 16246674 140734606410320 140734606393320 5531312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 212587 906 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 212587 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 212587 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 212587 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.3004 s]
/proc/loadavg: 1.94 2.01 2.03 3/181 21771
/proc/meminfo: memFree=28885964/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=6.29 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280037 0 0 0 590 39 0 0 20 0 4 0 11559579 1389957120 281359 33554432000 4194304 16246674 140734606410320 140734606392192 5531312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281359 909 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281359 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281359 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281359 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 1.94 2.01 2.03 3/181 21771
/proc/meminfo: memFree=28886432/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=12.69 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280041 0 0 0 1230 39 0 0 20 0 4 0 11559579 1389957120 281363 33554432000 4194304 16246674 140734606410320 140734606392192 13943608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281363 913 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5071 s]
/proc/loadavg: 1.95 2.01 2.02 3/181 21771
/proc/meminfo: memFree=28886724/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=25.5 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280041 0 0 0 2511 39 0 0 20 0 4 0 11559579 1389957120 281363 33554432000 4194304 16246674 140734606410320 140734606408128 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281363 913 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1357380

[startup+51.1004 s]
/proc/loadavg: 1.97 2.01 2.02 3/181 21772
/proc/meminfo: memFree=28886848/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=51.09 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280041 0 0 0 5070 39 0 0 20 0 4 0 11559579 1389957120 281363 33554432000 4194304 16246674 140734606410320 140734606392192 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281363 913 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281363 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1357380

[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.02 4/181 21773
/proc/meminfo: memFree=28749104/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=102.28 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280046 0 0 0 10189 39 0 0 20 0 4 0 11559579 1389957120 281368 33554432000 4194304 16246674 140734606410320 140734606392192 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281368 918 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280081 0 0 0 64179 39 0 0 20 0 4 0 11559579 1389957120 281368 33554432000 4194304 16246674 140734606410320 140734606392192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281368 918 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 1357380

[startup+702.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 21837
/proc/meminfo: memFree=26128436/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=702.16 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280103 0 0 0 70176 40 0 0 20 0 4 0 11559579 1389957120 281368 33554432000 4194304 16246674 140734606410320 140734606392192 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281368 918 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 1357380

[startup+762.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/182 21841
/proc/meminfo: memFree=24608340/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=762.14 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280118 0 0 0 76174 40 0 0 20 0 4 0 11559579 1389957120 281368 33554432000 4194304 16246674 140734606410320 140734606392192 5673507 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281368 918 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 1357380

[startup+822.3 s]
/proc/loadavg: 2.08 2.04 2.00 4/181 21842
/proc/meminfo: memFree=24608132/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=822.11 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280156 0 0 0 82171 40 0 0 20 0 4 0 11559579 1389957120 281368 33554432000 4194304 16246674 140734606410320 140734606392192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281368 918 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 1357380

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

[startup+825.7 s]
/proc/loadavg: 2.08 2.04 2.00 4/181 21842
/proc/meminfo: memFree=24608008/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1357380 CPUtime=825.51 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280156 0 0 0 82511 40 0 0 20 0 4 0 11559579 1389957120 281368 33554432000 4194304 16246674 140734606410320 140734606392192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339345 281368 918 2943 0 336239 0
[pid=21767/tid=21768] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1389957120 281368 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 825.51
Current children cumulated vsize (KiB) 1357380

[startup+828.9 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 21842
/proc/meminfo: memFree=24607140/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1358404 CPUtime=828.71 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280412 0 0 0 82831 40 0 0 20 0 4 0 11559579 1391005696 281624 33554432000 4194304 16246674 140734606410320 140734606409416 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339601 281624 918 2943 0 336495 0
[pid=21767/tid=21768] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 828.71
Current children cumulated vsize (KiB) 1358404

[startup+830.5 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 21842
/proc/meminfo: memFree=24607140/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1358404 CPUtime=830.3 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280413 0 0 0 82990 40 0 0 20 0 4 0 11559579 1391005696 281624 33554432000 4194304 16246674 140734606410320 140734606408192 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339601 281624 918 2943 0 336495 0
[pid=21767/tid=21768] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 830.3
Current children cumulated vsize (KiB) 1358404

[startup+832.1 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 21842
/proc/meminfo: memFree=24607124/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1358404 CPUtime=831.9 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280413 0 0 0 83150 40 0 0 20 0 4 0 11559579 1391005696 281624 33554432000 4194304 16246674 140734606410320 140734606392192 5676480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339601 281624 918 2943 0 336495 0
[pid=21767/tid=21768] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 831.9
Current children cumulated vsize (KiB) 1358404

[startup+832.5 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 21842
/proc/meminfo: memFree=24607124/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1358404 CPUtime=832.3 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 280413 0 0 0 83190 40 0 0 20 0 4 0 11559579 1391005696 281624 33554432000 4194304 16246674 140734606410320 140734606392192 5808428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 339601 281624 918 2943 0 336495 0
[pid=21767/tid=21768] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1358404 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1391005696 281624 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 832.3
Current children cumulated vsize (KiB) 1358404

[startup+832.907 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 21842
/proc/meminfo: memFree=24607124/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1362500 CPUtime=832.71 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 281191 0 0 0 83231 40 0 0 20 0 4 0 11559579 1395200000 282402 33554432000 4194304 16246674 140734606410320 140734606409416 13871457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 340625 282402 918 2943 0 337519 0
[pid=21767/tid=21768] ppid=21764 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1395200000 282402 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1395200000 282402 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1395200000 282402 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 832.71
Current children cumulated vsize (KiB) 1362500

[startup+833 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 21842
/proc/meminfo: memFree=24607124/32872528 swapFree=446836/479540
[pid=21767] ppid=21764 vsize=1362500 CPUtime=832.8 cores=1,3,5,7
/proc/21767/stat : 21767 (toysat) R 21764 21767 15681 0 -1 4202496 281439 0 0 0 83240 40 0 0 20 0 4 0 11559579 1395200000 282650 33554432000 4194304 16246674 140734606410320 140734606409416 13767897 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21767/statm: 340625 282650 920 2943 0 337519 0
[pid=21767/tid=21768] ppid=21764 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21768/stat : 21768 (toysat) S 21764 21767 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11559580 1395200000 282650 33554432000 4194304 16246674 140734606410320 139977300094192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21767/tid=21769] ppid=21764 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21769/stat : 21769 (toysat) S 21764 21767 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11559580 1395200000 282650 33554432000 4194304 16246674 140734606410320 139977212013808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21767/tid=21770] ppid=21764 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/21767/task/21770/stat : 21770 (toysat) S 21764 21767 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11559580 1395200000 282650 33554432000 4194304 16246674 140734606410320 139977201540272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 832.8
Current children cumulated vsize (KiB) 1362500

Child status: 0
Real time (s): 833.027
CPU time (s): 832.842
CPU user time (s): 832.412
CPU system time (s): 0.429934
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1362500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 832.412
system time used= 0.429934
maximum resident set size= 1130608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281442
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= 132
involuntary context switches= 900

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.6126 second user time and 3.14652 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 18:38:15
IDJOB=4093488
IDBENCH=79360
IDSOLVER=2553
FILE ID=node104/4093488-1466095094
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-langford-3-11_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093488-1466095094/watcher-4093488-1466095094 -o /tmp/evaluation-result-4093488-1466095094/solver-4093488-1466095094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093488-1466095094.wbo

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

MD5SUM BENCH= 69dbc7406636817ba2a44752a9d60525
RANDOM SEED=1047912649

node104.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		: 2667.035
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	: 5334.07
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		: 2667.035
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		: 2667.035
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		: 2667.035
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		: 2667.035
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		: 2667.035
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		: 2667.035
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		: 2667.035
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:        30010656 kB
Buffers:           51776 kB
Cached:           115360 kB
SwapCached:          516 kB
Active:          1591256 kB
Inactive:          87908 kB
Active(anon):    1513280 kB
Inactive(anon):     1168 kB
Active(file):      77976 kB
Inactive(file):    86740 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             17652 kB
Writeback:             0 kB
AnonPages:       1993380 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             569680 kB
SReclaimable:      13196 kB
SUnreclaim:       556484 kB
KernelStack:        1448 kB
PageTables:         8004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2125568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1280000 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= 71704 MiB
End job on node104 at 2016-06-16 18:52:08