Trace number 4093592

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.11 1800.46

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf10.ucl--soft-0-100-0.wbo
MD5SUM703926ff2f0fefe39204d7923d5e722e
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark20.5899
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables18069
Total number of constraints52475
Number of soft constraints52475
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 2649679
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2649678
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c 2016-06-16T16:36:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093592-1466087813.wbo"]
0.00/0.01	c use --random-gen="1219613686 3595582170 2403916394 2812178322 3967454265 2827434474 1989276984 2030660681 599932489 207704884 613891996 2008363939 557683681 3533174649 773496363 693347127 1948696210 4184813030 1257296867 438583092 4086208093 1014610835 3390822653 1510642716 2618321486 701056710 2227815404 1406068752 3051959497 984462837 4119235668 633411769 2183641192 505923554 2948587327 2851267346 328178366 1060311255 2448696062 4009512269 345451302 2837193390 3534622703 2740139941 1486062886 3124722192 4146028258 65929353 1088852721 421224615 3382584540 246892929 2401329542 712323986 2878311139 247088422 3558987420 3602101654 2151417484 2860547049 253117045 3878598762 2413959504 541881236 4254346962 3536390955 3879021357 2866935309 3572767665 3938351380 1250590012 3943812697 95711893 988211957 200623597 4107034395 418106602 3188495506 2441587028 540490534 4255010405 2413287557 87543697 1146717570 2361211008 2302733132 2400620898 3492312512 3834845357 3901486050 1098041815 7986375 2243085145 2657834950 3798027448 288295738 333198921 2891156009 3039045878 3584941500 3252863105 3772432804 731381912 1318111512 2874337912 1127153627 1565449026 849469088 2218859846 3232514219 1777963869 312863217 3554234224 1158761328 1185478156 586909955 3586708992 3390805289 2492301255 2857376451 2013078285 1940886032 2127020807 2454750927 860829571 1763812820 1628407139 268685713 3809876489 721234114 3354107124 618031740 4187634544 1809042766 1747352462 3628945213 4277777661 441859592 157518955 4216012561 1908451062 1717268453 615402727 1066297950 3664833192 2889182061 988485733 1477899940 959001941 3652531580 1749484703 2030995099 2909478668 1493173566 2586515116 1327283131 1730268596 4095285442 166219546 2567537912 178611917 500219912 644244599 2841060119 63868798 1049451395 1647542096 3397354561 3955314742 838191921 1986445290 3526628811 213204960 3681182270 1940941749 3944244064 1558674897 3193534822 2297071275 3836289636 737159763 355968239 4046599942 926495725 700080894 3306407980 418265881 585521988 1389646717 3307715045 2961417864 3370348898 526744861 3245211329 765965587 2103115529 247560647 2126213982 1741683977 3993567862 4083638834 3009980403 4096364063 1444097897 3336545200 1449340607 2387741947 2428729128 604537796 2996939814 299825672 607594272 3800896523 1851109725 3309735718 3759963304 3227789358 1917323519 1390938323 824167153 3154744870 3110897408 1389384697 3225900835 3392472352 744245951 1128515550 2744823422 3775741735 1297273643 3496488363 3399213637 1774010221 2036446379 2943180815 2602947112 2867479655 1935082691 227236334 2163929753 1160551037 2819378936 3454967460 3076133594 2283049653 649646695 1546062961 868576336 2135965655 629162227 993896570 222267505 762196924 3174553891 2903125412 210024367 255 362436" option to reproduce the execution
1.79/1.83	c #vars 18069
1.79/1.83	c #constraints 52475
3.09/3.38	c BCD2: Hardening is enabled.
3.09/3.38	c BCD2: BiasedSearch is enabled.
3.09/3.38	c Solving starts ...
3.09/3.38	c ============================[ Search Statistics ]============================
3.09/3.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.09/3.38	c       |         |          |          |    Limit     GC | Var      | Constra 
3.09/3.38	c =============================================================================
3.09/3.39	c  0.0s |       0 |        0 |        0 |    41006      0 |        1 |        0
3.69/3.75	c  0.4s |       1 |   107863 |      100 |    41006      0 |        1 |        0
3.99/4.00	c  0.6s |       1 |   188381 |      156 |    45107      0 |        1 |        0
3.99/4.00	c #cpu_time = 0.561s
3.99/4.00	c #wall_clock_time = 0.563s
3.99/4.00	c #decision = 188381
3.99/4.00	c #random_decision = 678
3.99/4.00	c #conflict = 156
3.99/4.00	c #restart = 1
3.99/4.01	o 16707
4.09/4.16	c BCD2: updating upper bound: 2649723 -> 16751
4.59/4.66	c BCD2: 0 <= obj <= 16751
4.59/4.67	c BCD2: #cores=0, #unrelaxed=52476, #relaxed=0, #hardened=0
4.59/4.67	c BCD2: #sat=1 #unsat=1 bias=1/2
4.59/4.68	c Solving starts ...
4.59/4.68	c ============================[ Search Statistics ]============================
4.59/4.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.59/4.68	c       |         |          |          |    Limit     GC | Var      | Constra 
4.59/4.68	c =============================================================================
4.59/4.68	c  0.0s |       0 |        0 |        0 |    45107      0 |        1 |        0
4.69/4.73	c  0.1s |       0 |        0 |        0 |    45107      0 |        1 |        0
4.69/4.73	c #cpu_time = 0.052s
4.69/4.73	c #wall_clock_time = 0.053s
4.69/4.73	c #decision = 0
4.69/4.73	c #random_decision = 0
4.69/4.73	c #conflict = 0
4.69/4.73	c #restart = 0
4.69/4.73	c BCD2: found a new core of size 1: cost of the new core is >=45
4.69/4.73	c lower bound updated to 0
4.69/4.76	c BCD2: 45 <= obj <= 16751
4.69/4.76	c BCD2: #cores=1, #unrelaxed=52475, #relaxed=1, #hardened=0
4.69/4.76	c BCD2: #sat=1 #unsat=2 bias=2/3
4.69/4.76	c Solving starts ...
4.69/4.76	c ============================[ Search Statistics ]============================
4.69/4.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.69/4.76	c       |         |          |          |    Limit     GC | Var      | Constra 
4.69/4.76	c =============================================================================
4.69/4.76	c  0.0s |       0 |        0 |        0 |    45107      0 |        1 |        0
5.29/5.34	c  0.6s |       1 |    52784 |      100 |    49618      0 |        1 |        0
6.29/6.30	c  1.5s |       2 |   105632 |      250 |    49618      0 |        1 |        0
7.59/7.65	c  2.9s |       3 |   158540 |      475 |    54580      0 |        1 |        0
9.49/9.59	c  4.8s |       4 |   211582 |      813 |    60039      0 |        1 |        0
12.30/12.37	c  7.6s |       4 |   264881 |     1213 |    66043      0 |        1 |        0
13.09/13.18	c  8.4s |       5 |   265133 |     1320 |    66043      0 |        1 |        0
15.39/15.40	c 10.6s |       5 |   318399 |     1820 |    66043      0 |        1 |        0
16.89/16.96	c 12.2s |       6 |   318771 |     2081 |    72648      0 |        1 |        0
19.29/19.35	c 14.6s |       6 |   372103 |     2481 |    72648      0 |        1 |        0
21.59/21.60	c 16.8s |       6 |   372655 |     2781 |    72648      0 |        1 |        0
24.18/24.26	c 19.5s |       6 |   373157 |     3081 |    79913      0 |        1 |        0
25.59/25.62	c 20.9s |       7 |   373354 |     3223 |    79913      0 |        1 |        0
27.79/27.83	c 23.1s |       7 |   426289 |     3423 |    79913      0 |        1 |        0
30.69/30.75	c 26.0s |       7 |   426804 |     3723 |    79913      0 |        1 |        0
33.19/33.26	c 28.5s |       7 |   427277 |     4023 |    79913      0 |        1 |        0
35.39/35.48	c 30.7s |       7 |   427737 |     4223 |    79913      0 |        1 |        0
38.28/38.36	c 33.6s |       7 |   428218 |     4523 |    79913      0 |        1 |        0
40.39/40.44	c 35.7s |       7 |   428990 |     4923 |    87905      0 |        1 |        0
40.49/40.58	c 35.8s |       8 |   429011 |     4936 |    87905      0 |        1 |        0
42.59/42.66	c 37.9s |       8 |   481866 |     5136 |    87905      0 |        1 |        0
45.18/45.23	c 40.5s |       8 |   482317 |     5436 |    87905      0 |        1 |        0
47.49/47.54	c 42.8s |       8 |   482758 |     5736 |    87905      0 |        1 |        0
50.38/50.43	c 45.7s |       8 |   483125 |     6036 |    87905      0 |        1 |        0
52.49/52.53	c 47.8s |       8 |   483720 |     6336 |    87905      0 |        1 |        0
54.88/54.98	c 50.2s |       8 |   484144 |     6636 |    87905      0 |        1 |        0
57.58/57.64	c 52.9s |       8 |   484638 |     6936 |    87905      0 |        1 |        0
60.18/60.27	c 55.5s |       8 |   485164 |     7236 |    87905      0 |        1 |        0
62.89/62.96	c 58.2s |       8 |   485514 |     7436 |    96696      0 |        1 |        0
63.68/63.74	c 59.0s |       9 |   485629 |     7506 |    96696      0 |        1 |        0
65.88/65.99	c 61.2s |       9 |   589928 |     7706 |    96696      0 |        1 |        0
67.98/68.00	c 63.2s |       9 |   590390 |     8006 |    96696      0 |        1 |        0
70.68/70.72	c 66.0s |       9 |   590908 |     8306 |    96696      0 |        1 |        0
72.78/72.82	c 68.1s |       9 |   591256 |     8506 |    96696      0 |        1 |        0
75.28/75.31	c 70.5s |       9 |   591564 |     8706 |    96696      0 |        1 |        0
77.48/77.51	c 72.8s |       9 |   591713 |     8806 |    96696      0 |        1 |        0
79.57/79.68	c 74.9s |       9 |   591999 |     9006 |    96696      0 |        1 |        0
82.48/82.52	c 77.8s |       9 |   592433 |     9306 |    96696      0 |        1 |        0
85.28/85.35	c 80.6s |       9 |   592727 |     9506 |    96696      0 |        1 |        0
87.58/87.68	c 82.9s |       9 |   592993 |     9706 |    96696      0 |        1 |        0
90.27/90.33	c 85.6s |       9 |   593315 |     9906 |    96696      0 |        1 |        0
92.78/92.84	c 88.1s |       9 |   593564 |    10106 |    96696      0 |        1 |        0
95.78/95.89	c 91.1s |       9 |   593840 |    10306 |    96696      0 |        1 |        0
98.67/98.72	c 94.0s |       9 |   594090 |    10506 |    96696      0 |        1 |        0
101.28/101.33	c 96.6s |       9 |   594459 |    10706 |    96696      0 |        1 |        0
103.58/103.61	c 98.8s |       9 |   594785 |    10906 |    96696      0 |        1 |        0
106.68/106.77	c  102s |       9 |   595168 |    11106 |    96696      0 |        1 |        0
110.28/110.32	c  105s |       9 |   595387 |    11206 |   106366      0 |        1 |        0
113.68/113.73	c  108s |       9 |   595514 |    11306 |   106366      0 |        1 |        0
116.37/116.42	c  111s |      10 |   595580 |    11361 |   106366      0 |        1 |        0
118.77/118.86	c  114s |      10 |   648249 |    11461 |   106366      0 |        1 |        0
121.37/121.46	c  116s |      10 |   648561 |    11661 |   106366      0 |        1 |        0
124.17/124.23	c  119s |      10 |   648838 |    11861 |   106366      0 |        1 |        0
127.27/127.30	c  122s |      10 |   649402 |    12161 |   106366      0 |        1 |        0
130.47/130.54	c  125s |      10 |   649768 |    12361 |   106366      0 |        1 |        0
133.97/134.01	c  129s |      10 |   650144 |    12561 |   106366      0 |        1 |        0
137.37/137.43	c  132s |      10 |   650424 |    12761 |   106366      0 |        1 |        0
139.88/139.98	c  135s |      10 |   650575 |    12861 |   106366      0 |        1 |        0
142.37/142.47	c  137s |      10 |   650749 |    12961 |   106366      0 |        1 |        0
144.66/144.75	c  139s |      10 |   651057 |    13161 |   106366      0 |        1 |        0
147.58/147.64	c  142s |      10 |   651298 |    13361 |   106366      0 |        1 |        0
150.97/151.03	c  146s |      10 |   651591 |    13561 |   106366      0 |        1 |        0
154.97/155.03	c  150s |      10 |   651920 |    13761 |   106366      0 |        1 |        0
157.87/157.97	c  153s |      10 |   652258 |    13961 |   106366      0 |        1 |        0
162.46/162.59	c  157s |      10 |   652610 |    14161 |   106366      0 |        1 |        0
166.56/166.68	c  161s |      10 |   652735 |    14261 |   106366      0 |        1 |        0
172.36/172.40	c  167s |      10 |   653091 |    14461 |   106366      0 |        1 |        0
174.76/174.85	c  170s |      10 |   653294 |    14561 |   106366      0 |        1 |        0
179.57/179.68	c  174s |      10 |   653577 |    14761 |   106366      0 |        1 |        0
181.97/182.05	c  177s |      10 |   653743 |    14861 |   106366      0 |        1 |        0
184.36/184.44	c  179s |      10 |   654047 |    15061 |   106366      0 |        1 |        0
186.96/187.06	c  182s |      10 |   654316 |    15261 |   106366      0 |        1 |        0
190.66/190.72	c  185s |      10 |   654652 |    15461 |   106366      0 |        1 |        0
193.77/193.83	c  189s |      10 |   654951 |    15661 |   106366      0 |        1 |        0
196.76/196.87	c  192s |      10 |   655437 |    15961 |   106366      0 |        1 |        0
198.96/199.07	c  194s |      10 |   655786 |    16161 |   106366      0 |        1 |        0
201.66/201.72	c  196s |      10 |   656058 |    16361 |   106366      0 |        1 |        0
205.16/205.23	c  200s |      10 |   656343 |    16561 |   106366      0 |        1 |        0
209.76/209.83	c  205s |      10 |   656630 |    16761 |   106366      0 |        1 |        0
213.76/213.80	c  209s |      10 |   656745 |    16861 |   106366      0 |        1 |        0
218.06/218.11	c  213s |      10 |   656955 |    16961 |   117003      0 |        1 |        0
220.56/220.62	c  215s |      10 |   657079 |    17061 |   117003      0 |        1 |        0
223.16/223.27	c  218s |      11 |   657196 |    17144 |   117003      0 |        1 |        0
227.26/227.37	c  222s |      11 |   709850 |    17244 |   117003      0 |        1 |        0
230.76/230.87	c  226s |      11 |   709986 |    17344 |   117003      0 |        1 |        0
234.26/234.36	c  229s |      11 |   710101 |    17444 |   117003      0 |        1 |        0
238.96/239.03	c  234s |      11 |   710226 |    17544 |   117003      0 |        1 |        0
243.05/243.12	c  238s |      11 |   710375 |    17644 |   117003      0 |        1 |        0
245.95/246.08	c  241s |      11 |   710541 |    17744 |   117003      0 |        1 |        0
248.65/248.78	c  244s |      11 |   710730 |    17844 |   117003      0 |        1 |        0
251.66/251.75	c  246s |      11 |   711229 |    18144 |   117003      0 |        1 |        0
254.95/255.01	c  250s |      11 |   711754 |    18444 |   117003      0 |        1 |        0
257.85/257.93	c  253s |      11 |   712049 |    18644 |   117003      0 |        1 |        0
260.96/261.00	c  256s |      11 |   712349 |    18844 |   117003      0 |        1 |        0
264.26/264.38	c  259s |      11 |   712604 |    19044 |   117003      0 |        1 |        0
266.75/266.81	c  262s |      11 |   712883 |    19244 |   117003      0 |        1 |        0
269.55/269.70	c  264s |      11 |   713136 |    19444 |   117003      0 |        1 |        0
272.15/272.21	c  267s |      11 |   713422 |    19644 |   117003      0 |        1 |        0
275.35/275.49	c  270s |      11 |   713749 |    19844 |   117003      0 |        1 |        0
277.35/277.49	c  272s |      11 |   713902 |    19944 |   117003      0 |        1 |        0
279.65/279.75	c  274s |      11 |   714057 |    20044 |   117003      0 |        1 |        0
281.95/282.06	c  277s |      11 |   714186 |    20144 |   117003      0 |        1 |        0
284.64/284.74	c  279s |      11 |   714347 |    20244 |   117003      0 |        1 |        0
287.44/287.54	c  282s |      11 |   714488 |    20344 |   117003      0 |        1 |        0
290.44/290.59	c  285s |      11 |   714627 |    20444 |   117003      0 |        1 |        0
293.85/294.00	c  289s |      11 |   714786 |    20544 |   117003      0 |        1 |        0
296.85/296.95	c  292s |      11 |   715093 |    20744 |   117003      0 |        1 |        0
300.45/300.51	c  295s |      11 |   715398 |    20944 |   117003      0 |        1 |        0
302.84/302.94	c  298s |      11 |   715672 |    21144 |   117003      0 |        1 |        0
305.65/305.75	c  300s |      11 |   715935 |    21344 |   117003      0 |        1 |        0
308.44/308.55	c  303s |      11 |   716219 |    21544 |   117003      0 |        1 |        0
313.04/313.12	c  308s |      11 |   716467 |    21744 |   117003      0 |        1 |        0
315.44/315.60	c  310s |      11 |   716598 |    21844 |   117003      0 |        1 |        0
318.44/318.55	c  313s |      11 |   716725 |    21944 |   117003      0 |        1 |        0
320.64/320.70	c  315s |      11 |   716867 |    22044 |   117003      0 |        1 |        0
322.75/322.85	c  318s |      11 |   717020 |    22144 |   117003      0 |        1 |        0
325.24/325.35	c  320s |      11 |   717307 |    22344 |   117003      0 |        1 |        0
328.14/328.20	c  323s |      11 |   717576 |    22544 |   117003      0 |        1 |        0
330.64/330.74	c  325s |      11 |   717861 |    22744 |   117003      0 |        1 |        0
332.74/332.82	c  328s |      11 |   718152 |    22944 |   117003      0 |        1 |        0
334.84/334.98	c  330s |      11 |   718453 |    23144 |   117003      0 |        1 |        0
337.04/337.14	c  332s |      11 |   718596 |    23244 |   117003      0 |        1 |        0
339.73/339.81	c  335s |      11 |   719016 |    23444 |   117003      0 |        1 |        0
342.14/342.25	c  337s |      11 |   719288 |    23644 |   117003      0 |        1 |        0
345.03/345.11	c  340s |      11 |   719548 |    23844 |   117003      0 |        1 |        0
348.04/348.16	c  343s |      11 |   719813 |    24044 |   117003      0 |        1 |        0
352.43/352.55	c  347s |      11 |   720064 |    24244 |   117003      0 |        1 |        0
355.34/355.41	c  350s |      11 |   720394 |    24444 |   117003      0 |        1 |        0
357.84/357.93	c  353s |      11 |   720672 |    24644 |   117003      0 |        1 |        0
361.23/361.33	c  356s |      11 |   720914 |    24844 |   117003      0 |        1 |        0
364.43/364.51	c  359s |      11 |   721218 |    25044 |   117003      0 |        1 |        0
367.73/367.86	c  363s |      11 |   721495 |    25244 |   117003      0 |        1 |        0
371.24/371.34	c  366s |      11 |   721737 |    25444 |   117003      0 |        1 |        0
374.44/374.57	c  369s |      11 |   721992 |    25644 |   128704      0 |        1 |        0
377.33/377.46	c  372s |      12 |   722214 |    25819 |   128704      0 |        1 |        0
382.83/382.95	c  378s |      12 |   774895 |    25919 |   128704      0 |        1 |        0
386.04/386.17	c  381s |      12 |   775172 |    26119 |   128704      0 |        1 |        0
388.24/388.35	c  383s |      12 |   775369 |    26219 |   128704      0 |        1 |        0
390.54/390.66	c  385s |      12 |   775490 |    26319 |   128704      0 |        1 |        0
393.53/393.65	c  388s |      12 |   775726 |    26519 |   128704      0 |        1 |        0
396.24/396.39	c  391s |      12 |   776047 |    26719 |   128704      0 |        1 |        0
399.23/399.36	c  394s |      12 |   776351 |    26919 |   128704      0 |        1 |        0
403.33/403.49	c  398s |      12 |   776668 |    27119 |   128704      0 |        1 |        0
405.52/405.67	c  400s |      12 |   776794 |    27219 |   128704      0 |        1 |        0
408.63/408.71	c  403s |      12 |   776933 |    27319 |   128704      0 |        1 |        0
411.73/411.87	c  407s |      12 |   777223 |    27519 |   128704      0 |        1 |        0
415.53/415.66	c  410s |      12 |   777534 |    27719 |   128704      0 |        1 |        0
417.83/417.90	c  413s |      12 |   777691 |    27819 |   128704      0 |        1 |        0
421.63/421.74	c  416s |      12 |   777966 |    28019 |   128704      0 |        1 |        0
423.93/424.09	c  419s |      12 |   778124 |    28119 |   128704      0 |        1 |        0
426.22/426.34	c  421s |      12 |   778239 |    28219 |   128704      0 |        1 |        0
428.93/429.06	c  424s |      12 |   778563 |    28419 |   128704      0 |        1 |        0
431.13/431.27	c  426s |      12 |   778840 |    28619 |   128704      0 |        1 |        0
433.73/433.82	c  429s |      12 |   779107 |    28819 |   128704      0 |        1 |        0
436.83/436.98	c  432s |      12 |   779375 |    29019 |   128704      0 |        1 |        0
441.33/441.43	c  436s |      12 |   779661 |    29219 |   128704      0 |        1 |        0
445.42/445.58	c  440s |      12 |   779788 |    29319 |   128704      0 |        1 |        0
448.22/448.34	c  443s |      12 |   779923 |    29419 |   128704      0 |        1 |        0
452.72/452.85	c  448s |      12 |   780066 |    29519 |   128704      0 |        1 |        0
455.32/455.41	c  450s |      12 |   780196 |    29619 |   128704      0 |        1 |        0
457.92/458.03	c  453s |      12 |   780324 |    29719 |   128704      0 |        1 |        0
460.92/461.01	c  456s |      12 |   780449 |    29819 |   128704      0 |        1 |        0
465.12/465.25	c  460s |      12 |   780617 |    29919 |   128704      0 |        1 |        0
469.22/469.32	c  464s |      12 |   780768 |    30019 |   128704      0 |        1 |        0
471.92/472.01	c  467s |      12 |   780981 |    30119 |   128704      0 |        1 |        0
475.72/475.84	c  471s |      12 |   781157 |    30219 |   128704      0 |        1 |        0
479.32/479.48	c  474s |      12 |   781376 |    30319 |   128704      0 |        1 |        0
484.42/484.52	c  479s |      12 |   781550 |    30419 |   128704      0 |        1 |        0
487.72/487.87	c  483s |      12 |   781681 |    30519 |   128704      0 |        1 |        0
491.71/491.86	c  487s |      12 |   781814 |    30619 |   128704      0 |        1 |        0
495.92/496.07	c  491s |      12 |   781955 |    30719 |   128704      0 |        1 |        0
499.62/499.75	c  494s |      12 |   782079 |    30819 |   128704      0 |        1 |        0
504.51/504.65	c  499s |      12 |   782261 |    30919 |   128704      0 |        1 |        0
512.61/512.79	c  508s |      12 |   782424 |    31019 |   128704      0 |        1 |        0
518.32/518.44	c  513s |      12 |   782593 |    31119 |   128704      0 |        1 |        0
524.42/524.56	c  519s |      12 |   782725 |    31219 |   128704      0 |        1 |        0
530.61/530.76	c  525s |      12 |   782836 |    31319 |   128704      0 |        1 |        0
536.81/536.99	c  532s |      12 |   782965 |    31419 |   128704      0 |        1 |        0
544.50/544.63	c  539s |      12 |   783159 |    31519 |   128704      0 |        1 |        0
550.61/550.73	c  545s |      12 |   783339 |    31619 |   128704      0 |        1 |        0
556.41/556.57	c  551s |      12 |   783458 |    31719 |   128704      0 |        1 |        0
559.91/560.03	c  555s |      12 |   783628 |    31819 |   128704      0 |        1 |        0
563.80/563.99	c  559s |      12 |   783814 |    31919 |   128704      0 |        1 |        0
567.31/567.45	c  562s |      12 |   783953 |    32019 |   128704      0 |        1 |        0
572.11/572.27	c  567s |      12 |   784068 |    32119 |   128704      0 |        1 |        0
576.90/577.05	c  572s |      12 |   784197 |    32219 |   128704      0 |        1 |        0
581.90/582.02	c  577s |      12 |   784369 |    32319 |   128704      0 |        1 |        0
587.30/587.46	c  582s |      12 |   784507 |    32419 |   128704      0 |        1 |        0
593.00/593.15	c  588s |      12 |   784629 |    32519 |   128704      0 |        1 |        0
597.41/597.51	c  592s |      12 |   784752 |    32619 |   128704      0 |        1 |        0
602.90/603.10	c  598s |      12 |   784956 |    32719 |   128704      0 |        1 |        0
608.19/608.31	c  603s |      12 |   785084 |    32819 |   128704      0 |        1 |        0
611.30/611.49	c  606s |      12 |   785247 |    32919 |   128704      0 |        1 |        0
614.60/614.72	c  609s |      12 |   785546 |    33119 |   128704      0 |        1 |        0
617.69/617.88	c  613s |      12 |   785898 |    33319 |   128704      0 |        1 |        0
622.19/622.37	c  617s |      12 |   786165 |    33519 |   128704      0 |        1 |        0
624.49/624.62	c  619s |      12 |   786307 |    33619 |   128704      0 |        1 |        0
627.99/628.16	c  623s |      12 |   786601 |    33819 |   128704      0 |        1 |        0
629.99/630.18	c  625s |      12 |   786748 |    33919 |   128704      0 |        1 |        0
632.70/632.88	c  628s |      12 |   786882 |    34019 |   128704      0 |        1 |        0
636.29/636.49	c  631s |      12 |   786996 |    34119 |   128704      0 |        1 |        0
638.69/638.81	c  634s |      12 |   787147 |    34219 |   128704      0 |        1 |        0
641.18/641.31	c  636s |      12 |   787286 |    34319 |   128704      0 |        1 |        0
643.99/644.19	c  639s |      12 |   787471 |    34419 |   128704      0 |        1 |        0
646.58/646.70	c  641s |      12 |   787629 |    34519 |   128704      0 |        1 |        0
649.89/650.04	c  645s |      12 |   787751 |    34619 |   128704      0 |        1 |        0
652.98/653.12	c  648s |      12 |   787879 |    34719 |   128704      0 |        1 |        0
658.18/658.35	c  653s |      12 |   788023 |    34819 |   128704      0 |        1 |        0
663.49/663.69	c  658s |      12 |   788147 |    34919 |   128704      0 |        1 |        0
669.38/669.50	c  664s |      12 |   788271 |    35019 |   128704      0 |        1 |        0
675.88/676.09	c  671s |      12 |   788454 |    35119 |   128704      0 |        1 |        0
684.29/684.49	c  679s |      12 |   788619 |    35219 |   128704      0 |        1 |        0
692.09/692.22	c  687s |      12 |   788776 |    35319 |   128704      0 |        1 |        0
700.07/700.25	c  695s |      12 |   788916 |    35419 |   128704      0 |        1 |        0
708.07/708.21	c  703s |      12 |   789028 |    35519 |   128704      0 |        1 |        0
716.17/716.35	c  711s |      12 |   789148 |    35619 |   128704      0 |        1 |        0
718.97/719.15	c  714s |      12 |   789462 |    35819 |   128704      0 |        1 |        0
722.37/722.59	c  717s |      12 |   789713 |    36019 |   128704      0 |        1 |        0
725.47/725.66	c  720s |      12 |   790000 |    36219 |   128704      0 |        1 |        0
728.97/729.10	c  724s |      12 |   790321 |    36419 |   128704      0 |        1 |        0
731.86/732.04	c  727s |      12 |   790597 |    36619 |   128704      0 |        1 |        0
734.47/734.63	c  729s |      12 |   790739 |    36719 |   128704      0 |        1 |        0
736.96/737.15	c  732s |      12 |   790863 |    36819 |   128704      0 |        1 |        0
739.77/739.98	c  735s |      12 |   790985 |    36919 |   128704      0 |        1 |        0
743.27/743.44	c  738s |      12 |   791104 |    37019 |   128704      0 |        1 |        0
745.56/745.79	c  741s |      12 |   791291 |    37119 |   128704      0 |        1 |        0
748.46/748.68	c  743s |      12 |   791645 |    37319 |   128704      0 |        1 |        0
752.27/752.40	c  747s |      12 |   791938 |    37519 |   128704      0 |        1 |        0
754.76/754.98	c  750s |      12 |   792058 |    37619 |   128704      0 |        1 |        0
756.97/757.13	c  752s |      12 |   792191 |    37719 |   128704      0 |        1 |        0
761.46/761.61	c  756s |      12 |   792475 |    37919 |   128704      0 |        1 |        0
765.86/766.01	c  761s |      12 |   792717 |    38119 |   128704      0 |        1 |        0
769.26/769.49	c  764s |      12 |   792845 |    38219 |   128704      0 |        1 |        0
773.75/773.94	c  769s |      12 |   793088 |    38419 |   128704      0 |        1 |        0
776.25/776.40	c  771s |      12 |   793220 |    38519 |   141575      0 |        1 |        0
778.36/778.54	c  773s |      12 |   793332 |    38619 |   141575      0 |        1 |        0
781.06/781.23	c  776s |      12 |   793470 |    38719 |   141575      0 |        1 |        0
783.36/783.57	c  778s |      12 |   793605 |    38819 |   141575      0 |        1 |        0
783.85/784.04	c  779s |      13 |   793626 |    38832 |   141575      0 |        1 |        0
791.95/792.18	c  787s |      13 |   846255 |    38932 |   141575      0 |        1 |        0
795.55/795.72	c  790s |      13 |   846537 |    39132 |   141575      0 |        1 |        0
799.45/799.68	c  794s |      13 |   846788 |    39332 |   141575      0 |        1 |        0
801.96/802.18	c  797s |      13 |   846906 |    39432 |   141575      0 |        1 |        0
805.25/805.41	c  800s |      13 |   847017 |    39532 |   141575      0 |        1 |        0
807.45/807.68	c  802s |      13 |   847129 |    39632 |   141575      0 |        1 |        0
810.85/811.06	c  806s |      13 |   847419 |    39832 |   141575      0 |        1 |        0
814.24/814.41	c  809s |      13 |   847675 |    40032 |   141575      0 |        1 |        0
817.54/817.74	c  812s |      13 |   847960 |    40232 |   141575      0 |        1 |        0
820.05/820.20	c  815s |      13 |   848112 |    40332 |   141575      0 |        1 |        0
823.15/823.30	c  818s |      13 |   848375 |    40532 |   141575      0 |        1 |        0
826.34/826.53	c  821s |      13 |   848663 |    40732 |   141575      0 |        1 |        0
828.64/828.86	c  824s |      13 |   848977 |    40932 |   141575      0 |        1 |        0
831.04/831.29	c  826s |      13 |   849272 |    41132 |   141575      0 |        1 |        0
834.04/834.29	c  829s |      13 |   849546 |    41332 |   141575      0 |        1 |        0
837.03/837.27	c  832s |      13 |   849880 |    41532 |   141575      0 |        1 |        0
841.54/841.76	c  836s |      13 |   850056 |    41632 |   141575      0 |        1 |        0
844.34/844.51	c  839s |      13 |   850228 |    41732 |   141575      0 |        1 |        0
847.73/847.96	c  843s |      13 |   850349 |    41832 |   141575      0 |        1 |        0
851.24/851.47	c  846s |      13 |   850529 |    41932 |   141575      0 |        1 |        0
854.04/854.29	c  849s |      13 |   850683 |    42032 |   141575      0 |        1 |        0
856.53/856.77	c  852s |      13 |   850851 |    42132 |   141575      0 |        1 |        0
862.33/862.55	c  857s |      13 |   851169 |    42332 |   141575      0 |        1 |        0
865.53/865.73	c  860s |      13 |   851309 |    42432 |   141575      0 |        1 |        0
869.13/869.37	c  864s |      13 |   851668 |    42632 |   141575      0 |        1 |        0
872.73/872.91	c  868s |      13 |   852042 |    42832 |   141575      0 |        1 |        0
874.83/875.05	c  870s |      13 |   852148 |    42932 |   141575      0 |        1 |        0
878.53/878.73	c  873s |      13 |   852314 |    43032 |   141575      0 |        1 |        0
884.33/884.60	c  879s |      13 |   852418 |    43132 |   141575      0 |        1 |        0
889.83/890.10	c  885s |      13 |   852539 |    43232 |   141575      0 |        1 |        0
893.23/893.40	c  888s |      13 |   852700 |    43332 |   141575      0 |        1 |        0
901.43/901.67	c  896s |      13 |   852822 |    43432 |   141575      0 |        1 |        0
906.02/906.28	c  901s |      13 |   852987 |    43532 |   141575      0 |        1 |        0
908.52/908.76	c  904s |      13 |   853156 |    43632 |   141575      0 |        1 |        0
912.62/912.82	c  908s |      13 |   853311 |    43732 |   141575      0 |        1 |        0
916.52/916.70	c  911s |      13 |   853448 |    43832 |   141575      0 |        1 |        0
919.72/919.91	c  915s |      13 |   853595 |    43932 |   141575      0 |        1 |        0
923.03/923.27	c  918s |      13 |   853723 |    44032 |   141575      0 |        1 |        0
926.62/926.81	c  922s |      13 |   853850 |    44132 |   141575      0 |        1 |        0
929.52/929.71	c  924s |      13 |   853988 |    44232 |   141575      0 |        1 |        0
931.62/931.85	c  927s |      13 |   854123 |    44332 |   141575      0 |        1 |        0
935.12/935.38	c  930s |      13 |   854274 |    44432 |   141575      0 |        1 |        0
938.01/938.26	c  933s |      13 |   854438 |    44532 |   141575      0 |        1 |        0
941.32/941.50	c  936s |      13 |   854562 |    44632 |   141575      0 |        1 |        0
944.32/944.53	c  939s |      13 |   854681 |    44732 |   141575      0 |        1 |        0
947.12/947.40	c  942s |      13 |   854856 |    44832 |   141575      0 |        1 |        0
949.51/949.75	c  944s |      13 |   855016 |    44932 |   141575      0 |        1 |        0
953.21/953.49	c  948s |      13 |   855343 |    45132 |   141575      0 |        1 |        0
955.92/956.20	c  951s |      13 |   855738 |    45332 |   141575      0 |        1 |        0
958.51/958.76	c  953s |      13 |   855882 |    45432 |   141575      0 |        1 |        0
962.71/962.94	c  958s |      13 |   856170 |    45632 |   141575      0 |        1 |        0
966.01/966.25	c  961s |      13 |   856312 |    45732 |   141575      0 |        1 |        0
968.51/968.71	c  963s |      13 |   856627 |    45832 |   141575      0 |        1 |        0
972.31/972.57	c  967s |      13 |   856976 |    46032 |   141575      0 |        1 |        0
976.01/976.26	c  971s |      13 |   857369 |    46232 |   141575      0 |        1 |        0
981.40/981.69	c  976s |      13 |   857809 |    46432 |   141575      0 |        1 |        0
983.90/984.11	c  979s |      13 |   858093 |    46532 |   141575      0 |        1 |        0
985.90/986.18	c  981s |      13 |   858309 |    46632 |   141575      0 |        1 |        0
988.80/989.06	c  984s |      13 |   858732 |    46932 |   141575      0 |        1 |        0
992.00/992.29	c  987s |      13 |   859046 |    47132 |   141575      0 |        1 |        0
995.80/996.05	c  991s |      13 |   859358 |    47332 |   141575      0 |        1 |        0
998.91/999.14	c  994s |      13 |   859596 |    47532 |   141575      0 |        1 |        0
1003.20/1003.49	c  998s |      13 |   859957 |    47732 |   141575      0 |        1 |        0
1005.29/1005.58	c 1000s |      13 |   860165 |    47832 |   141575      0 |        1 |        0
1007.71/1007.95	c 1003s |      13 |   860322 |    47932 |   141575      0 |        1 |        0
1011.19/1011.50	c 1006s |      13 |   860589 |    48132 |   141575      0 |        1 |        0
1014.59/1014.80	c 1010s |      13 |   860731 |    48232 |   141575      0 |        1 |        0
1018.09/1018.30	c 1013s |      13 |   860989 |    48432 |   141575      0 |        1 |        0
1021.19/1021.44	c 1016s |      13 |   861125 |    48532 |   141575      0 |        1 |        0
1024.29/1024.50	c 1019s |      13 |   861244 |    48632 |   141575      0 |        1 |        0
1027.39/1027.68	c 1022s |      13 |   861374 |    48732 |   141575      0 |        1 |        0
1030.18/1030.44	c 1025s |      13 |   861503 |    48832 |   141575      0 |        1 |        0
1035.69/1035.95	c 1031s |      13 |   861624 |    48932 |   141575      0 |        1 |        0
1038.99/1039.21	c 1034s |      13 |   861747 |    49032 |   141575      0 |        1 |        0
1043.59/1043.83	c 1039s |      13 |   861862 |    49132 |   141575      0 |        1 |        0
1047.30/1047.54	c 1042s |      13 |   861991 |    49232 |   141575      0 |        1 |        0
1049.50/1049.77	c 1045s |      13 |   862119 |    49332 |   141575      0 |        1 |        0
1052.58/1052.84	c 1048s |      13 |   862237 |    49432 |   141575      0 |        1 |        0
1055.68/1055.98	c 1051s |      13 |   862373 |    49532 |   141575      0 |        1 |        0
1060.49/1060.72	c 1055s |      13 |   862489 |    49632 |   141575      0 |        1 |        0
1065.08/1065.36	c 1060s |      13 |   862600 |    49732 |   141575      0 |        1 |        0
1068.27/1068.52	c 1063s |      13 |   862766 |    49832 |   141575      0 |        1 |        0
1070.98/1071.25	c 1066s |      13 |   862930 |    49932 |   141575      0 |        1 |        0
1073.48/1073.70	c 1068s |      13 |   863062 |    50032 |   141575      0 |        1 |        0
1075.57/1075.89	c 1071s |      13 |   863192 |    50132 |   141575      0 |        1 |        0
1078.28/1078.53	c 1073s |      13 |   863325 |    50232 |   141575      0 |        1 |        0
1084.28/1084.59	c 1079s |      13 |   863645 |    50432 |   141575      0 |        1 |        0
1090.28/1090.51	c 1085s |      13 |   863773 |    50532 |   141575      0 |        1 |        0
1095.07/1095.31	c 1090s |      13 |   863917 |    50632 |   141575      0 |        1 |        0
1102.07/1102.33	c 1097s |      13 |   864052 |    50732 |   141575      0 |        1 |        0
1105.87/1106.13	c 1101s |      13 |   864187 |    50832 |   141575      0 |        1 |        0
1112.27/1112.57	c 1107s |      13 |   864323 |    50932 |   141575      0 |        1 |        0
1118.07/1118.36	c 1113s |      13 |   864450 |    51032 |   141575      0 |        1 |        0
1123.46/1123.75	c 1118s |      13 |   864635 |    51132 |   141575      0 |        1 |        0
1130.46/1130.74	c 1125s |      13 |   864753 |    51232 |   141575      0 |        1 |        0
1137.16/1137.41	c 1132s |      13 |   864904 |    51332 |   141575      0 |        1 |        0
1146.06/1146.38	c 1141s |      13 |   865061 |    51432 |   141575      0 |        1 |        0
1151.96/1152.27	c 1147s |      13 |   865192 |    51532 |   141575      0 |        1 |        0
1155.25/1155.58	c 1150s |      13 |   865320 |    51632 |   141575      0 |        1 |        0
1157.95/1158.20	c 1153s |      13 |   865448 |    51732 |   141575      0 |        1 |        0
1161.85/1162.16	c 1157s |      13 |   865567 |    51832 |   141575      0 |        1 |        0
1165.75/1166.02	c 1161s |      13 |   865689 |    51932 |   141575      0 |        1 |        0
1169.95/1170.29	c 1165s |      13 |   865816 |    52032 |   141575      0 |        1 |        0
1173.95/1174.24	c 1169s |      13 |   865947 |    52132 |   141575      0 |        1 |        0
1177.95/1178.30	c 1173s |      13 |   866066 |    52232 |   141575      0 |        1 |        0
1183.35/1183.69	c 1178s |      13 |   866176 |    52332 |   141575      0 |        1 |        0
1187.45/1187.77	c 1183s |      13 |   866323 |    52432 |   141575      0 |        1 |        0
1190.55/1190.89	c 1186s |      13 |   866494 |    52532 |   141575      0 |        1 |        0
1196.44/1196.79	c 1192s |      13 |   866622 |    52632 |   141575      0 |        1 |        0
1202.85/1203.11	c 1198s |      13 |   866739 |    52732 |   141575      0 |        1 |        0
1207.54/1207.83	c 1203s |      13 |   866889 |    52832 |   141575      0 |        1 |        0
1215.35/1215.67	c 1210s |      13 |   867002 |    52932 |   141575      0 |        1 |        0
1218.64/1218.92	c 1214s |      13 |   867155 |    53032 |   141575      0 |        1 |        0
1221.74/1222.02	c 1217s |      13 |   867297 |    53132 |   141575      0 |        1 |        0
1224.54/1224.82	c 1220s |      13 |   867436 |    53232 |   141575      0 |        1 |        0
1228.24/1228.51	c 1223s |      13 |   867579 |    53332 |   141575      0 |        1 |        0
1232.25/1232.58	c 1227s |      13 |   867699 |    53432 |   141575      0 |        1 |        0
1238.55/1238.85	c 1234s |      13 |   867816 |    53532 |   141575      0 |        1 |        0
1243.84/1244.11	c 1239s |      13 |   867941 |    53632 |   141575      0 |        1 |        0
1249.44/1249.70	c 1244s |      13 |   868085 |    53732 |   141575      0 |        1 |        0
1256.84/1257.10	c 1252s |      13 |   868204 |    53832 |   141575      0 |        1 |        0
1265.53/1265.82	c 1261s |      13 |   868316 |    53932 |   141575      0 |        1 |        0
1270.74/1271.05	c 1266s |      13 |   868441 |    54032 |   141575      0 |        1 |        0
1275.23/1275.57	c 1270s |      13 |   868568 |    54132 |   141575      0 |        1 |        0
1280.44/1280.77	c 1276s |      13 |   868687 |    54232 |   141575      0 |        1 |        0
1287.13/1287.46	c 1282s |      13 |   868829 |    54332 |   141575      0 |        1 |        0
1293.13/1293.46	c 1288s |      13 |   868940 |    54432 |   141575      0 |        1 |        0
1296.94/1297.23	c 1292s |      13 |   869068 |    54532 |   141575      0 |        1 |        0
1300.33/1300.67	c 1295s |      13 |   869205 |    54632 |   141575      0 |        1 |        0
1307.73/1308.06	c 1303s |      13 |   869343 |    54732 |   141575      0 |        1 |        0
1314.83/1315.11	c 1310s |      13 |   869458 |    54832 |   141575      0 |        1 |        0
1320.93/1321.26	c 1316s |      13 |   869582 |    54932 |   141575      0 |        1 |        0
1327.53/1327.86	c 1323s |      13 |   869723 |    55032 |   141575      0 |        1 |        0
1336.12/1336.42	c 1331s |      13 |   869859 |    55132 |   141575      0 |        1 |        0
1340.32/1340.69	c 1335s |      13 |   870017 |    55232 |   141575      0 |        1 |        0
1344.52/1344.89	c 1340s |      13 |   870164 |    55332 |   141575      0 |        1 |        0
1351.53/1351.86	c 1347s |      13 |   870322 |    55432 |   141575      0 |        1 |        0
1355.32/1355.68	c 1350s |      13 |   871001 |    55632 |   141575      0 |        1 |        0
1360.12/1360.48	c 1355s |      13 |   871325 |    55832 |   141575      0 |        1 |        0
1362.62/1362.90	c 1358s |      13 |   871460 |    55932 |   141575      0 |        1 |        0
1365.52/1365.80	c 1361s |      13 |   871574 |    56032 |   141575      0 |        1 |        0
1370.02/1370.30	c 1365s |      13 |   871719 |    56132 |   141575      0 |        1 |        0
1372.92/1373.21	c 1368s |      13 |   871853 |    56232 |   141575      0 |        1 |        0
1380.32/1380.61	c 1375s |      13 |   872005 |    56332 |   141575      0 |        1 |        0
1391.02/1391.35	c 1386s |      13 |   872141 |    56432 |   141575      0 |        1 |        0
1397.71/1398.01	c 1393s |      13 |   872279 |    56532 |   141575      0 |        1 |        0
1409.91/1410.27	c 1405s |      13 |   872800 |    56632 |   141575      0 |        1 |        0
1413.31/1413.69	c 1408s |      13 |   872992 |    56732 |   141575      0 |        1 |        0
1420.12/1420.43	c 1415s |      13 |   873211 |    56832 |   141575      0 |        1 |        0
1424.31/1424.69	c 1419s |      13 |   873390 |    56932 |   141575      0 |        1 |        0
1429.01/1429.38	c 1424s |      13 |   873521 |    57032 |   141575      0 |        1 |        0
1435.51/1435.87	c 1431s |      13 |   873648 |    57132 |   141575      0 |        1 |        0
1439.70/1440.07	c 1435s |      13 |   873774 |    57232 |   141575      0 |        1 |        0
1445.50/1445.80	c 1441s |      13 |   873894 |    57332 |   141575      0 |        1 |        0
1451.61/1451.95	c 1447s |      13 |   874021 |    57432 |   141575      0 |        1 |        0
1455.11/1455.48	c 1450s |      13 |   874146 |    57532 |   141575      0 |        1 |        0
1458.80/1459.18	c 1454s |      13 |   874449 |    57632 |   141575      0 |        1 |        0
1463.40/1463.77	c 1459s |      13 |   901337 |    57732 |   141575      0 |        1 |        0
1468.60/1468.94	c 1464s |      13 |   901452 |    57832 |   155733      0 |        1 |        0
1477.70/1478.04	c 1473s |      13 |   901579 |    57932 |   155733      0 |        1 |        0
1482.70/1483.03	c 1478s |      13 |   901713 |    58032 |   155733      0 |        1 |        0
1490.70/1491.02	c 1486s |      13 |   901850 |    58132 |   155733      0 |        1 |        0
1503.89/1504.21	c 1499s |      13 |   902396 |    58232 |   155733      0 |        1 |        0
1510.30/1510.63	c 1505s |      13 |   902568 |    58332 |   155733      0 |        1 |        0
1512.79/1513.10	c 1508s |      14 |   902594 |    58352 |   155733      0 |        1 |        0
1532.49/1532.83	c 1528s |      14 |   955235 |    58452 |   155733      0 |        1 |        0
1537.19/1537.57	c 1532s |      14 |   955353 |    58552 |   155733      0 |        1 |        0
1544.59/1544.93	c 1540s |      14 |   955494 |    58652 |   155733      0 |        1 |        0
1559.08/1559.44	c 1554s |      14 |   955638 |    58752 |   155733      0 |        1 |        0
1573.68/1574.02	c 1569s |      14 |   955762 |    58852 |   155733      0 |        1 |        0
1581.99/1582.36	c 1577s |      14 |   955937 |    58952 |   155733      0 |        1 |        0
1586.88/1587.21	c 1582s |      14 |   956777 |    59052 |   155733      0 |        1 |        0
1591.38/1591.78	c 1587s |      14 |   956915 |    59152 |   155733      0 |        1 |        0
1595.88/1596.30	c 1591s |      14 |   957026 |    59252 |   155733      0 |        1 |        0
1602.18/1602.58	c 1597s |      14 |   957171 |    59352 |   155733      0 |        1 |        0
1610.87/1611.23	c 1606s |      14 |   957298 |    59452 |   155733      0 |        1 |        0
1619.37/1619.77	c 1615s |      14 |   957470 |    59552 |   155733      0 |        1 |        0
1631.37/1631.70	c 1626s |      14 |   957613 |    59652 |   155733      0 |        1 |        0
1652.17/1652.59	c 1647s |      14 |   957747 |    59752 |   155733      0 |        1 |        0
1661.06/1661.48	c 1656s |      14 |   957898 |    59852 |   155733      0 |        1 |        0
1669.16/1669.54	c 1664s |      14 |   958028 |    59952 |   155733      0 |        1 |        0
1676.46/1676.81	c 1672s |      14 |   958149 |    60052 |   155733      0 |        1 |        0
1687.76/1688.16	c 1683s |      14 |   958328 |    60152 |   155733      0 |        1 |        0
1705.86/1706.22	c 1701s |      14 |   958485 |    60252 |   155733      0 |        1 |        0
1716.06/1716.45	c 1711s |      14 |   959672 |    60342 |   155733      0 |        1 |        0
1716.06/1716.45	c #cpu_time = 1707.093s
1716.06/1716.45	c #wall_clock_time = 1711.660s
1716.06/1716.45	c #decision = 959672
1716.06/1716.45	c #random_decision = 67
1716.06/1716.45	c #conflict = 60342
1716.06/1716.45	c #restart = 14
1716.06/1716.47	c BCD2: found a new core of size 24534: cost of the new core is >=1
1716.06/1716.47	c lower bound updated to 1
1716.26/1716.60	c BCD2: 46 <= obj <= 16751
1716.26/1716.60	c BCD2: #cores=2, #unrelaxed=27941, #relaxed=24535, #hardened=0
1716.26/1716.60	c BCD2: #sat=1 #unsat=3 bias=3/4
1716.46/1716.81	c Solving starts ...
1716.46/1716.81	c ============================[ Search Statistics ]============================
1716.46/1716.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1716.46/1716.81	c       |         |          |          |    Limit     GC | Var      | Constra 
1716.46/1716.81	c =============================================================================
1716.46/1716.81	c  0.0s |       0 |        0 |        0 |   155733      0 |        1 |        0
1729.75/1730.13	c 13.3s |       0 |    66866 |      100 |   155733      0 |        1 |        0
1729.75/1730.19	c 13.4s |       1 |    66866 |      100 |   155733      0 |        1 |        0
1743.05/1743.42	c 26.6s |       1 |   122099 |      107 |   155733      0 |        1 |        0
1743.05/1743.42	c #cpu_time = 26.479s
1743.05/1743.42	c #wall_clock_time = 26.549s
1743.05/1743.42	c #decision = 122099
1743.05/1743.42	c #random_decision = 112
1743.05/1743.42	c #conflict = 107
1743.05/1743.42	c #restart = 1
1743.05/1743.43	o 594
1743.05/1743.45	c BCD2: updating upper bound: 16751 -> 638
1743.55/1743.93	c BCD2: 46 <= obj <= 638
1743.55/1743.93	c BCD2: #cores=2, #unrelaxed=27941, #relaxed=24535, #hardened=0
1743.55/1743.93	c BCD2: #sat=2 #unsat=3 bias=3/5
1743.75/1744.13	c Solving starts ...
1743.75/1744.13	c ============================[ Search Statistics ]============================
1743.75/1744.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1743.75/1744.13	c       |         |          |          |    Limit     GC | Var      | Constra 
1743.75/1744.13	c =============================================================================
1743.75/1744.13	c  0.0s |       0 |        0 |        0 |   155733      0 |        1 |        1
1756.75/1757.15	c 13.0s |       0 |    46329 |        2 |   155733      0 |        1 |        1
1756.75/1757.15	c #cpu_time = 12.914s
1756.75/1757.15	c #wall_clock_time = 12.949s
1756.75/1757.15	c #decision = 46329
1756.75/1757.15	c #random_decision = 45
1756.75/1757.15	c #conflict = 2
1756.75/1757.15	c #restart = 0
1756.75/1757.16	o 391
1756.75/1757.18	c BCD2: updating upper bound: 638 -> 435
1757.55/1757.94	c BCD2: 46 <= obj <= 435
1757.55/1757.94	c BCD2: #cores=2, #unrelaxed=27941, #relaxed=24535, #hardened=0
1757.55/1757.94	c BCD2: #sat=3 #unsat=3 bias=3/6
1757.75/1758.14	c Solving starts ...
1757.75/1758.14	c ============================[ Search Statistics ]============================
1757.75/1758.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1757.75/1758.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1757.75/1758.14	c =============================================================================
1757.75/1758.14	c  0.0s |       0 |        0 |        0 |   155733      0 |        1 |        2
1770.85/1771.30	c 13.2s |       0 |    28144 |        3 |   155733      0 |        1 |        2
1770.85/1771.30	c #cpu_time = 13.062s
1770.85/1771.30	c #wall_clock_time = 13.097s
1770.85/1771.30	c #decision = 28144
1770.85/1771.30	c #random_decision = 1
1770.85/1771.30	c #conflict = 3
1770.85/1771.30	c #restart = 0
1770.95/1771.31	o 127
1770.95/1771.33	c BCD2: updating upper bound: 435 -> 171
1771.44/1771.83	c BCD2: 46 <= obj <= 171
1771.44/1771.83	c BCD2: #cores=2, #unrelaxed=27941, #relaxed=24535, #hardened=0
1771.44/1771.83	c BCD2: #sat=4 #unsat=3 bias=3/7
1771.64/1772.04	c Solving starts ...
1771.64/1772.04	c ============================[ Search Statistics ]============================
1771.64/1772.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1771.64/1772.04	c       |         |          |          |    Limit     GC | Var      | Constra 
1771.64/1772.04	c =============================================================================
1771.64/1772.04	c  0.0s |       0 |        0 |        0 |   155733      0 |        1 |        3
1784.94/1785.39	c 13.4s |       0 |    30074 |        0 |   155733      0 |        1 |        3
1784.94/1785.39	c #cpu_time = 13.256s
1784.94/1785.39	c #wall_clock_time = 13.291s
1784.94/1785.39	c #decision = 30074
1784.94/1785.39	c #random_decision = 1
1784.94/1785.40	c #conflict = 0
1784.94/1785.40	c #restart = 0
1785.04/1785.40	o 10
1785.04/1785.43	c BCD2: hardening fixes 47995 literals
1785.04/1785.49	c BCD2: updating upper bound: 171 -> 54
1785.15/1785.59	c BCD2: 46 <= obj <= 54
1785.15/1785.59	c BCD2: #cores=2, #unrelaxed=2207, #relaxed=2274, #hardened=47995
1785.15/1785.59	c BCD2: #sat=5 #unsat=3 bias=3/8
1785.25/1785.62	c Solving starts ...
1785.25/1785.62	c ============================[ Search Statistics ]============================
1785.25/1785.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1785.25/1785.62	c       |         |          |          |    Limit     GC | Var      | Constra 
1785.25/1785.62	c =============================================================================
1785.25/1785.62	c  0.0s |       0 |        0 |        0 |   155733      0 |    47996 |        4
1799.24/1799.67	c 14.1s |       0 |     3820 |        0 |   155733      0 |    47996 |        6
1799.24/1799.67	c #cpu_time = 13.993s
1799.24/1799.67	c #wall_clock_time = 14.029s
1799.24/1799.67	c #decision = 3820
1799.24/1799.67	c #random_decision = 2
1799.24/1799.67	c #conflict = 0
1799.24/1799.67	c #restart = 0
1799.24/1799.68	o 8
1799.34/1799.71	c BCD2: hardening fixes 1041 literals
1799.34/1799.71	c BCD2: updating upper bound: 54 -> 52
1799.34/1799.74	c BCD2: 46 <= obj <= 52
1799.34/1799.74	c BCD2: #cores=2, #unrelaxed=1650, #relaxed=1790, #hardened=49036
1799.34/1799.74	c BCD2: #sat=6 #unsat=3 bias=3/9
1799.34/1799.76	c Solving starts ...
1799.34/1799.76	c ============================[ Search Statistics ]============================
1799.34/1799.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1799.34/1799.76	c       |         |          |          |    Limit     GC | Var      | Constra 
1799.34/1799.76	c =============================================================================
1799.34/1799.76	c  0.0s |       0 |        0 |        0 |   155733      0 |    49065 |        7

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

