Trace number 4109742

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-02OPTIMUM 312.009 312.094

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900576927--soft-66-100-0.wbo
MD5SUMfe999950861349ecbc6e2ee50c3d0e04
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small 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 benchmark41.2697
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
Number of bits of the biggest sum of numbers10
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-19T15:45:59+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-4109742-1466343959.wbo"]
0.00/0.01	c use --random-gen="3830959537 1278608433 3529897191 2079959400 1626638211 3705420114 3747225335 3124832947 224588089 792111033 1557069073 3005378702 1853123174 3859986242 2609873031 2283712485 1876077001 2571147895 3725509322 4123563877 3960411369 1997303097 2531563891 3397427565 3761360481 3571257384 338622840 1007799368 2666967980 1843129844 2180169729 1205855616 272209970 3756085465 42117881 2935342755 3145161984 3255903660 944608923 379059802 3271655554 242947043 1994311060 3808973868 2985489803 3012954021 1150516560 835821533 1404748405 4071935884 4010715814 3579359793 1609499793 3854897667 1536068441 3668173009 4133588787 1372510661 1059721880 1535292025 3029155601 4220455682 958735364 3199373539 1398128750 984662322 1185314766 3885619853 899204841 3276028968 2019081663 2428023453 3169639460 2476213727 3854692014 2386624472 1355574444 3306645934 850510169 4039594915 2199968006 526309196 3545972279 3423197847 2998056718 497633437 1815121983 1560644942 3335276693 2968746463 867536750 3366775498 3661024620 2432137449 1748121972 3071711505 1554022653 1985398277 597505454 1298047647 3837388387 170346195 780011374 3208874072 983604853 766400364 1308424603 1626597281 1303227634 1104702913 3783182093 1506134808 3532252023 3832210976 2381914406 1530215444 3761581047 84289194 4224736683 1721102819 3646824837 2543511402 1198983803 3963852702 3259010593 1274318529 1533398425 728702778 1420288338 224694978 1360922141 1999602155 1920846432 2247827415 2807608529 1799980920 501136873 2221031796 3979135838 2714342849 1333989316 1724157057 4244400848 3854792960 3506952318 2182323620 45324551 3807656558 3369090176 1676919543 1028095243 2365925606 3212856690 2430086146 3932233316 1462044857 26776368 3811777266 4092148935 283713427 2752697293 3718895699 4266922520 1525267324 4279851408 3620507905 789061589 3061272447 176268032 3567055728 624017816 2809112967 2568123088 3161432282 3480166047 1060974901 602638707 1536233766 157816813 182344196 2888339550 3895603772 3947120994 4037664309 2667978736 3584598363 3073557298 4060336379 3842153644 1306815414 1110435402 3416025288 1638288028 4048859504 2655441806 3100508566 982555180 918751773 1978885998 2210269768 721178381 1457319958 2935495543 2476702851 53956160 1682366243 1596651796 2887546352 2260659640 1176502590 3521037312 1820618037 1908306358 3213893180 210629610 2666349375 2000819732 621265583 3550179557 309991524 965887715 1931289547 233079114 1511902578 3686799016 2169767886 904063064 2215782386 1810308683 2013949693 3092918484 3708261043 2482257172 67250814 1249860419 120981946 3111551667 1562848416 2501492687 3196529851 1759537749 1788200938 536760291 618693570 788934807 270371928 3764674345 133282000 4266236070 274877770 3460720365 1663496064 3703888909 749459463 185311347 2827861449 255 362436" option to reproduce the execution
0.09/0.13	c #vars 231
0.09/0.13	c #constraints 2707
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.19/0.20	c  0.0s |       0 |        0 |        0 |     1283      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |     1088 |      100 |     1283      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     2156 |      111 |     1412      0 |        0 |        0
0.19/0.22	c #cpu_time = 0.032s
0.19/0.22	c #wall_clock_time = 0.032s
0.19/0.22	c #decision = 2156
0.19/0.22	c #random_decision = 8
0.19/0.22	c #conflict = 111
0.19/0.22	c #restart = 1
0.19/0.22	o 485
0.19/0.22	c BCD2: updating upper bound: 45525 -> 484
0.19/0.22	c BCD2: 0 <= obj <= 484
0.19/0.22	c BCD2: #cores=0, #unrelaxed=911, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1412      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     1120 |      100 |     1412      0 |        0 |        0
0.19/0.27	c  0.0s |       2 |     2293 |      250 |     1554      0 |        0 |        0
0.29/0.31	c  0.1s |       3 |     3576 |      475 |     1710      0 |        0 |        0
0.39/0.42	c  0.2s |       4 |     4975 |      813 |     1882      0 |        0 |        0
0.49/0.58	c  0.4s |       5 |     6724 |     1320 |     2071      0 |        0 |        0
0.78/0.86	c  0.6s |       6 |     8892 |     2081 |     2279      0 |        0 |        0
1.29/1.37	c  1.1s |       7 |    11574 |     3223 |     2507      0 |        0 |        0
1.99/2.01	c  1.8s |       8 |    15256 |     4936 |     2758      1 |        0 |        0
2.79/2.87	c  2.6s |       9 |    19774 |     7506 |     3034      3 |        0 |        0
4.89/4.91	c  4.7s |       9 |    25648 |    11206 |     3338      4 |        0 |        0
4.99/5.05	c  4.8s |      10 |    25846 |    11361 |     3338      4 |        0 |        0
6.99/7.05	c  6.8s |      10 |    33079 |    15761 |     3338      7 |        0 |        0
7.59/7.68	c  7.5s |      11 |    34908 |    17144 |     3672      7 |        0 |        0
9.69/9.71	c  9.5s |      11 |    41975 |    21344 |     3672      9 |        0 |        0
11.29/11.35	c 11.1s |      12 |    47536 |    25819 |     4040     11 |        0 |        0
13.39/13.40	c 13.2s |      12 |    54680 |    30619 |     4040     13 |        0 |        0
15.39/15.41	c 15.2s |      12 |    59510 |    34519 |     4040     14 |        0 |        0
17.39/17.42	c 17.2s |      12 |    64449 |    38519 |     4444     16 |        0 |        0
17.49/17.57	c 17.3s |      13 |    64845 |    38832 |     4444     16 |        0 |        0
19.49/19.59	c 19.4s |      13 |    70294 |    42432 |     4444     17 |        0 |        0
21.59/21.61	c 21.4s |      13 |    74897 |    46132 |     4444     18 |        0 |        0
23.59/23.65	c 23.4s |      13 |    78377 |    48932 |     4444     19 |        0 |        0
25.59/25.68	c 25.5s |      13 |    83468 |    53032 |     4444     21 |        0 |        0
27.68/27.72	c 27.5s |      13 |    87612 |    56532 |     4444     22 |        0 |        0
28.38/28.43	c 28.2s |      14 |    89846 |    58352 |     4889     23 |        0 |        0
30.38/30.45	c 30.2s |      14 |    95051 |    61852 |     4889     24 |        0 |        0
32.48/32.51	c 32.3s |      14 |    99122 |    65252 |     4889     25 |        0 |        0
34.48/34.54	c 34.3s |      14 |   104758 |    69652 |     4889     27 |        0 |        0
36.48/36.56	c 36.3s |      14 |   109162 |    73052 |     4889     28 |        0 |        0
38.49/38.57	c 38.3s |      14 |   113191 |    76252 |     4889     29 |        0 |        0
40.58/40.61	c 40.4s |      14 |   117285 |    79652 |     4889     30 |        0 |        0
42.58/42.65	c 42.4s |      14 |   120594 |    82452 |     4889     31 |        0 |        0
44.58/44.66	c 44.4s |      14 |   123480 |    84952 |     4889     32 |        0 |        0
46.68/46.72	c 46.5s |      15 |   126619 |    87632 |     5378     33 |        0 |        0
48.68/48.72	c 48.5s |      15 |   130232 |    89832 |     5378     33 |        0 |        0
50.68/50.73	c 50.5s |      15 |   134356 |    92932 |     5378     34 |        0 |        0
52.78/52.81	c 52.6s |      15 |   138591 |    96032 |     5378     35 |        0 |        0
54.78/54.89	c 54.7s |      15 |   141649 |    98532 |     5378     36 |        0 |        0
56.88/56.97	c 56.7s |      15 |   145345 |   101332 |     5378     37 |        0 |        0
58.98/59.01	c 58.8s |      15 |   148554 |   103832 |     5378     38 |        0 |        0
60.98/61.03	c 60.8s |      15 |   151510 |   106232 |     5378     39 |        0 |        0
62.98/63.06	c 62.8s |      15 |   154327 |   108532 |     5378     39 |        0 |        0
65.08/65.11	c 64.9s |      15 |   156848 |   110632 |     5378     40 |        0 |        0
67.09/67.17	c 67.0s |      15 |   159359 |   112632 |     5378     41 |        0 |        0
69.18/69.22	c 69.0s |      15 |   165315 |   117032 |     5378     42 |        0 |        0
71.18/71.26	c 71.0s |      15 |   172102 |   121832 |     5378     43 |        0 |        0
73.28/73.30	c 73.1s |      15 |   177325 |   125732 |     5378     45 |        0 |        0
75.28/75.31	c 75.1s |      15 |   181363 |   128932 |     5378     46 |        0 |        0
76.68/76.79	c 76.6s |      16 |   184906 |   131552 |     5916     46 |        0 |        0
78.78/78.83	c 78.6s |      16 |   190167 |   134952 |     5916     47 |        0 |        0
80.78/80.84	c 80.6s |      16 |   195168 |   138552 |     5916     48 |        0 |        0
82.78/82.89	c 82.7s |      16 |   199570 |   141752 |     5916     49 |        0 |        0
84.78/84.90	c 84.7s |      16 |   204891 |   145352 |     5916     50 |        0 |        0
86.88/86.91	c 86.7s |      16 |   211067 |   149852 |     5916     52 |        0 |        0
88.88/88.95	c 88.7s |      16 |   216609 |   153952 |     5916     53 |        0 |        0
90.88/90.97	c 90.7s |      16 |   223196 |   158752 |     5916     54 |        0 |        0
92.88/92.97	c 92.7s |      16 |   229135 |   163152 |     5916     56 |        0 |        0
94.88/94.99	c 94.8s |      16 |   234663 |   167552 |     5916     57 |        0 |        0
96.97/97.02	c 96.8s |      16 |   239036 |   170952 |     5916     58 |        0 |        0
98.98/99.05	c 98.8s |      16 |   245321 |   175452 |     5916     59 |        0 |        0
100.97/101.05	c  100s |      16 |   250171 |   179252 |     5916     60 |        0 |        0
102.97/103.09	c  102s |      16 |   256027 |   183552 |     5916     61 |        0 |        0
105.07/105.12	c  104s |      16 |   261281 |   187452 |     5916     63 |        0 |        0
107.07/107.13	c  106s |      16 |   265069 |   190352 |     5916     63 |        0 |        0
109.07/109.18	c  108s |      16 |   271211 |   194852 |     5916     65 |        0 |        0
110.37/110.43	c  110s |      17 |   275102 |   197432 |     6508     65 |        0 |        0
112.37/112.45	c  112s |      17 |   281026 |   200632 |     6508     66 |        0 |        0
114.38/114.48	c  114s |      17 |   285050 |   203332 |     6508     67 |        0 |        0
116.37/116.49	c  116s |      17 |   290096 |   207032 |     6508     68 |        0 |        0
118.47/118.55	c  118s |      17 |   295059 |   210632 |     6508     69 |        0 |        0
120.47/120.58	c  120s |      17 |   298520 |   213332 |     6508     70 |        0 |        0
122.47/122.59	c  122s |      17 |   303051 |   216432 |     6508     70 |        0 |        0
124.57/124.64	c  124s |      17 |   306697 |   219232 |     6508     71 |        0 |        0
126.58/126.69	c  126s |      17 |   311476 |   222632 |     6508     72 |        0 |        0
128.68/128.76	c  128s |      17 |   315074 |   225432 |     6508     73 |        0 |        0
130.67/130.77	c  130s |      17 |   319242 |   228432 |     6508     74 |        0 |        0
132.77/132.81	c  132s |      17 |   324047 |   231832 |     6508     75 |        0 |        0
134.77/134.82	c  134s |      17 |   328885 |   235132 |     6508     76 |        0 |        0
136.77/136.85	c  136s |      17 |   333311 |   238132 |     6508     76 |        0 |        0
138.87/138.91	c  138s |      17 |   336694 |   240632 |     6508     77 |        0 |        0
140.87/140.92	c  140s |      17 |   339843 |   242932 |     6508     78 |        0 |        0
142.87/142.95	c  142s |      17 |   344456 |   246132 |     6508     78 |        0 |        0
144.97/145.01	c  144s |      17 |   349944 |   249532 |     6508     79 |        0 |        0
146.96/147.03	c  146s |      17 |   355206 |   252632 |     6508     80 |        0 |        0
148.96/149.06	c  148s |      17 |   361087 |   256332 |     6508     81 |        0 |        0
150.96/151.07	c  150s |      17 |   365792 |   259332 |     6508     82 |        0 |        0
152.97/153.08	c  152s |      17 |   371703 |   262832 |     6508     83 |        0 |        0
155.07/155.12	c  154s |      17 |   375243 |   265332 |     6508     84 |        0 |        0
157.06/157.17	c  156s |      17 |   378458 |   267532 |     6508     84 |        0 |        0
159.16/159.22	c  158s |      17 |   383755 |   270732 |     6508     85 |        0 |        0
161.16/161.25	c  161s |      17 |   387538 |   273332 |     6508     86 |        0 |        0
163.16/163.28	c  163s |      17 |   391317 |   275932 |     6508     86 |        0 |        0
165.16/165.28	c  165s |      17 |   397079 |   279632 |     6508     87 |        0 |        0
167.16/167.30	c  167s |      17 |   401977 |   282832 |     6508     88 |        0 |        0
169.26/169.37	c  169s |      17 |   407205 |   286132 |     6508     89 |        0 |        0
171.36/171.42	c  171s |      17 |   411026 |   288632 |     6508     90 |        0 |        0
173.36/173.48	c  173s |      17 |   414811 |   291132 |     6508     91 |        0 |        0
175.46/175.54	c  175s |      17 |   419288 |   293932 |     6508     91 |        0 |        0
176.96/177.05	c  176s |      18 |   423285 |   296252 |     7159     92 |        0 |        0
179.05/179.10	c  178s |      18 |   427855 |   299152 |     7159     92 |        0 |        0
181.05/181.11	c  180s |      18 |   430601 |   301452 |     7159     93 |        0 |        0
183.15/183.20	c  182s |      18 |   432971 |   303452 |     7159     93 |        0 |        0
185.15/185.20	c  184s |      18 |   437003 |   306552 |     7159     94 |        0 |        0
187.25/187.30	c  187s |      18 |   440409 |   309252 |     7159     95 |        0 |        0
189.26/189.37	c  189s |      18 |   443630 |   311652 |     7159     95 |        0 |        0
191.35/191.41	c  191s |      18 |   446048 |   313552 |     7159     96 |        0 |        0
193.35/193.49	c  193s |      18 |   448817 |   315752 |     7159     96 |        0 |        0
195.45/195.54	c  195s |      18 |   451364 |   317852 |     7159     97 |        0 |        0
197.45/197.54	c  197s |      18 |   453424 |   319652 |     7159     97 |        0 |        0
199.44/199.58	c  199s |      18 |   455803 |   321552 |     7159     98 |        0 |        0
201.54/201.63	c  201s |      18 |   457740 |   323152 |     7159     98 |        0 |        0
203.64/203.75	c  203s |      18 |   459787 |   324752 |     7159     99 |        0 |        0
205.66/205.78	c  205s |      18 |   462200 |   326752 |     7159     99 |        0 |        0
207.75/207.88	c  207s |      18 |   464861 |   329052 |     7159    100 |        0 |        0
209.85/209.98	c  209s |      18 |   467851 |   331552 |     7159    100 |        0 |        0
211.95/212.01	c  211s |      18 |   470473 |   333752 |     7159    101 |        0 |        0
213.95/214.02	c  213s |      18 |   473861 |   336452 |     7159    102 |        0 |        0
215.95/216.06	c  215s |      18 |   478897 |   339952 |     7159    102 |        0 |        0
217.95/218.08	c  217s |      18 |   483850 |   343552 |     7159    103 |        0 |        0
219.95/220.10	c  219s |      18 |   488513 |   346852 |     7159    104 |        0 |        0
222.05/222.15	c  221s |      18 |   492878 |   350252 |     7159    105 |        0 |        0
224.15/224.20	c  223s |      18 |   496433 |   353152 |     7159    106 |        0 |        0
226.15/226.23	c  226s |      18 |   499032 |   355352 |     7159    106 |        0 |        0
228.14/228.24	c  228s |      18 |   501407 |   357352 |     7159    107 |        0 |        0
230.24/230.31	c  230s |      18 |   505264 |   360252 |     7159    107 |        0 |        0
232.24/232.38	c  232s |      18 |   509244 |   363152 |     7159    108 |        0 |        0
234.35/234.45	c  234s |      18 |   512683 |   365752 |     7159    109 |        0 |        0
236.45/236.54	c  236s |      18 |   515255 |   367852 |     7159    109 |        0 |        0
238.44/238.58	c  238s |      18 |   518053 |   369952 |     7159    110 |        0 |        0
240.54/240.67	c  240s |      18 |   521547 |   372552 |     7159    110 |        0 |        0
242.54/242.69	c  242s |      18 |   524307 |   374652 |     7159    111 |        0 |        0
244.64/244.74	c  244s |      18 |   527471 |   376952 |     7159    112 |        0 |        0
246.64/246.79	c  246s |      18 |   531046 |   379452 |     7159    112 |        0 |        0
248.73/248.83	c  248s |      18 |   534434 |   381852 |     7159    113 |        0 |        0
250.74/250.84	c  250s |      18 |   537203 |   383852 |     7159    113 |        0 |        0
252.73/252.89	c  252s |      18 |   539301 |   385452 |     7159    114 |        0 |        0
254.83/254.91	c  254s |      18 |   543633 |   388452 |     7159    114 |        0 |        0
256.83/256.96	c  256s |      18 |   547615 |   391152 |     7159    115 |        0 |        0
258.93/259.02	c  258s |      18 |   550643 |   393352 |     7159    116 |        0 |        0
260.93/261.02	c  260s |      18 |   553670 |   395652 |     7159    116 |        0 |        0
262.94/263.05	c  262s |      18 |   556137 |   397452 |     7159    117 |        0 |        0
265.04/265.13	c  264s |      18 |   560006 |   399852 |     7159    117 |        0 |        0
267.13/267.23	c  267s |      18 |   563641 |   402252 |     7159    118 |        0 |        0
269.22/269.35	c  269s |      18 |   566423 |   404152 |     7159    118 |        0 |        0
271.32/271.40	c  271s |      18 |   570008 |   406652 |     7159    119 |        0 |        0
273.32/273.45	c  273s |      18 |   572741 |   408752 |     7159    119 |        0 |        0
275.32/275.46	c  275s |      18 |   575559 |   410652 |     7159    120 |        0 |        0
277.42/277.58	c  277s |      18 |   578694 |   412652 |     7159    120 |        0 |        0
279.52/279.61	c  279s |      18 |   581576 |   414452 |     7159    121 |        0 |        0
281.53/281.63	c  281s |      18 |   585002 |   416752 |     7159    121 |        0 |        0
283.52/283.64	c  283s |      18 |   589080 |   419252 |     7159    122 |        0 |        0
285.52/285.69	c  285s |      18 |   592498 |   421452 |     7159    122 |        0 |        0
287.62/287.76	c  287s |      18 |   596096 |   423752 |     7159    123 |        0 |        0
289.72/289.83	c  289s |      18 |   600523 |   426352 |     7159    124 |        0 |        0
291.81/291.93	c  291s |      18 |   604692 |   428852 |     7159    124 |        0 |        0
293.91/294.01	c  293s |      18 |   608017 |   430752 |     7159    125 |        0 |        0
295.92/296.10	c  295s |      18 |   611212 |   432752 |     7159    125 |        0 |        0
298.11/298.21	c  297s |      18 |   613842 |   434552 |     7159    126 |        0 |        0
300.11/300.27	c  300s |      18 |   617312 |   436652 |     7159    126 |        0 |        0
302.21/302.37	c  302s |      18 |   620813 |   438752 |     7159    127 |        0 |        0
304.31/304.42	c  304s |      18 |   624213 |   440652 |     7159    127 |        0 |        0
306.41/306.52	c  306s |      18 |   627567 |   442552 |     7875    127 |        0 |        0
306.82/306.91	c  306s |      18 |   627884 |   442769 |     7875    128 |        0 |        0
306.82/306.91	c #cpu_time = 305.845s
306.82/306.91	c #wall_clock_time = 306.687s
306.82/306.91	c #decision = 627884
306.82/306.91	c #random_decision = 925
306.82/306.91	c #conflict = 442769
306.82/306.91	c #restart = 18
306.82/306.91	c BCD2: found a new core of size 911: cost of the new core is >=1
306.82/306.91	c lower bound updated to 1
306.82/306.91	c BCD2: 1 <= obj <= 484
306.82/306.91	c BCD2: #cores=1, #unrelaxed=0, #relaxed=911, #hardened=0
306.82/306.91	c BCD2: #sat=1 #unsat=2 bias=2/3
306.82/306.92	c Solving starts ...
306.82/306.92	c ============================[ Search Statistics ]============================
306.82/306.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
306.82/306.92	c       |         |          |          |    Limit     GC | Var      | Constra 
306.82/306.92	c =============================================================================
306.82/306.92	c  0.0s |       0 |        0 |        0 |     7875      0 |        0 |        0
306.82/306.95	c  0.0s |       0 |      946 |        0 |     7875      0 |        0 |        0
306.82/306.95	c #cpu_time = 0.035s
306.82/306.95	c #wall_clock_time = 0.035s
306.82/306.95	c #decision = 946
306.82/306.95	c #random_decision = 5
306.82/306.95	c #conflict = 0
306.82/306.95	c #restart = 0
306.82/306.95	o 67
306.82/306.95	c BCD2: hardening fixes 301 literals
306.82/306.95	c BCD2: updating upper bound: 484 -> 66
306.82/306.96	c BCD2: 1 <= obj <= 66
306.82/306.96	c BCD2: #cores=1, #unrelaxed=0, #relaxed=610, #hardened=301
306.82/306.96	c BCD2: #sat=2 #unsat=2 bias=2/4
306.82/306.96	c Solving starts ...
306.82/306.96	c ============================[ Search Statistics ]============================
306.82/306.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
306.82/306.96	c       |         |          |          |    Limit     GC | Var      | Constra 
306.82/306.96	c =============================================================================
306.82/306.96	c  0.0s |       0 |        0 |        0 |     7875      0 |      301 |        2
307.01/307.10	c  0.1s |       1 |      302 |      100 |     7875      0 |      301 |        2
307.11/307.20	c  0.2s |       2 |      525 |      250 |     7875      0 |      301 |        2
307.21/307.34	c  0.4s |       3 |      867 |      475 |     7875      0 |      301 |        2
307.51/307.60	c  0.6s |       4 |     1401 |      813 |     7875      0 |      301 |        2
307.61/307.74	c  0.8s |       4 |     1587 |      915 |     7875      0 |      301 |        2
307.61/307.74	c #cpu_time = 0.775s
307.61/307.74	c #wall_clock_time = 0.777s
307.61/307.74	c #decision = 1587
307.61/307.74	c #random_decision = 4
307.61/307.74	c #conflict = 915
307.61/307.74	c #restart = 4
307.61/307.74	o 26
307.61/307.74	c BCD2: hardening fixes 372 literals
307.61/307.74	c BCD2: updating upper bound: 66 -> 25
307.61/307.74	c BCD2: 1 <= obj <= 25
307.61/307.74	c BCD2: #cores=1, #unrelaxed=0, #relaxed=238, #hardened=673
307.61/307.74	c BCD2: #sat=3 #unsat=2 bias=2/5
307.61/307.74	c Solving starts ...
307.61/307.74	c ============================[ Search Statistics ]============================
307.61/307.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
307.61/307.74	c       |         |          |          |    Limit     GC | Var      | Constra 
307.61/307.74	c =============================================================================
307.61/307.74	c  0.0s |       0 |        0 |        0 |     7875      0 |      673 |        4
307.71/307.82	c  0.1s |       1 |      138 |      100 |     7875      0 |      673 |        4
307.81/307.92	c  0.2s |       2 |      416 |      250 |     7875      0 |      673 |        4
307.92/308.05	c  0.3s |       3 |      791 |      475 |     7875      0 |      673 |        4
308.11/308.25	c  0.5s |       4 |     1277 |      813 |     7875      0 |      673 |        4
308.41/308.52	c  0.8s |       5 |     2074 |     1320 |     7875      0 |      673 |        4
308.61/308.77	c  1.0s |       5 |     2888 |     1842 |     7875      0 |      673 |        4
308.61/308.77	c #cpu_time = 1.032s
308.61/308.77	c #wall_clock_time = 1.034s
308.61/308.77	c #decision = 2888
308.61/308.77	c #random_decision = 1
308.61/308.77	c #conflict = 1842
308.61/308.77	c #restart = 5
308.61/308.77	o 3
308.61/308.77	c BCD2: hardening fixes 215 literals
308.61/308.77	c BCD2: updating upper bound: 25 -> 2
308.61/308.78	c BCD2: 1 <= obj <= 2
308.61/308.78	c BCD2: #cores=1, #unrelaxed=0, #relaxed=23, #hardened=888
308.61/308.78	c BCD2: #sat=4 #unsat=2 bias=2/6
308.61/308.78	c Solving starts ...
308.61/308.78	c ============================[ Search Statistics ]============================
308.61/308.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
308.61/308.78	c       |         |          |          |    Limit     GC | Var      | Constra 
308.61/308.78	c =============================================================================
308.61/308.78	c  0.0s |       0 |        0 |        0 |     7875      0 |      888 |        6
308.71/308.87	c  0.1s |       1 |      126 |      100 |     7875      0 |      888 |        6
308.81/308.98	c  0.2s |       2 |      341 |      250 |     7875      0 |      888 |        6
309.02/309.11	c  0.3s |       3 |      664 |      475 |     7875      0 |      888 |        6
309.21/309.31	c  0.5s |       4 |     1283 |      813 |     7875      0 |      888 |        6
309.41/309.56	c  0.8s |       5 |     2200 |     1320 |     7875      0 |      888 |        6
309.81/309.94	c  1.2s |       6 |     3346 |     2081 |     7875      1 |      888 |        6
310.22/310.32	c  1.5s |       6 |     4838 |     3034 |     7875      1 |      888 |        6
310.22/310.32	c #cpu_time = 1.544s
310.22/310.32	c #wall_clock_time = 1.549s
310.22/310.32	c #decision = 4838
310.22/310.32	c #random_decision = 6
310.22/310.32	c #conflict = 3034
310.22/310.32	c #restart = 6
310.22/310.32	o 2
310.22/310.32	c BCD2: hardening fixes 10 literals
310.22/310.32	c BCD2: updating upper bound: 2 -> 1
310.22/310.33	c BCD2: 1 <= obj <= 1
310.22/310.33	c BCD2: #cores=1, #unrelaxed=0, #relaxed=13, #hardened=898
310.22/310.33	c BCD2: #sat=5 #unsat=2 bias=2/7
310.22/310.33	c Solving starts ...
310.22/310.33	c ============================[ Search Statistics ]============================
310.22/310.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
310.22/310.33	c       |         |          |          |    Limit     GC | Var      | Constra 
310.22/310.33	c =============================================================================
310.22/310.33	c  0.0s |       0 |        0 |        0 |     7875      0 |      898 |        8
310.22/310.38	c  0.1s |       1 |      140 |      100 |     7875      0 |      898 |        8
310.31/310.45	c  0.1s |       2 |      376 |      250 |     7875      0 |      898 |        8
310.41/310.56	c  0.2s |       3 |      685 |      475 |     7875      0 |      898 |        8
310.61/310.71	c  0.4s |       4 |     1121 |      813 |     7875      0 |      898 |        8
310.81/310.90	c  0.6s |       5 |     1968 |     1320 |     7875      0 |      898 |        8
311.01/311.19	c  0.9s |       6 |     3241 |     2081 |     7875      0 |      898 |        8
311.61/311.71	c  1.4s |       7 |     4924 |     3223 |     7875      1 |      898 |        8
311.91/312.04	c  1.7s |       7 |     6285 |     4201 |     7875      1 |      898 |        8
311.91/312.04	c #cpu_time = 1.712s
311.91/312.04	c #wall_clock_time = 1.717s
311.91/312.04	c #decision = 6285
311.91/312.04	c #random_decision = 16
311.91/312.04	c #conflict = 4201
311.91/312.04	c #restart = 7
311.91/312.04	o 1
311.91/312.04	s OPTIMUM FOUND
311.91/312.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
311.91/312.04	v -x11 -x12 x13 -x14 -x15 -x16 -x17 x18 -x19 -x20
311.91/312.04	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
311.91/312.04	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40
311.91/312.04	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
311.91/312.04	v -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60
311.91/312.04	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70
311.91/312.04	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
311.91/312.04	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
311.91/312.04	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100
311.91/312.04	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
311.91/312.04	v -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120
311.91/312.04	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
311.91/312.04	v -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
311.91/312.04	v -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
311.91/312.04	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
311.91/312.04	v x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170
311.91/312.04	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180
311.91/312.04	v -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190
311.91/312.04	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200
311.91/312.04	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
311.91/312.04	v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
311.91/312.04	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
311.91/312.04	v x231
311.91/312.04	c total CPU time = 311.190s
311.91/312.04	c total wall clock time = 312.047s

