Trace number 4109882

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 164.225 164.251

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900550006--soft-33-100-0.wbo
MD5SUM12371feb76f2c231a6dc5b657286b6d5
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 benchmark54.2178
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 constraints1785
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 88246
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 88245
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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:51:56+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-4109882-1466344316.wbo"]
0.00/0.01	c use --random-gen="355011977 4098143680 3107329646 1137456053 2326032063 463934399 2363232641 757527208 4284429161 1751333275 2491666990 3621218963 3780704972 3965540021 3468573721 166279348 2344913399 674839141 3301757872 1253796057 4044231783 481488057 1208757054 1408828827 3131407913 142996088 3018751738 646004425 3427098141 3502822233 1929831027 3640171210 4024039130 632944562 3524016873 3513474214 1237254901 1114258071 3937513341 1873516835 2669364024 325050313 770578315 3236759499 2734508592 1457349481 2503991389 16450969 3425035921 2462746006 2093862662 1425617171 3734488106 285629961 330459864 891122662 2839490585 2488169558 3218376608 135007226 2401473418 4073046727 2623477977 2854118244 53887398 1625422831 1360927053 3058502128 3159624699 4224609645 1322943812 2305811611 2623972238 4064129321 3680382799 640438806 2712623743 2121270353 3450254435 1939445020 2754474655 1515117231 3975641646 3745542117 3437263753 3285496460 3377644232 2887563835 4142399 3853240546 4067586216 2898090431 4241188468 4070664224 1488829975 4239880102 1897908070 1236730516 2267841169 3834608294 1396342282 2079370131 3020210752 3065660503 149648295 2951590030 3054312291 2615865102 986872921 2446176043 3429179180 1653319254 3808419797 2619277987 2268579306 3310022593 4006552846 3556845484 3239670990 2339966628 3594087502 3946246514 1972335412 2199538340 2462758919 2673255090 2518140022 1846177078 3818965516 762750809 1018250046 995934881 2655162447 2999696226 1568394964 3135599510 3204195253 3271413331 3874252812 2327919982 893220967 2902291305 294597563 501536719 2248052278 3763582470 716147823 2789501429 4148551781 705740862 1204011009 4121077998 2655989885 3815847186 2919055604 1789547719 345541328 2042666035 97197739 1963467203 2997315219 3104464977 1320041058 461545629 2066152883 280158144 1553771978 2438464559 2320665867 1119024047 2996293556 4094212295 1406604910 1831278134 3861222964 1850415199 22050307 305646744 2323825402 516695540 2886478738 573834324 427982490 3421722012 2806259751 2667738862 3164851974 1115680098 782027072 3174098328 3077656591 1753246951 66792256 3431263528 1978913940 2838014043 3104699345 452892418 4205212097 1509227510 1367878307 2756918349 2448719728 2415136048 3240340314 3921299989 590596269 3190738115 4096463515 3218600364 210950451 2171130644 273722151 681065999 4214169827 2377861848 2851619187 886577467 2398170964 3580901222 389322923 3457372471 1724615671 983834538 3168982820 1011919011 197843485 1996787365 3267897939 543631530 742942443 1612670501 2008310810 3214784272 1204492526 1326739255 3149232285 1208066121 1866019463 2576679632 2237393369 827431650 1940857999 47555476 1316273125 3499316318 3224950774 95155062 2590425859 2962385139 3575447497 632576891 2558726478 2633910046 1939352778 276961353 255 362436" option to reproduce the execution
0.09/0.14	c #vars 231
0.09/0.14	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.09/0.19	c  0.0s |       0 |        0 |        0 |     1574      0 |        0 |        0
0.19/0.20	c  0.0s |       0 |     1804 |        4 |     1574      0 |        0 |        0
0.19/0.20	c #cpu_time = 0.005s
0.19/0.20	c #wall_clock_time = 0.005s
0.19/0.20	c #decision = 1804
0.19/0.20	c #random_decision = 5
0.19/0.20	c #conflict = 4
0.19/0.20	c #restart = 0
0.19/0.20	o 303
0.19/0.20	c BCD2: updating upper bound: 88245 -> 302
0.19/0.22	c BCD2: 0 <= obj <= 302
0.19/0.22	c BCD2: #cores=0, #unrelaxed=1785, #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 |     1574      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |     1965 |      100 |     1732      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     3981 |      250 |     1906      0 |        0 |        0
0.28/0.35	c  0.1s |       3 |     6124 |      475 |     2097      0 |        0 |        0
0.39/0.43	c  0.2s |       4 |     8367 |      813 |     2307      0 |        0 |        0
0.58/0.60	c  0.4s |       5 |    10860 |     1320 |     2538      0 |        0 |        0
0.89/0.92	c  0.7s |       6 |    13686 |     2081 |     2792      0 |        0 |        0
1.49/1.55	c  1.3s |       7 |    16990 |     3223 |     3072      0 |        0 |        0
2.29/2.36	c  2.1s |       8 |    21064 |     4936 |     3380      1 |        0 |        0
3.48/3.52	c  3.3s |       9 |    26608 |     7506 |     3719      2 |        0 |        0
5.49/5.53	c  5.3s |       9 |    31916 |    10306 |     3719      3 |        0 |        0
6.41/6.42	c  6.2s |      10 |    33289 |    11361 |     4091      3 |        0 |        0
8.39/8.46	c  8.2s |      10 |    38845 |    14261 |     4091      4 |        0 |        0
10.39/10.47	c 10.3s |      10 |    41719 |    16361 |     4091      5 |        0 |        0
10.79/10.80	c 10.6s |      11 |    42885 |    17144 |     4501      5 |        0 |        0
12.79/12.86	c 12.6s |      11 |    48877 |    20444 |     4501      6 |        0 |        0
14.89/14.94	c 14.7s |      11 |    53083 |    23544 |     4501      7 |        0 |        0
16.99/17.04	c 16.8s |      11 |    55866 |    25744 |     4952      8 |        0 |        0
17.09/17.14	c 16.9s |      12 |    55961 |    25819 |     4952      8 |        0 |        0
19.09/19.16	c 18.9s |      12 |    61402 |    28519 |     4952      9 |        0 |        0
21.09/21.16	c 20.9s |      12 |    66839 |    32519 |     4952     10 |        0 |        0
23.10/23.20	c 23.0s |      12 |    71064 |    35819 |     4952     11 |        0 |        0
25.19/25.24	c 25.0s |      12 |    74700 |    38619 |     5448     12 |        0 |        0
25.29/25.37	c 25.2s |      13 |    74987 |    38832 |     5448     12 |        0 |        0
27.29/27.38	c 27.2s |      13 |    79793 |    41232 |     5448     12 |        0 |        0
29.38/29.40	c 29.2s |      13 |    82290 |    43232 |     5448     13 |        0 |        0
31.38/31.46	c 31.2s |      13 |    85258 |    45532 |     5448     13 |        0 |        0
33.38/33.49	c 33.3s |      13 |    87514 |    47432 |     5448     14 |        0 |        0
35.48/35.51	c 35.3s |      13 |    90239 |    49532 |     5448     15 |        0 |        0
37.49/37.55	c 37.3s |      13 |    92536 |    51332 |     5448     15 |        0 |        0
39.59/39.64	c 39.4s |      13 |    96210 |    53832 |     5448     16 |        0 |        0
41.59/41.68	c 41.5s |      13 |    99423 |    56032 |     5448     16 |        0 |        0
43.69/43.77	c 43.6s |      13 |   102325 |    58032 |     5993     17 |        0 |        0
44.19/44.22	c 44.0s |      14 |   102798 |    58352 |     5993     17 |        0 |        0
46.29/46.36	c 46.1s |      14 |   106565 |    59752 |     5993     17 |        0 |        0
48.39/48.46	c 48.2s |      14 |   109177 |    61452 |     5993     18 |        0 |        0
50.48/50.53	c 50.3s |      14 |   111498 |    63052 |     5993     18 |        0 |        0
52.48/52.57	c 52.4s |      14 |   113268 |    64352 |     5993     18 |        0 |        0
54.68/54.74	c 54.5s |      14 |   115392 |    65752 |     5993     19 |        0 |        0
56.68/56.78	c 56.6s |      14 |   117152 |    66952 |     5993     19 |        0 |        0
58.78/58.81	c 58.6s |      14 |   121296 |    69652 |     5993     20 |        0 |        0
60.78/60.82	c 60.6s |      14 |   124955 |    72052 |     5993     20 |        0 |        0
62.79/62.86	c 62.6s |      14 |   130277 |    75352 |     5993     21 |        0 |        0
64.78/64.89	c 64.7s |      14 |   133872 |    77652 |     5993     22 |        0 |        0
66.88/66.94	c 66.7s |      14 |   137292 |    79852 |     5993     22 |        0 |        0
68.88/68.99	c 68.8s |      14 |   141520 |    82352 |     5993     23 |        0 |        0
70.98/71.08	c 70.9s |      14 |   145221 |    84652 |     5993     24 |        0 |        0
72.78/72.82	c 72.6s |      15 |   149921 |    87632 |     6593     24 |        0 |        0
74.78/74.84	c 74.6s |      15 |   156951 |    90832 |     6593     25 |        0 |        0
76.78/76.89	c 76.7s |      15 |   161633 |    93732 |     6593     26 |        0 |        0
78.87/78.96	c 78.7s |      15 |   166222 |    96332 |     6593     26 |        0 |        0
80.88/80.98	c 80.8s |      15 |   170534 |    99032 |     6593     27 |        0 |        0
82.98/83.04	c 82.8s |      15 |   176644 |   102732 |     6593     28 |        0 |        0
84.98/85.07	c 84.9s |      15 |   180116 |   105132 |     6593     29 |        0 |        0
87.07/87.14	c 86.9s |      15 |   184496 |   107832 |     6593     29 |        0 |        0
89.08/89.18	c 89.0s |      15 |   187527 |   109732 |     6593     30 |        0 |        0
91.18/91.22	c 91.0s |      15 |   190784 |   111832 |     6593     30 |        0 |        0
93.18/93.28	c 93.1s |      15 |   195023 |   114232 |     6593     31 |        0 |        0
95.28/95.35	c 95.1s |      15 |   198271 |   116332 |     6593     31 |        0 |        0
97.27/97.35	c 97.1s |      15 |   201657 |   118132 |     6593     32 |        0 |        0
99.27/99.37	c 99.2s |      15 |   206565 |   120932 |     6593     32 |        0 |        0
101.28/101.39	c  101s |      15 |   210534 |   123232 |     6593     33 |        0 |        0
103.38/103.44	c  103s |      15 |   214613 |   125732 |     6593     33 |        0 |        0
105.38/105.49	c  105s |      15 |   218537 |   128132 |     6593     34 |        0 |        0
107.48/107.53	c  107s |      15 |   222789 |   130632 |     6593     35 |        0 |        0
108.18/108.22	c  108s |      16 |   224324 |   131552 |     7253     35 |        0 |        0
110.17/110.24	c  110s |      16 |   230328 |   134152 |     7253     35 |        0 |        0
112.28/112.31	c  112s |      16 |   233634 |   136252 |     7253     36 |        0 |        0
114.27/114.36	c  114s |      16 |   237940 |   138552 |     7253     36 |        0 |        0
116.37/116.42	c  116s |      16 |   241436 |   140552 |     7253     37 |        0 |        0
118.38/118.48	c  118s |      16 |   245191 |   142852 |     7253     37 |        0 |        0
120.47/120.50	c  120s |      16 |   249359 |   145152 |     7253     38 |        0 |        0
122.47/122.53	c  122s |      16 |   253668 |   147652 |     7253     38 |        0 |        0
124.47/124.58	c  124s |      16 |   257292 |   149752 |     7253     39 |        0 |        0
126.58/126.66	c  126s |      16 |   260185 |   151652 |     7253     39 |        0 |        0
128.57/128.70	c  128s |      16 |   264233 |   154052 |     7253     40 |        0 |        0
130.67/130.73	c  130s |      16 |   267149 |   155852 |     7253     40 |        0 |        0
132.77/132.84	c  132s |      16 |   270331 |   157752 |     7253     40 |        0 |        0
134.87/134.92	c  134s |      16 |   273543 |   159452 |     7253     41 |        0 |        0
136.87/136.99	c  136s |      16 |   277014 |   161452 |     7253     41 |        0 |        0
138.87/138.99	c  138s |      16 |   280428 |   163352 |     7253     42 |        0 |        0
140.97/141.04	c  140s |      16 |   284707 |   165752 |     7253     42 |        0 |        0
143.08/143.12	c  142s |      16 |   288315 |   167752 |     7253     43 |        0 |        0
145.07/145.15	c  144s |      16 |   291930 |   169752 |     7253     43 |        0 |        0
147.06/147.17	c  146s |      16 |   294942 |   171452 |     7253     43 |        0 |        0
149.06/149.18	c  148s |      16 |   297590 |   173052 |     7253     44 |        0 |        0
151.17/151.20	c  150s |      16 |   301082 |   175152 |     7253     44 |        0 |        0
153.17/153.22	c  153s |      16 |   305236 |   177352 |     7253     45 |        0 |        0
155.27/155.30	c  155s |      16 |   309430 |   179652 |     7253     45 |        0 |        0
157.27/157.34	c  157s |      16 |   312888 |   181852 |     7253     46 |        0 |        0
159.36/159.45	c  159s |      16 |   316666 |   184152 |     7253     46 |        0 |        0
161.46/161.54	c  161s |      16 |   319589 |   185952 |     7253     47 |        0 |        0
161.87/161.92	c  161s |      16 |   320113 |   186238 |     7253     47 |        0 |        0
161.87/161.92	c #cpu_time = 161.700s
161.87/161.92	c #wall_clock_time = 161.706s
161.87/161.92	c #decision = 320113
161.87/161.92	c #random_decision = 364
161.87/161.92	c #conflict = 186238
161.87/161.92	c #restart = 16
161.87/161.93	c BCD2: found a new core of size 1762: cost of the new core is >=1
161.87/161.93	c lower bound updated to 1
161.87/161.93	c BCD2: 1 <= obj <= 302
161.87/161.93	c BCD2: #cores=1, #unrelaxed=23, #relaxed=1762, #hardened=0
161.87/161.93	c BCD2: #sat=1 #unsat=2 bias=2/3
161.87/161.93	c Solving starts ...
161.87/161.93	c ============================[ Search Statistics ]============================
161.87/161.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
161.87/161.93	c       |         |          |          |    Limit     GC | Var      | Constra 
161.87/161.93	c =============================================================================
161.87/161.93	c  0.0s |       0 |        0 |        0 |     7253      0 |        0 |        0
161.97/162.00	c  0.1s |       0 |     1829 |        0 |     7253      0 |        0 |        0
161.97/162.00	c #cpu_time = 0.062s
161.97/162.00	c #wall_clock_time = 0.062s
161.97/162.00	c #decision = 1829
161.97/162.00	c #random_decision = 3
161.97/162.00	c #conflict = 0
161.97/162.00	c #restart = 0
161.97/162.00	o 9
161.97/162.00	c BCD2: hardening fixes 1648 literals
161.97/162.00	c BCD2: updating upper bound: 302 -> 8
161.97/162.00	c BCD2: 1 <= obj <= 8
161.97/162.00	c BCD2: #cores=1, #unrelaxed=4, #relaxed=133, #hardened=1648
161.97/162.00	c BCD2: #sat=2 #unsat=2 bias=2/4
161.97/162.00	c Solving starts ...
161.97/162.00	c ============================[ Search Statistics ]============================
161.97/162.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
161.97/162.00	c       |         |          |          |    Limit     GC | Var      | Constra 
161.97/162.00	c =============================================================================
161.97/162.00	c  0.0s |       0 |        0 |        0 |     7253      0 |     1648 |        1
162.07/162.14	c  0.1s |       1 |      192 |      100 |     7253      0 |     1648 |        1
162.17/162.26	c  0.3s |       2 |      506 |      250 |     7253      0 |     1648 |        1
162.37/162.44	c  0.4s |       3 |      907 |      475 |     7253      0 |     1648 |        1
162.57/162.63	c  0.6s |       4 |     1532 |      813 |     7253      0 |     1648 |        1
162.78/162.90	c  0.9s |       5 |     2317 |     1320 |     7253      0 |     1648 |        1
163.17/163.28	c  1.3s |       6 |     3523 |     2081 |     7253      0 |     1648 |        1
163.47/163.50	c  1.5s |       6 |     3869 |     2314 |     7253      0 |     1648 |        1
163.47/163.50	c #cpu_time = 1.499s
163.47/163.50	c #wall_clock_time = 1.500s
163.47/163.50	c #decision = 3869
163.47/163.50	c #random_decision = 1
163.47/163.50	c #conflict = 2314
163.47/163.50	c #restart = 6
163.47/163.50	o 4
163.47/163.50	c BCD2: hardening fixes 86 literals
163.47/163.50	c BCD2: updating upper bound: 8 -> 3
163.47/163.50	c BCD2: 1 <= obj <= 3
163.47/163.50	c BCD2: #cores=1, #unrelaxed=2, #relaxed=49, #hardened=1734
163.47/163.50	c BCD2: #sat=3 #unsat=2 bias=2/5
163.47/163.50	c Solving starts ...
163.47/163.50	c ============================[ Search Statistics ]============================
163.47/163.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
163.47/163.50	c       |         |          |          |    Limit     GC | Var      | Constra 
163.47/163.50	c =============================================================================
163.47/163.50	c  0.0s |       0 |        0 |        0 |     7253      0 |     1734 |        2
163.57/163.61	c  0.1s |       1 |      153 |      100 |     7253      0 |     1734 |        3
163.67/163.74	c  0.2s |       2 |      351 |      250 |     7253      0 |     1734 |        3
163.77/163.89	c  0.4s |       3 |      680 |      475 |     7253      0 |     1734 |        3
163.97/164.08	c  0.6s |       4 |     1234 |      813 |     7253      0 |     1734 |        3
164.06/164.18	c  0.7s |       4 |     1414 |      897 |     7253      0 |     1734 |        3
164.06/164.18	c #cpu_time = 0.680s
164.06/164.18	c #wall_clock_time = 0.680s
164.06/164.18	c #decision = 1414
164.06/164.18	c #random_decision = 3
164.06/164.18	c #conflict = 897
164.06/164.18	c #restart = 4
164.06/164.19	o 1
164.06/164.19	s OPTIMUM FOUND
164.06/164.19	v -x1 -x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10
164.06/164.19	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
164.06/164.19	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30
164.06/164.19	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40
164.06/164.19	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
164.06/164.19	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
164.06/164.19	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
164.06/164.19	v -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80
164.06/164.19	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
164.06/164.19	v -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100
164.06/164.19	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110
164.06/164.19	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
164.06/164.19	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
164.06/164.19	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
164.06/164.19	v x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150
164.06/164.19	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
164.06/164.19	v -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170
164.06/164.19	v -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180
164.06/164.19	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
164.06/164.19	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200
164.06/164.19	v -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
164.06/164.19	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220
164.06/164.19	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230
164.06/164.19	v -x231
164.06/164.19	c total CPU time = 164.183s
164.06/164.19	c total wall clock time = 164.188s

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

