Trace number 4109770

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-02OPTIMUM 370.654 370.71

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
MD5SUM469cd609ab798a94b23843d73b73e9c6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark42.1216
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1837
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 93832
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93831
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-19T15:47:11+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-4109770-1466344031.wbo"]
0.00/0.01	c use --random-gen="905442289 1838020904 3598836697 4268190259 543758454 2687853347 1116319025 3466344124 3339528356 2930255664 3865345834 2702510173 3264208348 1220515109 1901946535 503090444 2009978208 3243795071 247984824 443108778 1380252541 2049485309 3405948938 2240578063 636818109 1085830392 3195221719 925335237 1538913917 1894622520 3261277916 1907129971 2995927583 4082482305 3477542300 1326144920 3278186846 2383546490 3645981781 3276008585 3160974921 2750133299 1384562961 1079828347 4151099147 3493160785 990593749 3251166913 905114035 2471419841 1280779200 4240084534 3057769357 3229885483 847198023 3067124545 2882839083 2942144330 1884632200 1863938713 3180965445 931415544 4081448750 708372427 3960582239 3407025922 4007118427 1497081911 611153019 3584807775 548241920 1887337083 1649894500 2510071669 293087967 2433610683 3356432188 3435694013 1737336873 2552504928 2336002278 3408439330 874654092 3083978286 3326180970 1657325077 3732815529 110201004 3753987022 2774001343 545543030 53295439 2722304420 2753277438 1496120626 4161836445 2590250787 1746404737 2246167142 3198352371 2147638969 3781694743 1182421058 1813867228 982081922 1601951909 731989218 4141182729 1329123479 83323796 2387079186 753004408 1658590679 1899612689 1055070701 1464933212 3332136519 2299308 478175719 1787702245 192187028 144823670 1421255554 431378640 2932966542 730945753 2692431763 2922298394 812711290 2351130693 2015211613 1464735617 2952618698 1116057258 3900843266 2089184576 2914629170 4245905773 754035907 4245930539 3605439964 694826216 2754976220 1645173507 169847039 3811650245 1826603257 2382021814 133059109 214149903 1205354513 2593657813 2854214792 1186633239 2854972198 3907101899 3288354137 724495357 3113094525 2798654002 1410974992 69300592 316621813 1070402775 392030271 2250857364 2980342997 1766960415 2833500455 2488195363 1168738445 1254476550 2176914342 1045761375 1158838493 1020551442 1245584305 3907154152 2810853435 2504875790 3183269516 1270516783 45742641 179095761 2124288281 1515193683 1728924600 2547951549 4244333908 515610172 2486578894 76237288 3647310762 1532025106 2630402976 595920468 512679767 2190061219 272199124 2515582484 1885106084 2968497208 1094807589 2231157372 3969469088 3261718851 2913332366 577665996 136383526 1724645250 3544300905 3315892272 1983673394 307552313 3883648678 4008637060 3904973278 3252768824 1121997718 999321421 2666097193 642035117 3433649052 3069456368 1113776125 3955749050 3797341754 1176740005 4006011572 1405463614 2954952784 2331438210 2958135759 170475536 1086745141 1314703804 563329775 3614017529 3081002567 3247106609 3431762010 1236410547 3935647922 38177599 2033310484 411224998 3864479151 3750639911 3945826961 3161672737 176039327 1937943107 1335713976 3863376458 2905786907 3910934970 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1591      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1861 |        8 |     1591      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.006s
0.19/0.20	c #wall_clock_time = 0.006s
0.19/0.20	c #decision = 1861
0.19/0.20	c #random_decision = 9
0.19/0.20	c #conflict = 8
0.19/0.20	c #restart = 0
0.19/0.20	o 549
0.19/0.20	c BCD2: updating upper bound: 93831 -> 548
0.19/0.21	c BCD2: 0 <= obj <= 548
0.19/0.21	c BCD2: #cores=0, #unrelaxed=1837, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1591      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     2028 |      100 |     1751      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     4121 |      250 |     1927      0 |        0 |        0
0.29/0.35	c  0.1s |       3 |     6273 |      475 |     2120      0 |        0 |        0
0.39/0.47	c  0.3s |       4 |     8561 |      813 |     2332      0 |        0 |        0
0.59/0.63	c  0.4s |       5 |    11127 |     1320 |     2566      0 |        0 |        0
0.89/0.98	c  0.8s |       6 |    13970 |     2081 |     2823      0 |        0 |        0
1.59/1.61	c  1.4s |       7 |    17408 |     3223 |     3106      0 |        0 |        0
2.09/2.18	c  2.0s |       8 |    21976 |     4936 |     3417      1 |        0 |        0
3.58/3.60	c  3.4s |       9 |    27373 |     7506 |     3759      2 |        0 |        0
4.98/5.04	c  4.8s |      10 |    34469 |    11361 |     4135      3 |        0 |        0
6.99/7.05	c  6.8s |      10 |    42265 |    15761 |     4135      5 |        0 |        0
7.80/7.85	c  7.6s |      11 |    44068 |    17144 |     4549      5 |        0 |        0
9.90/9.91	c  9.7s |      11 |    50673 |    20944 |     4549      6 |        0 |        0
11.89/11.94	c 11.7s |      11 |    54253 |    23844 |     4549      7 |        0 |        0
13.79/13.80	c 13.6s |      12 |    56564 |    25819 |     5004      8 |        0 |        0
15.79/15.81	c 15.6s |      12 |    62527 |    29019 |     5004      9 |        0 |        0
17.79/17.82	c 17.6s |      12 |    68466 |    33519 |     5004     10 |        0 |        0
19.79/19.88	c 19.7s |      12 |    71971 |    36219 |     5004     11 |        0 |        0
21.09/21.11	c 20.9s |      13 |    75447 |    38832 |     5505     12 |        0 |        0
23.09/23.17	c 23.0s |      13 |    82158 |    42532 |     5505     13 |        0 |        0
25.09/25.18	c 25.0s |      13 |    86069 |    45532 |     5505     13 |        0 |        0
27.18/27.28	c 27.1s |      13 |    88789 |    47732 |     5505     14 |        0 |        0
29.28/29.31	c 29.1s |      13 |    91337 |    49732 |     5505     14 |        0 |        0
31.28/31.35	c 31.1s |      13 |    95004 |    52532 |     5505     15 |        0 |        0
33.28/33.37	c 33.2s |      13 |    98344 |    55132 |     5505     16 |        0 |        0
35.29/35.38	c 35.2s |      13 |   102134 |    58232 |     6056     17 |        0 |        0
35.38/35.47	c 35.3s |      14 |   102287 |    58352 |     6056     17 |        0 |        0
37.49/37.54	c 37.3s |      14 |   107469 |    61052 |     6056     17 |        0 |        0
39.48/39.56	c 39.3s |      14 |   109942 |    63052 |     6056     18 |        0 |        0
41.58/41.63	c 41.4s |      14 |   112571 |    65152 |     6056     18 |        0 |        0
43.68/43.70	c 43.5s |      14 |   115817 |    67852 |     6056     19 |        0 |        0
45.69/45.70	c 45.5s |      14 |   118984 |    70452 |     6056     20 |        0 |        0
47.69/47.71	c 47.5s |      14 |   122357 |    73152 |     6056     20 |        0 |        0
49.68/49.74	c 49.5s |      14 |   125437 |    75652 |     6056     21 |        0 |        0
51.79/51.81	c 51.6s |      14 |   128129 |    77652 |     6056     22 |        0 |        0
53.78/53.84	c 53.6s |      14 |   131044 |    80052 |     6056     22 |        0 |        0
55.78/55.86	c 55.6s |      14 |   133786 |    82252 |     6056     23 |        0 |        0
57.78/57.87	c 57.7s |      14 |   136155 |    84252 |     6056     23 |        0 |        0
59.88/59.91	c 59.7s |      14 |   138530 |    86252 |     6056     24 |        0 |        0
61.28/61.35	c 61.1s |      15 |   140153 |    87632 |     6662     24 |        0 |        0
63.38/63.44	c 63.2s |      15 |   143940 |    89232 |     6662     24 |        0 |        0
65.48/65.50	c 65.3s |      15 |   145876 |    90932 |     6662     25 |        0 |        0
67.47/67.53	c 67.3s |      15 |   147653 |    92432 |     6662     25 |        0 |        0
69.48/69.57	c 69.4s |      15 |   149100 |    93632 |     6662     25 |        0 |        0
71.68/71.72	c 71.5s |      15 |   150757 |    95032 |     6662     26 |        0 |        0
73.69/73.75	c 73.5s |      15 |   152564 |    96532 |     6662     26 |        0 |        0
75.78/75.82	c 75.6s |      15 |   153936 |    97732 |     6662     26 |        0 |        0
77.88/77.98	c 77.8s |      15 |   155376 |    98932 |     6662     27 |        0 |        0
80.08/80.15	c 79.9s |      15 |   156636 |   100032 |     6662     27 |        0 |        0
82.08/82.16	c 81.9s |      15 |   157948 |   101132 |     6662     27 |        0 |        0
84.18/84.24	c 84.0s |      15 |   159360 |   102332 |     6662     27 |        0 |        0
86.27/86.35	c 86.1s |      15 |   160617 |   103432 |     6662     28 |        0 |        0
88.37/88.44	c 88.2s |      15 |   162055 |   104632 |     6662     28 |        0 |        0
90.37/90.45	c 90.2s |      15 |   163408 |   105732 |     6662     28 |        0 |        0
92.48/92.57	c 92.4s |      15 |   164696 |   106832 |     6662     28 |        0 |        0
94.47/94.59	c 94.4s |      15 |   169817 |   110632 |     6662     29 |        0 |        0
96.47/96.59	c 96.4s |      15 |   174882 |   114432 |     6662     30 |        0 |        0
98.58/98.63	c 98.4s |      15 |   180283 |   118332 |     6662     31 |        0 |        0
100.58/100.68	c  100s |      15 |   184410 |   121532 |     6662     32 |        0 |        0
102.68/102.79	c  102s |      15 |   188181 |   124432 |     6662     33 |        0 |        0
104.77/104.85	c  104s |      15 |   192015 |   127332 |     6662     33 |        0 |        0
106.87/106.90	c  106s |      15 |   195121 |   129632 |     6662     34 |        0 |        0
108.67/108.71	c  108s |      16 |   197560 |   131552 |     7329     34 |        0 |        0
110.67/110.73	c  110s |      16 |   202468 |   133952 |     7329     35 |        0 |        0
112.67/112.78	c  112s |      16 |   205217 |   136052 |     7329     35 |        0 |        0
114.77/114.82	c  114s |      16 |   207542 |   137852 |     7329     35 |        0 |        0
116.77/116.87	c  116s |      16 |   209792 |   139552 |     7329     36 |        0 |        0
118.88/118.93	c  118s |      16 |   212065 |   141252 |     7329     36 |        0 |        0
120.87/120.97	c  120s |      16 |   214043 |   142752 |     7329     36 |        0 |        0
122.87/122.98	c  122s |      16 |   215890 |   144152 |     7329     37 |        0 |        0
124.97/125.01	c  124s |      16 |   217730 |   145552 |     7329     37 |        0 |        0
126.97/127.07	c  126s |      16 |   223361 |   149452 |     7329     38 |        0 |        0
128.97/129.08	c  128s |      16 |   226755 |   152052 |     7329     39 |        0 |        0
131.07/131.10	c  130s |      16 |   229168 |   153852 |     7329     39 |        0 |        0
133.08/133.12	c  132s |      16 |   233789 |   157152 |     7329     40 |        0 |        0
135.07/135.14	c  134s |      16 |   237476 |   159852 |     7329     40 |        0 |        0
137.17/137.21	c  136s |      16 |   240694 |   162052 |     7329     41 |        0 |        0
139.17/139.27	c  139s |      16 |   243531 |   164052 |     7329     41 |        0 |        0
141.26/141.32	c  141s |      16 |   245989 |   165852 |     7329     41 |        0 |        0
143.26/143.32	c  143s |      16 |   248464 |   167452 |     7329     42 |        0 |        0
145.37/145.40	c  145s |      16 |   250539 |   168952 |     7329     42 |        0 |        0
147.38/147.42	c  147s |      16 |   253237 |   170852 |     7329     43 |        0 |        0
149.37/149.49	c  149s |      16 |   257240 |   173652 |     7329     43 |        0 |        0
151.57/151.61	c  151s |      16 |   259570 |   175352 |     7329     44 |        0 |        0
153.57/153.64	c  153s |      16 |   262002 |   177052 |     7329     44 |        0 |        0
155.56/155.67	c  155s |      16 |   264482 |   178852 |     7329     44 |        0 |        0
157.57/157.67	c  157s |      16 |   266214 |   180252 |     7329     45 |        0 |        0
159.67/159.77	c  159s |      16 |   268596 |   181952 |     7329     45 |        0 |        0
161.77/161.87	c  161s |      16 |   271015 |   183652 |     7329     45 |        0 |        0
163.87/163.91	c  163s |      16 |   273154 |   185052 |     7329     46 |        0 |        0
165.86/165.92	c  165s |      16 |   275229 |   186352 |     7329     46 |        0 |        0
167.86/167.97	c  167s |      16 |   278740 |   188852 |     7329     46 |        0 |        0
169.97/170.03	c  169s |      16 |   281362 |   190652 |     7329     47 |        0 |        0
171.96/172.06	c  171s |      16 |   283369 |   192252 |     7329     47 |        0 |        0
174.06/174.11	c  173s |      16 |   285292 |   193552 |     7329     47 |        0 |        0
176.07/176.15	c  175s |      16 |   287519 |   195052 |     7329     48 |        0 |        0
178.06/178.16	c  177s |      16 |   289841 |   196652 |     8062     48 |        0 |        0
179.16/179.29	c  179s |      17 |   290951 |   197432 |     8062     48 |        0 |        0
181.26/181.34	c  181s |      17 |   295841 |   199232 |     8062     49 |        0 |        0
183.36/183.40	c  183s |      17 |   300362 |   202032 |     8062     49 |        0 |        0
185.36/185.41	c  185s |      17 |   303390 |   203932 |     8062     50 |        0 |        0
187.36/187.48	c  187s |      17 |   307573 |   206532 |     8062     50 |        0 |        0
189.46/189.58	c  189s |      17 |   309807 |   208132 |     8062     51 |        0 |        0
191.56/191.65	c  191s |      17 |   312617 |   210032 |     8062     51 |        0 |        0
193.66/193.74	c  193s |      17 |   315726 |   212132 |     8062     51 |        0 |        0
195.66/195.79	c  195s |      17 |   318299 |   213932 |     8062     52 |        0 |        0
197.76/197.81	c  197s |      17 |   320970 |   215532 |     8062     52 |        0 |        0
199.86/199.91	c  199s |      17 |   324071 |   217232 |     8062     52 |        0 |        0
201.86/201.96	c  201s |      17 |   326777 |   218932 |     8062     53 |        0 |        0
203.86/203.98	c  203s |      17 |   331615 |   221732 |     8062     53 |        0 |        0
205.96/206.02	c  205s |      17 |   335376 |   223832 |     8062     54 |        0 |        0
207.96/208.04	c  207s |      17 |   340503 |   227032 |     8062     54 |        0 |        0
209.96/210.09	c  209s |      17 |   343552 |   228932 |     8062     55 |        0 |        0
212.06/212.11	c  211s |      17 |   346199 |   230832 |     8062     55 |        0 |        0
214.06/214.14	c  213s |      17 |   349210 |   232632 |     8062     55 |        0 |        0
216.05/216.17	c  215s |      17 |   352979 |   234732 |     8062     56 |        0 |        0
218.05/218.18	c  217s |      17 |   356355 |   236632 |     8062     56 |        0 |        0
220.15/220.20	c  219s |      17 |   358290 |   237732 |     8062     56 |        0 |        0
222.17/222.29	c  222s |      17 |   361888 |   239732 |     8062     57 |        0 |        0
224.26/224.35	c  224s |      17 |   364937 |   241632 |     8062     57 |        0 |        0
226.35/226.42	c  226s |      17 |   367623 |   243232 |     8062     58 |        0 |        0
228.35/228.48	c  228s |      17 |   372018 |   246132 |     8062     58 |        0 |        0
230.46/230.58	c  230s |      17 |   374410 |   247832 |     8062     58 |        0 |        0
232.45/232.59	c  232s |      17 |   377670 |   249732 |     8062     59 |        0 |        0
234.55/234.64	c  234s |      17 |   380654 |   251632 |     8062     59 |        0 |        0
236.66/236.73	c  236s |      17 |   383973 |   253632 |     8062     60 |        0 |        0
238.66/238.74	c  238s |      17 |   387148 |   255532 |     8062     60 |        0 |        0
240.65/240.75	c  240s |      17 |   390015 |   257332 |     8062     60 |        0 |        0
242.76/242.80	c  242s |      17 |   392357 |   258932 |     8062     61 |        0 |        0
244.85/244.94	c  244s |      17 |   394741 |   260532 |     8062     61 |        0 |        0
246.95/247.07	c  246s |      17 |   397270 |   262132 |     8062     61 |        0 |        0
249.06/249.14	c  248s |      17 |   399333 |   263332 |     8062     62 |        0 |        0
251.05/251.15	c  250s |      17 |   401511 |   264632 |     8062     62 |        0 |        0
253.15/253.26	c  253s |      17 |   402676 |   265432 |     8062     62 |        0 |        0
255.35/255.48	c  255s |      17 |   404254 |   266432 |     8062     62 |        0 |        0
257.46/257.57	c  257s |      17 |   407317 |   268532 |     8062     63 |        0 |        0
259.56/259.62	c  259s |      17 |   409899 |   270332 |     8062     63 |        0 |        0
261.55/261.65	c  261s |      17 |   412903 |   272232 |     8062     63 |        0 |        0
263.65/263.70	c  263s |      17 |   416090 |   274332 |     8062     64 |        0 |        0
265.65/265.71	c  265s |      17 |   418957 |   276232 |     8062     64 |        0 |        0
267.65/267.74	c  267s |      17 |   421011 |   277732 |     8062     64 |        0 |        0
269.75/269.85	c  269s |      17 |   423742 |   279532 |     8062     65 |        0 |        0
271.85/271.92	c  271s |      17 |   426811 |   281532 |     8062     65 |        0 |        0
273.85/273.92	c  273s |      17 |   429812 |   283532 |     8062     66 |        0 |        0
275.84/275.98	c  275s |      17 |   432865 |   285532 |     8062     66 |        0 |        0
278.05/278.10	c  277s |      17 |   435000 |   287032 |     8062     66 |        0 |        0
280.15/280.21	c  279s |      17 |   437745 |   288832 |     8062     67 |        0 |        0
282.14/282.28	c  282s |      17 |   441014 |   290932 |     8062     67 |        0 |        0
284.34/284.42	c  284s |      17 |   443525 |   292432 |     8062     67 |        0 |        0
286.35/286.46	c  286s |      17 |   446775 |   294432 |     8869     68 |        0 |        0
288.26/288.38	c  288s |      18 |   449400 |   296252 |     8869     68 |        0 |        0
290.45/290.55	c  290s |      18 |   453502 |   297752 |     8869     68 |        0 |        0
292.44/292.57	c  292s |      18 |   456127 |   299152 |     8869     69 |        0 |        0
294.44/294.57	c  294s |      18 |   458772 |   300552 |     8869     69 |        0 |        0
296.54/296.65	c  296s |      18 |   460316 |   301452 |     8869     69 |        0 |        0
298.65/298.74	c  298s |      18 |   462346 |   302752 |     8869     69 |        0 |        0
300.84/300.90	c  300s |      18 |   464131 |   303952 |     8869     70 |        0 |        0
302.85/302.95	c  302s |      18 |   466725 |   305452 |     8869     70 |        0 |        0
304.94/305.02	c  304s |      18 |   469590 |   307052 |     8869     70 |        0 |        0
306.95/307.04	c  306s |      18 |   471973 |   308452 |     8869     70 |        0 |        0
309.05/309.16	c  308s |      18 |   474032 |   309852 |     8869     71 |        0 |        0
311.25/311.36	c  311s |      18 |   476249 |   311352 |     8869     71 |        0 |        0
313.34/313.44	c  313s |      18 |   478517 |   312852 |     8869     71 |        0 |        0
315.45/315.58	c  315s |      18 |   480083 |   313852 |     8869     71 |        0 |        0
317.54/317.61	c  317s |      18 |   481762 |   314952 |     8869     72 |        0 |        0
319.74/319.82	c  319s |      18 |   483848 |   316152 |     8869     72 |        0 |        0
321.84/321.92	c  321s |      18 |   486510 |   317752 |     8869     72 |        0 |        0
323.94/324.01	c  323s |      18 |   488836 |   319152 |     8869     72 |        0 |        0
325.94/326.04	c  325s |      18 |   490653 |   320252 |     8869     73 |        0 |        0
328.04/328.14	c  327s |      18 |   494003 |   322052 |     8869     73 |        0 |        0
330.14/330.26	c  330s |      18 |   496500 |   323552 |     8869     73 |        0 |        0
332.24/332.38	c  332s |      18 |   498673 |   324852 |     8869     73 |        0 |        0
334.44/334.54	c  334s |      18 |   500304 |   325952 |     8869     74 |        0 |        0
336.44/336.57	c  336s |      18 |   502069 |   327152 |     8869     74 |        0 |        0
338.54/338.64	c  338s |      18 |   504053 |   328352 |     8869     74 |        0 |        0
340.74/340.81	c  340s |      18 |   505907 |   329552 |     8869     74 |        0 |        0
342.83/342.92	c  342s |      18 |   507422 |   330552 |     8869     74 |        0 |        0
344.84/344.98	c  344s |      18 |   508819 |   331452 |     8869     75 |        0 |        0
346.84/346.98	c  346s |      18 |   510626 |   332652 |     8869     75 |        0 |        0
348.93/349.08	c  348s |      18 |   512241 |   333752 |     8869     75 |        0 |        0
351.04/351.19	c  350s |      18 |   514208 |   334952 |     8869     75 |        0 |        0
352.44/352.55	c  352s |      18 |   515299 |   335642 |     8869     75 |        0 |        0
352.44/352.55	c #cpu_time = 351.438s
352.44/352.55	c #wall_clock_time = 352.338s
352.44/352.55	c #decision = 515299
352.44/352.55	c #random_decision = 479
352.44/352.55	c #conflict = 335642
352.44/352.55	c #restart = 18
352.44/352.56	c BCD2: found a new core of size 1815: cost of the new core is >=1
352.44/352.56	c lower bound updated to 1
352.44/352.56	c BCD2: 1 <= obj <= 548
352.44/352.56	c BCD2: #cores=1, #unrelaxed=22, #relaxed=1815, #hardened=0
352.44/352.56	c BCD2: #sat=1 #unsat=2 bias=2/3
352.44/352.56	c Solving starts ...
352.44/352.56	c ============================[ Search Statistics ]============================
352.44/352.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
352.44/352.56	c       |         |          |          |    Limit     GC | Var      | Constra 
352.44/352.56	c =============================================================================
352.44/352.56	c  0.0s |       0 |        0 |        0 |     8869      0 |        0 |        0
352.74/352.87	c  0.3s |       0 |     1872 |        0 |     8869      1 |        0 |        0
352.74/352.87	c #cpu_time = 0.307s
352.74/352.87	c #wall_clock_time = 0.307s
352.74/352.87	c #decision = 1872
352.74/352.87	c #random_decision = 8
352.74/352.87	c #conflict = 0
352.74/352.87	c #restart = 0
352.74/352.87	o 8
352.74/352.88	c BCD2: hardening fixes 1708 literals
352.74/352.88	c BCD2: updating upper bound: 548 -> 7
352.74/352.88	c BCD2: 1 <= obj <= 7
352.74/352.88	c BCD2: #cores=1, #unrelaxed=0, #relaxed=129, #hardened=1708
352.74/352.88	c BCD2: #sat=2 #unsat=2 bias=2/4
352.74/352.88	c Solving starts ...
352.74/352.88	c ============================[ Search Statistics ]============================
352.74/352.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
352.74/352.88	c       |         |          |          |    Limit     GC | Var      | Constra 
352.74/352.88	c =============================================================================
352.74/352.88	c  0.0s |       0 |        0 |        0 |     8869      0 |     1708 |        2
353.04/353.16	c  0.3s |       1 |      215 |      100 |     8869      0 |     1708 |        2
353.24/353.35	c  0.5s |       2 |      489 |      250 |     8869      0 |     1708 |        2
353.34/353.48	c  0.6s |       3 |      915 |      475 |     8869      0 |     1708 |        2
353.64/353.71	c  0.8s |       4 |     1436 |      813 |     8869      0 |     1708 |        2
353.84/353.97	c  1.1s |       5 |     2179 |     1320 |     8869      0 |     1708 |        2
354.24/354.36	c  1.5s |       6 |     3478 |     2081 |     8869      0 |     1708 |        2
354.74/354.89	c  2.0s |       7 |     5239 |     3223 |     8869      0 |     1708 |        2
355.74/355.80	c  2.9s |       8 |     7779 |     4936 |     8869      0 |     1708 |        2
357.04/357.18	c  4.3s |       9 |    11538 |     7506 |     8869      1 |     1708 |        2
358.84/358.95	c  6.1s |      10 |    17130 |    11361 |     8869      2 |     1708 |        2
360.84/360.99	c  8.1s |      10 |    24010 |    15961 |     8869      2 |     1708 |        2
361.14/361.20	c  8.3s |      10 |    24646 |    16391 |     8869      3 |     1708 |        2
361.14/361.20	c #cpu_time = 8.300s
361.14/361.20	c #wall_clock_time = 8.321s
361.14/361.20	c #decision = 24646
361.14/361.20	c #random_decision = 35
361.14/361.20	c #conflict = 16391
361.14/361.20	c #restart = 10
361.14/361.20	o 3
361.14/361.20	c BCD2: hardening fixes 91 literals
361.14/361.20	c BCD2: updating upper bound: 7 -> 2
361.14/361.20	c BCD2: 1 <= obj <= 2
361.14/361.20	c BCD2: #cores=1, #unrelaxed=0, #relaxed=38, #hardened=1799
361.14/361.20	c BCD2: #sat=3 #unsat=2 bias=2/5
361.14/361.20	c Solving starts ...
361.14/361.20	c ============================[ Search Statistics ]============================
361.14/361.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
361.14/361.20	c       |         |          |          |    Limit     GC | Var      | Constra 
361.14/361.20	c =============================================================================
361.14/361.20	c  0.0s |       0 |        0 |        0 |     8869      0 |     1799 |        4
361.14/361.27	c  0.1s |       1 |      202 |      100 |     8869      0 |     1799 |        4
361.24/361.34	c  0.1s |       2 |      506 |      250 |     8869      0 |     1799 |        4
361.34/361.43	c  0.2s |       3 |      834 |      475 |     8869      0 |     1799 |        4
361.44/361.57	c  0.4s |       4 |     1312 |      813 |     8869      0 |     1799 |        4
361.64/361.77	c  0.6s |       5 |     2082 |     1320 |     8869      0 |     1799 |        4
361.94/362.09	c  0.9s |       6 |     3170 |     2081 |     8869      0 |     1799 |        4
362.44/362.52	c  1.3s |       7 |     4977 |     3223 |     8869      0 |     1799 |        4
363.13/363.29	c  2.1s |       8 |     7460 |     4936 |     8869      0 |     1799 |        4
364.23/364.31	c  3.1s |       9 |    11539 |     7506 |     8869      1 |     1799 |        4
365.03/365.14	c  3.9s |       9 |    14251 |     9239 |     8869      1 |     1799 |        4
365.03/365.14	c #cpu_time = 3.926s
365.03/365.14	c #wall_clock_time = 3.936s
365.03/365.14	c #decision = 14251
365.03/365.14	c #random_decision = 34
365.03/365.14	c #conflict = 9239
365.03/365.14	c #restart = 9
365.03/365.14	o 2
365.03/365.14	c BCD2: hardening fixes 21 literals
365.03/365.14	c BCD2: updating upper bound: 2 -> 1
365.03/365.14	c BCD2: 1 <= obj <= 1
365.03/365.14	c BCD2: #cores=1, #unrelaxed=0, #relaxed=17, #hardened=1820
365.03/365.14	c BCD2: #sat=4 #unsat=2 bias=2/6
365.03/365.14	c Solving starts ...
365.03/365.14	c ============================[ Search Statistics ]============================
365.03/365.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
365.03/365.14	c       |         |          |          |    Limit     GC | Var      | Constra 
365.03/365.14	c =============================================================================
365.03/365.14	c  0.0s |       0 |        0 |        0 |     8869      0 |     1820 |        6
365.03/365.20	c  0.1s |       1 |      171 |      100 |     8869      0 |     1820 |        6
365.14/365.30	c  0.2s |       2 |      365 |      250 |     8869      0 |     1820 |        6
365.33/365.41	c  0.3s |       3 |      679 |      475 |     8869      0 |     1820 |        6
365.43/365.56	c  0.4s |       4 |     1214 |      813 |     8869      0 |     1820 |        6
365.63/365.77	c  0.6s |       5 |     1913 |     1320 |     8869      0 |     1820 |        6
366.03/366.12	c  1.0s |       6 |     3099 |     2081 |     8869      1 |     1820 |        6
366.43/366.57	c  1.4s |       7 |     4903 |     3223 |     8869      1 |     1820 |        6
367.13/367.24	c  2.1s |       8 |     7412 |     4936 |     8869      1 |     1820 |        6
368.23/368.35	c  3.2s |       9 |    11435 |     7506 |     8869      2 |     1820 |        6
369.73/369.88	c  4.7s |      10 |    17512 |    11361 |     8869      2 |     1820 |        6
370.53/370.64	c  5.5s |      10 |    19475 |    12819 |     8869      3 |     1820 |        6
370.53/370.64	c #cpu_time = 5.487s
370.53/370.64	c #wall_clock_time = 5.501s
370.53/370.64	c #decision = 19475
370.53/370.64	c #random_decision = 56
370.53/370.64	c #conflict = 12819
370.53/370.64	c #restart = 10
370.53/370.64	o 1
370.53/370.64	s OPTIMUM FOUND
370.53/370.64	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 -x10
370.53/370.64	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
370.53/370.64	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
370.53/370.64	v x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40
370.53/370.64	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
370.53/370.64	v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60
370.53/370.64	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
370.53/370.64	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
370.53/370.64	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
370.53/370.64	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100
370.53/370.64	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
370.53/370.64	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
370.53/370.64	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130
370.53/370.64	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140
370.53/370.64	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
370.53/370.64	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160
370.53/370.64	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
370.53/370.64	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
370.53/370.64	v x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190
370.53/370.64	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
370.53/370.64	v -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210
370.53/370.64	v -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
370.53/370.64	v -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230
370.53/370.64	v -x231
370.53/370.64	c total CPU time = 369.700s
370.53/370.64	c total wall clock time = 370.647s