Verifier Data 

OK	1

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

pid=1913
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.13 2.07 1.82 3/181 1916
/proc/meminfo: memFree=30554296/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=814524 CPUtime=0 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 3052 0 0 0 0 0 0 0 20 0 4 0 36441851 834072576 2903 33554432000 4194304 16246674 140735490952544 140735490951968 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 204399 2915 441 2943 0 201293 0
[pid=1916/tid=1917] ppid=1913 vsize=832956 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 852946944 2976 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=837052 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 857141248 2992 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=841148 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36441851 861335552 3008 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.13 2.07 1.82 3/181 1916
/proc/meminfo: memFree=30554296/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 24734 0 0 0 6 3 0 0 20 0 4 0 36441851 1247350784 24577 33554432000 4194304 16246674 140735490952544 140735490951968 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 304529 24582 618 2943 0 301423 0
[pid=1916/tid=1917] ppid=1913 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1247350784 24587 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1247350784 24590 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36441851 1247350784 24592 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.13 2.07 1.82 3/181 1916
/proc/meminfo: memFree=30554296/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 40757 0 0 0 14 5 0 0 20 0 4 0 36441851 1250496512 40572 33554432000 4194304 16246674 140735490952544 140735490934464 4221418 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 305297 40576 803 2943 0 302191 0
[pid=1916/tid=1917] ppid=1913 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1250496512 40578 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1250496512 40580 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36441851 1250496512 40583 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1221188

