Trace number 4122066

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 193.538 193.568

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n74-d3-i2-f.cnf.gz-plain.pb.metafix.opb
MD5SUMda0f0ee3655e6825a32e6c83a0394c97
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 benchmark5.38118
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables111
Total number of constraints296
Number of constraints which are clauses296
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:48:05+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-4122066-1467316085.opb"]
0.00/0.01	c use --random-gen="2513082305 674395583 2724282283 759598703 3662579210 2699771620 794347686 3794651713 2233334478 877834728 1613673376 2859619886 167352494 3981493883 3779398074 1415641001 2960086720 1464366261 4143742428 4112358835 2823414965 3057651622 3207842291 725025567 2546463087 3626464044 1023489095 4151069519 90790852 638274156 1133812989 2821712536 4135249538 4106346820 1795914806 4258005317 3804712082 1230283528 2317813001 1774541121 2429904027 3557205616 2783922045 1689446768 493227779 3231592969 2236064787 3920943393 1133284845 3001121399 3516171459 3548101139 224463458 1216000600 3044434530 1895447150 3851381809 4288356506 2752785957 157539577 3087394889 1671890415 1153087938 1540412673 2740475699 2937506336 3293379978 3636513442 2892804310 1366624967 2531549498 1348138228 2352819154 2926866444 3924081607 1755563627 4145401483 2526808661 2191894596 284011556 2936453306 212116035 879618710 149931384 978565179 2653577244 1321938056 2511394225 751858359 1916750358 1488589031 587793469 1403743731 1035559445 2175242368 2872685003 511391846 2918743401 3074647381 260373268 2974197085 645948272 3476328877 719676509 4071070617 814085681 1548033058 2833313725 2201520591 2983830808 1151771599 1658822796 2674359950 541145847 1896857326 1496842803 2215336292 2389669995 568059235 3275150493 3420671120 1267231492 382329740 3784309457 3809425987 1489085680 826415087 2535245884 1914293565 3553419890 1715001511 1111440008 3975043604 85163897 968623135 2510868630 2075413609 1071517050 1274530432 329665345 3541384523 171699579 145741699 1398060746 1055290263 29610264 748751817 2592261563 266475992 2222191515 2610021374 2583305695 150846185 534818021 779698091 1432541132 3308237153 3494180606 1897883251 473526394 2866138816 4208888980 348871847 688077233 2499528458 2839027902 1783237575 3324411011 731864341 1683661930 3313511470 1498127260 1856078394 2357354875 3481703324 3481576787 1220931931 2006282044 3923038593 1578109912 3855519549 3621769375 4142864100 2541805223 1858452728 3688642142 2021884466 601301201 3066362499 3888665765 320940232 2118717975 4211247150 7683325 1252733165 4087547160 738799249 3173349599 2100325204 2400936594 4267403820 222173985 4174298104 656668454 1446151875 2244133902 4154977234 531678009 1980217106 1829639524 4221438043 2904774591 981742053 4179055510 416793882 722142076 3811665011 1313614104 387705758 1503962977 190980989 1935651002 4168099155 1982583084 2188507361 356462281 844328053 3730818677 1738438649 3613248297 3526141167 2139046211 771189333 1335083798 816256299 801217911 1507062327 1386555154 408371292 1300728619 3511709315 3746339483 1237630767 1544425482 2479996799 87816941 490845633 37832629 3060500715 3884885847 1084035726 1241503927 2886588581 2586986311 4051936852 1468872880 255 362436" option to reproduce the execution
0.00/0.01	c #vars 111
0.00/0.01	c #constraints 296
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 |      135      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      144 |      100 |      135      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      395 |      250 |      149      1 |        0 |        0
0.00/0.07	c  0.0s |       3 |      653 |      475 |      164      2 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1105 |      813 |      181      5 |        0 |        0
0.08/0.16	c  0.1s |       5 |     1642 |     1320 |      200      9 |        0 |        0
0.18/0.24	c  0.2s |       6 |     2480 |     2081 |      244     15 |        0 |        0
0.29/0.37	c  0.4s |       7 |     3680 |     3223 |      269     22 |        0 |        0
0.48/0.52	c  0.5s |       8 |     6193 |     4936 |      296     33 |        0 |        0
0.69/0.78	c  0.8s |       9 |     9224 |     7506 |      326     49 |        0 |        0
0.99/1.09	c  1.1s |      10 |    15086 |    11361 |      359     71 |        0 |        0
1.49/1.55	c  1.5s |      11 |    21708 |    17144 |      395    101 |        0 |        0
2.19/2.25	c  2.2s |      12 |    31727 |    25819 |      435    143 |        0 |        0
2.98/3.04	c  3.0s |      13 |    50386 |    38832 |      479    201 |        0 |        0
4.08/4.13	c  4.1s |      14 |    79740 |    58352 |      527    280 |        0 |        0
5.78/5.82	c  5.8s |      15 |   123220 |    87632 |      580    388 |        0 |        0
7.79/7.82	c  7.8s |      15 |   169780 |   120932 |      580    501 |        0 |        0
8.38/8.45	c  8.4s |      16 |   185714 |   131552 |      638    537 |        0 |        0
10.38/10.45	c 10.4s |      16 |   230145 |   162652 |      638    633 |        0 |        0
12.39/12.45	c 12.4s |      16 |   273745 |   195052 |      638    733 |        0 |        0
12.59/12.61	c 12.6s |      17 |   276567 |   197432 |      702    740 |        0 |        0
14.59/14.61	c 14.6s |      17 |   321467 |   228432 |      702    827 |        0 |        0
16.60/16.62	c 16.6s |      17 |   367501 |   260632 |      702    918 |        0 |        0
18.59/18.62	c 18.6s |      17 |   413292 |   292632 |      702   1008 |        0 |        0
18.80/18.85	c 18.8s |      18 |   418613 |   296252 |      773   1018 |        0 |        0
20.79/20.85	c 20.8s |      18 |   459370 |   326252 |      773   1095 |        0 |        0
22.79/22.86	c 22.8s |      18 |   494558 |   354352 |      773   1166 |        0 |        0
24.79/24.86	c 24.8s |      18 |   530630 |   382752 |      773   1239 |        0 |        0
26.78/26.86	c 26.8s |      18 |   567066 |   410752 |      773   1311 |        0 |        0
28.79/28.87	c 28.9s |      18 |   599849 |   437352 |      773   1379 |        0 |        0
29.38/29.44	c 29.4s |      19 |   608632 |   444482 |      851   1396 |        0 |        0
31.38/31.44	c 31.4s |      19 |   646283 |   472782 |      851   1462 |        0 |        0
33.38/33.44	c 33.4s |      19 |   685800 |   501682 |      851   1529 |        0 |        0
35.38/35.45	c 35.4s |      19 |   725890 |   531582 |      851   1599 |        0 |        0
37.39/37.45	c 37.4s |      19 |   765638 |   560882 |      851   1667 |        0 |        0
39.38/39.46	c 39.4s |      19 |   801727 |   588782 |      851   1732 |        0 |        0
41.38/41.46	c 41.4s |      19 |   843616 |   618582 |      851   1802 |        0 |        0
43.38/43.46	c 43.4s |      19 |   885434 |   648082 |      851   1871 |        0 |        0
44.58/44.68	c 44.7s |      20 |   910832 |   666827 |      937   1913 |        0 |        0
46.58/46.68	c 46.7s |      20 |   953729 |   697427 |      937   1978 |        0 |        0
48.59/48.68	c 48.7s |      20 |   997939 |   727827 |      937   2042 |        0 |        0
50.59/50.69	c 50.7s |      20 |  1036641 |   757127 |      937   2105 |        0 |        0
52.58/52.69	c 52.7s |      20 |  1076412 |   786227 |      937   2166 |        0 |        0
54.58/54.69	c 54.7s |      20 |  1117419 |   816327 |      937   2230 |        0 |        0
56.68/56.70	c 56.7s |      20 |  1160389 |   847127 |      937   2295 |        0 |        0
58.68/58.70	c 58.7s |      20 |  1200620 |   876627 |      937   2358 |        0 |        0
60.68/60.71	c 60.7s |      20 |  1238515 |   905427 |      937   2419 |        0 |        0
62.68/62.71	c 62.7s |      20 |  1276210 |   933627 |      937   2479 |        0 |        0
64.68/64.71	c 64.7s |      20 |  1312946 |   962127 |      937   2540 |        0 |        0
66.67/66.71	c 66.7s |      20 |  1347765 |   989227 |      937   2597 |        0 |        0
67.47/67.52	c 67.5s |      21 |  1361935 |  1000345 |     1031   2619 |        0 |        0
69.47/69.52	c 69.5s |      21 |  1392808 |  1025145 |     1031   2666 |        0 |        0
71.49/71.52	c 71.5s |      21 |  1423941 |  1050045 |     1031   2714 |        0 |        0
73.48/73.53	c 73.5s |      21 |  1457786 |  1075845 |     1031   2764 |        0 |        0
75.48/75.53	c 75.5s |      21 |  1490766 |  1101445 |     1031   2813 |        0 |        0
77.48/77.54	c 77.5s |      21 |  1527725 |  1127545 |     1031   2863 |        0 |        0
79.48/79.54	c 79.5s |      21 |  1563821 |  1153845 |     1031   2914 |        0 |        0
81.49/81.54	c 81.5s |      21 |  1598694 |  1180345 |     1031   2965 |        0 |        0
83.48/83.54	c 83.5s |      21 |  1633053 |  1205945 |     1031   3015 |        0 |        0
85.48/85.55	c 85.5s |      21 |  1669307 |  1232245 |     1031   3065 |        0 |        0
87.48/87.55	c 87.5s |      21 |  1700699 |  1257445 |     1031   3114 |        0 |        0
89.48/89.56	c 89.5s |      21 |  1732438 |  1283145 |     1031   3163 |        0 |        0
91.48/91.56	c 91.5s |      21 |  1767755 |  1309845 |     1031   3215 |        0 |        0
93.48/93.57	c 93.5s |      21 |  1804407 |  1337345 |     1031   3268 |        0 |        0
95.48/95.57	c 95.6s |      21 |  1841921 |  1365545 |     1031   3322 |        0 |        0
97.48/97.57	c 97.6s |      21 |  1881446 |  1393845 |     1031   3377 |        0 |        0
99.48/99.58	c 99.6s |      21 |  1917911 |  1421345 |     1031   3430 |        0 |        0
101.47/101.58	c  101s |      21 |  1955360 |  1449145 |     1031   3484 |        0 |        0
103.48/103.59	c  103s |      21 |  1989221 |  1476345 |     1031   3536 |        0 |        0
105.37/105.46	c  105s |      22 |  2020877 |  1500622 |     1135   3581 |        0 |        0
107.37/107.46	c  107s |      22 |  2054019 |  1526122 |     1135   3625 |        0 |        0
109.37/109.47	c  109s |      22 |  2087325 |  1551922 |     1135   3670 |        0 |        0
111.37/111.47	c  111s |      22 |  2120293 |  1577822 |     1135   3716 |        0 |        0
113.37/113.47	c  113s |      22 |  2155457 |  1604322 |     1135   3762 |        0 |        0
115.37/115.48	c  115s |      22 |  2188250 |  1630422 |     1135   3808 |        0 |        0
117.37/117.48	c  117s |      22 |  2220096 |  1655722 |     1135   3852 |        0 |        0
119.37/119.48	c  119s |      22 |  2249430 |  1679222 |     1135   3893 |        0 |        0
121.37/121.49	c  121s |      22 |  2280905 |  1704022 |     1135   3937 |        0 |        0
123.37/123.50	c  123s |      22 |  2319431 |  1730922 |     1135   3984 |        0 |        0
125.38/125.50	c  125s |      22 |  2355237 |  1757822 |     1135   4031 |        0 |        0
127.47/127.50	c  127s |      22 |  2393815 |  1785722 |     1135   4080 |        0 |        0
129.47/129.51	c  129s |      22 |  2429615 |  1812822 |     1135   4128 |        0 |        0
131.47/131.51	c  131s |      22 |  2467317 |  1840822 |     1135   4177 |        0 |        0
133.47/133.52	c  133s |      22 |  2502871 |  1867522 |     1135   4223 |        0 |        0
135.47/135.53	c  135s |      22 |  2540735 |  1895022 |     1135   4272 |        0 |        0
137.47/137.53	c  137s |      22 |  2579765 |  1922422 |     1135   4320 |        0 |        0
139.47/139.53	c  139s |      22 |  2617374 |  1950222 |     1135   4368 |        0 |        0
141.46/141.54	c  141s |      22 |  2654254 |  1978022 |     1135   4417 |        0 |        0
143.47/143.54	c  143s |      22 |  2691637 |  2005522 |     1135   4465 |        0 |        0
145.47/145.54	c  145s |      22 |  2726128 |  2031022 |     1135   4509 |        1 |        4
147.48/147.55	c  147s |      22 |  2760694 |  2056922 |     1135   4554 |        1 |        4
149.47/149.56	c  149s |      22 |  2793265 |  2082222 |     1135   4598 |        1 |        4
151.47/151.56	c  151s |      22 |  2825571 |  2106922 |     1135   4641 |        1 |        4
153.47/153.57	c  153s |      22 |  2864374 |  2134422 |     1135   4690 |        1 |        4
155.47/155.57	c  155s |      22 |  2897415 |  2160222 |     1135   4735 |        1 |        4
157.47/157.58	c  157s |      22 |  2928387 |  2184922 |     1135   4778 |        1 |        4
159.47/159.58	c  159s |      22 |  2961889 |  2209722 |     1135   4822 |        1 |        4
161.47/161.58	c  161s |      22 |  2994115 |  2234822 |     1135   4865 |        1 |        4
162.67/162.78	c  162s |      23 |  3016420 |  2251038 |     1249   4891 |        1 |        4
164.66/164.79	c  164s |      23 |  3051495 |  2277638 |     1249   4933 |        1 |        4
166.66/166.80	c  166s |      23 |  3088423 |  2304038 |     1249   4975 |        1 |        4
168.76/168.80	c  168s |      23 |  3122521 |  2330038 |     1249   5016 |        2 |        8
170.76/170.80	c  170s |      23 |  3156836 |  2354038 |     1249   5054 |        2 |        8
172.67/172.80	c  172s |      23 |  3193220 |  2378838 |     1249   5093 |        2 |        8
174.76/174.80	c  174s |      23 |  3223806 |  2402838 |     1249   5132 |        2 |        8
176.76/176.81	c  176s |      23 |  3253535 |  2425938 |     1249   5168 |        2 |        8
178.76/178.81	c  178s |      23 |  3288239 |  2452438 |     1249   5211 |        2 |        8
180.76/180.81	c  180s |      23 |  3324402 |  2478838 |     1249   5252 |        3 |       12
182.77/182.82	c  182s |      23 |  3355816 |  2503938 |     1249   5292 |        3 |       12
184.77/184.82	c  184s |      23 |  3386251 |  2528638 |     1249   5331 |        3 |       12
186.76/186.82	c  186s |      23 |  3419406 |  2553938 |     1249   5371 |        3 |       12
188.76/188.82	c  188s |      23 |  3450814 |  2579438 |     1249   5410 |        4 |       16
190.76/190.82	c  190s |      23 |  3484157 |  2605438 |     1249   5450 |        5 |       20
192.76/192.83	c  192s |      23 |  3517123 |  2631538 |     1249   5491 |        6 |       24
193.46/193.50	c  193s |      23 |  3528675 |  2640737 |     1249   5501 |       24 |       80
193.46/193.50	c #cpu_time = 193.494s
193.46/193.50	c #wall_clock_time = 193.489s
193.46/193.50	c #decision = 3528675
193.46/193.50	c #random_decision = 16904
193.46/193.50	c #conflict = 2640737
193.46/193.50	c #restart = 23
193.46/193.50	s UNSATISFIABLE
193.46/193.50	c total CPU time = 193.512s
193.46/193.51	c total wall clock time = 193.508s

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