Verifier Data 

OK	1

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

pid=30082
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.18 2.12 1.92 4/179 30085
/proc/meminfo: memFree=29579388/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=805444 CPUtime=0 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 3025 0 0 0 0 0 0 0 20 0 4 0 36452052 824774656 2874 33554432000 4194304 16246674 140736763700112 140736763699536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 201873 2882 442 2943 0 198767 0
[pid=30085/tid=30086] ppid=30082 vsize=822852 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 842600448 2942 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=827972 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 847843328 2958 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=832068 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36452052 852037632 2975 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.18 2.12 1.92 4/179 30085
/proc/meminfo: memFree=29579388/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 24915 0 0 0 6 3 0 0 20 0 4 0 36452052 1247350784 24758 33554432000 4194304 16246674 140736763700112 140736763699536 6196885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 304529 24763 622 2943 0 301423 0
[pid=30085/tid=30086] ppid=30082 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1247350784 24764 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1247350784 24771 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36452052 1247350784 24771 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200498 s]
/proc/loadavg: 2.18 2.12 1.92 4/179 30085
/proc/meminfo: memFree=29579388/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 33053 0 0 0 14 5 0 0 20 0 4 0 36452052 1250496512 32849 33554432000 4194304 16246674 140736763700112 140736763681984 5996544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 305297 32849 913 2943 0 302191 0
[pid=30085/tid=30086] ppid=30082 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1250496512 32849 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1250496512 32849 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1250496512 32849 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300475 s]
/proc/loadavg: 2.18 2.12 1.92 4/179 30085
/proc/meminfo: memFree=29579388/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 50977 0 0 0 22 7 0 0 20 0 4 0 36452052 1334382592 50773 33554432000 4194304 16246674 140736763700112 140736763681984 5662594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 325777 50783 923 2943 0 322671 0
[pid=30085/tid=30086] ppid=30082 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1334382592 50788 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1334382592 50791 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1334382592 50794 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1303108