[startup+0.300464 s]
/proc/loadavg: 2.13 2.07 1.82 3/181 1916
/proc/meminfo: memFree=30554296/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1222212 CPUtime=0.29 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 41058 0 0 0 24 5 0 0 20 0 4 0 36441851 1251545088 40872 33554432000 4194304 16246674 140735490952544 140735490951856 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 305553 40872 869 2943 0 302447 0
[pid=1916/tid=1917] ppid=1913 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1251545088 40872 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1251545088 40872 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1251545088 40872 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1222212

[startup+0.700392 s]
/proc/loadavg: 2.13 2.07 1.82 3/181 1916
/proc/meminfo: memFree=30554296/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 120809 0 0 0 51 18 0 0 20 0 4 0 36441851 1251545088 120624 33554432000 4194304 16246674 140735490952544 140735490951856 6011022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 305553 120632 869 2943 0 302447 0
[pid=1916/tid=1917] ppid=1913 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1251545088 120637 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1251545088 120642 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1251545088 120653 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1222212

[startup+1.50029 s]
/proc/loadavg: 2.13 2.07 1.82 3/185 1920
/proc/meminfo: memFree=29696828/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 267666 0 0 0 112 37 0 0 20 0 4 0 36441851 1337528320 267480 33554432000 4194304 16246674 140735490952544 140735490934464 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 326545 267480 874 2943 0 323439 0
[pid=1916/tid=1917] ppid=1913 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1337528320 267480 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1337528320 267480 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1337528320 267480 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1306180

