Trace number 4078859

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-02? (TO) 1800.09 1800.38

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-170.opb
MD5SUMec3e1a4dea6a8a4871a8c3a868360cb3
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark43.6124
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26339
Total number of constraints612374
Number of constraints which are clauses549666
Number of constraints which are cardinality constraints (but not clauses)2270
Number of constraints which are nor clauses,nor cardinality constraints60438
Minimum length of a constraint1
Maximum length of a constraint1485
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1486
Number of bits of the biggest sum of numbers11
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-07T07:17:50+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-4078859-1465276669.opb"]
0.00/0.01	c use --random-gen="3205342204 61321132 528728685 3574292876 1007026184 4188113475 2748095258 4032504792 2189182267 1755881118 3847753660 3104413722 3465995105 3363331724 2547495964 3237922258 3530540529 986132634 3476565771 4129654958 629984738 1355723911 1326520990 1894822380 3939192239 3825103572 1114859418 143485231 1555615547 843051281 2675052808 502666473 842721758 2497006134 4233733719 2513376301 3201943889 604948921 277938208 359276290 2444010330 1097434571 3247760835 1120162215 349318850 1242212060 799391609 3617551375 503160277 3039061169 2343893280 3929733086 4246560864 1615571372 2553407099 3139999690 1488229169 1880453560 1495260337 2527871800 2310511648 3729425146 3122890999 2742324826 1342543833 3795705630 2846759983 3031470991 254311454 2375716316 1989095509 1083714901 1845197605 296109006 3318413448 773486375 1948802214 3143107299 313290673 2105149128 2068055920 1786074785 3409619604 1438371886 3799415227 3787385451 1254130756 759737358 1419681689 3350511718 88924958 3805491294 2293754636 175702888 1428821106 3180765133 3248720807 2183912079 2483126161 2566853428 4163717722 742926420 3674689387 2389255797 1394581612 1172195437 2452076531 1806968716 674717301 4186294023 1372155753 1645202522 885225056 54853176 1576771077 3739549176 4275442992 2222396908 306008752 3062165605 237670337 3145278638 2579702602 200520723 1632164389 2102098960 2978728864 2273945539 1673373410 2483408112 3392964834 906644525 3560859154 1111858560 3952877869 806937965 2908023531 1318641055 4048405860 484097422 2115619543 1619864565 3937619913 2652733133 3187550390 2814979929 2991895488 2447357822 3219025456 3843697492 1536402813 1047212432 3975961930 734805111 3217988289 561885196 2907814958 2146354394 3223225182 274760335 1106236950 2722169904 820317104 3355733236 3946791563 2959958687 2842893172 3104675080 2146228984 2296793785 3688235632 2002846871 1690776399 1869084180 2470250678 1552368771 1638973086 2774217607 2755475396 170406307 1022314831 3875403473 3858188359 464187246 4166671029 989053236 1550603882 2319135988 3770871794 1605254197 1433747473 3377502031 4073404349 1025049511 2432781906 3893286768 1775049236 2119353913 2463330653 1138593813 1434995622 2314865706 2112092791 702004270 1081126404 1905568787 2000837281 2662919437 2495020965 3128485746 3781952859 3837195718 2946779638 2358086091 885299910 1459190835 2871591779 1473419483 1103864694 2452895541 172182197 2271666056 2507530733 4101173231 2631892417 1425988871 4198994155 2458906914 3612274343 4096815581 1040951468 3544427084 3989916999 689085015 1220125337 549951896 4215838529 3412873708 3179593149 4191523912 483767693 2816292393 219880268 4175333228 1346236556 1780304063 2602071959 4047328263 406365853 3817774947 1680710822 3723911969 166415438 326236894 2512183412 142462971 255 362436" option to reproduce the execution
5.18/5.29	c #vars 26339
5.18/5.29	c #constraints 612374
14.79/14.88	c Solving starts ...
14.79/14.88	c ============================[ Search Statistics ]============================
14.79/14.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.79/14.88	c       |         |          |          |    Limit     GC | Var      | Constra 
14.79/14.88	c =============================================================================
14.79/14.89	c  0.0s |       0 |        0 |        0 |   168565      0 |     8436 |        0
19.59/19.64	c  4.8s |       0 |    10961 |      100 |   168565      0 |     8442 |    97141
19.59/19.68	c  4.8s |       1 |    10961 |      100 |   168565      0 |     8442 |    97141
31.18/31.29	c 16.4s |       1 |    52871 |      200 |   185422      0 |     8457 |    97358
37.39/37.50	c 22.6s |       2 |    80150 |      250 |   185422      0 |     8463 |    97443
43.48/43.59	c 28.7s |       2 |   142513 |      350 |   203965      0 |     8474 |    97808
47.98/48.00	c 33.1s |       2 |   176530 |      450 |   203965      0 |     8483 |    97999
48.88/48.96	c 34.1s |       3 |   185201 |      475 |   203965      0 |     8484 |    98013
52.98/53.07	c 38.2s |       3 |   218016 |      575 |   224362      0 |     8488 |    98071
55.57/55.69	c 40.8s |       3 |   258061 |      675 |   224362      0 |     8494 |    98157
58.47/58.55	c 43.7s |       3 |   285984 |      775 |   224362      0 |     8500 |    98266
60.37/60.40	c 45.5s |       4 |   296169 |      813 |   224362      0 |     8505 |    98334
64.17/64.29	c 49.4s |       4 |   333591 |      913 |   246799      0 |     8514 |    98906
68.37/68.47	c 53.6s |       4 |   360170 |     1013 |   246799      0 |     8525 |    99067
72.58/72.62	c 57.7s |       4 |   396431 |     1113 |   246799      0 |     8533 |    99228
75.07/75.11	c 60.2s |       4 |   476762 |     1213 |   246799      0 |     8534 |    99242
79.28/79.37	c 64.5s |       4 |   538302 |     1313 |   246799      0 |     8536 |    99271
79.67/79.72	c 64.8s |       5 |   542401 |     1320 |   246799      0 |     8536 |    99271
85.07/85.19	c 70.3s |       5 |   595994 |     1420 |   271479      0 |     8536 |    99271
90.97/91.00	c 76.1s |       5 |   650701 |     1520 |   271479      0 |     8537 |    99285
94.27/94.31	c 79.4s |       5 |   692422 |     1620 |   271479      0 |     8544 |    99385
97.77/97.90	c 83.0s |       5 |   716184 |     1720 |   271479      0 |     8552 |    99500
102.57/102.67	c 87.8s |       5 |   772103 |     1820 |   271479      0 |     8561 |    99633
109.37/109.48	c 94.6s |       5 |   824470 |     1920 |   271479      0 |     8563 |    99662
113.97/114.02	c 99.1s |       5 |   875662 |     2020 |   271479      0 |     8566 |    99741
115.67/115.76	c  100s |       6 |   892582 |     2081 |   298627      0 |     8568 |    99770
117.67/117.77	c  102s |       6 |   956890 |     2181 |   298627      0 |     8570 |    99795
122.27/122.35	c  107s |       6 |   971368 |     2281 |   298627      0 |     8580 |    99935
128.68/128.75	c  113s |       6 |  1042379 |     2481 |   298627      0 |     8586 |   100025
131.57/131.63	c  116s |       6 |  1083195 |     2581 |   298627      0 |     8591 |   100097
133.67/133.79	c  118s |       6 |  1125789 |     2681 |   298627      0 |     8594 |   100303
136.07/136.16	c  121s |       6 |  1215879 |     2881 |   298627      0 |     8597 |   100348
138.47/138.57	c  123s |       6 |  1250655 |     2981 |   298627      0 |     8601 |   100405
140.67/140.70	c  125s |       6 |  1310750 |     3081 |   298627      0 |     8604 |   100448
143.08/143.11	c  128s |       6 |  1359765 |     3181 |   298627      0 |     8608 |   100717
143.77/143.86	c  128s |       7 |  1382774 |     3223 |   328490      0 |     8608 |   100717
147.37/147.45	c  132s |       7 |  1456794 |     3423 |   328490      0 |     8614 |   100874
150.47/150.52	c  135s |       7 |  1490627 |     3523 |   328490      0 |     8620 |   100959
157.86/157.98	c  143s |       7 |  1571798 |     3923 |   328490      0 |     8630 |   101102
161.06/161.18	c  146s |       7 |  1644030 |     4023 |   328490      0 |     8633 |   101168
164.56/164.64	c  149s |       7 |  1675150 |     4123 |   328490      0 |     8639 |   101401
168.56/168.62	c  153s |       7 |  1695657 |     4223 |   328490      0 |     8644 |   101545
171.57/171.66	c  156s |       7 |  1749333 |     4323 |   328490      0 |     8646 |   101574
182.26/182.35	c  167s |       7 |  1916373 |     4423 |   328490      0 |     8653 |   101672
190.66/190.76	c  175s |       7 |  2049147 |     4523 |   328490      0 |     8657 |   101731
193.66/193.71	c  178s |       7 |  2081860 |     4623 |   328490      0 |     8664 |   101832
199.96/200.01	c  185s |       7 |  2201303 |     4723 |   328490      0 |     8668 |   101996
205.16/205.27	c  190s |       7 |  2269460 |     4923 |   361340      0 |     8672 |   102055
206.16/206.22	c  191s |       8 |  2279283 |     4936 |   361340      0 |     8672 |   102055
215.05/215.19	c  200s |       8 |  2353431 |     5036 |   361340      0 |     8674 |   102084
223.26/223.38	c  208s |       8 |  2431348 |     5136 |   361340      0 |     8677 |   102126
227.25/227.32	c  212s |       8 |  2470945 |     5236 |   361340      0 |     8685 |   102238
231.35/231.45	c  216s |       8 |  2499339 |     5336 |   361340      0 |     8689 |   102295
234.65/234.70	c  219s |       8 |  2525531 |     5436 |   361340      0 |     8690 |   102309
238.85/238.93	c  224s |       8 |  2602725 |     5836 |   361340      0 |     8694 |   102414
244.05/244.11	c  229s |       8 |  2664489 |     5936 |   361340      0 |     8700 |   102501
246.46/246.53	c  231s |       8 |  2704422 |     6036 |   361340      0 |     8705 |   102639
249.85/249.97	c  235s |       8 |  2794158 |     6236 |   361340      0 |     8710 |   102712
254.16/254.24	c  239s |       8 |  2868084 |     6436 |   361340      0 |     8718 |   102829
256.95/257.05	c  242s |       8 |  2916679 |     6536 |   361340      0 |     8725 |   102932
261.75/261.86	c  246s |       8 |  3013626 |     6636 |   361340      0 |     8732 |   103033
265.55/265.64	c  250s |       8 |  3077815 |     6736 |   361340      0 |     8737 |   103103
267.95/268.08	c  253s |       8 |  3118298 |     6836 |   361340      0 |     8737 |   103103
271.75/271.86	c  256s |       8 |  3160321 |     6936 |   361340      0 |     8738 |   103117
276.05/276.18	c  261s |       8 |  3200476 |     7036 |   361340      0 |     8738 |   103117
278.74/278.89	c  264s |       8 |  3257501 |     7136 |   361340      0 |     8740 |   103146
281.14/281.20	c  266s |       8 |  3286643 |     7236 |   361340      0 |     8742 |   103174
283.34/283.49	c  268s |       8 |  3319892 |     7336 |   361340      0 |     8743 |   103400
285.95/286.05	c  271s |       8 |  3345144 |     7436 |   361340      0 |     8746 |   103440
286.94/287.07	c  272s |       9 |  3376021 |     7506 |   397475      0 |     8747 |   103575
289.25/289.36	c  274s |       9 |  3449779 |     7706 |   397475      0 |     8748 |   103589
291.34/291.45	c  276s |       9 |  3560720 |     8106 |   397475      0 |     8749 |   103604
293.44/293.59	c  278s |       9 |  3618106 |     8506 |   397475      0 |     8751 |   103632
305.14/305.26	c  290s |       9 |  3720694 |     8606 |   397475      0 |     8755 |   103785
319.14/319.29	c  304s |       9 |  3834247 |     8706 |   397475      0 |     8757 |   103813
321.34/321.45	c  306s |       9 |  3894289 |     8806 |   397475      0 |     8759 |   103842
324.14/324.27	c  309s |       9 |  3932461 |     8906 |   397475      0 |     8762 |   103884
327.04/327.11	c  312s |       9 |  3968421 |     9006 |   397475      0 |     8762 |   103884
330.44/330.56	c  315s |       9 |  4001114 |     9106 |   397475      0 |     8765 |   103926
333.44/333.59	c  318s |       9 |  4023495 |     9206 |   397475      0 |     8768 |   103968
336.54/336.61	c  321s |       9 |  4051928 |     9306 |   397475      0 |     8773 |   104038
340.44/340.57	c  325s |       9 |  4084029 |     9506 |   397475      0 |     8778 |   104098
345.73/345.83	c  330s |       9 |  4182077 |     9706 |   397475      0 |     8785 |   104198
349.53/349.68	c  334s |       9 |  4222347 |     9806 |   397475      0 |     8791 |   104277
355.24/355.31	c  340s |       9 |  4280717 |     9906 |   397475      0 |     8798 |   104376
359.03/359.15	c  344s |       9 |  4326075 |    10006 |   397475      0 |     8804 |   104633
364.04/364.17	c  349s |       9 |  4362297 |    10106 |   397475      0 |     8812 |   104749
371.13/371.29	c  356s |       9 |  4440029 |    10206 |   397475      0 |     8823 |   105317
376.83/376.96	c  362s |       9 |  4516625 |    10306 |   397475      0 |     8838 |   105729
380.43/380.59	c  365s |       9 |  4544165 |    10406 |   397475      0 |     8842 |   105782
384.33/384.44	c  369s |       9 |  4580285 |    10506 |   397475      0 |     8849 |   105875
387.03/387.10	c  372s |       9 |  4633378 |    10606 |   397475      0 |     8852 |   105920
395.63/395.70	c  380s |       9 |  4667847 |    10706 |   397475      0 |     8869 |   106251
400.43/400.52	c  385s |       9 |  4784744 |    10906 |   397475      0 |     8875 |   106330
405.32/405.49	c  390s |       9 |  4876974 |    11106 |   397475      0 |     8881 |   106419
408.32/408.49	c  393s |       9 |  4937907 |    11206 |   397475      0 |     8885 |   106477
411.22/411.32	c  396s |       9 |  4991938 |    11306 |   437223      0 |     8888 |   106516
412.92/413.04	c  398s |      10 |  5011783 |    11361 |   437223      0 |     8891 |   106561
418.52/418.61	c  403s |      10 |  5031128 |    11461 |   437223      0 |     8900 |   106696
426.02/426.19	c  411s |      10 |  5089078 |    11561 |   437223      0 |     8906 |   106805
432.33/432.42	c  417s |      10 |  5172333 |    11661 |   437223      0 |     8911 |   106872
436.32/436.48	c  421s |      10 |  5210118 |    11761 |   437223      0 |     8918 |   107178
441.62/441.76	c  426s |      10 |  5233938 |    11861 |   437223      0 |     8926 |   107291
445.62/445.75	c  430s |      10 |  5263977 |    11961 |   437223      0 |     8930 |   107350
449.32/449.43	c  434s |      10 |  5318956 |    12061 |   437223      0 |     8933 |   107393
451.62/451.73	c  436s |      10 |  5341693 |    12161 |   437223      0 |     8937 |   107596
454.12/454.26	c  439s |      10 |  5361983 |    12261 |   437223      0 |     8942 |   107668
456.22/456.34	c  441s |      10 |  5409087 |    12461 |   437223      0 |     8945 |   107705
461.02/461.19	c  446s |      10 |  5483476 |    12961 |   437223      0 |     8954 |   107838
467.91/468.06	c  453s |      10 |  5529290 |    13061 |   437223      0 |     8969 |   108258
473.11/473.21	c  458s |      10 |  5557564 |    13161 |   437223      0 |     8982 |   108442
478.01/478.16	c  463s |      10 |  5579546 |    13261 |   437223      0 |     8991 |   108572
482.11/482.28	c  467s |      10 |  5600308 |    13361 |   437223      0 |     8996 |   108644
484.51/484.67	c  469s |      10 |  5632686 |    13561 |   437223      0 |     8999 |   109178
487.61/487.74	c  472s |      10 |  5657739 |    13861 |   437223      0 |     9007 |   109293
497.61/497.70	c  482s |      10 |  5707518 |    13961 |   437223      0 |     9035 |   109691
502.11/502.23	c  487s |      10 |  5725486 |    14061 |   437223      0 |     9047 |   110103
506.91/507.10	c  492s |      10 |  5751756 |    14161 |   437223      0 |     9059 |   110272
512.81/512.93	c  498s |      10 |  5785219 |    14261 |   437223      0 |     9067 |   110390
517.50/517.61	c  502s |      10 |  5797903 |    14361 |   437223      0 |     9068 |   110404
521.50/521.67	c  506s |      10 |  5845672 |    14561 |   437223      0 |     9072 |   110532
525.20/525.30	c  510s |      10 |  5912015 |    14761 |   437223      0 |     9075 |   110574
529.20/529.35	c  514s |      10 |  5951894 |    14861 |   437223      0 |     9082 |   110672
538.40/538.56	c  523s |      10 |  6045439 |    14961 |   437223      0 |     9093 |   110863
547.20/547.37	c  532s |      10 |  6121648 |    15061 |   437223      0 |     9101 |   110979
552.80/552.97	c  538s |      10 |  6187588 |    15161 |   437223      0 |     9109 |   111349
557.20/557.35	c  542s |      10 |  6229545 |    15261 |   437223      0 |     9112 |   111395
560.90/561.10	c  546s |      10 |  6267790 |    15361 |   437223      0 |     9112 |   111395
565.60/565.78	c  550s |      10 |  6297529 |    15461 |   437223      0 |     9121 |   111547
571.60/571.79	c  556s |      10 |  6316389 |    15561 |   437223      0 |     9129 |   111662
576.19/576.33	c  561s |      10 |  6367682 |    15661 |   437223      0 |     9138 |   111781
578.79/578.92	c  564s |      10 |  6415919 |    15761 |   437223      0 |     9141 |   111823
581.80/581.93	c  567s |      10 |  6449442 |    15861 |   437223      0 |     9146 |   111897
584.49/584.68	c  569s |      10 |  6482342 |    15961 |   437223      0 |     9151 |   112056
586.69/586.86	c  571s |      10 |  6517221 |    16161 |   437223      0 |     9153 |   112086
589.99/590.17	c  575s |      10 |  6551028 |    16261 |   437223      0 |     9159 |   112287
596.99/597.15	c  582s |      10 |  6629486 |    16461 |   437223      0 |     9169 |   112426
600.50/600.68	c  585s |      10 |  6649768 |    16561 |   437223      0 |     9176 |   112525
603.99/604.19	c  589s |      10 |  6691474 |    16661 |   437223      0 |     9180 |   112583
607.50/607.60	c  592s |      10 |  6724099 |    16761 |   437223      0 |     9184 |   112638
610.70/610.82	c  595s |      10 |  6772901 |    16861 |   437223      0 |     9186 |   112662
613.50/613.68	c  598s |      10 |  6799111 |    16961 |   437223      0 |     9190 |   112719
616.10/616.21	c  601s |      10 |  6820731 |    17061 |   480946      0 |     9192 |   112744
618.10/618.22	c  603s |      11 |  6841555 |    17144 |   480946      0 |     9195 |   112784
620.20/620.40	c  605s |      11 |  6865014 |    17244 |   480946      0 |     9196 |   112799
622.70/622.83	c  607s |      11 |  6883944 |    17344 |   480946      0 |     9200 |   112858
625.20/625.35	c  610s |      11 |  6912426 |    17444 |   480946      0 |     9201 |   112872
627.79/627.93	c  613s |      11 |  6959909 |    17744 |   480946      0 |     9204 |   112911
630.39/630.56	c  615s |      11 |  6974022 |    17944 |   480946      0 |     9209 |   112977
633.50/633.66	c  618s |      11 |  7023989 |    18144 |   480946      0 |     9214 |   113049
636.99/637.18	c  622s |      11 |  7050197 |    18344 |   480946      0 |     9216 |   113072
644.09/644.26	c  629s |      11 |  7101566 |    18444 |   480946      0 |     9220 |   113132
646.49/646.64	c  631s |      11 |  7153058 |    18544 |   480946      0 |     9222 |   113160
649.29/649.46	c  634s |      11 |  7202887 |    18644 |   480946      0 |     9226 |   113213
652.49/652.65	c  637s |      11 |  7238379 |    18744 |   480946      0 |     9227 |   113227
657.29/657.46	c  642s |      11 |  7265893 |    18844 |   480946      0 |     9231 |   113286
665.19/665.35	c  650s |      11 |  7311041 |    18944 |   480946      0 |     9236 |   113358
668.49/668.69	c  653s |      11 |  7386405 |    19144 |   480946      0 |     9239 |   113397
672.29/672.42	c  657s |      11 |  7407470 |    19244 |   480946      0 |     9242 |   113480
674.29/674.49	c  659s |      11 |  7439556 |    19344 |   480946      0 |     9243 |   113495
677.29/677.45	c  662s |      11 |  7456145 |    19444 |   480946      0 |     9246 |   113932
681.48/681.62	c  666s |      11 |  7495855 |    19544 |   480946      0 |     9255 |   114058
685.68/685.86	c  670s |      11 |  7525728 |    19644 |   480946      0 |     9263 |   114344
688.68/688.87	c  673s |      11 |  7566974 |    20044 |   480946      0 |     9265 |   114367
691.58/691.72	c  676s |      11 |  7591643 |    20144 |   480946      0 |     9266 |   114382
695.28/695.42	c  680s |      11 |  7614647 |    20244 |   480946      0 |     9268 |   114411
697.78/697.94	c  683s |      11 |  7631191 |    20344 |   480946      0 |     9271 |   114446
702.98/703.16	c  688s |      11 |  7668297 |    20444 |   480946      0 |     9274 |   114491
705.38/705.57	c  690s |      11 |  7697540 |    20644 |   480946      0 |     9276 |   114521
707.68/707.88	c  692s |      11 |  7717457 |    20744 |   480946      0 |     9281 |   114593
714.08/714.29	c  699s |      11 |  7763166 |    20844 |   480946      0 |     9291 |   114977
717.78/717.91	c  703s |      11 |  7797997 |    21144 |   480946      0 |     9294 |   115022
720.28/720.41	c  705s |      11 |  7822655 |    21244 |   480946      0 |     9298 |   115079
723.48/723.63	c  708s |      11 |  7834510 |    21344 |   480946      0 |     9305 |   115186
730.48/730.67	c  715s |      11 |  7900822 |    21644 |   480946      0 |     9314 |   115897
738.68/738.84	c  723s |      11 |  7955857 |    21744 |   480946      0 |     9319 |   115965
744.17/744.39	c  729s |      11 |  8008400 |    21844 |   480946      0 |     9322 |   116093
746.97/747.17	c  732s |      11 |  8054652 |    21944 |   480946      0 |     9326 |   116174
749.87/750.08	c  735s |      11 |  8075628 |    22044 |   480946      0 |     9326 |   116174
753.38/753.57	c  738s |      11 |  8122080 |    22144 |   480946      0 |     9332 |   116261
762.87/763.05	c  748s |      11 |  8154574 |    22244 |   480946      0 |     9345 |   116451
768.88/769.07	c  754s |      11 |  8179479 |    22344 |   480946      0 |     9358 |   116619
772.87/773.04	c  758s |      11 |  8195280 |    22444 |   480946      0 |     9366 |   116729
776.67/776.84	c  761s |      11 |  8210948 |    22544 |   480946      0 |     9374 |   117071
780.27/780.40	c  765s |      11 |  8223360 |    22644 |   480946      0 |     9382 |   117190
788.46/788.68	c  773s |      11 |  8276694 |    22944 |   480946      0 |     9400 |   117567
792.16/792.31	c  777s |      11 |  8318506 |    23044 |   480946      0 |     9406 |   117821
796.37/796.57	c  781s |      11 |  8346923 |    23144 |   480946      0 |     9412 |   118370
799.16/799.35	c  784s |      11 |  8393044 |    23244 |   480946      0 |     9414 |   118399
801.87/802.07	c  787s |      11 |  8412944 |    23344 |   480946      0 |     9416 |   118429
804.47/804.65	c  789s |      11 |  8430713 |    23444 |   480946      0 |     9420 |   118489
809.47/809.62	c  794s |      11 |  8480349 |    23644 |   480946      0 |     9427 |   118695
813.16/813.34	c  798s |      11 |  8571840 |    23844 |   480946      0 |     9430 |   118740
816.07/816.26	c  801s |      11 |  8608631 |    23944 |   480946      0 |     9433 |   118785
822.77/822.91	c  808s |      11 |  8654683 |    24144 |   480946      0 |     9445 |   118988
828.17/828.31	c  813s |      11 |  8674927 |    24244 |   480946      0 |     9453 |   119096
833.06/833.27	c  818s |      11 |  8722256 |    24344 |   480946      0 |     9463 |   119512
839.17/839.37	c  824s |      11 |  8767323 |    24444 |   480946      0 |     9473 |   119801
842.06/842.30	c  827s |      11 |  8789327 |    24544 |   480946      0 |     9475 |   119831
844.66/844.82	c  829s |      11 |  8823887 |    24644 |   480946      0 |     9479 |   120095
847.06/847.27	c  832s |      11 |  8836172 |    24744 |   480946      0 |     9482 |   120136
849.66/849.88	c  834s |      11 |  8892202 |    24944 |   480946      0 |     9486 |   120437
851.86/852.05	c  837s |      11 |  8937859 |    25144 |   480946      0 |     9487 |   120452
858.65/858.83	c  843s |      11 |  8992608 |    25444 |   480946      0 |     9498 |   120767
861.45/861.69	c  846s |      11 |  9029892 |    25544 |   480946      0 |     9503 |   120834
866.25/866.42	c  851s |      11 |  9054130 |    25644 |   480946      0 |     9512 |   120988
873.65/873.82	c  858s |      11 |  9073257 |    25744 |   529041      0 |     9527 |   121197
877.45/877.63	c  862s |      12 |  9094160 |    25819 |   529041      0 |     9535 |   121312
884.75/884.98	c  870s |      12 |  9107160 |    25919 |   529041      0 |     9551 |   121602
887.25/887.41	c  872s |      12 |  9125862 |    26019 |   529041      0 |     9555 |   121657
889.95/890.13	c  875s |      12 |  9143018 |    26119 |   529041      0 |     9559 |   121714
892.25/892.48	c  877s |      12 |  9183193 |    26319 |   529041      0 |     9560 |   121729
897.35/897.51	c  882s |      12 |  9207577 |    26419 |   529041      0 |     9569 |   121861
899.35/899.52	c  884s |      12 |  9222090 |    26619 |   529041      0 |     9569 |   121861
902.45/902.69	c  887s |      12 |  9239866 |    26819 |   529041      0 |     9573 |   121910
905.15/905.40	c  890s |      12 |  9267519 |    27019 |   529041      0 |     9576 |   122041
909.15/909.34	c  894s |      12 |  9283192 |    27119 |   529041      0 |     9584 |   122181
911.45/911.64	c  896s |      12 |  9296385 |    27319 |   529041      0 |     9585 |   122196
914.35/914.52	c  899s |      12 |  9336050 |    27519 |   529041      0 |     9588 |   122238
917.54/917.75	c  902s |      12 |  9356317 |    27619 |   529041      0 |     9593 |   122301
919.64/919.86	c  904s |      12 |  9370800 |    27719 |   529041      0 |     9596 |   122343
923.54/923.77	c  908s |      12 |  9397365 |    27919 |   529041      0 |     9603 |   122433
926.24/926.48	c  911s |      12 |  9414267 |    28019 |   529041      0 |     9604 |   122447
929.45/929.62	c  914s |      12 |  9432271 |    28219 |   529041      0 |     9609 |   122521
934.44/934.64	c  919s |      12 |  9473788 |    28419 |   529041      0 |     9614 |   122581
936.94/937.13	c  922s |      12 |  9491119 |    28519 |   529041      0 |     9616 |   122609
939.35/939.51	c  924s |      12 |  9513984 |    28619 |   529041      0 |     9617 |   122618
941.55/941.78	c  926s |      12 |  9533116 |    28719 |   529041      0 |     9618 |   122632
944.24/944.44	c  929s |      12 |  9545630 |    28819 |   529041      0 |     9622 |   122680
946.24/946.48	c  931s |      12 |  9568042 |    29019 |   529041      0 |     9622 |   122680
949.84/950.02	c  935s |      12 |  9574224 |    29219 |   529041      0 |     9627 |   122734
952.24/952.40	c  937s |      12 |  9587017 |    29419 |   529041      0 |     9629 |   122762
956.54/956.73	c  941s |      12 |  9622309 |    29619 |   529041      0 |     9631 |   122790
959.94/960.10	c  945s |      12 |  9641179 |    29719 |   529041      0 |     9636 |   122862
964.84/965.02	c  950s |      12 |  9677804 |    29919 |   529041      0 |     9641 |   122937
967.44/967.64	c  952s |      12 |  9701177 |    30019 |   529041      0 |     9644 |   122983
971.04/971.21	c  956s |      12 |  9734558 |    30119 |   529041      0 |     9649 |   123055
973.74/973.97	c  959s |      12 |  9749709 |    30419 |   529041      0 |     9650 |   123070
976.33/976.51	c  961s |      12 |  9763120 |    30519 |   529041      0 |     9655 |   123145
978.63/978.86	c  963s |      12 |  9779867 |    30619 |   529041      0 |     9660 |   123218
982.63/982.89	c  968s |      12 |  9795107 |    30719 |   529041      0 |     9670 |   123348
985.83/986.00	c  971s |      12 |  9818685 |    30819 |   529041      0 |     9677 |   123448
988.13/988.39	c  973s |      12 |  9862108 |    31019 |   529041      0 |     9678 |   123462
991.53/991.78	c  976s |      12 |  9883291 |    31219 |   529041      0 |     9682 |   123521
995.23/995.46	c  980s |      12 |  9921240 |    31519 |   529041      0 |     9686 |   123574
998.33/998.52	c  983s |      12 |  9940799 |    31619 |   529041      0 |     9688 |   123605
1001.23/1001.43	c  986s |      12 |  9975653 |    31719 |   529041      0 |     9691 |   123641
1005.03/1005.28	c  990s |      12 | 10005995 |    31819 |   529041      0 |     9698 |   123732
1013.23/1013.47	c  998s |      12 | 10070655 |    32019 |   529041      0 |     9709 |   123886
1015.83/1016.00	c 1001s |      12 | 10106530 |    32119 |   529041      0 |     9713 |   123939
1019.93/1020.16	c 1005s |      12 | 10136715 |    32219 |   529041      0 |     9716 |   123977
1021.92/1022.19	c 1007s |      12 | 10159702 |    32419 |   529041      0 |     9716 |   123977
1025.72/1025.96	c 1011s |      12 | 10182017 |    32619 |   529041      0 |     9722 |   124063
1028.72/1028.90	c 1014s |      12 | 10219315 |    32719 |   529041      0 |     9726 |   124160
1031.82/1032.00	c 1017s |      12 | 10287800 |    32919 |   529041      0 |     9727 |   124170
1035.62/1035.80	c 1020s |      12 | 10343317 |    33119 |   529041      0 |     9730 |   124208
1038.52/1038.76	c 1023s |      12 | 10363655 |    33219 |   529041      0 |     9731 |   124222
1041.32/1041.59	c 1026s |      12 | 10384527 |    33319 |   529041      0 |     9734 |   124257
1044.62/1044.87	c 1029s |      12 | 10434379 |    33519 |   529041      0 |     9735 |   124271
1049.82/1050.06	c 1035s |      12 | 10501446 |    33719 |   529041      0 |     9741 |   124347
1051.92/1052.17	c 1037s |      12 | 10529482 |    33819 |   529041      0 |     9743 |   124367
1055.42/1055.61	c 1040s |      12 | 10578994 |    34019 |   529041      0 |     9745 |   124396
1058.62/1058.84	c 1043s |      12 | 10648414 |    34219 |   529041      0 |     9745 |   124396
1062.22/1062.45	c 1047s |      12 | 10700113 |    34419 |   529041      0 |     9746 |   124410
1064.73/1064.96	c 1050s |      12 | 10736790 |    34619 |   529041      0 |     9746 |   124410
1066.72/1066.99	c 1052s |      12 | 10773526 |    34819 |   529041      0 |     9746 |   124410
1069.42/1069.64	c 1054s |      12 | 10796328 |    35119 |   529041      0 |     9746 |   124410
1072.92/1073.11	c 1058s |      12 | 10807103 |    35319 |   529041      0 |     9752 |   124499
1077.93/1078.17	c 1063s |      12 | 10838507 |    35419 |   529041      0 |     9761 |   124687
1085.12/1085.39	c 1070s |      12 | 10854485 |    35519 |   529041      0 |     9773 |   124862
1088.72/1088.97	c 1074s |      12 | 10880068 |    35719 |   529041      0 |     9777 |   124921
1091.03/1091.24	c 1076s |      12 | 10917982 |    35919 |   529041      0 |     9777 |   124921
1095.32/1095.54	c 1080s |      12 | 10952481 |    36219 |   529041      0 |     9781 |   124978
1105.82/1106.09	c 1091s |      12 | 10978269 |    36519 |   529041      0 |     9802 |   125278
1108.42/1108.67	c 1093s |      12 | 11020835 |    36719 |   529041      0 |     9803 |   125292
1114.52/1114.75	c 1099s |      12 | 11044136 |    36819 |   529041      0 |     9812 |   125426
1116.62/1116.83	c 1101s |      12 | 11067301 |    36919 |   529041      0 |     9814 |   125454
1119.02/1119.23	c 1104s |      12 | 11089456 |    37119 |   529041      0 |     9815 |   125468
1123.82/1124.05	c 1109s |      12 | 11110720 |    37319 |   529041      0 |     9822 |   125560
1126.82/1127.08	c 1112s |      12 | 11132950 |    37419 |   529041      0 |     9823 |   125574
1129.72/1129.99	c 1115s |      12 | 11155273 |    37519 |   529041      0 |     9826 |   125604
1133.82/1134.02	c 1119s |      12 | 11167536 |    37619 |   529041      0 |     9832 |   125684
1136.22/1136.40	c 1121s |      12 | 11200878 |    37919 |   529041      0 |     9834 |   125714
1139.61/1139.88	c 1124s |      12 | 11209435 |    38019 |   529041      0 |     9841 |   125806
1142.21/1142.44	c 1127s |      12 | 11228101 |    38219 |   529041      0 |     9842 |   125821
1154.21/1154.50	c 1139s |      12 | 11282379 |    38319 |   529041      0 |     9864 |   126281
1163.91/1164.12	c 1149s |      12 | 11333114 |    38419 |   529041      0 |     9873 |   126400
1167.11/1167.35	c 1152s |      12 | 11370528 |    38619 |   581946      0 |     9876 |   126440
1170.81/1171.05	c 1156s |      12 | 11418913 |    38819 |   581946      0 |     9878 |   126468
1172.81/1173.07	c 1158s |      13 | 11426299 |    38832 |   581946      0 |     9882 |   126522
1176.71/1176.92	c 1162s |      13 | 11462279 |    39032 |   581946      0 |     9883 |   126533
1180.41/1180.66	c 1165s |      13 | 11490171 |    39232 |   581946      0 |     9886 |   126572
1184.11/1184.37	c 1169s |      13 | 11510448 |    39432 |   581946      0 |     9889 |   126612
1191.21/1191.46	c 1176s |      13 | 11548754 |    39532 |   581946      0 |     9896 |   126873
1193.31/1193.58	c 1178s |      13 | 11559748 |    39632 |   581946      0 |     9898 |   126898
1196.11/1196.33	c 1181s |      13 | 11613545 |    39732 |   581946      0 |     9902 |   126945
1201.40/1201.64	c 1186s |      13 | 11673888 |    39832 |   581946      0 |     9905 |   126984
1207.40/1207.60	c 1192s |      13 | 11727876 |    39932 |   581946      0 |     9907 |   127014
1210.20/1210.46	c 1195s |      13 | 11757341 |    40032 |   581946      0 |     9910 |   127048
1213.50/1213.70	c 1198s |      13 | 11769165 |    40132 |   581946      0 |     9912 |   127068
1221.80/1222.09	c 1207s |      13 | 11832717 |    40232 |   581946      0 |     9920 |   127177
1226.41/1226.68	c 1211s |      13 | 11844971 |    40332 |   581946      0 |     9924 |   127227
1228.70/1228.91	c 1214s |      13 | 11886331 |    40432 |   581946      0 |     9926 |   127335
1232.91/1233.14	c 1218s |      13 | 11989440 |    40632 |   581946      0 |     9929 |   127380
1235.90/1236.14	c 1221s |      13 | 12026368 |    40732 |   581946      0 |     9931 |   127404
1239.40/1239.64	c 1224s |      13 | 12040353 |    40832 |   581946      0 |     9933 |   127434
1241.50/1241.71	c 1226s |      13 | 12086901 |    40932 |   581946      0 |     9935 |   127459
1244.10/1244.33	c 1229s |      13 | 12118189 |    41032 |   581946      0 |     9936 |   127468
1246.30/1246.55	c 1231s |      13 | 12136208 |    41132 |   581946      0 |     9937 |   127482
1249.50/1249.74	c 1234s |      13 | 12169334 |    41332 |   581946      0 |     9937 |   127482
1253.10/1253.33	c 1238s |      13 | 12177769 |    41532 |   581946      0 |     9939 |   127512
1256.50/1256.74	c 1241s |      13 | 12219779 |    41632 |   581946      0 |     9942 |   127743
1259.99/1260.27	c 1245s |      13 | 12239828 |    41732 |   581946      0 |     9942 |   127743
1262.09/1262.30	c 1247s |      13 | 12256735 |    41832 |   581946      0 |     9942 |   127743
1264.99/1265.21	c 1250s |      13 | 12275489 |    42032 |   581946      0 |     9944 |   127763
1267.89/1268.19	c 1253s |      13 | 12291930 |    42232 |   581946      0 |     9946 |   127786
1269.99/1270.24	c 1255s |      13 | 12302609 |    42432 |   581946      0 |     9947 |   127795
1273.89/1274.12	c 1259s |      13 | 12317407 |    42532 |   581946      0 |     9953 |   127879
1276.39/1276.67	c 1261s |      13 | 12325072 |    42632 |   581946      0 |     9956 |   127923
1280.09/1280.39	c 1265s |      13 | 12340185 |    42732 |   581946      0 |     9961 |   127993
1282.79/1283.03	c 1268s |      13 | 12377307 |    42832 |   581946      0 |     9962 |   128008
1285.09/1285.35	c 1270s |      13 | 12431605 |    42932 |   581946      0 |     9963 |   128023
1287.29/1287.59	c 1272s |      13 | 12476437 |    43032 |   581946      0 |     9963 |   128023
1290.10/1290.38	c 1275s |      13 | 12499547 |    43232 |   581946      0 |     9963 |   128023
1295.70/1295.96	c 1281s |      13 | 12592547 |    43432 |   581946      0 |     9969 |   128150
1300.09/1300.36	c 1285s |      13 | 12665738 |    43632 |   581946      0 |     9970 |   128164
1303.89/1304.11	c 1289s |      13 | 12717382 |    43832 |   581946      0 |     9972 |   128194
1306.79/1307.06	c 1292s |      13 | 12729063 |    43932 |   581946      0 |     9973 |   128210
1309.99/1310.21	c 1295s |      13 | 12773461 |    44132 |   581946      0 |     9974 |   128220
1313.29/1313.54	c 1298s |      13 | 12814938 |    44332 |   581946      0 |     9975 |   128235
1316.18/1316.49	c 1301s |      13 | 12881531 |    44532 |   581946      0 |     9975 |   128235
1318.58/1318.82	c 1303s |      13 | 12920153 |    44732 |   581946      0 |     9975 |   128235
1320.99/1321.28	c 1306s |      13 | 12950681 |    44932 |   581946      0 |     9976 |   128250
1324.19/1324.47	c 1309s |      13 | 13020410 |    45132 |   581946      0 |     9976 |   128250
1327.18/1327.45	c 1312s |      13 | 13058246 |    45232 |   581946      0 |     9980 |   128300
1329.79/1330.10	c 1315s |      13 | 13073346 |    45432 |   581946      0 |     9982 |   128650
1333.28/1333.59	c 1318s |      13 | 13118407 |    45632 |   581946      0 |     9983 |   128665
1335.68/1335.94	c 1321s |      13 | 13132673 |    45832 |   581946      0 |     9985 |   128693
1339.69/1339.96	c 1325s |      13 | 13156153 |    46132 |   581946      0 |     9986 |   128708
1342.99/1343.28	c 1328s |      13 | 13199317 |    46332 |   581946      0 |     9989 |   128755
1346.48/1346.73	c 1331s |      13 | 13228157 |    46532 |   581946      0 |     9991 |   128785
1348.49/1348.76	c 1333s |      13 | 13245354 |    46632 |   581946      0 |     9992 |   128800
1350.68/1350.92	c 1336s |      13 | 13258202 |    46732 |   581946      0 |     9992 |   128800
1354.38/1354.63	c 1339s |      13 | 13300565 |    46832 |   581946      0 |     9996 |   128854
1356.68/1356.90	c 1342s |      13 | 13326805 |    46932 |   581946      0 |     9996 |   128854
1359.58/1359.86	c 1344s |      13 | 13341589 |    47032 |   581946      0 |     9998 |   128883
1364.27/1364.59	c 1349s |      13 | 13385830 |    47232 |   581946      0 |    10002 |   128941
1366.87/1367.11	c 1352s |      13 | 13416260 |    47332 |   581946      0 |    10004 |   128970
1369.97/1370.25	c 1355s |      13 | 13441353 |    47432 |   581946      0 |    10008 |   129019
1373.47/1373.71	c 1358s |      13 | 13474280 |    47532 |   581946      0 |    10014 |   129102
1379.47/1379.79	c 1364s |      13 | 13494311 |    47632 |   581946      0 |    10025 |   129255
1382.17/1382.49	c 1367s |      13 | 13505374 |    47732 |   581946      0 |    10029 |   129312
1385.88/1386.13	c 1371s |      13 | 13555981 |    47932 |   581946      0 |    10029 |   129312
1387.87/1388.14	c 1373s |      13 | 13578814 |    48032 |   581946      0 |    10030 |   129326
1391.87/1392.14	c 1377s |      13 | 13603768 |    48132 |   581946      0 |    10033 |   129478
1396.07/1396.37	c 1381s |      13 | 13660733 |    48232 |   581946      0 |    10039 |   129566
1401.87/1402.15	c 1387s |      13 | 13710766 |    48332 |   581946      0 |    10045 |   129638
1407.06/1407.30	c 1392s |      13 | 13738317 |    48432 |   581946      0 |    10045 |   129638
1412.18/1412.44	c 1397s |      13 | 13760132 |    48532 |   581946      0 |    10047 |   129669
1416.97/1417.28	c 1402s |      13 | 13791881 |    48632 |   581946      0 |    10052 |   129741
1422.37/1422.67	c 1407s |      13 | 13865780 |    48832 |   581946      0 |    10058 |   130018
1424.57/1424.80	c 1409s |      13 | 13879287 |    49032 |   581946      0 |    10058 |   130018
1427.27/1427.53	c 1412s |      13 | 13907136 |    49232 |   581946      0 |    10059 |   130033
1431.98/1432.24	c 1417s |      13 | 13922424 |    49332 |   581946      0 |    10062 |   130078
1434.37/1434.69	c 1419s |      13 | 13932925 |    49532 |   581946      0 |    10062 |   130078
1436.48/1436.77	c 1421s |      13 | 13940258 |    49732 |   581946      0 |    10062 |   130078
1439.87/1440.13	c 1425s |      13 | 13973024 |    49932 |   581946      0 |    10065 |   130230
1443.07/1443.35	c 1428s |      13 | 13992431 |    50032 |   581946      0 |    10070 |   130301
1447.37/1447.64	c 1432s |      13 | 14028782 |    50232 |   581946      0 |    10073 |   130340
1449.57/1449.87	c 1434s |      13 | 14059291 |    50432 |   581946      0 |    10074 |   130354
1452.17/1452.41	c 1437s |      13 | 14095546 |    50632 |   581946      0 |    10075 |   130368
1454.36/1454.64	c 1439s |      13 | 14111536 |    50732 |   581946      0 |    10078 |   130410
1456.76/1457.02	c 1442s |      13 | 14147561 |    50832 |   581946      0 |    10079 |   130424
1461.77/1462.00	c 1447s |      13 | 14186693 |    51032 |   581946      0 |    10084 |   130495
1464.97/1465.28	c 1450s |      13 | 14210832 |    51332 |   581946      0 |    10085 |   130504
1469.16/1469.43	c 1454s |      13 | 14231757 |    51532 |   581946      0 |    10089 |   130555
1473.77/1474.01	c 1459s |      13 | 14237898 |    51632 |   581946      0 |    10097 |   130666
1478.36/1478.62	c 1463s |      13 | 14275010 |    51832 |   581946      0 |    10103 |   130748
1482.86/1483.16	c 1468s |      13 | 14298410 |    52032 |   581946      0 |    10106 |   130785
1485.87/1486.18	c 1471s |      13 | 14334213 |    52132 |   581946      0 |    10108 |   130803
1488.36/1488.62	c 1473s |      13 | 14350262 |    52332 |   581946      0 |    10108 |   130803
1491.16/1491.46	c 1476s |      13 | 14363939 |    52432 |   581946      0 |    10108 |   130803
1493.36/1493.62	c 1478s |      13 | 14371971 |    52532 |   581946      0 |    10108 |   130803
1495.66/1495.95	c 1481s |      13 | 14384864 |    52832 |   581946      0 |    10108 |   130803
1499.46/1499.70	c 1484s |      13 | 14407957 |    53232 |   581946      0 |    10111 |   130847
1503.76/1504.04	c 1489s |      13 | 14426054 |    53332 |   581946      0 |    10116 |   131004
1507.06/1507.37	c 1492s |      13 | 14457750 |    53432 |   581946      0 |    10119 |   131046
1513.16/1513.46	c 1498s |      13 | 14487468 |    53632 |   581946      0 |    10125 |   131135
1516.56/1516.88	c 1502s |      13 | 14510514 |    53732 |   581946      0 |    10128 |   131174
1520.06/1520.36	c 1505s |      13 | 14616781 |    53932 |   581946      0 |    10130 |   131205
1523.36/1523.66	c 1508s |      13 | 14656398 |    54032 |   581946      0 |    10133 |   131245
1527.95/1528.20	c 1513s |      13 | 14686874 |    54132 |   581946      0 |    10134 |   131259
1532.45/1532.71	c 1517s |      13 | 14742381 |    54332 |   581946      0 |    10138 |   131317
1534.55/1534.80	c 1519s |      13 | 14767488 |    54432 |   581946      0 |    10139 |   131328
1537.15/1537.46	c 1522s |      13 | 14803729 |    54632 |   581946      0 |    10139 |   131328
1539.55/1539.83	c 1524s |      13 | 14826341 |    54832 |   581946      0 |    10139 |   131328
1544.16/1544.43	c 1529s |      13 | 14853279 |    55032 |   581946      0 |    10142 |   131405
1546.85/1547.11	c 1532s |      13 | 14878577 |    55232 |   581946      0 |    10142 |   131405
1549.76/1550.08	c 1535s |      13 | 14905456 |    55432 |   581946      0 |    10142 |   131405
1552.05/1552.32	c 1537s |      13 | 14941395 |    55532 |   581946      0 |    10143 |   131419
1554.45/1554.72	c 1539s |      13 | 14964476 |    55632 |   581946      0 |    10143 |   131419
1558.15/1558.41	c 1543s |      13 | 14977564 |    55732 |   581946      0 |    10146 |   131458
1561.24/1561.54	c 1546s |      13 | 15003199 |    55932 |   581946      0 |    10146 |   131458
1563.74/1564.00	c 1549s |      13 | 15024507 |    56232 |   581946      0 |    10147 |   131473
1566.64/1566.98	c 1552s |      13 | 15064197 |    56532 |   581946      0 |    10149 |   131502
1569.74/1570.08	c 1555s |      13 | 15128092 |    56732 |   581946      0 |    10150 |   131518
1573.34/1573.70	c 1558s |      13 | 15178221 |    56932 |   581946      0 |    10151 |   131533
1578.35/1578.69	c 1563s |      13 | 15201918 |    57032 |   581946      0 |    10157 |   131613
1581.94/1582.28	c 1567s |      13 | 15233946 |    57232 |   581946      0 |    10159 |   131633
1584.54/1584.89	c 1570s |      13 | 15256959 |    57532 |   581946      0 |    10159 |   131633
1586.64/1586.98	c 1572s |      13 | 15275187 |    57732 |   581946      0 |    10160 |   131647
1590.94/1591.25	c 1576s |      13 | 15297329 |    58032 |   640141      0 |    10164 |   131704
1593.54/1593.90	c 1579s |      13 | 15320696 |    58132 |   640141      0 |    10165 |   132028
1598.34/1598.68	c 1583s |      13 | 15408095 |    58332 |   640141      0 |    10167 |   132048
1598.54/1598.87	c 1583s |      14 | 15413853 |    58352 |   640141      0 |    10167 |   132048
1602.34/1602.64	c 1587s |      14 | 15473378 |    58552 |   640141      0 |    10167 |   132048
1604.75/1605.07	c 1590s |      14 | 15481647 |    58652 |   640141      0 |    10167 |   132048
1606.94/1607.23	c 1592s |      14 | 15490242 |    58852 |   640141      0 |    10167 |   132048
1611.34/1611.66	c 1596s |      14 | 15509915 |    59052 |   640141      0 |    10171 |   132108
1613.94/1614.27	c 1599s |      14 | 15543067 |    59252 |   640141      0 |    10171 |   132108
1616.14/1616.41	c 1601s |      14 | 15567180 |    59452 |   640141      0 |    10171 |   132108
1619.74/1620.04	c 1605s |      14 | 15586587 |    59652 |   640141      0 |    10173 |   132137
1623.24/1623.59	c 1608s |      14 | 15602329 |    59952 |   640141      0 |    10176 |   132179
1627.43/1627.71	c 1612s |      14 | 15627333 |    60152 |   640141      0 |    10180 |   132238
1638.84/1639.16	c 1624s |      14 | 15725478 |    60352 |   640141      0 |    10198 |   132586
1645.83/1646.19	c 1631s |      14 | 15767232 |    60452 |   640141      0 |    10204 |   132673
1649.53/1649.86	c 1634s |      14 | 15818309 |    60552 |   640141      0 |    10207 |   132716
1656.33/1656.69	c 1641s |      14 | 15844815 |    60652 |   640141      0 |    10216 |   132855
1661.13/1661.49	c 1646s |      14 | 15875263 |    60752 |   640141      0 |    10221 |   132924
1666.23/1666.51	c 1651s |      14 | 15909271 |    60852 |   640141      0 |    10227 |   133011
1672.93/1673.28	c 1658s |      14 | 15942917 |    60952 |   640141      0 |    10237 |   133151
1677.02/1677.31	c 1662s |      14 | 15964536 |    61052 |   640141      0 |    10241 |   133210
1680.92/1681.28	c 1666s |      14 | 16007718 |    61152 |   640141      0 |    10244 |   133248
1683.42/1683.75	c 1668s |      14 | 16024660 |    61252 |   640141      0 |    10244 |   133248
1685.53/1685.87	c 1670s |      14 | 16032225 |    61352 |   640141      0 |    10244 |   133248
1687.93/1688.25	c 1673s |      14 | 16036345 |    61452 |   640141      0 |    10245 |   133262
1690.93/1691.29	c 1676s |      14 | 16050146 |    61552 |   640141      0 |    10247 |   133292
1695.13/1695.45	c 1680s |      14 | 16058476 |    61752 |   640141      0 |    10250 |   133336
1697.14/1697.46	c 1682s |      14 | 16074200 |    61952 |   640141      0 |    10250 |   133336
1700.73/1701.02	c 1686s |      14 | 16098746 |    62252 |   640141      0 |    10250 |   133336
1702.83/1703.19	c 1688s |      14 | 16115027 |    62452 |   640141      0 |    10250 |   133336
1705.63/1705.99	c 1691s |      14 | 16130181 |    62652 |   640141      0 |    10251 |   133345
1714.73/1715.05	c 1700s |      14 | 16166602 |    62852 |   640141      0 |    10260 |   133473
1718.62/1718.91	c 1704s |      14 | 16185915 |    62952 |   640141      0 |    10263 |   133602
1722.62/1722.96	c 1708s |      14 | 16195604 |    63052 |   640141      0 |    10267 |   133691
1726.12/1726.41	c 1711s |      14 | 16202104 |    63152 |   640141      0 |    10271 |   133748
1728.32/1728.62	c 1713s |      14 | 16229858 |    63252 |   640141      0 |    10271 |   133748
1730.92/1731.26	c 1716s |      14 | 16247426 |    63452 |   640141      0 |    10271 |   133748
1733.43/1733.77	c 1718s |      14 | 16252256 |    63652 |   640141      0 |    10271 |   133748
1735.92/1736.28	c 1721s |      14 | 16257284 |    63752 |   640141      0 |    10274 |   133790
1738.02/1738.37	c 1723s |      14 | 16284763 |    63852 |   640141      0 |    10274 |   133790
1747.01/1747.38	c 1732s |      14 | 16306058 |    63952 |   640141      0 |    10283 |   133917
1749.62/1749.91	c 1735s |      14 | 16335544 |    64152 |   640141      0 |    10283 |   133917
1752.21/1752.51	c 1737s |      14 | 16351765 |    64452 |   640141      0 |    10283 |   133917
1754.41/1754.77	c 1739s |      14 | 16373957 |    64652 |   640141      0 |    10283 |   133917
1757.11/1757.46	c 1742s |      14 | 16394975 |    64852 |   640141      0 |    10285 |   133945
1762.61/1762.99	c 1748s |      14 | 16408114 |    65152 |   640141      0 |    10292 |   134045
1764.81/1765.17	c 1750s |      14 | 16423542 |    65252 |   640141      0 |    10294 |   134074
1767.61/1767.98	c 1753s |      14 | 16442367 |    65352 |   640141      0 |    10294 |   134074
1770.01/1770.37	c 1755s |      14 | 16482781 |    65452 |   640141      0 |    10295 |   134088
1773.61/1773.96	c 1759s |      14 | 16518814 |    65552 |   640141      0 |    10295 |   134088
1776.61/1776.94	c 1762s |      14 | 16530992 |    65652 |   640141      0 |    10295 |   134088
1778.81/1779.16	c 1764s |      14 | 16542533 |    65952 |   640141      0 |    10296 |   134102
1781.01/1781.39	c 1766s |      14 | 16551150 |    66152 |   640141      0 |    10298 |   134126
1783.41/1783.74	c 1768s |      14 | 16562141 |    66252 |   640141      0 |    10301 |   134169
1785.51/1785.83	c 1770s |      14 | 16569813 |    66352 |   640141      0 |    10303 |   134197
1788.71/1789.04	c 1774s |      14 | 16585896 |    66552 |   640141      0 |    10303 |   134197
1791.91/1792.21	c 1777s |      14 | 16593892 |    66652 |   640141      0 |    10304 |   134212
1796.21/1796.52	c 1781s |      14 | 16609025 |    66752 |   640141      0 |    10307 |   134257
1798.51/1798.84	c 1783s |      14 | 16617950 |    66952 |   640141      0 |    10307 |   134257

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

