Trace number 4122218

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 562.672 562.759

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n80-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUM0948eabb83f79b7ab091f649c9e5a057
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.46471
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints320
Number of constraints which are clauses320
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T21:52:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4122218-1467316322.opb"]
0.00/0.01	c use --random-gen="854094070 4047832064 3139664527 4260029261 560748609 2787918759 9370120 2489717520 1342576999 1138404735 3481514976 4013777243 2071357950 3829923352 3269118439 3594973906 2822439959 959964774 846597670 3039661514 2509909641 1902499353 1910565204 224922854 3501940566 3559829475 251573973 98970527 3843921528 4084612747 3824015157 1624756767 1078622204 1056847293 3453064220 2626848869 8017503 3691746591 3568392629 2793167364 3545224794 1051996507 443545710 2799428206 3892302761 798713309 745253979 674884309 351566037 4204331328 1973295516 585979197 2956457347 4043843613 60315598 2917709730 1892594741 65350503 2428650713 2354320886 2796002326 135647011 1824118288 2664398462 3160061780 721627460 403037976 3595916991 3895915490 2766092884 538413081 2918634225 25536146 1790009170 1371403238 3543887539 2206498018 2101344155 2476422666 1240452520 3844970704 402066923 2999456238 1234945471 3446524236 2432847721 1437096160 1679485586 862648098 3035357591 1086454713 1691457880 2615864207 3884257224 2162716797 3881151185 4107790745 1588411510 94641501 3319995622 842905232 2770048631 3626907031 1299297476 687387398 3436648755 957025246 1645016848 1450856436 3235497852 3090036824 1500401133 3263093893 2433862936 2770165989 227805845 1923042602 3389995211 3148581154 3416883937 2643347384 2089406339 3351971148 173280851 2754099481 510432773 3563291624 2067725272 1199609051 2084943540 690850718 3829657482 887496054 3767966197 1640412516 3727204770 1444970982 2875096952 3884572885 89038754 38053527 1539320617 2998440092 933400692 549999719 734880528 4033201233 859748821 2618180873 2454256045 265856887 2539769500 2745349860 4249561088 934842463 2915075647 2191388788 2272454120 691218162 2502404716 1504774533 977317908 3318388297 3957505793 3961677260 4188180684 3693246436 3970808183 1280526709 3102743135 2499003534 2534926317 4073595935 4088807943 4060285457 294069093 2506087695 99446862 3957614616 722275808 4280705238 1135324815 2620388540 1586270147 4157721600 2284296827 80379352 1823547984 3697882666 2411753706 1133230149 915078612 1240468485 503756506 2432462718 1079116055 2205114806 749846088 937774027 2032802756 1123945030 3609306945 2586553624 1197490596 2910568681 64978475 1950029463 420172869 3873900474 104874372 928138658 342786843 3720257955 3172567409 353327622 1919553452 3849772832 3873470679 54776923 2874406391 4133755466 1633094324 2023991132 1557138331 1860929758 2840406131 482790847 1423958117 934236634 1670207092 3459027379 4267229284 2832526839 3416691442 946765057 2897552322 790947714 478595015 3515712795 3903337544 2243790630 1617855825 1595373255 3696416295 3517564770 1899234640 1863529644 964953561 2920591593 4271171336 3028812001 1954790192 268433667 1643300029 3294889745 3163003351 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 320
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      146      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      163 |      100 |      146      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      415 |      250 |      161      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      700 |      475 |      178      3 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1156 |      813 |      196      5 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1824 |     1320 |      216      9 |        0 |        0
0.19/0.22	c  0.2s |       6 |     2754 |     2081 |      262     15 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4138 |     3223 |      289     23 |        0 |        0
0.49/0.51	c  0.5s |       8 |     6402 |     4936 |      318     33 |        0 |        0
0.68/0.75	c  0.7s |       9 |     9814 |     7506 |      350     48 |        0 |        0
0.99/1.09	c  1.1s |      10 |    14358 |    11361 |      386     69 |        0 |        0
1.38/1.48	c  1.5s |      11 |    22465 |    17144 |      425     97 |        0 |        0
2.09/2.10	c  2.1s |      12 |    33841 |    25819 |      468    136 |        0 |        0
2.99/3.07	c  3.1s |      13 |    48312 |    38832 |      515    190 |        0 |        0
4.50/4.53	c  4.5s |      14 |    71544 |    58352 |      567    263 |        0 |        0
6.49/6.53	c  6.5s |      14 |   101734 |    83752 |      567    350 |        0 |        0
6.79/6.85	c  6.8s |      15 |   106153 |    87632 |      624    363 |        0 |        0
8.79/8.85	c  8.8s |      15 |   133020 |   110832 |      624    435 |        0 |        0
10.69/10.78	c 10.8s |      16 |   154363 |   131552 |      687    500 |        0 |        0
12.69/12.78	c 12.8s |      16 |   178590 |   152952 |      687    561 |        0 |        0
14.68/14.79	c 14.8s |      16 |   215272 |   180152 |      687    638 |        0 |        0
15.98/16.02	c 16.0s |      17 |   239214 |   197432 |      756    687 |        0 |        0
17.98/18.03	c 18.0s |      17 |   272911 |   223732 |      756    756 |        0 |        0
19.98/20.04	c 20.0s |      17 |   307458 |   249432 |      756    823 |        0 |        0
21.99/22.04	c 22.0s |      17 |   341780 |   274832 |      756    889 |        0 |        0
23.58/23.62	c 23.6s |      18 |   371518 |   296252 |      832    944 |        0 |        0
25.58/25.63	c 25.6s |      18 |   408648 |   323652 |      832   1009 |        0 |        0
27.59/27.63	c 27.6s |      18 |   446877 |   351652 |      832   1076 |        0 |        0
29.58/29.64	c 29.6s |      18 |   481587 |   378552 |      832   1140 |        0 |        0
31.58/31.64	c 31.6s |      18 |   517619 |   405852 |      832   1205 |        0 |        0
33.58/33.65	c 33.6s |      18 |   555435 |   433952 |      832   1271 |        0 |        0
34.38/34.42	c 34.4s |      19 |   569401 |   444482 |      916   1296 |        0 |        0
36.39/36.43	c 36.4s |      19 |   603996 |   470382 |      916   1352 |        0 |        0
38.38/38.44	c 38.4s |      19 |   639491 |   497082 |      916   1409 |        0 |        0
40.38/40.45	c 40.4s |      19 |   672350 |   523182 |      916   1466 |        0 |        0
42.38/42.45	c 42.4s |      19 |   707551 |   550482 |      916   1525 |        0 |        0
44.38/44.45	c 44.4s |      19 |   739973 |   576582 |      916   1581 |        0 |        0
46.38/46.46	c 46.4s |      19 |   764405 |   597982 |      916   1627 |        0 |        0
48.39/48.46	c 48.4s |      19 |   794578 |   622782 |      916   1681 |        0 |        0
50.39/50.47	c 50.5s |      19 |   827498 |   648682 |      916   1737 |        0 |        0
51.89/51.93	c 51.9s |      20 |   850235 |   666827 |     1008   1775 |        0 |        0
53.89/53.94	c 53.9s |      20 |   885904 |   693527 |     1008   1827 |        0 |        0
55.88/55.95	c 55.9s |      20 |   921104 |   720527 |     1008   1881 |        0 |        0
57.88/57.95	c 57.9s |      20 |   956719 |   747027 |     1008   1933 |        0 |        0
59.88/59.95	c 59.9s |      20 |   992101 |   774127 |     1008   1986 |        0 |        0
61.88/61.96	c 61.9s |      20 |  1021806 |   797927 |     1008   2033 |        0 |        0
63.88/63.96	c 63.9s |      20 |  1055995 |   822927 |     1008   2082 |        0 |        0
65.88/65.97	c 66.0s |      20 |  1089396 |   848027 |     1008   2131 |        0 |        0
67.88/67.98	c 68.0s |      20 |  1120888 |   871427 |     1008   2177 |        0 |        0
69.88/69.98	c 70.0s |      20 |  1151086 |   894427 |     1008   2223 |        0 |        0
71.88/71.98	c 72.0s |      20 |  1182552 |   917527 |     1008   2268 |        0 |        0
73.87/73.99	c 74.0s |      20 |  1212251 |   940027 |     1008   2313 |        0 |        0
75.89/76.00	c 76.0s |      20 |  1243140 |   963327 |     1008   2358 |        0 |        0
77.98/78.00	c 78.0s |      20 |  1272855 |   985827 |     1008   2403 |        0 |        0
79.29/79.32	c 79.3s |      21 |  1291613 |  1000345 |     1109   2430 |        0 |        0
81.28/81.32	c 81.3s |      21 |  1319687 |  1021645 |     1109   2468 |        0 |        0
83.28/83.32	c 83.3s |      21 |  1347027 |  1043145 |     1109   2507 |        0 |        0
85.28/85.33	c 85.3s |      21 |  1378919 |  1065845 |     1109   2547 |        0 |        0
87.28/87.33	c 87.3s |      21 |  1409796 |  1088145 |     1109   2587 |        0 |        0
89.28/89.34	c 89.3s |      21 |  1442262 |  1111745 |     1109   2629 |        0 |        0
91.28/91.34	c 91.3s |      21 |  1475151 |  1135545 |     1109   2672 |        0 |        0
93.27/93.34	c 93.3s |      21 |  1507515 |  1158345 |     1109   2713 |        0 |        0
95.27/95.36	c 95.3s |      21 |  1541610 |  1182345 |     1109   2756 |        0 |        0
97.27/97.37	c 97.4s |      21 |  1575662 |  1205745 |     1109   2798 |        0 |        0
99.27/99.37	c 99.4s |      21 |  1610035 |  1230445 |     1109   2842 |        0 |        0
101.28/101.38	c  101s |      21 |  1640148 |  1253645 |     1109   2883 |        0 |        0
103.28/103.38	c  103s |      21 |  1672450 |  1277345 |     1109   2926 |        0 |        0
105.28/105.39	c  105s |      21 |  1705578 |  1301545 |     1109   2969 |        0 |        0
107.28/107.39	c  107s |      21 |  1741198 |  1326445 |     1109   3014 |        0 |        0
109.38/109.40	c  109s |      21 |  1773453 |  1350145 |     1109   3056 |        0 |        0
111.38/111.40	c  111s |      21 |  1808823 |  1373745 |     1109   3098 |        0 |        0
113.28/113.40	c  113s |      21 |  1847001 |  1397945 |     1109   3142 |        0 |        0
115.37/115.40	c  115s |      21 |  1881279 |  1422245 |     1109   3185 |        0 |        0
117.37/117.41	c  117s |      21 |  1917123 |  1447445 |     1109   3231 |        0 |        0
119.37/119.41	c  119s |      21 |  1951946 |  1473145 |     1109   3277 |        0 |        0
121.37/121.42	c  121s |      21 |  1983269 |  1496745 |     1220   3318 |        0 |        0
121.67/121.74	c  121s |      22 |  1988313 |  1500622 |     1220   3324 |        0 |        0
123.67/123.75	c  123s |      22 |  2020990 |  1524622 |     1220   3363 |        0 |        0
125.67/125.75	c  125s |      22 |  2054012 |  1549022 |     1220   3403 |        0 |        0
127.68/127.76	c  127s |      22 |  2087836 |  1574622 |     1220   3444 |        0 |        0
129.67/129.77	c  129s |      22 |  2122705 |  1600722 |     1220   3487 |        0 |        0
131.67/131.77	c  131s |      22 |  2158802 |  1626422 |     1220   3529 |        0 |        0
133.67/133.77	c  133s |      22 |  2190847 |  1650022 |     1220   3567 |        0 |        0
135.67/135.77	c  135s |      22 |  2222846 |  1674422 |     1220   3607 |        0 |        0
137.67/137.78	c  137s |      22 |  2255266 |  1698722 |     1220   3646 |        0 |        0
139.67/139.79	c  139s |      22 |  2287847 |  1722822 |     1220   3686 |        0 |        0
141.67/141.79	c  141s |      22 |  2321358 |  1748822 |     1220   3728 |        0 |        0
143.77/143.80	c  143s |      22 |  2352488 |  1772522 |     1220   3767 |        0 |        0
145.76/145.80	c  145s |      22 |  2385184 |  1796922 |     1220   3806 |        0 |        0
147.76/147.81	c  147s |      22 |  2421458 |  1822822 |     1220   3849 |        0 |        0
149.76/149.81	c  149s |      22 |  2450078 |  1845622 |     1220   3886 |        0 |        0
151.77/151.81	c  151s |      22 |  2483637 |  1870622 |     1220   3927 |        0 |        0
153.76/153.82	c  153s |      22 |  2514917 |  1894622 |     1220   3966 |        0 |        0
155.76/155.82	c  155s |      22 |  2545723 |  1918522 |     1220   4005 |        0 |        0
157.76/157.82	c  157s |      22 |  2579259 |  1943122 |     1220   4045 |        0 |        0
159.76/159.83	c  159s |      22 |  2614151 |  1968722 |     1220   4086 |        0 |        0
161.78/161.83	c  161s |      22 |  2647720 |  1993122 |     1220   4126 |        0 |        0
163.77/163.84	c  163s |      22 |  2680744 |  2017922 |     1220   4167 |        0 |        0
165.77/165.84	c  165s |      22 |  2715310 |  2042722 |     1220   4207 |        0 |        0
167.77/167.85	c  167s |      22 |  2748089 |  2067322 |     1220   4247 |        0 |        0
169.77/169.85	c  169s |      22 |  2778016 |  2090422 |     1220   4285 |        0 |        0
171.77/171.85	c  171s |      22 |  2811454 |  2114722 |     1220   4324 |        0 |        0
173.77/173.86	c  173s |      22 |  2848759 |  2140522 |     1220   4366 |        0 |        0
175.77/175.86	c  175s |      22 |  2880904 |  2165022 |     1220   4406 |        0 |        0
177.77/177.87	c  177s |      22 |  2911477 |  2187122 |     1220   4442 |        0 |        0
179.77/179.87	c  179s |      22 |  2947865 |  2212922 |     1220   4485 |        0 |        0
181.77/181.88	c  181s |      22 |  2982449 |  2238022 |     1342   4525 |        0 |        0
182.86/182.98	c  182s |      23 |  3000052 |  2251038 |     1342   4544 |        0 |        0
184.87/184.98	c  184s |      23 |  3031807 |  2273738 |     1342   4578 |        0 |        0
186.86/186.99	c  186s |      23 |  3062966 |  2295938 |     1342   4610 |        0 |        0
188.96/189.00	c  188s |      23 |  3097257 |  2318238 |     1342   4643 |        0 |        0
190.96/191.00	c  190s |      23 |  3129351 |  2341038 |     1342   4677 |        0 |        0
192.96/193.00	c  192s |      23 |  3161514 |  2363838 |     1342   4711 |        0 |        0
194.96/195.01	c  194s |      23 |  3192606 |  2387038 |     1342   4745 |        0 |        0
196.97/197.01	c  196s |      23 |  3223380 |  2410438 |     1342   4780 |        0 |        0
198.96/199.01	c  198s |      23 |  3253953 |  2433938 |     1342   4815 |        0 |        0
200.95/201.02	c  201s |      23 |  3283964 |  2455138 |     1342   4846 |        0 |        0
202.95/203.03	c  203s |      23 |  3315091 |  2477038 |     1342   4879 |        0 |        0
204.95/205.04	c  205s |      23 |  3347086 |  2500938 |     1342   4914 |        0 |        0
206.95/207.04	c  207s |      23 |  3381155 |  2525838 |     1342   4951 |        0 |        0
208.96/209.05	c  209s |      23 |  3415824 |  2551538 |     1342   4989 |        0 |        0
210.95/211.05	c  211s |      23 |  3448395 |  2574838 |     1342   5024 |        0 |        0
212.95/213.05	c  213s |      23 |  3480425 |  2599038 |     1342   5060 |        0 |        0
214.95/215.05	c  215s |      23 |  3509721 |  2621938 |     1342   5093 |        0 |        0
216.95/217.06	c  217s |      23 |  3540843 |  2645438 |     1342   5128 |        0 |        0
218.96/219.06	c  219s |      23 |  3574610 |  2669538 |     1342   5164 |        0 |        0
220.95/221.06	c  221s |      23 |  3608841 |  2694638 |     1342   5201 |        0 |        0
222.95/223.06	c  223s |      23 |  3642196 |  2718838 |     1342   5237 |        0 |        0
224.95/225.07	c  225s |      23 |  3673476 |  2742038 |     1342   5272 |        0 |        0
226.95/227.07	c  227s |      23 |  3707886 |  2766838 |     1342   5308 |        0 |        0
228.96/229.08	c  229s |      23 |  3739654 |  2790538 |     1342   5344 |        0 |        0
230.96/231.09	c  231s |      23 |  3774058 |  2815038 |     1342   5380 |        0 |        0
232.96/233.09	c  233s |      23 |  3807276 |  2839438 |     1342   5416 |        0 |        0
235.06/235.10	c  235s |      23 |  3838789 |  2862938 |     1342   5451 |        0 |        0
237.06/237.10	c  237s |      23 |  3872232 |  2887638 |     1342   5488 |        0 |        0
239.05/239.10	c  239s |      23 |  3906281 |  2912538 |     1342   5525 |        0 |        0
241.05/241.11	c  241s |      23 |  3939937 |  2937138 |     1342   5561 |        0 |        0
243.06/243.12	c  243s |      23 |  3973620 |  2961938 |     1342   5598 |        0 |        0
245.05/245.12	c  245s |      23 |  4007890 |  2986638 |     1342   5635 |        0 |        0
247.05/247.12	c  247s |      23 |  4041983 |  3011438 |     1342   5671 |        0 |        0
249.05/249.12	c  249s |      23 |  4077676 |  3036738 |     1342   5709 |        0 |        0
251.05/251.13	c  251s |      23 |  4108610 |  3059338 |     1342   5743 |        0 |        0
253.06/253.14	c  253s |      23 |  4143863 |  3084838 |     1342   5780 |        0 |        0
255.05/255.14	c  255s |      23 |  4177911 |  3109638 |     1342   5817 |        0 |        0
257.05/257.15	c  257s |      23 |  4207006 |  3132038 |     1342   5850 |        0 |        0
259.05/259.16	c  259s |      23 |  4239377 |  3155938 |     1342   5886 |        0 |        0
261.05/261.16	c  261s |      23 |  4272491 |  3180438 |     1342   5922 |        0 |        0
263.05/263.16	c  263s |      23 |  4305336 |  3204838 |     1342   5959 |        0 |        0
265.05/265.17	c  265s |      23 |  4336810 |  3229038 |     1342   5994 |        0 |        0
267.04/267.18	c  267s |      23 |  4371741 |  3253938 |     1342   6031 |        0 |        0
269.04/269.18	c  269s |      23 |  4405045 |  3278038 |     1342   6067 |        0 |        0
271.04/271.19	c  271s |      23 |  4433806 |  3301138 |     1342   6102 |        0 |        0
273.05/273.19	c  273s |      23 |  4464485 |  3324838 |     1342   6137 |        0 |        0
275.15/275.20	c  275s |      23 |  4496284 |  3348938 |     1342   6173 |        0 |        0
277.05/277.20	c  277s |      23 |  4528608 |  3372738 |     1477   6205 |        0 |        0
277.45/277.53	c  277s |      24 |  4533617 |  3376662 |     1477   6210 |        0 |        0
279.45/279.54	c  279s |      24 |  4559425 |  3396962 |     1477   6238 |        0 |        0
281.45/281.55	c  281s |      24 |  4586836 |  3417962 |     1477   6266 |        0 |        0
283.45/283.56	c  283s |      24 |  4615618 |  3439962 |     1477   6296 |        0 |        0
285.45/285.57	c  285s |      24 |  4643741 |  3462262 |     1477   6326 |        0 |        0
287.45/287.57	c  287s |      24 |  4673922 |  3485062 |     1477   6356 |        0 |        0
289.45/289.57	c  289s |      24 |  4702658 |  3507162 |     1477   6386 |        0 |        0
291.45/291.58	c  291s |      24 |  4731128 |  3529262 |     1477   6416 |        0 |        0
293.44/293.59	c  293s |      24 |  4761650 |  3552162 |     1477   6447 |        0 |        0
295.44/295.59	c  295s |      24 |  4789799 |  3573862 |     1477   6476 |        0 |        0
297.54/297.60	c  297s |      24 |  4815980 |  3594862 |     1477   6504 |        0 |        0
299.54/299.60	c  299s |      24 |  4845519 |  3617862 |     1477   6535 |        0 |        0
301.54/301.61	c  301s |      24 |  4876966 |  3641462 |     1477   6567 |        0 |        0
303.54/303.61	c  303s |      24 |  4907793 |  3664862 |     1477   6598 |        0 |        0
305.54/305.61	c  305s |      24 |  4935132 |  3686262 |     1477   6627 |        0 |        0
307.54/307.62	c  307s |      24 |  4964575 |  3708062 |     1477   6657 |        0 |        0
309.55/309.63	c  309s |      24 |  4996725 |  3731862 |     1477   6689 |        0 |        0
311.55/311.63	c  311s |      24 |  5027733 |  3754862 |     1477   6720 |        0 |        0
313.55/313.65	c  313s |      24 |  5058960 |  3777762 |     1477   6751 |        0 |        0
315.55/315.65	c  315s |      24 |  5089585 |  3801262 |     1477   6782 |        0 |        0
317.54/317.66	c  317s |      24 |  5118494 |  3823862 |     1477   6813 |        0 |        0
319.54/319.66	c  319s |      24 |  5143340 |  3843962 |     1477   6840 |        0 |        0
321.54/321.67	c  321s |      24 |  5173145 |  3865562 |     1477   6869 |        0 |        0
323.54/323.67	c  323s |      24 |  5202473 |  3888162 |     1477   6899 |        0 |        0
325.55/325.67	c  325s |      24 |  5232990 |  3911062 |     1477   6930 |        0 |        0
327.54/327.67	c  327s |      24 |  5261565 |  3933262 |     1477   6960 |        0 |        0
329.54/329.67	c  329s |      24 |  5292132 |  3956162 |     1477   6991 |        0 |        0
331.54/331.68	c  331s |      24 |  5324303 |  3979762 |     1477   7023 |        0 |        0
333.54/333.68	c  333s |      24 |  5355671 |  4003162 |     1477   7054 |        0 |        0
335.54/335.69	c  335s |      24 |  5387505 |  4026462 |     1477   7086 |        0 |        0
337.53/337.69	c  337s |      24 |  5419400 |  4049662 |     1477   7117 |        0 |        0
339.53/339.69	c  339s |      24 |  5450966 |  4072962 |     1477   7148 |        0 |        0
341.53/341.69	c  341s |      24 |  5481658 |  4095562 |     1477   7179 |        0 |        0
343.63/343.70	c  343s |      24 |  5513061 |  4119062 |     1477   7211 |        0 |        0
345.64/345.70	c  345s |      24 |  5542869 |  4141862 |     1477   7241 |        0 |        0
347.65/347.71	c  347s |      24 |  5565035 |  4160662 |     1477   7267 |        0 |        0
349.64/349.72	c  349s |      24 |  5593765 |  4182762 |     1477   7297 |        0 |        0
351.64/351.73	c  351s |      24 |  5622211 |  4204762 |     1477   7326 |        0 |        0
353.64/353.73	c  353s |      24 |  5653407 |  4227962 |     1477   7358 |        0 |        0
355.64/355.73	c  355s |      24 |  5681566 |  4249762 |     1477   7387 |        0 |        0
357.64/357.73	c  357s |      24 |  5711079 |  4272262 |     1477   7417 |        0 |        0
359.64/359.73	c  359s |      24 |  5741103 |  4294862 |     1477   7448 |        0 |        0
361.64/361.74	c  361s |      24 |  5770509 |  4317262 |     1477   7478 |        0 |        0
363.64/363.74	c  363s |      24 |  5802717 |  4341262 |     1477   7510 |        0 |        0
365.64/365.74	c  365s |      24 |  5834741 |  4364962 |     1477   7542 |        0 |        0
367.64/367.75	c  367s |      24 |  5868604 |  4389262 |     1477   7575 |        0 |        0
369.64/369.75	c  369s |      24 |  5901670 |  4414062 |     1477   7608 |        0 |        0
371.63/371.75	c  371s |      24 |  5934138 |  4438462 |     1477   7641 |        0 |        0
373.63/373.75	c  373s |      24 |  5964425 |  4461162 |     1477   7672 |        0 |        0
375.63/375.76	c  375s |      24 |  5995916 |  4484862 |     1477   7704 |        0 |        0
377.63/377.76	c  377s |      24 |  6027801 |  4508662 |     1477   7736 |        0 |        0
379.63/379.76	c  379s |      24 |  6061690 |  4533962 |     1477   7770 |        0 |        0
381.64/381.77	c  381s |      24 |  6092498 |  4557362 |     1477   7801 |        0 |        0
383.63/383.78	c  383s |      24 |  6122302 |  4579762 |     1477   7831 |        0 |        0
385.63/385.78	c  385s |      24 |  6149702 |  4601062 |     1477   7860 |        0 |        0
387.63/387.79	c  387s |      24 |  6177112 |  4622562 |     1477   7889 |        0 |        0
389.63/389.80	c  389s |      24 |  6206767 |  4645162 |     1477   7920 |        0 |        0
391.73/391.80	c  391s |      24 |  6238457 |  4669062 |     1477   7952 |        0 |        0
393.73/393.81	c  393s |      24 |  6272754 |  4694162 |     1477   7986 |        0 |        0
395.72/395.81	c  395s |      24 |  6307743 |  4719562 |     1477   8020 |        0 |        0
397.72/397.81	c  397s |      24 |  6339842 |  4743662 |     1477   8052 |        0 |        0
399.72/399.81	c  399s |      24 |  6372741 |  4767162 |     1477   8084 |        0 |        0
401.72/401.82	c  401s |      24 |  6405683 |  4792162 |     1477   8117 |        0 |        0
403.73/403.83	c  403s |      24 |  6437392 |  4816462 |     1477   8149 |        1 |        4
405.72/405.83	c  405s |      24 |  6470277 |  4840462 |     1477   8182 |        1 |        4
407.72/407.84	c  407s |      24 |  6499897 |  4863262 |     1477   8212 |        1 |        4
409.72/409.84	c  409s |      24 |  6530828 |  4886462 |     1477   8244 |        1 |        4
411.72/411.84	c  411s |      24 |  6562952 |  4909862 |     1477   8275 |        1 |        4
413.72/413.85	c  413s |      24 |  6593200 |  4933062 |     1477   8306 |        1 |        4
415.73/415.86	c  415s |      24 |  6625880 |  4957262 |     1477   8339 |        1 |        4
417.72/417.86	c  417s |      24 |  6660589 |  4982162 |     1477   8373 |        1 |        4
419.72/419.86	c  419s |      24 |  6694077 |  5006862 |     1477   8406 |        1 |        4
421.73/421.86	c  421s |      24 |  6727949 |  5031762 |     1625   8439 |        1 |        4
423.73/423.87	c  423s |      24 |  6758564 |  5054962 |     1625   8467 |        1 |        4
424.83/424.96	c  424s |      25 |  6770698 |  5065098 |     1625   8480 |        1 |        4
426.83/426.96	c  426s |      25 |  6796161 |  5085698 |     1625   8505 |        1 |        4
428.83/428.97	c  428s |      25 |  6824136 |  5107098 |     1625   8531 |        1 |        4
430.82/430.97	c  430s |      25 |  6849928 |  5127698 |     1625   8556 |        1 |        4
432.82/432.97	c  432s |      25 |  6878826 |  5150098 |     1625   8584 |        1 |        4
434.82/434.98	c  434s |      25 |  6909674 |  5173098 |     1625   8612 |        1 |        4
436.82/436.98	c  436s |      25 |  6939831 |  5194598 |     1625   8638 |        1 |        4
438.83/438.98	c  438s |      25 |  6970720 |  5217598 |     1625   8666 |        1 |        4
440.82/440.99	c  440s |      25 |  7003221 |  5241098 |     1625   8695 |        1 |        4
442.82/442.99	c  442s |      25 |  7034602 |  5264498 |     1625   8724 |        1 |        4
444.92/445.00	c  444s |      25 |  7067923 |  5288298 |     1625   8753 |        1 |        4
446.92/447.00	c  446s |      25 |  7100838 |  5312298 |     1625   8782 |        1 |        4
448.92/449.01	c  448s |      25 |  7133764 |  5336198 |     1625   8812 |        1 |        4
450.93/451.01	c  450s |      25 |  7165234 |  5359598 |     1625   8840 |        1 |        4
452.92/453.02	c  453s |      25 |  7195141 |  5382798 |     1625   8869 |        1 |        4
454.92/455.02	c  455s |      25 |  7222995 |  5404498 |     1625   8895 |        1 |        4
456.92/457.02	c  457s |      25 |  7253513 |  5426998 |     1625   8923 |        1 |        4
458.92/459.03	c  459s |      25 |  7283527 |  5449698 |     1625   8951 |        1 |        4
460.92/461.03	c  461s |      25 |  7314377 |  5472698 |     1625   8979 |        1 |        4
462.92/463.03	c  463s |      25 |  7345391 |  5496098 |     1625   9007 |        1 |        4
464.92/465.04	c  465s |      25 |  7375460 |  5518998 |     1625   9034 |        2 |        8
466.92/467.04	c  467s |      25 |  7403301 |  5540798 |     1625   9061 |        2 |        8
468.91/469.05	c  469s |      25 |  7432822 |  5563598 |     1625   9089 |        2 |        8
470.91/471.05	c  471s |      25 |  7462442 |  5586698 |     1625   9117 |        2 |        8
472.92/473.05	c  473s |      25 |  7492183 |  5609898 |     1625   9146 |        2 |        8
474.91/475.06	c  475s |      25 |  7521838 |  5632798 |     1625   9174 |        2 |        8
476.91/477.06	c  477s |      25 |  7549844 |  5655398 |     1625   9201 |        2 |        8
478.91/479.06	c  479s |      25 |  7579364 |  5678598 |     1625   9230 |        2 |        8
480.91/481.07	c  481s |      25 |  7609638 |  5701298 |     1625   9258 |        2 |        8
482.93/483.08	c  483s |      25 |  7636293 |  5722298 |     1625   9283 |        2 |        8
484.92/485.09	c  485s |      25 |  7665534 |  5744198 |     1625   9310 |        2 |        8
486.92/487.09	c  487s |      25 |  7694905 |  5766698 |     1625   9338 |        2 |        8
488.92/489.09	c  489s |      25 |  7725065 |  5789598 |     1625   9366 |        2 |        8
491.02/491.10	c  491s |      25 |  7753126 |  5811298 |     1625   9392 |        2 |        8
493.02/493.11	c  493s |      25 |  7781059 |  5833098 |     1625   9419 |        2 |        8
495.02/495.12	c  495s |      25 |  7812135 |  5854798 |     1625   9446 |        2 |        8
497.02/497.12	c  497s |      25 |  7844072 |  5877698 |     1625   9474 |        2 |        8
499.01/499.13	c  499s |      25 |  7874873 |  5900698 |     1625   9502 |        2 |        8
501.01/501.14	c  501s |      25 |  7903724 |  5922598 |     1625   9529 |        2 |        8
503.01/503.15	c  503s |      25 |  7932868 |  5943798 |     1625   9554 |        2 |        8
505.01/505.15	c  505s |      25 |  7959728 |  5963198 |     1625   9578 |        2 |        8
507.02/507.16	c  507s |      25 |  7989292 |  5983898 |     1625   9604 |        2 |        8
509.01/509.16	c  509s |      25 |  8017869 |  6005898 |     1625   9631 |        2 |        8
511.01/511.16	c  511s |      25 |  8049652 |  6029098 |     1625   9659 |        2 |        8
513.01/513.17	c  513s |      25 |  8082201 |  6052298 |     1625   9686 |        3 |       12
515.01/515.18	c  515s |      25 |  8109769 |  6074498 |     1625   9714 |        3 |       12
517.01/517.18	c  517s |      25 |  8137200 |  6096098 |     1625   9740 |        3 |       12
519.01/519.18	c  519s |      25 |  8166917 |  6118798 |     1625   9768 |        3 |       12
521.01/521.19	c  521s |      25 |  8192846 |  6139498 |     1625   9793 |        3 |       12
523.01/523.19	c  523s |      25 |  8224615 |  6162798 |     1625   9822 |        3 |       12
525.10/525.20	c  525s |      25 |  8255662 |  6186298 |     1625   9850 |        3 |       12
527.10/527.21	c  527s |      25 |  8285314 |  6208498 |     1625   9877 |        3 |       12
529.11/529.21	c  529s |      25 |  8316232 |  6231598 |     1625   9906 |        3 |       12
531.11/531.22	c  531s |      25 |  8344135 |  6253598 |     1625   9931 |        4 |       16
533.11/533.22	c  533s |      25 |  8371311 |  6274298 |     1625   9957 |        4 |       16
535.11/535.22	c  535s |      25 |  8396661 |  6294998 |     1625   9982 |        4 |       16
537.11/537.23	c  537s |      25 |  8421156 |  6315098 |     1625  10007 |        4 |       16
539.11/539.24	c  539s |      25 |  8447566 |  6336498 |     1625  10033 |        4 |       16
541.11/541.24	c  541s |      25 |  8478172 |  6359698 |     1625  10061 |        4 |       16
543.11/543.24	c  543s |      25 |  8508564 |  6383098 |     1625  10090 |        4 |       16
545.11/545.24	c  545s |      25 |  8538397 |  6406098 |     1625  10118 |        4 |       16
547.11/547.25	c  547s |      25 |  8568249 |  6428298 |     1625  10145 |        4 |       16
549.11/549.25	c  549s |      25 |  8596551 |  6450198 |     1625  10172 |        4 |       16
551.11/551.26	c  551s |      25 |  8626167 |  6472798 |     1625  10198 |        5 |       20
553.10/553.27	c  553s |      25 |  8656177 |  6495698 |     1625  10226 |        5 |       20
555.10/555.28	c  555s |      25 |  8683432 |  6517198 |     1625  10253 |        5 |       20
557.10/557.28	c  557s |      25 |  8712361 |  6540398 |     1625  10281 |        5 |       20
559.10/559.28	c  559s |      25 |  8744272 |  6565098 |     1625  10310 |        6 |       24
561.10/561.29	c  561s |      25 |  8775303 |  6589098 |     1625  10337 |        8 |       32
562.60/562.70	c  562s |      25 |  8797063 |  6606237 |     1625  10355 |       29 |       76
562.60/562.70	c #cpu_time = 561.216s
562.60/562.70	c #wall_clock_time = 562.681s
562.60/562.70	c #decision = 8797063
562.60/562.70	c #random_decision = 42136
562.60/562.70	c #conflict = 6606237
562.60/562.70	c #restart = 25
562.60/562.70	s UNSATISFIABLE
562.60/562.70	c total CPU time = 561.234s
562.60/562.70	c total wall clock time = 562.699s

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