[startup+3.10039 s]
/proc/loadavg: 2.13 2.07 1.82 3/185 1920
/proc/meminfo: memFree=29475364/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 268178 0 0 0 272 37 0 0 20 0 4 0 36441851 1339625472 267992 33554432000 4194304 16246674 140735490952544 140735490934464 5717485 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 327057 267992 874 2943 0 323951 0
[pid=1916/tid=1917] ppid=1913 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1339625472 267992 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1339625472 267992 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1339625472 267992 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1308228

[startup+6.30041 s]
/proc/loadavg: 2.12 2.07 1.83 3/185 1920
/proc/meminfo: memFree=29473916/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 268296 0 0 0 592 37 0 0 20 0 4 0 36441851 1340674048 268110 33554432000 4194304 16246674 140735490952544 140735490934464 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 327313 268110 875 2943 0 324207 0
[pid=1916/tid=1917] ppid=1913 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1340674048 268110 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1340674048 268110 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1340674048 268110 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.11 2.07 1.83 3/185 1920
/proc/meminfo: memFree=29472604/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 268435 0 0 0 1232 37 0 0 20 0 4 0 36441851 1340674048 268249 33554432000 4194304 16246674 140735490952544 140735490934464 5672988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 327313 268249 875 2943 0 324207 0
[pid=1916/tid=1917] ppid=1913 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1340674048 268249 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1340674048 268249 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1340674048 268249 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.16 2.08 1.83 3/185 1920
/proc/meminfo: memFree=29470148/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 269203 0 0 0 2512 37 0 0 20 0 4 0 36441851 1343819776 269017 33554432000 4194304 16246674 140735490952544 140735490950336 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 328081 269017 875 2943 0 324975 0
[pid=1916/tid=1917] ppid=1913 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1343819776 269017 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1343819776 269017 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1343819776 269017 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.11 2.07 1.83 3/185 1920
/proc/meminfo: memFree=29468312/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 269459 0 0 0 5071 37 0 0 20 0 4 0 36441851 1344868352 269273 33554432000 4194304 16246674 140735490952544 140735490934464 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 328337 269273 875 2943 0 325231 0
[pid=1916/tid=1917] ppid=1913 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1344868352 269273 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1344868352 269273 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1344868352 269273 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.16 2.09 1.85 3/185 1921
/proc/meminfo: memFree=29462296/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1317444 CPUtime=102.28 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270483 0 0 0 10190 38 0 0 20 0 4 0 36441851 1349062656 270297 33554432000 4194304 16246674 140735490952544 140735490934464 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329361 270297 875 2943 0 326255 0
[pid=1916/tid=1917] ppid=1913 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1349062656 270297 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1349062656 270297 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1349062656 270297 33554432000 4194304 16246674 140735490952544 140464912059568 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) 1317444

