Trace number 4096281

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 501.804 501.984

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_23.opb
MD5SUMdecd947b0629e946e6183f44579ff7bb
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.76827
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables930
Total number of constraints4385
Number of constraints which are clauses4380
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 53
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T23:40:08+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096281-1466113207.opb"]
0.00/0.01	c use --random-gen="1431615282 1540177832 1419844416 1040614014 1527937059 1484515586 2654711809 2490863466 230293742 201073382 2223493510 3846921375 1511193196 1047698450 1081713124 3163484843 2297729171 1088345112 3502990521 2654458135 1091944513 647149591 2032790004 801553364 1944832031 1839836616 1206724218 2560267267 947940721 563437829 1416341867 3817611172 647174322 3816300675 4166564454 400836727 4231956149 3645306037 2426335325 2472042418 1686595769 2206343411 1652321256 99479352 2641455602 778429993 1289622048 3697837572 1620457513 616380832 1536182582 1384053654 711157307 3918887391 3078051246 459063803 3216042367 76271060 2654071767 2239716261 420683598 3184556575 3688720712 3991632983 459674462 1800422565 3113435450 4087023584 3430933258 3825157152 2476016884 4250544791 1569678205 3314127693 1563787374 4291337539 809822296 1178697772 731349965 1798982180 1465169733 3598727244 159354375 2463087660 1219023043 2745755356 3469312884 3147943058 3784997464 2270013633 3946851179 1413640222 3792296041 2700327798 140293105 1274556488 4133686820 3944180265 896344338 2253446193 2177624529 2734063599 1352505788 4185436564 2711053108 1491285014 3938818847 3440380249 3101309945 1279609392 2892178308 3736603168 2396599706 772074723 1941222270 1641810601 4241365047 641004526 220231976 111389306 421853748 457905175 2151084722 217319853 4228400391 159345207 1798063327 2718719537 2941098165 2697159754 2856103924 2944904792 1939199557 553123700 1352836890 2751234787 1624206501 1426178935 404774804 3193155388 916859688 408146416 3034825639 2846757356 2177495374 1991127516 3605271768 1378390565 2727821656 3743282007 1839196789 1752144134 1654803311 1226351075 1098471356 2128241833 3626923721 3247010457 3533991079 212184694 2252015092 4169269883 1617772505 3451111617 1575977626 1820763910 2551211311 1540871783 3770751947 3133380296 3736224400 723239046 1866784934 3451247623 774823591 392499950 1246064083 3490952503 2599641780 215084858 3123572558 187696718 1030647070 510846931 1008110626 276936840 2494015011 661132791 2654646501 1302321095 1743136686 285401031 3777082972 633232873 3036116503 1783568223 2914828684 831782467 2070150019 3596336139 2335061004 1129195370 1221646621 2112145010 2103308868 4270097986 4262397193 3250754857 1865162060 1750999308 3761029002 3209902229 2034876628 1533855376 4205685893 722377608 3121699504 2034412697 2239006701 3854000033 3975149616 71340112 250747820 1286109606 396239650 2540957059 661071925 3815073789 272925249 231687765 1036039629 891765227 868334743 945158707 2847399075 1406154558 2788441605 787539368 2271564028 1810716216 1762600471 304883398 2591998188 3524108050 338005563 1745285692 3466470675 4040984915 3274044070 237280993 3980503868 1378119511 1661736628 2922527432 3265348627 2834035357 255 362436" option to reproduce the execution
0.00/0.06	c #vars 930
0.00/0.06	c #constraints 4385
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     1770      0 |        5 |        0
0.09/0.13	c  0.0s |       1 |      135 |      100 |     1770      0 |        5 |      238
0.19/0.20	c  0.1s |       2 |      319 |      250 |     1948      0 |        5 |      238
0.19/0.30	c  0.2s |       3 |      600 |      475 |     2143      0 |        5 |      238
0.39/0.44	c  0.3s |       4 |     1095 |      813 |     2358      0 |        5 |      238
0.59/0.68	c  0.6s |       5 |     1704 |     1320 |     2594      0 |        5 |      238
0.99/1.05	c  1.0s |       6 |     2674 |     2081 |     3140      0 |        5 |      238
1.49/1.56	c  1.5s |       7 |     3989 |     3223 |     3455      0 |        5 |      238
2.19/2.29	c  2.2s |       8 |     5969 |     4936 |     3801      1 |        5 |      238
3.19/3.20	c  3.1s |       9 |     8915 |     7506 |     4182      2 |        5 |      238
4.50/4.53	c  4.4s |      10 |    13527 |    11361 |     4601      4 |        5 |      238
6.49/6.56	c  6.5s |      11 |    20467 |    17144 |     5062      6 |        5 |      238
8.49/8.59	c  8.5s |      11 |    27175 |    22844 |     5062      8 |        5 |      238
9.59/9.64	c  9.5s |      12 |    30587 |    25819 |     5569      9 |        5 |      238
11.58/11.66	c 11.6s |      12 |    36658 |    31019 |     5569     11 |        5 |      238
13.58/13.68	c 13.6s |      12 |    42476 |    36119 |     5569     13 |        5 |      238
14.68/14.70	c 14.6s |      13 |    45561 |    38832 |     6126     14 |        5 |      238
16.68/16.74	c 16.6s |      13 |    51857 |    44332 |     6126     16 |        5 |      238
18.69/18.75	c 18.7s |      13 |    58234 |    49832 |     6126     17 |        5 |      238
20.68/20.76	c 20.7s |      13 |    63884 |    54832 |     6126     19 |        5 |      238
22.09/22.12	c 22.0s |      14 |    67843 |    58352 |     6739     20 |        5 |      238
24.08/24.16	c 24.1s |      14 |    73697 |    63452 |     6739     21 |        5 |      238
26.08/26.16	c 26.1s |      14 |    78992 |    68252 |     6739     23 |        5 |      238
28.08/28.18	c 28.1s |      14 |    84384 |    72952 |     6739     24 |        5 |      238
30.18/30.20	c 30.1s |      14 |    90020 |    77752 |     6739     26 |        5 |      238
32.19/32.22	c 32.1s |      14 |    95772 |    82652 |     6739     27 |        5 |      238
34.09/34.20	c 34.1s |      15 |   101492 |    87632 |     7413     28 |        5 |      238
36.19/36.22	c 36.1s |      15 |   106787 |    92232 |     7413     29 |        5 |      238
38.19/38.22	c 38.1s |      15 |   111984 |    96632 |     7413     31 |        5 |      238
40.19/40.26	c 40.2s |      15 |   117793 |   101632 |     7413     32 |        5 |      238
42.19/42.28	c 42.2s |      15 |   123878 |   106832 |     7413     33 |        5 |      238
44.18/44.29	c 44.2s |      15 |   128994 |   111432 |     7413     35 |        5 |      238
46.29/46.31	c 46.2s |      15 |   133963 |   115632 |     7413     36 |        5 |      238
48.49/48.51	c 48.4s |      15 |   139644 |   120632 |     7413     37 |        5 |      238
50.48/50.53	c 50.4s |      15 |   145279 |   125632 |     7413     38 |        5 |      238
52.48/52.56	c 52.5s |      15 |   150301 |   130132 |     7413     39 |        5 |      238
53.08/53.16	c 53.1s |      16 |   151905 |   131552 |     8155     40 |        5 |      238
55.08/55.19	c 55.1s |      16 |   156938 |   135952 |     8155     41 |        5 |      238
57.18/57.21	c 57.1s |      16 |   162065 |   140452 |     8155     42 |        5 |      238
59.18/59.25	c 59.2s |      16 |   166932 |   144752 |     8155     43 |        5 |      238
61.18/61.28	c 61.2s |      16 |   171722 |   149152 |     8155     44 |        5 |      238
63.28/63.30	c 63.2s |      16 |   176159 |   153152 |     8155     45 |        5 |      238
65.28/65.35	c 65.3s |      16 |   181162 |   157652 |     8155     46 |        5 |      238
67.28/67.36	c 67.3s |      16 |   185871 |   161852 |     8155     47 |        5 |      238
69.28/69.40	c 69.3s |      16 |   190768 |   166352 |     8155     48 |        5 |      238
71.38/71.43	c 71.3s |      16 |   195385 |   170652 |     8155     49 |        5 |      238
73.37/73.45	c 73.4s |      16 |   199777 |   174552 |     8155     50 |        5 |      238
75.37/75.46	c 75.4s |      16 |   204736 |   178852 |     8155     51 |        5 |      238
77.37/77.48	c 77.4s |      16 |   210062 |   183452 |     8155     52 |        5 |      238
79.37/79.49	c 79.4s |      16 |   215151 |   187952 |     8155     53 |        5 |      238
81.38/81.50	c 81.4s |      16 |   220121 |   192452 |     8155     54 |        5 |      238
83.47/83.51	c 83.4s |      16 |   224917 |   196852 |     8971     55 |        5 |      238
83.87/83.97	c 83.9s |      17 |   225578 |   197432 |     8971     55 |        5 |      238
85.87/85.98	c 85.9s |      17 |   230631 |   201732 |     8971     56 |        5 |      238
87.87/88.00	c 87.9s |      17 |   235708 |   206232 |     8971     57 |        5 |      238
89.97/90.02	c 89.9s |      17 |   240644 |   210632 |     8971     58 |        5 |      238
92.06/92.12	c 92.0s |      17 |   245309 |   214732 |     8971     59 |        5 |      238
94.06/94.15	c 94.1s |      17 |   249639 |   218432 |     8971     60 |        5 |      238
96.06/96.18	c 96.1s |      17 |   255155 |   223232 |     8971     61 |        5 |      238
98.06/98.18	c 98.1s |      17 |   259787 |   227532 |     8971     62 |        5 |      238
100.17/100.22	c  100s |      17 |   264643 |   231832 |     8971     63 |        5 |      238
102.16/102.24	c  102s |      17 |   268342 |   235232 |     8971     64 |        5 |      238
104.16/104.25	c  104s |      17 |   272702 |   239132 |     8971     65 |        5 |      238
106.26/106.34	c  106s |      17 |   277496 |   243332 |     8971     66 |        5 |      238
108.26/108.35	c  108s |      17 |   282373 |   247632 |     8971     66 |        5 |      238
110.57/110.65	c  110s |      17 |   286980 |   251832 |     8971     67 |        5 |      238
112.66/112.70	c  112s |      17 |   292417 |   256532 |     8971     68 |        5 |      238
114.66/114.74	c  114s |      17 |   297707 |   261132 |     8971     69 |        5 |      238
116.96/117.00	c  116s |      17 |   302827 |   265832 |     8971     70 |        5 |      238
118.96/119.00	c  118s |      17 |   307788 |   270232 |     8971     71 |        5 |      238
120.97/121.05	c  120s |      17 |   312512 |   274532 |     8971     72 |        5 |      238
122.96/123.08	c  122s |      17 |   317399 |   278632 |     8971     73 |        5 |      238
125.06/125.12	c  125s |      17 |   321844 |   282232 |     8971     74 |        5 |      238
127.06/127.15	c  127s |      17 |   325634 |   285532 |     8971     75 |        5 |      238
129.06/129.18	c  129s |      17 |   329793 |   288832 |     8971     75 |        5 |      238
131.16/131.22	c  131s |      17 |   334104 |   292532 |     8971     76 |        5 |      238
133.16/133.24	c  133s |      17 |   337996 |   295932 |     9869     77 |        5 |      238
133.35/133.43	c  133s |      18 |   338441 |   296252 |     9869     77 |        5 |      238
135.36/135.44	c  135s |      18 |   341704 |   298952 |     9869     77 |        5 |      238
137.35/137.50	c  137s |      18 |   345622 |   302352 |     9869     78 |        5 |      238
139.45/139.55	c  139s |      18 |   349472 |   305652 |     9869     79 |        5 |      238
141.45/141.55	c  141s |      18 |   353281 |   308852 |     9869     79 |        5 |      238
143.45/143.56	c  143s |      18 |   357647 |   312452 |     9869     80 |        5 |      238
145.45/145.59	c  145s |      18 |   361512 |   315652 |     9869     81 |        5 |      238
147.55/147.62	c  147s |      18 |   365668 |   319052 |     9869     81 |        5 |      238
149.55/149.63	c  149s |      18 |   370357 |   322652 |     9869     82 |        5 |      238
151.55/151.68	c  151s |      18 |   374400 |   325952 |     9869     83 |        5 |      238
153.64/153.72	c  153s |      18 |   378233 |   329252 |     9869     84 |        5 |      238
155.64/155.74	c  155s |      18 |   382267 |   332652 |     9869     84 |        5 |      238
157.64/157.77	c  157s |      18 |   386218 |   335852 |     9869     85 |        5 |      238
159.64/159.79	c  159s |      18 |   390018 |   338952 |     9869     85 |        5 |      238
161.65/161.79	c  161s |      18 |   393898 |   342352 |     9869     86 |        5 |      238
163.74/163.81	c  163s |      18 |   398209 |   346052 |     9869     87 |        5 |      238
165.74/165.85	c  165s |      18 |   401909 |   349352 |     9869     88 |        5 |      238
167.74/167.88	c  167s |      18 |   405582 |   352752 |     9869     88 |        5 |      238
169.84/169.93	c  169s |      18 |   408819 |   355752 |     9869     89 |        5 |      238
171.83/171.97	c  171s |      18 |   412713 |   358952 |     9869     89 |        5 |      238
173.93/174.03	c  173s |      18 |   416738 |   362252 |     9869     90 |        5 |      238
175.94/176.08	c  175s |      18 |   420594 |   365452 |     9869     91 |        5 |      238
178.03/178.13	c  178s |      18 |   424172 |   368552 |     9869     91 |        5 |      238
180.03/180.18	c  180s |      18 |   427577 |   371552 |     9869     92 |        5 |      238
182.13/182.21	c  182s |      18 |   430868 |   374452 |     9869     93 |        5 |      238
184.13/184.25	c  184s |      18 |   434569 |   377552 |     9869     93 |        5 |      238
186.12/186.26	c  186s |      18 |   437890 |   380352 |     9869     94 |        5 |      238
188.22/188.30	c  188s |      18 |   442276 |   384252 |     9869     94 |        5 |      238
190.23/190.36	c  190s |      18 |   446568 |   388052 |     9869     95 |        5 |      238
192.22/192.39	c  192s |      18 |   450935 |   391852 |     9869     96 |        5 |      238
194.32/194.43	c  194s |      18 |   454851 |   395152 |     9869     97 |        5 |      238
196.32/196.44	c  196s |      18 |   458963 |   398752 |     9869     97 |        5 |      238
198.32/198.45	c  198s |      18 |   463355 |   402752 |     9869     98 |        5 |      238
200.32/200.49	c  200s |      18 |   467677 |   406652 |     9869     99 |        5 |      238
202.43/202.53	c  202s |      18 |   471783 |   410352 |     9869    100 |        5 |      238
204.42/204.57	c  204s |      18 |   476073 |   414252 |     9869    100 |        5 |      238
206.42/206.59	c  206s |      18 |   480163 |   417952 |     9869    101 |        5 |      238
208.52/208.62	c  208s |      18 |   483937 |   421352 |     9869    102 |        5 |      238
210.52/210.63	c  210s |      18 |   488231 |   425252 |     9869    103 |        5 |      238
212.51/212.66	c  212s |      18 |   492597 |   429252 |     9869    103 |        5 |      238
214.52/214.69	c  214s |      18 |   496723 |   433052 |     9869    104 |        5 |      238
216.62/216.71	c  216s |      18 |   500769 |   436752 |     9869    105 |        5 |      238
218.61/218.75	c  218s |      18 |   504794 |   440352 |     9869    106 |        5 |      238
220.61/220.76	c  220s |      18 |   508463 |   443752 |    10856    106 |        5 |      238
221.12/221.23	c  221s |      19 |   509241 |   444482 |    10856    106 |        5 |      238
223.12/223.26	c  223s |      19 |   513302 |   448082 |    10856    107 |        5 |      238
225.12/225.26	c  225s |      19 |   518026 |   452282 |    10856    108 |        5 |      238
227.22/227.32	c  227s |      19 |   522718 |   456482 |    10856    109 |        5 |      238
229.22/229.36	c  229s |      19 |   527096 |   460482 |    10856    109 |        5 |      238
231.32/231.40	c  231s |      19 |   531691 |   464482 |    10856    110 |        5 |      238
233.31/233.42	c  233s |      19 |   536102 |   468282 |    10856    111 |        5 |      238
235.32/235.43	c  235s |      19 |   540957 |   472582 |    10856    111 |        5 |      238
237.31/237.47	c  237s |      19 |   545675 |   476782 |    10856    112 |        5 |      238
239.41/239.50	c  239s |      19 |   550297 |   480982 |    10856    113 |        5 |      238
241.41/241.53	c  241s |      19 |   553913 |   484082 |    10856    114 |        5 |      238
243.41/243.54	c  243s |      19 |   558755 |   488382 |    10856    114 |        5 |      238
245.61/245.73	c  245s |      19 |   563135 |   492382 |    10856    115 |        5 |      238
247.61/247.74	c  247s |      19 |   567476 |   496282 |    10856    116 |        5 |      238
249.61/249.75	c  249s |      19 |   571717 |   500182 |    10856    116 |        5 |      238
251.61/251.79	c  251s |      19 |   576290 |   504082 |    10856    117 |        5 |      238
253.80/253.92	c  253s |      19 |   578154 |   505782 |    10856    117 |        5 |      238
255.80/255.96	c  255s |      19 |   583104 |   509982 |    10856    118 |        5 |      238
257.80/257.99	c  257s |      19 |   587868 |   514182 |    10856    119 |        5 |      238
259.90/260.01	c  259s |      19 |   592836 |   518582 |    10856    120 |        5 |      238
261.90/262.04	c  261s |      19 |   597533 |   522882 |    10856    121 |        5 |      238
263.91/264.09	c  263s |      19 |   600971 |   525982 |    10856    121 |        5 |      238
266.00/266.13	c  266s |      19 |   605732 |   530082 |    10856    122 |        5 |      238
268.00/268.18	c  268s |      19 |   609868 |   533682 |    10856    123 |        5 |      238
270.10/270.21	c  270s |      19 |   614591 |   537882 |    10856    123 |        5 |      238
272.11/272.23	c  272s |      19 |   619119 |   541982 |    10856    124 |        5 |      238
274.11/274.26	c  274s |      19 |   623239 |   545782 |    10856    125 |        5 |      238
276.21/276.30	c  276s |      19 |   627448 |   549682 |    10856    125 |        5 |      238
278.31/278.46	c  278s |      19 |   630458 |   552482 |    10856    126 |        5 |      238
280.30/280.48	c  280s |      19 |   634567 |   556182 |    10856    127 |        5 |      238
282.30/282.49	c  282s |      19 |   639025 |   560182 |    10856    127 |        5 |      238
284.40/284.51	c  284s |      19 |   643614 |   564282 |    10856    128 |        5 |      238
286.40/286.55	c  286s |      19 |   647603 |   567882 |    10856    129 |        5 |      238
288.40/288.59	c  288s |      19 |   652005 |   571782 |    10856    129 |        5 |      238
290.50/290.63	c  290s |      19 |   656406 |   575782 |    10856    130 |        5 |      238
292.50/292.64	c  292s |      19 |   660849 |   579882 |    10856    131 |        5 |      238
295.19/295.30	c  295s |      19 |   664793 |   583582 |    10856    132 |        5 |      238
297.19/297.33	c  297s |      19 |   669297 |   587782 |    10856    132 |        5 |      238
299.19/299.34	c  299s |      19 |   673185 |   591382 |    10856    133 |        5 |      238
301.19/301.36	c  301s |      19 |   676991 |   594982 |    10856    134 |        5 |      238
303.18/303.37	c  303s |      19 |   680750 |   598482 |    10856    134 |        5 |      238
305.18/305.38	c  305s |      19 |   684160 |   601682 |    10856    135 |        5 |      238
307.28/307.42	c  307s |      19 |   688316 |   605382 |    10856    136 |        5 |      238
309.28/309.42	c  309s |      19 |   692800 |   609482 |    10856    136 |        5 |      238
311.29/311.44	c  311s |      19 |   696374 |   612782 |    10856    137 |        5 |      238
313.28/313.47	c  313s |      19 |   700769 |   616682 |    10856    138 |        5 |      238
315.48/315.63	c  315s |      19 |   703667 |   619382 |    10856    138 |        8 |      299
317.48/317.65	c  317s |      19 |   709952 |   624982 |    10856    138 |        8 |      299
319.48/319.66	c  319s |      19 |   713964 |   628682 |    10856    138 |        8 |      299
321.68/321.83	c  321s |      19 |   718402 |   632682 |    10856    139 |        8 |      299
323.67/323.88	c  323s |      19 |   723164 |   636782 |    10856    140 |        8 |      299
325.77/325.92	c  325s |      19 |   727408 |   640582 |    10856    141 |        8 |      299
327.78/327.94	c  327s |      19 |   732279 |   644882 |    10856    141 |        8 |      299
329.77/329.96	c  329s |      19 |   736863 |   648982 |    10856    142 |        8 |      299
331.77/331.98	c  331s |      19 |   741380 |   653082 |    10856    143 |        8 |      299
333.77/333.99	c  333s |      19 |   745320 |   656682 |    10856    144 |        8 |      299
335.87/336.03	c  335s |      19 |   750315 |   661182 |    10856    144 |        8 |      299
337.88/338.07	c  337s |      19 |   753364 |   663882 |    11942    145 |        8 |      299
339.38/339.55	c  339s |      20 |   756548 |   666827 |    11942    145 |        8 |      299
341.38/341.55	c  341s |      20 |   760789 |   670527 |    11942    146 |        8 |      299
343.37/343.56	c  343s |      20 |   765236 |   674527 |    11942    146 |        8 |      299
345.38/345.56	c  345s |      20 |   768648 |   677627 |    11942    147 |        8 |      299
347.37/347.58	c  347s |      20 |   772797 |   681427 |    11942    147 |        8 |      299
349.47/349.61	c  349s |      20 |   777140 |   685327 |    11942    148 |        8 |      299
351.47/351.62	c  351s |      20 |   780498 |   688327 |    11942    149 |        8 |      299
353.46/353.62	c  353s |      20 |   784552 |   692027 |    11942    149 |        8 |      299
355.46/355.67	c  355s |      20 |   788348 |   695527 |    11942    150 |        8 |      299
357.47/357.67	c  357s |      20 |   792312 |   699027 |    11942    150 |        8 |      299
359.46/359.69	c  359s |      20 |   796476 |   702727 |    11942    151 |        8 |      299
361.56/361.71	c  361s |      20 |   799395 |   705327 |    11942    151 |        8 |      299
363.56/363.74	c  363s |      20 |   803860 |   709427 |    11942    152 |        8 |      299
365.56/365.77	c  365s |      20 |   808299 |   713127 |    11942    153 |        8 |      299
367.66/367.82	c  367s |      20 |   812602 |   716527 |    11942    153 |        8 |      299
369.66/369.87	c  369s |      20 |   816092 |   719427 |    11942    154 |        8 |      299
371.66/371.90	c  371s |      20 |   819115 |   722027 |    11942    154 |        8 |      299
373.76/373.94	c  373s |      20 |   822660 |   725327 |    11942    155 |        8 |      299
375.76/375.99	c  375s |      20 |   826587 |   728627 |    11942    155 |        8 |      299
377.86/378.04	c  377s |      20 |   830923 |   731927 |    11942    156 |        8 |      299
379.86/380.08	c  379s |      20 |   834510 |   734927 |    11942    156 |        8 |      299
381.86/382.09	c  381s |      20 |   837846 |   737727 |    11942    157 |        8 |      299
383.95/384.16	c  384s |      20 |   841381 |   740727 |    11942    157 |        8 |      299
385.96/386.19	c  386s |      20 |   844717 |   743827 |    11942    158 |        8 |      299
388.05/388.22	c  388s |      20 |   848609 |   747127 |    11942    158 |        8 |      299
390.05/390.23	c  390s |      20 |   852750 |   750327 |    11942    159 |        8 |      299
392.05/392.29	c  392s |      20 |   856147 |   753027 |    11942    159 |        8 |      299
394.15/394.31	c  394s |      20 |   860270 |   756627 |    11942    160 |        8 |      299
396.15/396.31	c  396s |      20 |   864209 |   760227 |    11942    161 |        8 |      299
398.16/398.37	c  398s |      20 |   868573 |   764127 |    11942    161 |        8 |      299
400.15/400.38	c  400s |      20 |   872272 |   767427 |    11942    162 |        8 |      299
402.25/402.42	c  402s |      20 |   876486 |   771027 |    11942    162 |        8 |      299
404.75/404.92	c  404s |      20 |   879828 |   774127 |    11942    163 |       13 |      364
406.74/406.96	c  406s |      20 |   885925 |   779527 |    11942    163 |       13 |      364
408.75/408.97	c  408s |      20 |   890319 |   783527 |    11942    163 |       13 |      364
410.75/410.99	c  410s |      20 |   894947 |   787327 |    11942    164 |       13 |      364
412.85/413.09	c  412s |      20 |   898829 |   790527 |    11942    165 |       13 |      364
414.85/415.09	c  414s |      20 |   902717 |   793827 |    11942    165 |       13 |      364
416.95/417.18	c  417s |      20 |   905342 |   796127 |    11942    165 |       13 |      364
418.96/419.19	c  419s |      20 |   909414 |   799327 |    11942    166 |       13 |      364
421.05/421.25	c  421s |      20 |   912899 |   802127 |    11942    166 |       13 |      364
423.05/423.28	c  423s |      20 |   916644 |   804927 |    11942    167 |       13 |      364
425.15/425.33	c  425s |      20 |   920453 |   808027 |    11942    167 |       13 |      364
427.15/427.33	c  427s |      20 |   924363 |   811627 |    11942    168 |       13 |      364
429.15/429.33	c  429s |      20 |   927989 |   815027 |    11942    169 |       13 |      364
431.15/431.34	c  431s |      20 |   931714 |   818527 |    11942    169 |       13 |      364
433.14/433.39	c  433s |      20 |   935582 |   822027 |    11942    170 |       13 |      364
435.24/435.45	c  435s |      20 |   939185 |   825327 |    11942    170 |       13 |      364
437.24/437.48	c  437s |      20 |   943196 |   828927 |    11942    171 |       13 |      364
439.34/439.51	c  439s |      20 |   947286 |   832727 |    11942    171 |       13 |      364
441.34/441.54	c  441s |      20 |   951173 |   836327 |    11942    172 |       13 |      364
443.34/443.57	c  443s |      20 |   955568 |   839827 |    11942    173 |       13 |      364
445.44/445.61	c  445s |      20 |   959510 |   843127 |    11942    173 |       13 |      364
447.44/447.62	c  447s |      20 |   962728 |   846027 |    11942    174 |       13 |      364
449.43/449.64	c  449s |      20 |   966498 |   849527 |    11942    174 |       13 |      364
451.43/451.66	c  451s |      20 |   968790 |   851627 |    11942    175 |       20 |      433
453.43/453.68	c  453s |      20 |   974261 |   856727 |    11942    175 |       20 |      433
455.53/455.70	c  455s |      20 |   978215 |   860427 |    11942    175 |       20 |      433
457.54/457.71	c  457s |      20 |   981793 |   863727 |    11942    176 |       20 |      433
459.53/459.72	c  459s |      20 |   985833 |   867327 |    11942    176 |       20 |      433
461.53/461.77	c  461s |      20 |   990411 |   870827 |    11942    177 |       20 |      433
463.62/463.80	c  463s |      20 |   993549 |   873727 |    11942    177 |       20 |      433
465.62/465.80	c  465s |      20 |   997739 |   876927 |    11942    178 |       20 |      433
467.62/467.82	c  467s |      20 |  1001740 |   880127 |    11942    178 |       20 |      433
469.63/469.82	c  469s |      20 |  1005334 |   883127 |    11942    179 |       20 |      433
471.62/471.89	c  471s |      20 |  1008705 |   885927 |    11942    179 |       20 |      433
473.72/473.95	c  473s |      20 |  1013104 |   889127 |    11942    180 |       20 |      433
475.72/475.96	c  475s |      20 |  1016886 |   891927 |    11942    180 |       20 |      433
477.72/477.96	c  477s |      20 |  1020666 |   894727 |    11942    181 |       20 |      433
479.82/480.00	c  479s |      20 |  1024363 |   897527 |    11942    181 |       20 |      433
481.82/482.03	c  481s |      20 |  1027426 |   900027 |    11942    182 |       20 |      433
484.21/484.48	c  484s |      20 |  1030853 |   902927 |    11942    182 |       24 |      550
486.31/486.54	c  486s |      20 |  1035530 |   907227 |    11942    182 |       24 |      550
488.32/488.54	c  488s |      20 |  1038876 |   910327 |    11942    182 |       24 |      550
490.31/490.57	c  490s |      20 |  1043693 |   914327 |    11942    183 |       24 |      550
492.32/492.59	c  492s |      20 |  1047937 |   918127 |    11942    183 |       33 |      623
494.41/494.64	c  494s |      20 |  1052335 |   922227 |    11942    183 |       33 |      623
496.41/496.67	c  496s |      20 |  1056227 |   925527 |    11942    184 |       44 |      700
498.51/498.71	c  498s |      20 |  1061540 |   930527 |    11942    184 |       44 |      700
500.51/500.75	c  500s |      20 |  1066515 |   935227 |    11942    184 |       72 |      866
501.71/501.96	c  501s |      20 |  1070078 |   938176 |    11942    184 |      516 |     2652
501.71/501.96	c #cpu_time = 500.464s
501.71/501.96	c #wall_clock_time = 501.859s
501.71/501.96	c #decision = 1070078
501.71/501.96	c #random_decision = 3882
501.71/501.96	c #conflict = 938176
501.71/501.96	c #restart = 20
501.71/501.96	s UNSATISFIABLE
501.71/501.96	c total CPU time = 500.564s
501.71/501.96	c total wall clock time = 501.959s

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.13 2.06 2/176 19368
/proc/meminfo: memFree=31587884/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=704068 CPUtime=0 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 2626 0 0 0 0 0 0 0 20 0 4 0 13367381 720965632 2986 33554432000 4194304 16246674 140733481271488 140733481270912 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 176785 2994 442 2943 0 173679 0
[pid=19367/tid=19369] ppid=19362 vsize=727620 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 745082880 3076 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=731716 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 749277184 3093 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=735812 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13367381 753471488 3110 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100146 s]
/proc/loadavg: 2.22 2.13 2.06 2/176 19368
/proc/meminfo: memFree=31587884/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 20259 0 0 0 7 2 0 0 20 0 4 0 13367381 1249447936 20557 33554432000 4194304 16246674 140733481271488 140733481270800 6935128 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 305041 20557 834 2943 0 301935 0
[pid=19367/tid=19369] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 20557 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 20557 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 20557 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200446 s]
/proc/loadavg: 2.22 2.13 2.06 2/176 19368
/proc/meminfo: memFree=31587884/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 40413 0 0 0 14 5 0 0 20 0 4 0 13367381 1249447936 40711 33554432000 4194304 16246674 140733481271488 140733481270800 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 305041 40718 876 2943 0 301935 0
[pid=19367/tid=19369] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 40724 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 40729 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 40735 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300471 s]
/proc/loadavg: 2.22 2.13 2.06 2/176 19368
/proc/meminfo: memFree=31587884/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1220164 CPUtime=0.28 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 62689 0 0 0 21 7 0 0 20 0 4 0 13367381 1249447936 62987 33554432000 4194304 16246674 140733481271488 140733481270800 5530837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 305041 62997 876 2943 0 301935 0
[pid=19367/tid=19369] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 63004 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 63011 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 63018 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1220164