pid=15552
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 15555
/proc/meminfo: memFree=30919572/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 2730 0 0 0 0 0 0 0 20 0 4 0 10827266 749137920 3092 33554432000 4194304 16246674 140734813150960 140734813150384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 183663 3101 441 2943 0 180557 0
[pid=15555/tid=15556] ppid=15552 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 768012288 3161 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 772206592 3178 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10827266 776400896 3196 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 15555
/proc/meminfo: memFree=30919572/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 24895 0 0 0 6 3 0 0 20 0 4 0 10827266 1333334016 25197 33554432000 4194304 16246674 140734813150960 140734813150272 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 325521 25209 800 2943 0 322415 0
[pid=15555/tid=15556] ppid=15552 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1333334016 25219 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1333334016 25230 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1333334016 25240 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200493 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 15555
/proc/meminfo: memFree=30919572/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 48247 0 0 0 13 6 0 0 20 0 4 0 10827266 1342771200 49060 33554432000 4194304 16246674 140734813150960 140734813150272 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 327825 49065 800 2943 0 324719 0
[pid=15555/tid=15556] ppid=15552 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1342771200 49069 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1342771200 49073 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1342771200 49077 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300457 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 15555
/proc/meminfo: memFree=30919572/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 58354 0 0 0 22 7 0 0 20 0 4 0 10827266 1344868352 59166 33554432000 4194304 16246674 140734813150960 140734813150272 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 328337 59166 800 2943 0 325231 0
[pid=15555/tid=15556] ppid=15552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1344868352 59166 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1344868352 59166 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1344868352 59166 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700392 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 15555
/proc/meminfo: memFree=30919572/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 58392 0 0 0 62 7 0 0 20 0 4 0 10827266 1344868352 59204 33554432000 4194304 16246674 140734813150960 140734813150272 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 328337 59204 830 2943 0 325231 0
[pid=15555/tid=15556] ppid=15552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1344868352 59204 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1344868352 59204 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1344868352 59204 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50037 s]
/proc/loadavg: 2.05 2.01 2.00 3/185 15559
/proc/meminfo: memFree=30574432/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 170245 0 0 0 125 24 0 0 20 0 4 0 10827266 1345916928 171057 33554432000 4194304 16246674 140734813150960 140734813132864 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 328593 171061 833 2943 0 325487 0
[pid=15555/tid=15556] ppid=15552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1345916928 171063 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1345916928 171065 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1345916928 171067 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10039 s]
/proc/loadavg: 2.05 2.01 2.00 3/185 15559
/proc/meminfo: memFree=30182592/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1372740 CPUtime=3.09 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 283807 0 0 0 269 40 0 0 20 0 4 0 10827266 1405685760 284619 33554432000 4194304 16246674 140734813150960 140734813132864 4225066 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 343185 284619 860 2943 0 340079 0
[pid=15555/tid=15556] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284619 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284619 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284619 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1372740