[startup+162.3 s]
/proc/loadavg: 2.10 2.08 1.86 3/185 1971
/proc/meminfo: memFree=29925040/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1317444 CPUtime=162.26 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270493 0 0 0 16188 38 0 0 20 0 4 0 36441851 1349062656 270553 33554432000 4194304 16246674 140735490952544 140735490934464 12483183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329361 270553 875 2943 0 326255 0
[pid=1916/tid=1917] ppid=1913 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1349062656 270553 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1349062656 270553 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1349062656 270553 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1317444

[startup+222.308 s]
/proc/loadavg: 2.03 2.07 1.87 3/185 1972
/proc/meminfo: memFree=29923052/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=222.25 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270772 0 0 0 22186 39 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140735490934464 5545894 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270809 875 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1318468

[startup+282.3 s]
/proc/loadavg: 2.04 2.07 1.88 3/186 1976
/proc/meminfo: memFree=29923224/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=282.22 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270800 0 0 0 28183 39 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140735490934464 5808184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270809 875 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1318468

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

[startup+294.4 s]
/proc/loadavg: 2.04 2.06 1.88 3/186 1977
/proc/meminfo: memFree=29922832/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=294.31 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270807 0 0 0 29392 39 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140735490934464 6009960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270809 875 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 294.31
Current children cumulated vsize (KiB) 1318468