pid=8721
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 8724
/proc/meminfo: memFree=28990928/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=690756 CPUtime=0 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 2569 0 0 0 0 0 0 0 20 0 4 0 109601712 707334144 2931 33554432000 4194304 16246674 140734907925200 140734907924624 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 172945 2938 442 2943 0 169839 0
[pid=8724/tid=8725] ppid=8721 vsize=708164 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 725159936 3000 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=712260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 729354240 3018 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=716356 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109601712 733548544 3034 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10019 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 8724
/proc/meminfo: memFree=28990928/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 25621 0 0 0 6 3 0 0 20 0 4 0 109601712 1332285440 25920 33554432000 4194304 16246674 140734907925200 140734907924512 7393558 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 325265 25935 801 2943 0 322159 0
[pid=8724/tid=8725] ppid=8721 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1332285440 25947 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1332285440 25958 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1332285440 25969 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200552 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 8724
/proc/meminfo: memFree=28990928/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 48554 0 0 0 12 7 0 0 20 0 4 0 109601712 1345916928 49364 33554432000 4194304 16246674 140734907925200 140734907924512 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 328593 49364 802 2943 0 325487 0
[pid=8724/tid=8725] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 49364 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 49364 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 49364 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300524 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 8724
/proc/meminfo: memFree=28990928/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 62204 0 0 0 20 9 0 0 20 0 4 0 109601712 1345916928 63014 33554432000 4194304 16246674 140734907925200 140734907924512 4220936 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 328593 63014 802 2943 0 325487 0
[pid=8724/tid=8725] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 63014 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 63014 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 63014 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700439 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 8724
/proc/meminfo: memFree=28990928/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 73275 0 0 0 58 11 0 0 20 0 4 0 109601712 1345916928 74085 33554432000 4194304 16246674 140734907925200 140734907908192 7364576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 328593 74085 802 2943 0 325487 0
[pid=8724/tid=8725] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 74085 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 74085 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 74085 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50044 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8728
/proc/meminfo: memFree=28649796/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 88688 0 0 0 136 13 0 0 20 0 4 0 109601712 1345916928 89498 33554432000 4194304 16246674 140734907925200 140734907908192 8058488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 328593 89498 803 2943 0 325487 0
[pid=8724/tid=8725] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 89498 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 89498 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1345916928 89498 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8728
/proc/meminfo: memFree=28568328/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1325636 CPUtime=3.09 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 119026 0 0 0 291 18 0 0 20 0 4 0 109601712 1357451264 119836 33554432000 4194304 16246674 140734907925200 140734907923864 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 331409 119836 803 2943 0 328303 0
[pid=8724/tid=8725] ppid=8721 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1357451264 119836 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1357451264 119836 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1357451264 119836 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30045 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 8728
/proc/meminfo: memFree=28070852/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1374788 CPUtime=6.29 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 272048 0 0 0 589 40 0 0 20 0 4 0 109601712 1407782912 279501 33554432000 4194304 16246674 140734907925200 140734907907072 13949889 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 343697 279501 847 2943 0 340591 0
[pid=8724/tid=8725] ppid=8721 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1407782912 279501 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1407782912 279501 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1374788 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1407782912 279501 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1374788