[startup+0.700394 s]
/proc/loadavg: 2.18 2.12 1.92 4/179 30085
/proc/meminfo: memFree=29579388/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 81498 0 0 0 57 12 0 0 20 0 4 0 36452052 1338576896 81294 33554432000 4194304 16246674 140736763700112 140736763681984 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 326801 81298 928 2943 0 323695 0
[pid=30085/tid=30086] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 81302 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 81307 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 81311 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50041 s]
/proc/loadavg: 2.18 2.12 1.92 4/183 30089
/proc/meminfo: memFree=29159128/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 105819 0 0 0 134 15 0 0 20 0 4 0 36452052 1338576896 105615 33554432000 4194304 16246674 140736763700112 140736763681984 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 326801 105615 929 2943 0 323695 0
[pid=30085/tid=30086] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 105615 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 105615 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 105615 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 2.18 2.12 1.92 4/183 30089
/proc/meminfo: memFree=29154416/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 150893 0 0 0 287 22 0 0 20 0 4 0 36452052 1338576896 150689 33554432000 4194304 16246674 140736763700112 140736763681984 5823266 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 326801 150689 932 2943 0 323695 0
[pid=30085/tid=30086] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 150689 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 150689 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1338576896 150689 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.16 2.12 1.92 4/183 30089
/proc/meminfo: memFree=28838396/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 219374 0 0 0 598 31 0 0 20 0 4 0 36452052 1343819776 219170 33554432000 4194304 16246674 140736763700112 140736763681984 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328081 219170 932 2943 0 324975 0
[pid=30085/tid=30086] ppid=30082 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1343819776 219170 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1343819776 219170 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1343819776 219170 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.15 2.12 1.92 3/183 30089
/proc/meminfo: memFree=28703616/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 219465 0 0 0 1238 31 0 0 20 0 4 0 36452052 1343819776 219261 33554432000 4194304 16246674 140736763700112 140736763681984 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328081 219261 933 2943 0 324975 0
[pid=30085/tid=30086] ppid=30082 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1343819776 219261 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1343819776 219261 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1343819776 219261 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.19 2.13 1.93 3/183 30089
/proc/meminfo: memFree=28696204/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1315396 CPUtime=25.49 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 220233 0 0 0 2518 31 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140736763699288 5677662 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328849 220029 933 2943 0 325743 0
[pid=30085/tid=30086] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.12 2.11 1.93 3/183 30089
/proc/meminfo: memFree=28695932/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 220233 0 0 0 5076 32 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140736763681984 12467328 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 328849 220029 933 2943 0 325743 0
[pid=30085/tid=30086] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1346965504 220029 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.14 2.12 1.94 3/183 30090
/proc/meminfo: memFree=28634088/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1317444 CPUtime=102.28 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 235685 0 0 0 10192 36 0 0 20 0 4 0 36452052 1349062656 235481 33554432000 4194304 16246674 140736763700112 140736763699288 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 329361 235481 933 2943 0 326255 0
[pid=30085/tid=30086] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235481 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235481 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235481 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444


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