[startup+6.30038 s]
/proc/loadavg: 2.04 2.01 2.00 3/185 15559
/proc/meminfo: memFree=29781708/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1372740 CPUtime=6.29 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 283895 0 0 0 589 40 0 0 20 0 4 0 10827266 1405685760 284707 33554432000 4194304 16246674 140734813150960 140734813132864 5663521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 343185 284707 927 2943 0 340079 0
[pid=15555/tid=15556] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284707 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284707 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284707 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1372740

[startup+12.7004 s]
/proc/loadavg: 2.04 2.01 2.00 3/185 15559
/proc/meminfo: memFree=29781700/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1372740 CPUtime=12.69 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 283899 0 0 0 1228 41 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 140734813150136 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 343185 284711 931 2943 0 340079 0
[pid=15555/tid=15556] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1372740

[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.00 3/185 15559
/proc/meminfo: memFree=29782004/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1372740 CPUtime=25.49 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 283899 0 0 0 2508 41 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 140734813132864 12483212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 343185 284711 931 2943 0 340079 0
[pid=15555/tid=15556] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1372740

[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 15559
/proc/meminfo: memFree=29781960/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1372740 CPUtime=51.09 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 283899 0 0 0 5065 44 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 140734813132864 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 343185 284711 931 2943 0 340079 0
[pid=15555/tid=15556] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1372740

[startup+102.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/185 15560
/proc/meminfo: memFree=29781880/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=1372740 CPUtime=102.28 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 283899 0 0 0 10180 48 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 140734813150136 5827980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 343185 284711 931 2943 0 340079 0
[pid=15555/tid=15556] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 1405685760 284711 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1372740


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

/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 2612596736 579393 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2551364

[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/185 15590
/proc/meminfo: memFree=28532592/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2615876 CPUtime=1302.03 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 594836 0 0 0 129890 313 0 0 20 0 4 0 10827266 2678657024 595754 33554432000 4194304 16246674 140734813150960 140734813150056 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 653969 595754 933 2943 0 650863 0
[pid=15555/tid=15556] ppid=15552 vsize=2615876 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 2678657024 595754 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2615876 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 2678657024 595754 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2615876 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 2678657024 595754 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2615876

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/185 15591
/proc/meminfo: memFree=28484268/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2665028 CPUtime=1362.02 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 606987 0 0 0 135864 338 0 0 20 0 4 0 10827266 2728988672 607902 33554432000 4194304 16246674 140734813150960 140734813150136 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 666257 607902 933 2943 0 663151 0
[pid=15555/tid=15556] ppid=15552 vsize=2665028 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 2728988672 607902 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2665028 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 2728988672 607902 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2665028 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 2728988672 607902 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2665028

[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/186 15595
/proc/meminfo: memFree=28437336/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2712132 CPUtime=1422.01 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 618909 0 0 0 141837 364 0 0 20 0 4 0 10827266 2777223168 619819 33554432000 4194304 16246674 140734813150960 140734813150136 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 678033 619819 934 2943 0 674927 0
[pid=15555/tid=15556] ppid=15552 vsize=2712132 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 2777223168 619819 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2712132 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 2777223168 619819 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2712132 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 2777223168 619819 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 2712132

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/186 15619
/proc/meminfo: memFree=28351120/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2797124 CPUtime=1481.99 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 640162 0 0 0 147809 390 0 0 20 0 4 0 10827266 2864254976 641067 33554432000 4194304 16246674 140734813150960 140734813150056 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 699281 641067 934 2943 0 696175 0
[pid=15555/tid=15556] ppid=15552 vsize=2797124 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 2864254976 641067 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2797124 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 2864254976 641067 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2797124 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 2864254976 641067 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2797124

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 15621
/proc/meminfo: memFree=28315816/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2843204 CPUtime=1541.99 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 651474 0 0 0 153786 413 0 0 20 0 4 0 10827266 2911440896 652378 33554432000 4194304 16246674 140734813150960 140734813148800 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 710801 652378 934 2943 0 707695 0
[pid=15555/tid=15556] ppid=15552 vsize=2843204 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 2911440896 652378 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2843204 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 2911440896 652378 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2843204 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 2911440896 652378 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2843204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 15622
/proc/meminfo: memFree=28249772/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2898500 CPUtime=1601.98 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 665508 0 0 0 159762 436 0 0 20 0 4 0 10827266 2968064000 666411 33554432000 4194304 16246674 140734813150960 140734813150136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 724625 666411 934 2943 0 721519 0
[pid=15555/tid=15556] ppid=15552 vsize=2898500 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 2968064000 666411 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2898500 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 2968064000 666411 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2898500 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 2968064000 666411 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2898500

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15623
/proc/meminfo: memFree=28214592/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2933316 CPUtime=1661.97 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 674220 0 0 0 165736 461 0 0 20 0 4 0 10827266 3003715584 675115 33554432000 4194304 16246674 140734813150960 140734813150056 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 733329 675115 934 2943 0 730223 0
[pid=15555/tid=15556] ppid=15552 vsize=2933316 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 3003715584 675115 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2933316 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 3003715584 675115 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2933316 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 3003715584 675115 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2933316

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/185 15721
/proc/meminfo: memFree=28167636/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=2976324 CPUtime=1721.96 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 684878 0 0 0 171710 486 0 0 20 0 4 0 10827266 3047755776 685773 33554432000 4194304 16246674 140734813150960 140734813150136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 744081 685773 936 2943 0 740975 0
[pid=15555/tid=15556] ppid=15552 vsize=2976324 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 3047755776 685773 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=2976324 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 3047755776 685773 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=2976324 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 3047755776 685773 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2976324

[startup+1782.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 15819
/proc/meminfo: memFree=28053612/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=3088964 CPUtime=1781.95 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 712923 0 0 0 177682 513 0 0 20 0 4 0 10827266 3163099136 713817 33554432000 4194304 16246674 140734813150960 140734813150136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 772241 713817 939 2943 0 769135 0
[pid=15555/tid=15556] ppid=15552 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 3163099136 713817 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 3163099136 713817 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=3088964 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 3163099136 713817 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3088964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 15868
/proc/meminfo: memFree=28003204/32872528 swapFree=7268/7268
[pid=15555] ppid=15552 vsize=3143236 CPUtime=1800.05 cores=0,2,4,6
/proc/15555/stat : 15555 (toysat) R 15552 15555 9721 0 -1 4202496 726465 0 0 0 179482 523 0 0 20 0 4 0 10827266 3218673664 727358 33554432000 4194304 16246674 140734813150960 140734813150136 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15555/statm: 785809 727358 941 2943 0 782703 0
[pid=15555/tid=15556] ppid=15552 vsize=3143236 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15556/stat : 15556 (toysat) S 15552 15555 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10827266 3218673664 727358 33554432000 4194304 16246674 140734813150960 139979373128944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15555/tid=15557] ppid=15552 vsize=3143236 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15557/stat : 15557 (toysat) S 15552 15555 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10827266 3218673664 727358 33554432000 4194304 16246674 140734813150960 139979292388592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15555/tid=15558] ppid=15552 vsize=3143236 CPUtime=0 cores=0,2,4,6
/proc/15555/task/15558/stat : 15558 (toysat) S 15552 15555 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10827266 3218673664 727358 33554432000 4194304 16246674 140734813150960 139979281915056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3143236

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 15555 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.11
CPU user time (s): 1794.83
CPU system time (s): 5.2812
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 3143236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.83
system time used= 5.2812
maximum resident set size= 2909432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 726465
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= 196
involuntary context switches= 1917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71428 second user time and 6.77997 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 16:36:53
IDJOB=4093592
IDBENCH=79108
IDSOLVER=2553
FILE ID=node133/4093592-1466087813
RUNJOBID= node133-1466075558-12321
PBS_JOBID= 19904006
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093592-1466087813/watcher-4093592-1466087813 -o /tmp/evaluation-result-4093592-1466087813/solver-4093592-1466087813 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093592-1466087813.wbo

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

MD5SUM BENCH= 703926ff2f0fefe39204d7923d5e722e
RANDOM SEED=2096255651

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
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:        30919952 kB
Buffers:           38084 kB
Cached:           105352 kB
SwapCached:         1876 kB
Active:          1184836 kB
Inactive:          61260 kB
Active(anon):    1103688 kB
Inactive(anon):     1228 kB
Active(file):      81148 kB
Inactive(file):    60032 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098888 kB
Dirty:             18448 kB
Writeback:             0 kB
AnonPages:       1113168 kB
Mapped:            11116 kB
Shmem:                 0 kB
Slab:             568264 kB
SReclaimable:      11548 kB
SUnreclaim:       556716 kB
KernelStack:        1536 kB
PageTables:         6292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1254852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node133 at 2016-06-16 17:06:54