[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 8728
/proc/meminfo: memFree=27772568/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1453636 CPUtime=12.69 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 291780 0 0 0 1226 43 0 0 20 0 4 0 109601712 1488523264 304854 33554432000 4194304 16246674 140734907925200 140734907923008 5656424 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 363409 304854 848 2943 0 360303 0
[pid=8724/tid=8725] ppid=8721 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1488523264 304854 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1488523264 304854 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1488523264 304854 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1453636

[startup+25.5005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 8728
/proc/meminfo: memFree=27772412/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1453636 CPUtime=25.48 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 291822 0 0 0 2505 43 0 0 20 0 4 0 109601712 1488523264 304896 33554432000 4194304 16246674 140734907925200 140734907907072 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 363409 304896 890 2943 0 360303 0
[pid=8724/tid=8725] ppid=8721 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1488523264 304896 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1488523264 304896 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1453636 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1488523264 304896 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1453636

[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 8728
/proc/meminfo: memFree=27617628/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=51.08 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330482 0 0 0 5060 48 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140734907907072 5600072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343556 893 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1608260

[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8729
/proc/meminfo: memFree=27617548/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=102.27 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330482 0 0 0 10179 48 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140734907907072 5523307 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343556 893 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343556 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1608260


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

/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1608260

[startup+1362.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/184 8763
/proc/meminfo: memFree=27363232/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1362.08 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 136156 52 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 5581860 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1608260

[startup+1422.3 s]
/proc/loadavg: 2.20 2.10 2.02 3/183 8764
/proc/meminfo: memFree=27339828/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1422.08 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 142155 53 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 5531832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1608260

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.02 3/183 8766
/proc/meminfo: memFree=27326464/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1482.06 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 148153 53 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1608260

[startup+1542.31 s]
/proc/loadavg: 2.10 2.09 2.02 3/183 8767
/proc/meminfo: memFree=27285820/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1542.06 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 154153 53 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 5531848 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1608260

[startup+1602.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/183 8768
/proc/meminfo: memFree=27266476/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1602.04 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 160151 53 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1608260

[startup+1662.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 8769
/proc/meminfo: memFree=27248272/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1662.03 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 166150 53 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 5531892 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1608260

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 8770
/proc/meminfo: memFree=27218800/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1722.02 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 172148 54 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1608260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 8821
/proc/meminfo: memFree=29003440/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1782.01 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330483 0 0 0 178146 55 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140734907907072 13898691 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343557 894 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343557 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1608260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 8821
/proc/meminfo: memFree=29003184/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1800.01 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330491 0 0 0 179945 56 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140734907907072 5531096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343561 895 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1608260

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 8821
/proc/meminfo: memFree=29003184/32872528 swapFree=12744/274376
[pid=8724] ppid=8721 vsize=1608260 CPUtime=1800.01 cores=1,3,5,7
/proc/8724/stat : 8724 (toysat) R 8721 8724 5566 0 -1 4202496 330491 0 0 0 179945 56 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140734907907072 5531096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8724/statm: 402065 343561 895 2943 0 398959 0
[pid=8724/tid=8725] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8725/stat : 8725 (toysat) S 8721 8724 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140037379304688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8724/tid=8726] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8726/stat : 8726 (toysat) S 8721 8724 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140037368814832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8724/tid=8727] ppid=8721 vsize=1608260 CPUtime=0 cores=1,3,5,7
/proc/8724/task/8727/stat : 8727 (toysat) S 8721 8724 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109601712 1646858240 343561 33554432000 4194304 16246674 140734907925200 140037358341296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1608260

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.38
CPU time (s): 1800.09
CPU user time (s): 1799.46
CPU system time (s): 0.630904
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1608260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.630904
maximum resident set size= 1374244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330491
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= 102
involuntary context switches= 2399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64899 second user time and 8.75467 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 07:17:50
IDJOB=4078859
IDBENCH=89775
IDSOLVER=2542
FILE ID=node107/4078859-1465276669
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71660 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-170.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078859-1465276669/watcher-4078859-1465276669 -o /tmp/evaluation-result-4078859-1465276669/solver-4078859-1465276669 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078859-1465276669.opb

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

MD5SUM BENCH= ec3e1a4dea6a8a4871a8c3a868360cb3
RANDOM SEED=55561706

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.441
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.441
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		: 2666.441
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:        28991084 kB
Buffers:          108180 kB
Cached:           236556 kB
SwapCached:         1664 kB
Active:          2703344 kB
Inactive:         163084 kB
Active(anon):    2520904 kB
Inactive(anon):     2864 kB
Active(file):     182440 kB
Inactive(file):   160220 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             42592 kB
Writeback:            12 kB
AnonPages:       2795376 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             603516 kB
SReclaimable:      46584 kB
SUnreclaim:       556932 kB
KernelStack:        1472 kB
PageTables:         9540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2937648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    319488 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= 71676 MiB
End job on node107 at 2016-06-07 07:47:50