pid=18067
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: 1.42 1.26 1.53 3/179 18070
/proc/meminfo: memFree=29967820/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 2790 0 0 0 0 0 0 0 20 0 4 0 10663246 763817984 2639 33554432000 4194304 16246674 140734954833568 140734954832992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 186991 2648 441 2943 0 183885 0
[pid=18070/tid=18071] ppid=18067 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 782692352 2710 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 786886656 2728 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10663246 791080960 2744 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 1.42 1.26 1.53 3/179 18070
/proc/meminfo: memFree=29967820/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 25935 0 0 0 6 3 0 0 20 0 4 0 10663246 1247350784 25773 33554432000 4194304 16246674 140734954833568 140734954832992 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 304529 25784 708 2943 0 301423 0
[pid=18070/tid=18071] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 25789 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 25796 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 25804 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 1.42 1.26 1.53 3/179 18070
/proc/meminfo: memFree=29967820/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 49604 0 0 0 13 6 0 0 20 0 4 0 10663246 1247350784 49442 33554432000 4194304 16246674 140734954833568 140734954832992 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 304529 49454 708 2943 0 301423 0
[pid=18070/tid=18071] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 49459 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 49469 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 49475 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300482 s]
/proc/loadavg: 1.42 1.26 1.53 3/179 18070
/proc/meminfo: memFree=29967820/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 73500 0 0 0 20 9 0 0 20 0 4 0 10663246 1247350784 73338 33554432000 4194304 16246674 140734954833568 140734954816568 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 304529 73351 708 2943 0 301423 0
[pid=18070/tid=18071] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 73358 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 73364 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 73374 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700397 s]
/proc/loadavg: 1.42 1.26 1.53 3/179 18070
/proc/meminfo: memFree=29967820/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 166533 0 0 0 47 21 0 0 20 0 4 0 10663246 1247350784 166371 33554432000 4194304 16246674 140734954833568 140734954816568 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 304529 166381 708 2943 0 301423 0
[pid=18070/tid=18071] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 166386 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 166394 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10663246 1247350784 166401 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.42 1.26 1.53 3/183 18074
/proc/meminfo: memFree=28987288/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 245583 0 0 0 116 32 0 0 20 0 4 0 10663246 1248399360 245401 33554432000 4194304 16246674 140734954833568 140734954816568 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 304785 245401 786 2943 0 301679 0
[pid=18070/tid=18071] ppid=18067 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1248399360 245401 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1248399360 245401 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1248399360 245401 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 1.42 1.26 1.53 3/183 18074
/proc/meminfo: memFree=28899744/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267415 0 0 0 274 35 0 0 20 0 4 0 10663246 1337528320 267233 33554432000 4194304 16246674 140734954833568 140734954816568 6026640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326545 267233 786 2943 0 323439 0
[pid=18070/tid=18071] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267233 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267233 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267233 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 1.55 1.29 1.54 3/183 18074
/proc/meminfo: memFree=28899084/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267471 0 0 0 594 35 0 0 20 0 4 0 10663246 1337528320 267289 33554432000 4194304 16246674 140734954833568 140734954816568 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326545 267289 786 2943 0 323439 0
[pid=18070/tid=18071] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267289 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267289 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267289 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.66 1.32 1.55 3/183 18074
/proc/meminfo: memFree=28898860/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267552 0 0 0 1234 35 0 0 20 0 4 0 10663246 1337528320 267370 33554432000 4194304 16246674 140734954833568 140734954816568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326545 267370 786 2943 0 323439 0
[pid=18070/tid=18071] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267370 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267370 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267370 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 1.74 1.35 1.55 3/183 18074
/proc/meminfo: memFree=28899868/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267553 0 0 0 2513 35 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140734954816568 5723637 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326545 267371 787 2943 0 323439 0
[pid=18070/tid=18071] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.83 1.40 1.56 3/183 18074
/proc/meminfo: memFree=28899756/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267553 0 0 0 5073 36 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140734954816568 6011824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326545 267371 787 2943 0 323439 0
[pid=18070/tid=18071] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1337528320 267371 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 1.92 1.49 1.58 3/183 18075
/proc/meminfo: memFree=28898056/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267831 0 0 0 10191 37 0 0 20 0 4 0 10663246 1338576896 267649 33554432000 4194304 16246674 140734954833568 140734954816568 13194525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267649 790 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267649 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267649 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267649 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 40179 43 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1307204