[startup+0.700344 s]
/proc/loadavg: 2.22 2.13 2.06 2/176 19368
/proc/meminfo: memFree=31587884/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 145690 0 0 0 51 18 0 0 20 0 4 0 13367381 1249447936 145989 33554432000 4194304 16246674 140733481271488 140733481270800 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 305041 145995 876 2943 0 301935 0
[pid=19367/tid=19369] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 145999 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 146007 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13367381 1249447936 146015 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.22 2.13 2.06 4/184 19376
/proc/meminfo: memFree=29777268/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 266533 0 0 0 115 34 0 0 20 0 4 0 13367381 1333334016 266831 33554432000 4194304 16246674 140733481271488 140733481270800 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 325521 266831 879 2943 0 322415 0
[pid=19367/tid=19369] ppid=19362 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1333334016 266831 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1333334016 266831 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1333334016 266831 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.1004 s]
/proc/loadavg: 2.22 2.13 2.06 4/184 19376
/proc/meminfo: memFree=29451892/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 267884 0 0 0 275 34 0 0 20 0 4 0 13367381 1338576896 268182 33554432000 4194304 16246674 140733481271488 140733481253376 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 326801 268182 881 2943 0 323695 0
[pid=19367/tid=19369] ppid=19362 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1338576896 268182 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1338576896 268182 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1338576896 268182 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.20 2.13 2.06 4/184 19376
/proc/meminfo: memFree=29440268/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 268148 0 0 0 595 34 0 0 20 0 4 0 13367381 1339625472 268446 33554432000 4194304 16246674 140733481271488 140733481253376 13906976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 327057 268446 885 2943 0 323951 0
[pid=19367/tid=19369] ppid=19362 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1339625472 268446 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1339625472 268446 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1339625472 268446 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.18 2.12 2.06 4/183 19376
/proc/meminfo: memFree=29437664/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 268498 0 0 0 1234 34 0 0 20 0 4 0 13367381 1340674048 268796 33554432000 4194304 16246674 140733481271488 140733481253376 5673360 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 327313 268796 885 2943 0 324207 0
[pid=19367/tid=19369] ppid=19362 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1340674048 268796 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1340674048 268796 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1340674048 268796 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.14 2.12 2.06 4/183 19376
/proc/meminfo: memFree=29427368/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1318468 CPUtime=25.48 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 270802 0 0 0 2514 34 0 0 20 0 4 0 13367381 1350111232 271100 33554432000 4194304 16246674 140733481271488 140733481253376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 329617 271100 885 2943 0 326511 0
[pid=19367/tid=19369] ppid=19362 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1350111232 271100 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1350111232 271100 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1350111232 271100 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.15 2.12 2.06 4/183 19376
/proc/meminfo: memFree=29422444/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 271064 0 0 0 5073 35 0 0 20 0 4 0 13367381 1351159808 271612 33554432000 4194304 16246674 140733481271488 140733481253376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 329873 271612 885 2943 0 326767 0
[pid=19367/tid=19369] ppid=19362 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1351159808 271612 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1351159808 271612 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1351159808 271612 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.17 2.13 2.07 4/184 19379
/proc/meminfo: memFree=29393060/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=102.27 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275427 0 0 0 10191 36 0 0 20 0 4 0 13367381 1368985600 275965 33554432000 4194304 16246674 140733481271488 140733481253376 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 334225 275965 886 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275965 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275965 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275965 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1336900


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