pid=32678
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.35 2.36 2.16 3/179 32681
/proc/meminfo: memFree=29267624/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 2750 0 0 0 0 0 0 0 20 0 4 0 36478104 753332224 2600 33554432000 4194304 16246674 140733803997008 140733803996432 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 184687 2609 441 2943 0 181581 0
[pid=32681/tid=32682] ppid=32678 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 772206592 2671 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 776400896 2687 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36478104 780595200 2703 33554432000 4194304 16246674 140733803997008 140358880054448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.35 2.36 2.16 3/179 32681
/proc/meminfo: memFree=29267624/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 24826 0 0 0 5 4 0 0 20 0 4 0 36478104 1247350784 24669 33554432000 4194304 16246674 140733803997008 140733803996432 6192225 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 304529 24673 620 2943 0 301423 0
[pid=32681/tid=32682] ppid=32678 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1247350784 24675 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1247350784 24682 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36478104 1247350784 24684 33554432000 4194304 16246674 140733803997008 140358880054448 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.35 2.36 2.16 3/179 32681
/proc/meminfo: memFree=29267624/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 33298 0 0 0 14 5 0 0 20 0 4 0 36478104 1250496512 33095 33554432000 4194304 16246674 140733803997008 140733803996320 5840205 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 305297 33102 900 2943 0 302191 0
[pid=32681/tid=32682] ppid=32678 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1250496512 33102 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1250496512 33102 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1250496512 33102 33554432000 4194304 16246674 140733803997008 140358880054448 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.300448 s]
/proc/loadavg: 2.35 2.36 2.16 3/179 32681
/proc/meminfo: memFree=29267624/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1303108 CPUtime=0.28 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 51205 0 0 0 21 7 0 0 20 0 4 0 36478104 1334382592 51002 33554432000 4194304 16246674 140733803997008 140733803996320 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 325777 51016 921 2943 0 322671 0
[pid=32681/tid=32682] ppid=32678 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1334382592 51030 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1334382592 51041 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1334382592 51056 33554432000 4194304 16246674 140733803997008 140358880054448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1303108