pid=9096
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.00 2.02 1.91 3/179 9099
/proc/meminfo: memFree=30090792/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 2597 0 0 0 0 0 0 0 20 0 4 0 2286108 714534912 3469 33554432000 4194304 16246674 140735586218384 140735586217808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 175215 3480 441 2943 0 172109 0
[pid=9099/tid=9100] ppid=9096 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 733409280 3540 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 737603584 3557 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 742846464 3574 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 9099
/proc/meminfo: memFree=30090792/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 26065 0 0 0 5 3 0 0 20 0 4 0 2286108 1247350784 26926 33554432000 4194304 16246674 140735586218384 140735586217808 13192590 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 304529 26935 708 2943 0 301423 0
[pid=9099/tid=9100] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 26943 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 26951 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 26956 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200465 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 9099
/proc/meminfo: memFree=30090792/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 49903 0 0 0 12 6 0 0 20 0 4 0 2286108 1247350784 50764 33554432000 4194304 16246674 140735586218384 140735586217808 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 304529 50778 708 2943 0 301423 0
[pid=9099/tid=9100] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 50784 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 50792 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 50800 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30052 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 9099
/proc/meminfo: memFree=30090792/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 73249 0 0 0 20 9 0 0 20 0 4 0 2286108 1247350784 74110 33554432000 4194304 16246674 140735586218384 140735586217808 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 304529 74120 708 2943 0 301423 0
[pid=9099/tid=9100] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 74126 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 74133 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 74141 33554432000 4194304 16246674 140735586218384 139837625593008 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.700414 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 9099
/proc/meminfo: memFree=30090792/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 168314 0 0 0 46 23 0 0 20 0 4 0 2286108 1247350784 169175 33554432000 4194304 16246674 140735586218384 140735586200256 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 304529 169183 709 2943 0 301423 0
[pid=9099/tid=9100] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 169190 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 169199 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1247350784 169207 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.00 2.02 1.91 3/183 9103
/proc/meminfo: memFree=29105816/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 245543 0 0 0 116 33 0 0 20 0 4 0 2286108 1248399360 246384 33554432000 4194304 16246674 140735586218384 140735586217696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 304785 246384 786 2943 0 301679 0
[pid=9099/tid=9100] ppid=9096 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1248399360 246384 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1248399360 246384 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1248399360 246384 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.00 2.02 1.91 3/183 9103
/proc/meminfo: memFree=29018644/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267358 0 0 0 273 35 0 0 20 0 4 0 2286108 1337528320 268199 33554432000 4194304 16246674 140735586218384 140735586201384 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326545 268199 786 2943 0 323439 0
[pid=9099/tid=9100] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268199 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268199 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268199 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.00 2.02 1.91 3/183 9103
/proc/meminfo: memFree=29017424/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267422 0 0 0 593 35 0 0 20 0 4 0 2286108 1337528320 268263 33554432000 4194304 16246674 140735586218384 140735586201384 13820120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326545 268263 786 2943 0 323439 0
[pid=9099/tid=9100] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268263 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268263 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268263 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.91 3/183 9103
/proc/meminfo: memFree=29017340/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267460 0 0 0 1233 36 0 0 20 0 4 0 2286108 1337528320 268301 33554432000 4194304 16246674 140735586218384 140735586201376 13820998 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326545 268301 788 2943 0 323439 0
[pid=9099/tid=9100] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268301 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268301 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268301 33554432000 4194304 16246674 140735586218384 139837625593008 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.5005 s]
/proc/loadavg: 2.00 2.01 1.91 3/183 9103
/proc/meminfo: memFree=29017628/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267498 0 0 0 2513 36 0 0 20 0 4 0 2286108 1337528320 268339 33554432000 4194304 16246674 140735586218384 140735586201384 12478176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326545 268339 788 2943 0 323439 0
[pid=9099/tid=9100] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268339 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268339 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1337528320 268339 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1006 s]
/proc/loadavg: 2.00 2.01 1.91 3/183 9103
/proc/meminfo: memFree=29017392/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267587 0 0 0 5071 37 0 0 20 0 4 0 2286108 1338576896 268428 33554432000 4194304 16246674 140735586218384 140735586201384 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268428 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268428 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268428 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268428 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 1.91 3/183 9104
/proc/meminfo: memFree=29016852/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267644 0 0 0 10190 38 0 0 20 0 4 0 2286108 1338576896 268485 33554432000 4194304 16246674 140735586218384 140735586200256 13927260 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268485 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268485 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268485 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268485 33554432000 4194304 16246674 140735586218384 139837625593008 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

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 9108
/proc/meminfo: memFree=29016748/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=162.27 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267659 0 0 0 16187 40 0 0 20 0 4 0 2286108 1338576896 268500 33554432000 4194304 16246674 140735586218384 140735586201384 12477993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268500 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268500 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268500 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268500 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1307204

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