/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275521 0 0 0 34178 40 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1336900

[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/183 19629
/proc/meminfo: memFree=29377280/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=402.15 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275547 0 0 0 40175 40 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1336900

[startup+462.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/183 19630
/proc/meminfo: memFree=29377184/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=462.13 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275570 0 0 0 46172 41 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1336900

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

[startup+486.4 s]
/proc/loadavg: 2.04 2.06 2.05 3/183 19631
/proc/meminfo: memFree=29376760/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=486.21 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275586 0 0 0 48580 41 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 5523360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 486.21
Current children cumulated vsize (KiB) 1336900

[startup+492.8 s]
/proc/loadavg: 2.04 2.06 2.05 3/183 19631
/proc/meminfo: memFree=29376876/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=492.63 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275586 0 0 0 49221 42 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481254480 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 492.63
Current children cumulated vsize (KiB) 1336900

[startup+496 s]
/proc/loadavg: 2.04 2.05 2.05 4/183 19631
/proc/meminfo: memFree=29376744/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=495.81 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275592 0 0 0 49539 42 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 495.81
Current children cumulated vsize (KiB) 1336900

[startup+499.2 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 19631
/proc/meminfo: memFree=29376624/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=499.01 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275592 0 0 0 49859 42 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481270664 5823807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 499.01
Current children cumulated vsize (KiB) 1336900

[startup+500.8 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 19631
/proc/meminfo: memFree=29376624/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=500.61 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275592 0 0 0 50019 42 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481254480 5829736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 500.61
Current children cumulated vsize (KiB) 1336900

[startup+501.6 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 19631
/proc/meminfo: memFree=29376624/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=501.42 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275592 0 0 0 50100 42 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 501.42
Current children cumulated vsize (KiB) 1336900

[startup+501.8 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 19631
/proc/meminfo: memFree=29376624/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=501.61 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275592 0 0 0 50119 42 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 501.61
Current children cumulated vsize (KiB) 1336900

[startup+501.9 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 19631
/proc/meminfo: memFree=29376624/32872528 swapFree=302776/319128
[pid=19367] ppid=19362 vsize=1336900 CPUtime=501.71 cores=1,3,5,7
/proc/19367/stat : 19367 (toysat) R 19362 19367 16914 0 -1 4202496 275592 0 0 0 50129 42 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 140733481253376 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19367/statm: 334225 275966 887 2943 0 331119 0
[pid=19367/tid=19369] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19369/stat : 19369 (toysat) S 19362 19367 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835298786544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19367/tid=19370] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19370/stat : 19370 (toysat) S 19362 19367 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835288296688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19367/tid=19374] ppid=19362 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/19367/task/19374/stat : 19374 (toysat) S 19362 19367 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13367381 1368985600 275966 33554432000 4194304 16246674 140733481271488 139835209673904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 501.71
Current children cumulated vsize (KiB) 1336900

Child status: 0
Real time (s): 501.984
CPU time (s): 501.804
CPU user time (s): 501.357
CPU system time (s): 0.446932
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 501.357
system time used= 0.446932
maximum resident set size= 1103876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275596
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= 201
involuntary context switches= 603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44378 second user time and 1.91871 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 23:40:07
IDJOB=4096281
IDBENCH=107592
IDSOLVER=2542
FILE ID=node128/4096281-1466113207
RUNJOBID= node128-1466113207-19340
PBS_JOBID= 19904049
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_23.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096281-1466113207/watcher-4096281-1466113207 -o /tmp/evaluation-result-4096281-1466113207/solver-4096281-1466113207 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096281-1466113207.opb

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

MD5SUM BENCH= decd947b0629e946e6183f44579ff7bb
RANDOM SEED=483399096

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31589444 kB
Buffers:           66484 kB
Cached:           189372 kB
SwapCached:         2096 kB
Active:           153332 kB
Inactive:         104932 kB
Active(anon):       3752 kB
Inactive(anon):     1600 kB
Active(file):     149580 kB
Inactive(file):   103332 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             33124 kB
Writeback:             0 kB
AnonPages:        321344 kB
Mapped:             7112 kB
Shmem:                 0 kB
Slab:             572244 kB
SReclaimable:      15340 kB
SUnreclaim:       556904 kB
KernelStack:        1408 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     415932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71676 MiB
End job on node128 at 2016-06-16 23:48:30