[startup+0.700394 s]
/proc/loadavg: 2.35 2.36 2.16 3/179 32681
/proc/meminfo: memFree=29267624/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1303108 CPUtime=0.69 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 118163 0 0 0 52 17 0 0 20 0 4 0 36478104 1334382592 117961 33554432000 4194304 16246674 140733803997008 140733803980008 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 325777 117973 921 2943 0 322671 0
[pid=32681/tid=32682] ppid=32678 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1334382592 117986 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1334382592 117990 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1334382592 118000 33554432000 4194304 16246674 140733803997008 140358880054448 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) 1303108

[startup+1.50038 s]
/proc/loadavg: 2.35 2.36 2.16 3/183 32685
/proc/meminfo: memFree=28747684/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 130517 0 0 0 131 18 0 0 20 0 4 0 36478104 1339625472 130314 33554432000 4194304 16246674 140733803997008 140733803980008 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 327057 130314 926 2943 0 323951 0
[pid=32681/tid=32682] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 130314 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 130314 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 130314 33554432000 4194304 16246674 140733803997008 140358880054448 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) 1308228

[startup+3.10036 s]
/proc/loadavg: 2.40 2.37 2.16 3/183 32685
/proc/meminfo: memFree=28746676/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1308228 CPUtime=3.08 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 130522 0 0 0 290 18 0 0 20 0 4 0 36478104 1339625472 130319 33554432000 4194304 16246674 140733803997008 140733803978880 6042501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 327057 130319 931 2943 0 323951 0
[pid=32681/tid=32682] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 130319 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 130319 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 130319 33554432000 4194304 16246674 140733803997008 140358880054448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.3004 s]
/proc/loadavg: 2.40 2.37 2.16 3/183 32685
/proc/meminfo: memFree=28646676/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 155547 0 0 0 607 22 0 0 20 0 4 0 36478104 1339625472 155344 33554432000 4194304 16246674 140733803997008 140733803978880 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 327057 155344 933 2943 0 323951 0
[pid=32681/tid=32682] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 155344 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 155344 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1339625472 155344 33554432000 4194304 16246674 140733803997008 140358880054448 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.57 2.41 2.18 4/183 32685
/proc/meminfo: memFree=28339924/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 232226 0 0 0 1237 32 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140733803978880 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 327825 232023 933 2943 0 324719 0
[pid=32681/tid=32682] ppid=32678 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140358880054448 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) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.48 2.39 2.18 3/183 32685
/proc/meminfo: memFree=28340564/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1311300 CPUtime=25.49 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 232226 0 0 0 2517 32 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140733803978880 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 327825 232023 933 2943 0 324719 0
[pid=32681/tid=32682] ppid=32678 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1342771200 232023 33554432000 4194304 16246674 140733803997008 140358880054448 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) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.40 2.38 2.18 3/183 32685
/proc/meminfo: memFree=28339420/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 232482 0 0 0 5075 34 0 0 20 0 4 0 36478104 1343819776 232279 33554432000 4194304 16246674 140733803997008 140733803996184 13874640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 328081 232279 933 2943 0 324975 0
[pid=32681/tid=32682] ppid=32678 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1343819776 232279 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1343819776 232279 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1343819776 232279 33554432000 4194304 16246674 140733803997008 140358880054448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.38 2.37 2.19 4/183 32686
/proc/meminfo: memFree=28333548/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 233250 0 0 0 10190 38 0 0 20 0 4 0 36478104 1346965504 233047 33554432000 4194304 16246674 140733803997008 140733803994880 5823666 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 328849 233047 933 2943 0 325743 0
[pid=32681/tid=32682] ppid=32678 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1346965504 233047 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1346965504 233047 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1346965504 233047 33554432000 4194304 16246674 140733803997008 140358880054448 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) 1315396