[startup+462.3 s]
/proc/loadavg: 2.02 1.89 1.73 3/183 18082
/proc/meminfo: memFree=28895804/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=462.22 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 46178 44 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954815488 5754912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1307204

[startup+522.3 s]
/proc/loadavg: 2.12 1.93 1.75 3/184 18086
/proc/meminfo: memFree=28895692/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=522.21 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 52176 45 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1307204

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

[startup+537.6 s]
/proc/loadavg: 2.09 1.94 1.75 3/184 18086
/proc/meminfo: memFree=28895552/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=537.51 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 53705 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954815488 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 537.51
Current children cumulated vsize (KiB) 1307204

[startup+550.4 s]
/proc/loadavg: 2.07 1.94 1.76 3/184 18111
/proc/meminfo: memFree=28894884/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=550.31 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 54985 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 6075531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 550.31
Current children cumulated vsize (KiB) 1307204

[startup+556.8 s]
/proc/loadavg: 2.06 1.94 1.76 3/184 18111
/proc/meminfo: memFree=28895336/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=556.7 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 55624 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 5852248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 556.7
Current children cumulated vsize (KiB) 1307204

[startup+560.007 s]
/proc/loadavg: 2.06 1.94 1.76 3/184 18111
/proc/meminfo: memFree=28895460/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=559.91 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 55945 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 12874809 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 559.91
Current children cumulated vsize (KiB) 1307204