[startup+222.308 s]
/proc/loadavg: 2.18 2.14 1.97 3/183 30095
/proc/meminfo: memFree=28628076/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1317444 CPUtime=222.27 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 235686 0 0 0 22182 45 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140736763699288 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 329361 235482 934 2943 0 326255 0
[pid=30085/tid=30086] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1317444

[startup+282.3 s]
/proc/loadavg: 2.10 2.13 1.97 3/183 30098
/proc/meminfo: memFree=28625152/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1317444 CPUtime=282.24 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 235686 0 0 0 28172 52 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140736763699288 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 329361 235482 934 2943 0 326255 0
[pid=30085/tid=30086] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1317444

[startup+342.3 s]
/proc/loadavg: 2.12 2.13 1.98 3/183 30099
/proc/meminfo: memFree=28624508/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1317444 CPUtime=342.23 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 235686 0 0 0 34162 61 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140736763699208 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 329361 235482 934 2943 0 326255 0
[pid=30085/tid=30086] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1317444

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

[startup+345.6 s]
/proc/loadavg: 2.11 2.13 1.98 4/183 30099
/proc/meminfo: memFree=28624244/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1317444 CPUtime=345.54 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 235686 0 0 0 34492 62 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140736763699288 5829044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 329361 235482 934 2943 0 326255 0
[pid=30085/tid=30086] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1349062656 235482 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 345.54
Current children cumulated vsize (KiB) 1317444