[startup+162.3 s]
/proc/loadavg: 2.32 2.35 2.19 4/183 32687
/proc/meminfo: memFree=28331812/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1317444 CPUtime=162.27 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 233770 0 0 0 16182 45 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140733803996184 5531096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 329361 233567 941 2943 0 326255 0
[pid=32681/tid=32682] ppid=32678 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140358880054448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1317444

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

[startup+163.2 s]
/proc/loadavg: 2.37 2.36 2.19 4/183 32687
/proc/meminfo: memFree=28332060/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1317444 CPUtime=163.17 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 233770 0 0 0 16272 45 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140733803978880 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 329361 233567 941 2943 0 326255 0
[pid=32681/tid=32682] ppid=32678 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1349062656 233567 33554432000 4194304 16246674 140733803997008 140358880054448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 163.17
Current children cumulated vsize (KiB) 1317444

[startup+164.007 s]
/proc/loadavg: 2.37 2.36 2.19 4/183 32687
/proc/meminfo: memFree=28184624/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=1318468 CPUtime=163.97 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202496 270645 0 0 0 16348 49 0 0 20 0 4 0 36478104 1350111232 270442 33554432000 4194304 16246674 140733803997008 140733803978880 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 329617 270442 941 2943 0 326511 0
[pid=32681/tid=32682] ppid=32678 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32682/stat : 32682 (toysat) S 32678 32681 31304 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36478104 1350111232 270442 33554432000 4194304 16246674 140733803997008 140358901017840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32681/tid=32683] ppid=32678 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32683/stat : 32683 (toysat) S 32678 32681 31304 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36478104 1350111232 270442 33554432000 4194304 16246674 140733803997008 140358890527984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32681/tid=32684] ppid=32678 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/32681/task/32684/stat : 32684 (toysat) S 32678 32681 31304 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36478104 1350111232 270442 33554432000 4194304 16246674 140733803997008 140358880054448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 163.97
Current children cumulated vsize (KiB) 1318468