[startup+561.6 s]
/proc/loadavg: 2.06 1.94 1.76 3/184 18111
/proc/meminfo: memFree=28895460/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=561.5 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 56104 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 13193991 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 561.5
Current children cumulated vsize (KiB) 1307204

[startup+562.4 s]
/proc/loadavg: 2.06 1.94 1.76 3/184 18111
/proc/meminfo: memFree=28895196/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=562.3 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 56184 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 5808568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 562.3
Current children cumulated vsize (KiB) 1307204

[startup+562.6 s]
/proc/loadavg: 2.06 1.94 1.76 3/184 18111
/proc/meminfo: memFree=28895196/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=562.5 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 56204 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 5839727 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 562.5
Current children cumulated vsize (KiB) 1307204

[startup+562.7 s]
/proc/loadavg: 2.06 1.94 1.76 3/184 18111
/proc/meminfo: memFree=28895196/32872528 swapFree=240816/273520
[pid=18070] ppid=18067 vsize=1307204 CPUtime=562.6 cores=0,2,4,6
/proc/18070/stat : 18070 (toysat) R 18067 18070 15535 0 -1 4202496 267832 0 0 0 56214 46 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140734954816568 5840387 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18070/statm: 326801 267650 791 2943 0 323695 0
[pid=18070/tid=18071] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18071/stat : 18071 (toysat) S 18067 18070 15535 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608948645104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18070/tid=18072] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18072/stat : 18072 (toysat) S 18067 18070 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608938155248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18070/tid=18073] ppid=18067 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18070/task/18073/stat : 18073 (toysat) S 18067 18070 15535 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10663246 1338576896 267650 33554432000 4194304 16246674 140734954833568 140608927681712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 562.6
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 562.759
CPU time (s): 562.672
CPU user time (s): 562.149
CPU system time (s): 0.52392
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 562.149
system time used= 0.52392
maximum resident set size= 1070616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267837
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= 20
involuntary context switches= 592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43478 second user time and 2.17267 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-30 21:52:02
IDJOB=4122218
IDBENCH=110989
IDSOLVER=2542
FILE ID=node107/4122218-1467316322
RUNJOBID= node107-1467316293-17792
PBS_JOBID= 20005268
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 0948eabb83f79b7ab091f649c9e5a057
RANDOM SEED=1738592828

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.110
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.56
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.110
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:        29968828 kB
Buffers:          134716 kB
Cached:           669824 kB
SwapCached:            0 kB
Active:          1346384 kB
Inactive:         542608 kB
Active(anon):    1087008 kB
Inactive(anon):        4 kB
Active(file):     259376 kB
Inactive(file):   542604 kB
Unevictable:      273520 kB
Mlocked:          240816 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33004 kB
Writeback:             0 kB
AnonPages:       1357668 kB
Mapped:            17084 kB
Shmem:               204 kB
Slab:             609268 kB
SReclaimable:      53260 kB
SUnreclaim:       556008 kB
KernelStack:        1520 kB
PageTables:         6680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1495288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71688 MiB
End job on node107 at 2016-06-30 22:01:25