[startup+358.4 s]
/proc/loadavg: 2.09 2.12 1.98 4/183 30099
/proc/meminfo: memFree=28482744/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1322564 CPUtime=358.34 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 271628 0 0 0 35766 68 0 0 20 0 4 0 36452052 1354305536 271424 33554432000 4194304 16246674 140736763700112 140736763681984 5523416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 271424 942 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271424 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271424 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271424 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 358.34
Current children cumulated vsize (KiB) 1322564

[startup+364.8 s]
/proc/loadavg: 2.08 2.12 1.98 3/183 30100
/proc/meminfo: memFree=28479252/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1322564 CPUtime=364.73 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 271802 0 0 0 36405 68 0 0 20 0 4 0 36452052 1354305536 271598 33554432000 4194304 16246674 140736763700112 140736763681984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 271598 942 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271598 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271598 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271598 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 364.73
Current children cumulated vsize (KiB) 1322564

[startup+368 s]
/proc/loadavg: 2.08 2.12 1.98 4/183 30100
/proc/meminfo: memFree=28479024/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1322564 CPUtime=367.93 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 271867 0 0 0 36725 68 0 0 20 0 4 0 36452052 1354305536 271663 33554432000 4194304 16246674 140736763700112 140736763681984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330641 271663 942 2943 0 327535 0
[pid=30085/tid=30086] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271663 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271663 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1354305536 271663 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 367.93
Current children cumulated vsize (KiB) 1322564