[startup+300.8 s]
/proc/loadavg: 2.03 2.06 1.88 3/186 1977
/proc/meminfo: memFree=29923264/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=300.71 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270815 0 0 0 30032 39 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140735490934464 5711972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270809 875 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270809 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 300.71
Current children cumulated vsize (KiB) 1318468

[startup+307.2 s]
/proc/loadavg: 2.03 2.06 1.88 3/185 1977
/proc/meminfo: memFree=29923280/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=307.11 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270824 0 0 0 30671 40 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140735490934464 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270818 884 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 307.11
Current children cumulated vsize (KiB) 1318468

[startup+310.4 s]
/proc/loadavg: 2.02 2.06 1.88 3/185 1977
/proc/meminfo: memFree=29920320/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=310.31 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270825 0 0 0 30991 40 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140735490934464 5531312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270818 884 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 310.31
Current children cumulated vsize (KiB) 1318468

[startup+311.2 s]
/proc/loadavg: 2.02 2.06 1.88 3/185 1977
/proc/meminfo: memFree=29920320/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=311.11 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270825 0 0 0 31071 40 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140735490934464 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270818 884 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 311.11
Current children cumulated vsize (KiB) 1318468

[startup+311.6 s]
/proc/loadavg: 2.02 2.06 1.88 3/185 1977
/proc/meminfo: memFree=29920320/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=311.51 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270825 0 0 0 31111 40 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140735490934464 7249760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270818 884 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 311.51
Current children cumulated vsize (KiB) 1318468