[startup+164.2 s]
/proc/loadavg: 2.37 2.36 2.19 4/183 32687
/proc/meminfo: memFree=28184624/32872528 swapFree=1370848/1518016
[pid=32681] ppid=32678 vsize=0 CPUtime=164.16 cores=0,2,4,6
/proc/32681/stat : 32681 (toysat) R 32678 32681 31304 0 -1 4202500 270647 0 0 0 16366 50 0 0 20 0 1 0 36478104 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32681/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 164.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 164.251
CPU time (s): 164.225
CPU user time (s): 163.669
CPU system time (s): 0.555915
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.669
system time used= 0.555915
maximum resident set size= 1081776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270647
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= 18
involuntary context switches= 171

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.425935 second user time and 0.626904 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-19 15:51:56
IDJOB=4109882
IDBENCH=78954
IDSOLVER=2553
FILE ID=node129/4109882-1466344316
RUNJOBID= node129-1466341815-31320
PBS_JOBID= 19922024
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 12371feb76f2c231a6dc5b657286b6d5
RANDOM SEED=620062475

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29268276 kB
Buffers:           88972 kB
Cached:           178272 kB
SwapCached:         1804 kB
Active:          1210384 kB
Inactive:         137672 kB
Active(anon):    1080044 kB
Inactive(anon):     2732 kB
Active(file):     130340 kB
Inactive(file):   134940 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099348 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       2597976 kB
Mapped:            10968 kB
Shmem:                 0 kB
Slab:             602784 kB
SReclaimable:      46684 kB
SUnreclaim:       556100 kB
KernelStack:        1488 kB
PageTables:         9300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2742460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    694272 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= 71704 MiB
End job on node129 at 2016-06-19 15:54:41