[startup+179.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9108
/proc/meminfo: memFree=29016388/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=179.16 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 17876 40 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586201384 6022168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 179.16
Current children cumulated vsize (KiB) 1307204

[startup+185.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9109
/proc/meminfo: memFree=29015764/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=185.57 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 18516 41 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586200256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 185.57
Current children cumulated vsize (KiB) 1307204

[startup+188.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9109
/proc/meminfo: memFree=29015772/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=188.76 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 18835 41 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586201384 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 188.76
Current children cumulated vsize (KiB) 1307204

[startup+192 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9109
/proc/meminfo: memFree=29015904/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=191.96 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 19155 41 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586201384 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 191.96
Current children cumulated vsize (KiB) 1307204

[startup+192.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9109
/proc/meminfo: memFree=29015904/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=192.76 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 19235 41 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586201384 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 192.76
Current children cumulated vsize (KiB) 1307204

[startup+193.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9109
/proc/meminfo: memFree=29015904/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=193.16 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 19275 41 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586201384 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 193.16
Current children cumulated vsize (KiB) 1307204

[startup+193.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9109
/proc/meminfo: memFree=29015904/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=193.36 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 19295 41 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586201384 5677825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 193.36
Current children cumulated vsize (KiB) 1307204

[startup+193.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9109
/proc/meminfo: memFree=29015904/32872528 swapFree=295864/318348
[pid=9099] ppid=9096 vsize=1307204 CPUtime=193.46 cores=0,2,4,6
/proc/9099/stat : 9099 (toysat) R 9096 9099 4291 0 -1 4202496 267745 0 0 0 19305 41 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 140735586201384 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9099/statm: 326801 268586 789 2943 0 323695 0
[pid=9099/tid=9100] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9100/stat : 9100 (toysat) S 9096 9099 4291 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837722045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9099/tid=9101] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9101/stat : 9101 (toysat) S 9096 9099 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837711555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9099/tid=9102] ppid=9096 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9099/task/9102/stat : 9102 (toysat) S 9096 9099 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2286108 1338576896 268586 33554432000 4194304 16246674 140735586218384 139837625593008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 193.46
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 193.568
CPU time (s): 193.538
CPU user time (s): 193.069
CPU system time (s): 0.468928
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.069
system time used= 0.468928
maximum resident set size= 1074356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267750
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= 22
involuntary context switches= 238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27481 second user time and 1.88571 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-30 21:48:05
IDJOB=4122066
IDBENCH=110859
IDSOLVER=2542
FILE ID=node128/4122066-1467316085
RUNJOBID= node128-1467314186-8725
PBS_JOBID= 20005249
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i2-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-4122066-1467316085/watcher-4122066-1467316085 -o /tmp/evaluation-result-4122066-1467316085/solver-4122066-1467316085 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8725 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122066-1467316085.opb

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

MD5SUM BENCH= da0f0ee3655e6825a32e6c83a0394c97
RANDOM SEED=1415462455

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.501
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.501
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30090956 kB
Buffers:           74540 kB
Cached:           560616 kB
SwapCached:            0 kB
Active:          1305464 kB
Inactive:         420048 kB
Active(anon):    1092920 kB
Inactive(anon):        4 kB
Active(file):     212544 kB
Inactive(file):   420044 kB
Unevictable:      318348 kB
Mlocked:          295864 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1408652 kB
Mapped:            17072 kB
Shmem:               204 kB
Slab:             606352 kB
SReclaimable:      50208 kB
SUnreclaim:       556144 kB
KernelStack:        1512 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1540272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1093632 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= 71712 MiB
End job on node128 at 2016-06-30 21:51:19