[startup+312 s]
/proc/loadavg: 2.02 2.06 1.88 3/185 1977
/proc/meminfo: memFree=29920320/32872528 swapFree=8804/8804
[pid=1916] ppid=1913 vsize=1318468 CPUtime=311.91 cores=0,2,4,6
/proc/1916/stat : 1916 (toysat) R 1913 1916 832 0 -1 4202496 270825 0 0 0 31151 40 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140735490934464 5824066 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1916/statm: 329617 270818 884 2943 0 326511 0
[pid=1916/tid=1917] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1917/stat : 1917 (toysat) S 1913 1916 832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464933022960 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1916/tid=1918] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1918/stat : 1918 (toysat) S 1913 1916 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464922533104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=1916/tid=1919] ppid=1913 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/1916/task/1919/stat : 1919 (toysat) S 1913 1916 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36441851 1350111232 270818 33554432000 4194304 16246674 140735490952544 140464912059568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 311.91
Current children cumulated vsize (KiB) 1318468

Child status: 0
Real time (s): 312.094
CPU time (s): 312.009
CPU user time (s): 311.568
CPU system time (s): 0.440932
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 311.568
system time used= 0.440932
maximum resident set size= 1083280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270829
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= 98
involuntary context switches= 317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09283 second user time and 1.54976 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-19 15:45:59
IDJOB=4109742
IDBENCH=78910
IDSOLVER=2553
FILE ID=node133/4109742-1466343959
RUNJOBID= node133-1466341813-848
PBS_JOBID= 19922020
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927--soft-66-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-4109742-1466343959/watcher-4109742-1466343959 -o /tmp/evaluation-result-4109742-1466343959/solver-4109742-1466343959 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-848 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109742-1466343959.wbo

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

MD5SUM BENCH= fe999950861349ecbc6e2ee50c3d0e04
RANDOM SEED=1660154615

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:        30555196 kB
Buffers:          164364 kB
Cached:           323592 kB
SwapCached:         1408 kB
Active:          1224944 kB
Inactive:         341520 kB
Active(anon):    1078404 kB
Inactive(anon):     2060 kB
Active(file):     146540 kB
Inactive(file):   339460 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:             32980 kB
Writeback:             0 kB
AnonPages:       1091884 kB
Mapped:            11688 kB
Shmem:                 0 kB
Slab:             610768 kB
SReclaimable:      54192 kB
SUnreclaim:       556576 kB
KernelStack:        1536 kB
PageTables:         6192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1232852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71684 MiB
End job on node133 at 2016-06-19 15:51:11