[startup+369.6 s]
/proc/loadavg: 2.15 2.14 1.99 4/183 30100
/proc/meminfo: memFree=28478404/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1323588 CPUtime=369.54 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 272085 0 0 0 36886 68 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140736763681984 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330897 271881 942 2943 0 327791 0
[pid=30085/tid=30086] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 369.54
Current children cumulated vsize (KiB) 1323588

[startup+370.4 s]
/proc/loadavg: 2.15 2.14 1.99 4/183 30100
/proc/meminfo: memFree=28478404/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1323588 CPUtime=370.33 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 272085 0 0 0 36965 68 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140736763683112 6022779 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330897 271881 942 2943 0 327791 0
[pid=30085/tid=30086] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 370.33
Current children cumulated vsize (KiB) 1323588

[startup+370.6 s]
/proc/loadavg: 2.15 2.14 1.99 4/183 30100
/proc/meminfo: memFree=28478404/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=1323588 CPUtime=370.53 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202496 272085 0 0 0 36985 68 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140736763683112 13906983 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 330897 271881 942 2943 0 327791 0
[pid=30085/tid=30086] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (toysat) S 30082 30085 29107 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303263575280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=30085/tid=30087] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (toysat) S 30082 30085 29107 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303253085424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=30085/tid=30088] ppid=30082 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (toysat) S 30082 30085 29107 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36452052 1355354112 271881 33554432000 4194304 16246674 140736763700112 140303242611888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 370.53
Current children cumulated vsize (KiB) 1323588

[startup+370.7 s]
/proc/loadavg: 2.15 2.14 1.99 4/180 30100
/proc/meminfo: memFree=29401584/32872528 swapFree=877056/942464
[pid=30085] ppid=30082 vsize=0 CPUtime=370.64 cores=0,2,4,6
/proc/30085/stat : 30085 (toysat) R 30082 30085 29107 0 -1 4202500 272087 0 0 0 36990 74 0 0 20 0 1 0 36452052 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30085/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 370.64
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 370.71
CPU time (s): 370.654
CPU user time (s): 369.906
CPU system time (s): 0.747886
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.906
system time used= 0.747886
maximum resident set size= 1087532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272087
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= 18
involuntary context switches= 384

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10783 second user time and 1.60975 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-19 15:47:11
IDJOB=4109770
IDBENCH=78918
IDSOLVER=2553
FILE ID=node113/4109770-1466344031
RUNJOBID= node113-1466341823-29123
PBS_JOBID= 19922039
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109770-1466344031/watcher-4109770-1466344031 -o /tmp/evaluation-result-4109770-1466344031/solver-4109770-1466344031 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466341823-29123 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109770-1466344031.wbo

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

MD5SUM BENCH= 469cd609ab798a94b23843d73b73e9c6
RANDOM SEED=1024993093

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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:        29580404 kB
Buffers:          151324 kB
Cached:           368936 kB
SwapCached:         1964 kB
Active:          1243316 kB
Inactive:         363416 kB
Active(anon):    1086260 kB
Inactive(anon):     2224 kB
Active(file):     157056 kB
Inactive(file):   361192 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2029672 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             608192 kB
SReclaimable:      52172 kB
SUnreclaim:       556020 kB
KernelStack:        1520 kB
PageTables:         8420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2171436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71672 MiB
End job on node113 at 2016-06-19 15:53:22